ASPeRiX, a first-order forward chaining approach for answer set computing.
Claire LefèvreChristopher BéatrixIgor StéphanLaurent GarciaPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- forward chaining
- answer sets
- logic programs
- horn clauses
- answer set programs
- backward chaining
- answer set programming
- logic programming
- loop formulas
- defeasible logic
- normal logic programs
- stable models
- blocks world
- inductive logic programming
- inference rules
- theorem proving
- machine learning
- databases
- background knowledge
- planning systems