A First Order Forward Chaining Approach for Answer Set Computing.
Claire LefèvrePascal NicolasPublished in: LPNMR (2009)
Keyphrases
- forward chaining
- answer sets
- logic programs
- horn clauses
- answer set programs
- backward chaining
- answer set programming
- logic programming
- loop formulas
- defeasible logic
- first order logic
- planning systems
- stable models
- inductive logic programming
- databases
- theorem proving
- blocks world
- normal logic programs
- sat solvers
- search space
- lower bound
- objective function
- web services