Justifying induction on modal μ-formulae.
Luca AlberucciJürg KrähenbühlThomas StuderPublished in: Log. J. IGPL (2014)
Keyphrases
- inductive learning
- modal logic
- rule induction
- inductive inference
- program synthesis
- concept learning
- oblique decision trees
- functional programs
- horn clauses
- information systems
- inductive logic programming
- background knowledge
- knowledge representation
- multiscale
- decision making
- computer vision
- induction algorithms
- version space
- concept formation
- artificial intelligence
- data sets
- real time