The grand loop semantics for logic programs.

Eric Wegrzynowski Jean-Paul Delahaye

Published in: CNKBS (1992)

Keyphrases

semantics for logic programs
logic programs
open world
stable models
logic programming
normal logic programs
answer sets
fixpoint
closed world
propositional logic
minimal models
normal form
general purpose
nonmonotonic reasoning
answer set programming
incomplete information
data management
knowledge representation