System f2lp - Computing Answer Sets of First-Order Formulas.
Joohyung LeeRavi PallaPublished in: LPNMR (2009)
Keyphrases
- answer sets
- answer set programs
- logic programs
- answer set programming
- horn clauses
- loop formulas
- logic programming
- fixpoint
- polynomial hierarchy
- first order logic
- normal logic programs
- extended logic programs
- answer set semantics
- model theoretic
- optimal solution
- stable models
- state space
- semantics for logic programs
- machine learning
- semantics of logic programs