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
2
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
-
2Materias: “...Knowledge Representation Formalisms and Methods...”
Aportado por: SEDICI (UNLP)Objeto de conferencia