A Note on the Stable Model Semantics for Logic Programs. (Research Note).

Michael Kaminski

Published in: Artif. Intell. (1997)

Keyphrases

logic programs
stable models
logic programming
normal logic programs
fixpoint
logic programs with negation
answer set programming
answer sets
background knowledge
stable model semantics
semantics for logic programs
inductive logic programming
magic sets
answer set semantics
strong equivalence
horn clauses