First-Order Stable Model Semantics and First-Order Loop Formulas.

Joohyung Lee Yunsong Meng

Published in: CoRR (2014)

Keyphrases

loop formulas
stable model semantics
logic programs
stable models
answer set programming
answer sets
logic programming
first order logic
inductive logic programming
fixpoint
normal logic programs
databases
propositional logic
horn clauses
general purpose
database systems
high level