Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 13 |
Abstract argumentation | 1 |
Action Theories | 1 |
Agent | 1 |
Algorithms | 1 |
AnsProlog | 1 |
Answer Set Semantics | 1 |
Architectures | 1 |
Assistive technologies for persons with disabilities | 1 |
Average tardiness scheduling problem | 1 |
Belief Change | 1 |
Calculus | 1 |
Ciencias Informáticas | 23 |
Computer Uses in Education | 1 |
Concept Languages | 1 |
Concept Taxonomíc and Tableaux | 1 |
Concurrent Programming | 1 |
Controllers Design | 1 |
Data mining | 1 |
Defeasible Argumentation | 2 |
Domain Oriented Software Engineering Environments | 1 |
Educación | 2 |
Education | 1 |
Environments | 2 |
Evolutionary Fuzzy Recurrent | 1 |
Evolutionary scheduling | 1 |
Frameworks | 1 |
General Approach | 1 |
Heuristic methods | 1 |
Implementation | 1 |
Information Retrieval | 1 |
Informática | 1 |
Intelligent agents | 8 |
Knowledge Management | 1 |
Knowledge Representation | 1 |
Knowledge Representation Formalisms and Methods | 1 |
Knowledge acquisition | 1 |
Knowledge-based systems | 1 |
Languages | 1 |
Learning | 1 |
Lenguaje de Conceptos | 1 |
Logic Programming | 1 |
Machine Learning | 1 |
Multiagent systems | 2 |
Noise Treatment | 1 |
Ontologies | 1 |
Ontology | 2 |
Ontology Editors | 1 |
Optimization | 1 |
Optimization of tardiness | 1 |
Parallel | 1 |
Planning | 1 |
Prior Knowledge | 1 |
Prioritized Reasoning | 1 |
Query Expansion | 1 |
SMA | 1 |
SOFTWARE ENGINEERING | 3 |
Satifactibilidad | 1 |
Satisfiability | 1 |
Scheduling | 1 |
Semantic Document Retrieval | 1 |
Semantic Representation of Legal Documents | 1 |
Semantics | 3 |
Software | 2 |
Software Engineering Environment | 1 |
Software Engineering Environments | 1 |
Software Process | 1 |
Software development | 1 |
Specifying and Verifying and Reasoning about Programs | 1 |
Subsumición | 1 |
Subsumiption | 1 |
Taxonomía de Conceptos y Cálculo de Tableaux | 1 |
Temporal logic | 1 |
Text mining | 1 |
UML | 1 |
User profiles and alert services | 1 |
Virtual reality | 1 |
adventure games | 1 |
argumentative systems | 1 |
authoring system | 1 |
base de datos | 2 |
case studies | 1 |
commonsense reasoning | 1 |
concorrência | 1 |
concurrency | 1 |
conocimiento | 1 |
consistency | 1 |
conventional heuristics | 1 |
data mining | 1 |
defeasible reasoning | 1 |
dialogues between agents | 1 |
educación | 1 |
educational software | 1 |
estudo casos | 1 |
formalism | 1 |
formalismo | 1 |
grafos | 1 |
graphs | 1 |
herramienta de aprendizaje | 1 |
herramientas | 1 |