Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 1 |
Belief Revision | 1 |
Ciencias Informáticas | 13 |
Informática | 4 |
Intelligent agents | 2 |
Knowledge Representation | 1 |
Knowledge Representation Formalisms and Methods | 13 |
Languages | 1 |
Logic Programming | 3 |
Multiagent systems | 1 |
Nonmonotonic reasoning and belief revision | 2 |
PROGRAMMING LANGUAGES | 1 |
Relevance | 1 |
SOFTWARE ENGINEERING | 1 |
Semantics | 2 |
Specifying and Verifying and Reasoning about Programs | 1 |
Temporal logic | 1 |
Theory Change | 1 |
abduction | 1 |
agent architectures | 1 |
agent conceptualization | 1 |
agent programming languages | 1 |
agent theories | 1 |
agentes cognitivos autónomos | 1 |
argumentation | 2 |
argumentative systems | 3 |
artificial reasoning | 1 |
autonomous cognitive agents | 1 |
commonsense reasoning | 1 |
conceptualización por agentes | 1 |
defeasible argumentation | 1 |
defeasible reasoning | 6 |
dialectics | 1 |
knowledge representation | 3 |
knowledge representation and reasoning | 1 |
ontologies | 1 |
razonamiento artificial | 1 |
reasoning about change notion and actions | 1 |
semantic web | 1 |
software engineering | 1 |
temporal reasoning | 2 |