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
Knowledge Representation Formalisms and Methods
1
Specifying and Verifying and Reasoning about Programs
1
Temporal logic
1
argumentative systems
1
belief dynamics
1
belief revision
1
commonsense reasoning
1
defeasible reasoning
1
explanations
1
reasoning about change notion and actions
1
temporal reasoning
1
-
1
-
2