Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Goal-oriented requirements engineering
3
Requirements engineering
3
Inductive learning
2
Inductive logic programming
2
Logic programming
2
Software engineering
2
Specifications
2
Abductive reasoning
1
Automated support
1
Behaviour models
1
Declarative goals
1
Education
1
Engineering education
1
Event Calculus
1
Event calculus
1
Formal logic
1
Goal models
1
Inductive logic programming (ILP)
1
Iterative methods
1
Iterative process
1
Key characteristics
1
Learning algorithms
1
Linear temporal logic
1
Machine-learning
1
Modal Transition Systems
1
Modal transition system
1
Model checking
1
Modelling softwares
1
Models
1
Obstacle analysis
1
-
1Materias: “...Inductive logic programming...”
JOUR -
2Materias: “...Inductive logic programming...”
CONF -
3Materias: “...Formal logic...”
CONF -
4Materias: “...Logic programming...”
JOUR