Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Approximate reasoning
1
Automated support
1
Event calculus
1
Fuzzy logic
1
Inductive logic programming
1
Inductive logic programming (ILP)
1
Key characteristics
1
Kripke model
1
Logic Programming Gödel Logic
1
Logic programming
1
Many valued logics
1
Modal Transition Systems
1
Modal logic
1
Modal transition system
1
Modelling softwares
1
Partial specifications
1
Possible worlds
1
Real case
1
Refinement
1
Similarity
1
Similarity relations
1
Specifications
1
-
1Materias: “...Logic Programming Gödel Logic...”
CONF -
2Materias: “...Inductive logic programming...”
CONF