Answer Set Computation Based on a Minimal Model Generation Theorem Prover.

Yasuyuki Shirai Ryuzo Hasegawa

Published 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