The grand loop semantics for logic programs.

Eric Wegrzynowski Jean-Paul Delahaye

Published in: JFPL (1992)

Keyphrases

semantics for logic programs
logic programs
stable models
open world
logic programming
answer sets
fixpoint
normal form
normal logic programs
minimal models
incomplete information
propositional logic
databases
database
software engineering
query language
database systems
knowledge base