Colección: TEMAS

Temas Cantidad
Ciencias Informáticas7
Informática3
Intelligent agents2
Knowledge Representation Formalisms and Methods7
Logic Programming1
Multiagent systems1
Nonmonotonic reasoning and belief revision1
PROGRAMMING LANGUAGES1
Semantics1
Specifying and Verifying and Reasoning about Programs1
Temporal logic1
abduction1
agent architectures1
agent programming languages1
agent theories1
argumentation2
argumentative systems1
commonsense reasoning1
defeasible argumentation1
defeasible reasoning4
dialectics1
knowledge representation3
knowledge representation and reasoning1
ontologies1
reasoning about change notion and actions1
semantic web1
temporal reasoning1