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
2
Knowledge Representation Formalisms and Methods
argumentative systems
2
defeasible reasoning
2
temporal reasoning
Informática
1
Logic Programming
1
Specifying and Verifying and Reasoning about Programs
1
Temporal logic
1
commonsense reasoning
1
knowledge representation
1
reasoning about change notion and actions
1
-
1
-
2