On the stable model semantics for intensional functions.

Michael Bartholomew Joohyung Lee

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

logic programming
logic programs
stable models
normal logic programs
situation calculus
fixpoint
stable model semantics
deductive databases
answer set programming
knowledge base
general purpose
data integration
answer sets
nonmonotonic reasoning
autoepistemic logic