Induction from answer sets in nonmonotonic logic programs.
Chiaki SakamaPublished in: ACM Trans. Comput. Log. (2005)
Keyphrases
- logic programs
- answer sets
- answer set semantics
- logic programming
- answer set solvers
- inductive logic programming
- strong equivalence
- answer set programming
- semantics of logic programs
- normal logic programs
- answer set programs
- extended logic programs
- stable models
- fixpoint
- minimal models
- autoepistemic logic
- nonmonotonic reasoning
- logic program updates
- loop formulas
- default logic
- stable model semantics
- disjunctive logic programming
- polynomial hierarchy
- reasoning tasks
- dl programs
- model theoretic
- nonmonotonic logics
- horn clauses
- deductive databases
- description logic programs
- machine learning
- knowledge representation and reasoning