Login / Signup
Semantics of Logic Programs.
Haim Gaifman
Published in:
ICLP (1990)
Keyphrases
</>
semantics of logic programs
deductive databases
logic programs
answer sets
fixpoint
logic programming
truth values
answer set semantics
integrity constraints
answer set programming
query evaluation
stable models