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
4
Knowledge Representation Formalisms and Methods
3
argumentative systems
3
defeasible reasoning
3
temporal reasoning
2
Argumentative Systems
1
Commonsense Reasoning
1
Defeasible Reasoning
1
Informática
1
Intelligent agents
1
Knowledge Representation
1
Languages
1
Logic Programming
1
Reasoning about actions and change
1
Specifying and Verifying and Reasoning about Programs
1
Temporal Reasoning
1
Temporal logic
1
commonsense reasoning
1
knowledge representation
1
reasoning about change notion and actions
1
-
1
-
2Materias: “...Specifying and Verifying and Reasoning about Programs...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4