Keyphrases
- inductive learning
- commonsense knowledge
- logic programs
- rule induction
- default logic
- event calculus
- situation calculus
- closed world assumption
- optimal policy
- default reasoning
- answer sets
- theorem prover
- machine learning
- program synthesis
- logic programming
- inductive logic programming
- partial order
- fixed point
- information systems
- loop formulas
- data sets
- closed world reasoning