Colección: TEMAS

Temas Cantidad
ARTIFICIAL INTELLIGENCE3
Ciencias Informáticas14
Games1
Informática3
Intelligent agents3
Knowledge Representation Formalisms and Methods6
Languages1
Logic Programming2
Parallelism and concurrency1
Semantics2
Specifying and Verifying and Reasoning about Programs1
Temporal logic1
abduction1
argumentation4
argumentation theories1
argumentative systems6
collaborative systems1
commonsense reasoning1
defeasible reasoning14
dialectics1
knowledge repositories1
knowledge representation6
knowledge representation and reasoning1
nonmonotonic reasoning1
ontologies1
rational agents1
reasoning about change notion and actions1
semantic web2
temporal reasoning2