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
Knowledge Representation Formalisms and Methods
2
argumentative systems
2
defeasible reasoning
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