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