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
argumentative systems
3
defeasible reasoning
3
temporal reasoning
2
Informática
1
Languages
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
-
3