Login / Signup
An OR-Compositional Semantics for Logic Programs.
Annalisa Bossi
Maurizio Gabbrielli
Giorgio Levi
Maria Chiara Meo
Published in:
ICLP Workshop on Construction of Logic Programs (1991)
Keyphrases
</>
semantics for logic programs
logic programs
open world
logic programming
stable models
answer sets
fixpoint
normal form
normal logic programs
incomplete information
minimal models
closed world
deductive databases
relational databases
knowledge base
answer set programming
general purpose