Colección: TEMAS
Temas | Cantidad |
---|---|
Ciencias Informáticas | 7 |
Informática | 3 |
Intelligent agents | 2 |
Knowledge Representation Formalisms and Methods | 5 |
Languages | 1 |
Parallelism and concurrency | 1 |
Semantics | 1 |
Specifying and Verifying and Reasoning about Programs | 1 |
Temporal logic | 1 |
abduction | 1 |
argumentation | 3 |
argumentative systems | 2 |
collaborative systems | 1 |
commonsense reasoning | 1 |
defeasible reasoning | 7 |
dialectics | 1 |
knowledge repositories | 1 |
knowledge representation | 3 |
knowledge representation and reasoning | 1 |
ontologies | 1 |
reasoning about change notion and actions | 1 |
semantic web | 2 |
temporal reasoning | 1 |