Colección: TEMAS

Temas Cantidad
Ciencias Informáticas7
Informática3
Intelligent agents2
Knowledge Representation Formalisms and Methods7
Languages1
Logic Programming1
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 systems2
commonsense reasoning1
defeasible argumentation1
defeasible reasoning5
dialectics1
knowledge representation3
knowledge representation and reasoning1
ontologies1
reasoning about change notion and actions1
semantic web1
temporal reasoning1