Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 2 |
| Ciencias Informáticas | 7 |
| Informática | 2 |
| Intelligent agents | 1 |
| Knowledge Representation Formalisms and Methods | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Temporal logic | 1 |
| argumentation | 2 |
| argumentative systems | 1 |
| belief dynamics | 1 |
| belief revision | 1 |
| commonsense reasoning | 1 |
| defeasible reasoning | 2 |
| explanations | 1 |
| knowledge representation | 7 |
| modal logic | 1 |
| ontology debugging | 1 |
| ontology structure | 1 |
| rational agents | 2 |
| reasoning about change notion and actions | 1 |
| semantic web | 1 |
| temporal reasoning | 1 |
| theory of conditionals | 1 |