On the Semantics of Logic Programs.

Maurizio Gabbrielli Giorgio Levi

Published in: ICALP (1991)

Keyphrases

semantics of logic programs
deductive databases
logic programs
answer sets
fixpoint
logic programming
answer set semantics
answer set programming
integrity constraints
truth values
databases
data structure
conceptual model
query evaluation