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
6
argumentative systems
defeasible reasoning
6
Knowledge Representation Formalisms and Methods
3
Informática
2
Logic Programming
2
temporal reasoning
2
ARTIFICIAL INTELLIGENCE
1
Games
1
Inteligencia Artificial
1
Languages
1
Semantics
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
-
1Materias: “...Specifying and Verifying and Reasoning about Programs...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4
-
5
-
6