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
7
Logic Programming
5
Temporal logic
4
Informática
3
Knowledge Representation Formalisms and Methods
2
Metric Temporal Logic
2
Metrics
2
SOFTWARE ENGINEERING
2
argumentative systems
2
base de datos
2
defeasible reasoning
2
temporal reasoning
2
Deductive Databases
1
Languages
1
Negation
1
Programming Languages
1
Specifying and Verifying and Reasoning about Programs
1
Temporal Databases
1
commonsense reasoning
1
knowledge representation
1
reasoning about change notion and actions
1
temporal logic; logic programming; temporal logic programming
1
-
1Materias: “...temporal logic; logic programming; temporal logic programming...”
Aportado por: SEDICI (UNLP)Articulo -
2
-
3
-
4
-
5
-
6
-
7