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