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.
Temporal logic
Ciencias Informáticas
8
Specifications
6
Informática
4
Linear temporal logic
4
Requirements engineering
4
Software engineering
4
Logic Programming
3
Model checking
3
Abductive reasoning
2
Behavioral model
2
Behavioral modeling
2
Component based
2
Component based systems
2
Computing paradigm
2
Correlation function
2
Declarative Languages
2
Declarative models
2
Declarative semantics
2
Decorrelations
2
Dynamic environments
2
Dynamic models
2
Dynamic re-configuration
2
Education
2
Essential characteristic
2
Event Calculus
2
Event-based system
2
Fluents
2
Formal Description
2
Formal Specifications
2
-
1Materias: “...temporal logic; logic programming; temporal logic programming...”
Aportado por: SEDICI (UNLP)Articulo -
2
-
3
-
4Publicado 2015Materias: “...Temporal logic...”
-
5
-
6Publicado 2009Materias: “...Inductive logic programming...”
-
7Materias: “...Inductive logic programming...”
JOUR -
8
-
9
-
10
-
11
-
12Materias: “...Temporal logic...”
JOUR -
13Materias: “...Temporal logic...”
-
14Materias: “...Temporal logic...”
JOUR -
15
-
16
-
17Materias: “...Temporal logic...”
SER -
18