Login / Signup
On the Semantics of Logic Programs.
Giorgio Levi
Published in:
ICLP (1991)
Keyphrases
</>
semantics of logic programs
deductive databases
logic programs
answer sets
fixpoint
logic programming
truth values
general purpose
integrity constraints
knowledge base
query answering
answer set programming
answer set semantics