Semantics of Logic Programs with Aggregates.

David B. Kemp Peter J. Stuckey

Published in: ISLP (1991)

Keyphrases

semantics of logic programs
deductive databases
logic programs
answer sets
logic programming
fixpoint
data streams
integrity constraints
answer set semantics
information systems
answer set programming
orders of magnitude
stable models
truth values