Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
5
defeasible reasoning
5
knowledge representation
Intelligent agents
2
Knowledge Representation Formalisms and Methods
2
argumentation
2
ARTIFICIAL INTELLIGENCE
1
Informática
1
Specifying and Verifying and Reasoning about Programs
1
Temporal logic
1
argumentation theories
1
argumentative systems
1
commonsense reasoning
1
dialectics
1
nonmonotonic reasoning
1
rational agents
1
reasoning about change notion and actions
1
temporal reasoning
1
-
1Materias: “...Specifying and Verifying and Reasoning about Programs...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4
-
5