Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 5 |
| Informática | 3 |
| Knowledge Representation Formalisms and Methods | 5 |
| Logic Programming | 1 |
| PROGRAMMING LANGUAGES | 1 |
| Semantics | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Temporal logic | 1 |
| abduction | 1 |
| agent architectures | 1 |
| agent conceptualization | 1 |
| agent programming languages | 1 |
| agent theories | 1 |
| agentes cognitivos autónomos | 1 |
| argumentative systems | 2 |
| artificial reasoning | 1 |
| autonomous cognitive agents | 1 |
| commonsense reasoning | 1 |
| conceptualización por agentes | 1 |
| defeasible argumentation | 1 |
| defeasible reasoning | 3 |
| knowledge representation | 1 |
| knowledge representation and reasoning | 1 |
| razonamiento artificial | 1 |
| reasoning about change notion and actions | 1 |
| temporal reasoning | 2 |