Stable Models of Formulas with Intensional Functions.

Michael Bartholomew Joohyung Lee

Published in: KR (2012)

Keyphrases

stable models
logic programs
logic programming
stable model semantics
normal logic programs
answer set programming
fixpoint
general theory
deductive databases
horn clauses
query evaluation
logic programs with negation
database
derivation rules
strong equivalence
answer sets
artificial intelligence