Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 5 |
| Algorithms | 3 |
| AnsProlog | 1 |
| Answer Set Semantics | 1 |
| Belief Change | 1 |
| Ciencias Informáticas | 21 |
| Conocimiento | 1 |
| Constrained optimization | 1 |
| Default Logic | 1 |
| Defeasible logic programming | 1 |
| Frameworks | 1 |
| Fuzzy prolog | 1 |
| Hierarchical | 1 |
| Informática | 4 |
| Inteligencia Artificial | 1 |
| Intelligent agents | 3 |
| Knowledge Representation | 2 |
| Knowledge Representation Formalisms and Methods | 4 |
| Languages | 1 |
| Learning | 1 |
| Logic Programming | 1 |
| Microprocessors and microcomputers | 1 |
| Multiagent systems | 1 |
| Nonmonotonic Reasoning | 1 |
| Object-oriented programming | 1 |
| Optimization | 1 |
| PROCESSOR ARCHITECTURES | 1 |
| Processors | 1 |
| Representação do Conhecimento | 1 |
| Requirements/Specifications | 1 |
| Robotics | 1 |
| SOFTWARE ENGINEERING | 2 |
| Scheduling | 1 |
| Semantics | 1 |
| Sistemas Especialistas | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Tecnología Educacional | 1 |
| Temporal logic | 1 |
| argumentative systems | 1 |
| artificial immune system | 1 |
| commonsense reasoning | 1 |
| constrained optimization problem | 1 |
| contrasting termination criteria | 1 |
| data verification | 1 |
| decision support system | 1 |
| defeasible reasoning | 1 |
| disjunctive logic programs | 1 |
| educación | 1 |
| engenharia de requisitos | 1 |
| estimation of distribution algorithms | 1 |
| evolutionary algorithms | 1 |
| ferramenta | 1 |
| flow shop scheduling problem | 1 |
| genetic algorithm | 1 |
| genetic algorithms | 1 |
| informática | 1 |
| intelligent tutor systems; competency-based education; knowledge representation. | 1 |
| intelligent tutoring systems | 1 |
| knowledge | 1 |
| knowledge engineering | 1 |
| knowledge representation | 1 |
| multi-objective metaheuristics | 1 |
| multi-objective optimization | 1 |
| multiple crossovers | 1 |
| multiple parents | 1 |
| negation as failure in the head | 1 |
| non minimal model semantics | 1 |
| ontology production method | 1 |
| problemas de optimización restringidos | 1 |
| reasoning about change notion and actions | 1 |
| sistema inmune artificial | 1 |
| sistema tutor inteligente; educación basada en competencias; representación del conocimiento | 1 |
| software engineering | 1 |
| student evaluation | 1 |
| student model | 1 |
| tecnología | 1 |
| temporal reasoning | 1 |
| técnicas de representação do conhecimento | 1 |