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 |
Average tardiness scheduling problem | 1 |
Belief Change | 1 |
Calculus | 1 |
Ciencias Informáticas | 25 |
Concept Languages | 1 |
Concept Taxonomíc and Tableaux | 1 |
Conocimiento | 1 |
Constrained optimization | 1 |
Default Logic | 1 |
Defeasible Argumentation | 1 |
Defeasible logic programming | 1 |
Domain Oriented Software Engineering Environments | 1 |
Environments | 2 |
Evolutionary scheduling | 1 |
Frameworks | 2 |
Fuzzy prolog | 1 |
General Approach | 1 |
Heuristic methods | 1 |
Hierarchical | 1 |
Implementation | 1 |
Information Retrieval | 1 |
Informática | 2 |
Intelligent agents | 10 |
Knowledge Management | 1 |
Knowledge Representation | 2 |
Knowledge Representation Formalisms and Methods | 1 |
Knowledge-based systems | 1 |
Languages | 1 |
Lenguaje de Conceptos | 1 |
Logic Programming | 1 |
Machine Learning | 1 |
Microprocessors and microcomputers | 1 |
Multiagent systems | 2 |
Noise Treatment | 1 |
Nonmonotonic Reasoning | 1 |
Ontologies | 1 |
Ontology | 2 |
Ontology Editors | 1 |
Optimization | 2 |
Optimization of tardiness | 1 |
PROCESSOR ARCHITECTURES | 1 |
Prioritized Reasoning | 1 |
Processors | 1 |
Query Expansion | 1 |
Robotics | 1 |
SMA | 1 |
SOFTWARE ENGINEERING | 4 |
Satifactibilidad | 1 |
Satisfiability | 1 |
Scheduling | 1 |
Semantic Document Retrieval | 1 |
Semantic Representation of Legal Documents | 1 |
Semantics | 3 |
Software | 1 |
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 |
argumentative systems | 1 |
artificial immune system | 1 |
base de datos | 2 |
commonsense reasoning | 1 |
consistency | 1 |
constrained optimization problem | 1 |
conventional heuristics | 1 |
data verification | 1 |
defeasible reasoning | 1 |
dialogues between agents | 1 |
educación | 1 |
engenharia de requisitos | 1 |
informática | 1 |
intelligent tutoring systems | 1 |
knowledge | 1 |
knowledge engineering | 1 |
knowledge management | 1 |
knowledge representation | 1 |
mobile agent | 1 |
modeling | 1 |
multirecombined evolutionary algorithms | 1 |
ontology production method | 1 |
problem-specific knowledge | 1 |
problemas de optimización restringidos | 1 |
reasoning about change notion and actions | 1 |
single machine environments | 1 |
sistema inmune artificial | 1 |