Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 6 |
| Ciencias Informáticas | 15 |
| Distributed Systems | 1 |
| Frameworks | 1 |
| Informática | 2 |
| Intelligent agents | 4 |
| Knowledge Representation Formalisms and Methods | 3 |
| Labeled deduction | 1 |
| Logic Programming | 2 |
| Semantics | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Temporal logic | 1 |
| Theory of Computation | 1 |
| argumentation | 5 |
| argumentative systems | 1 |
| belief dynamics | 1 |
| belief revision | 1 |
| commonsense reasoning | 1 |
| defeasible argumentation | 3 |
| defeasible reasoning | 5 |
| dialectics | 1 |
| explanations | 1 |
| informática | 2 |
| knowledge representation | 15 |
| labeled deduction | 1 |
| labelled deduction | 1 |
| logic programming | 1 |
| logic programming applications | 1 |
| modal logic | 1 |
| negation as failure | 1 |
| non-monotonic inference | 1 |
| object-oriented modeling | 1 |
| ontologies | 1 |
| ontology debugging | 1 |
| ontology structure | 1 |
| rational agents | 2 |
| reasoning about change notion and actions | 1 |
| semantic web | 2 |
| temporal reasoning | 1 |
| theory of conditionals | 1 |