Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Inductive logic programming
2
Specifications
2
Abductive reasoning
1
Automated support
1
Education
1
Event Calculus
1
Event calculus
1
Goal-oriented requirements engineering
1
Inductive logic programming (ILP)
1
Key characteristics
1
Linear temporal logic
1
Logic programming
1
Modal Transition Systems
1
Modal transition system
1
Modelling softwares
1
Partial specifications
1
Program translators
1
Real case
1
Refinement
1
Requirements engineering
1
Scenario-based specification
1
Software engineering
1
Temporal logic
1
-
1Materias: “...Event calculus...”
CONF -
2Materias: “...Event Calculus...”
JOUR