Answer Set Computation Based on a Minimal Model Generation Theorem Prover.
Yasuyuki ShiraiRyuzo HasegawaPublished in: PRICAI (2004)
Keyphrases
- theorem prover
- answer sets
- logic programs
- answer set programming
- theorem proving
- automated theorem proving
- first order logic
- automated reasoning
- inference rules
- logic programming
- term rewriting
- formal proof
- answer set semantics
- natural deduction
- normal logic programs
- formal semantics
- stable model semantics
- boolean algebra
- relational databases
- reasoning tasks
- loop formulas