A parallel memory-efficient epistemic logic program solver: harder, better, faster.
Patrick Thor KahlAnthony P. LeclercTran Cao SonPublished in: Ann. Math. Artif. Intell. (2019)
Keyphrases
- memory efficient
- logic programs
- logic program updates
- logic programming
- answer sets
- fixpoint
- stable models
- answer set programming
- general logic programs
- normal logic programs
- background knowledge
- inductive logic programming
- deductive databases
- horn clauses
- minimal change
- fixpoint semantics
- natural language
- existentially quantified
- loop formulas
- logic programming language
- model theoretic
- reasoning about actions
- nonmonotonic reasoning