Well-founded and Stable Semantics of Logic Programs with Aggregates

Nikolay Pelov Marc Denecker Maurice Bruynooghe

Published in: CoRR (2005)

Keyphrases

semantics of logic programs
deductive databases
logic programs
logic programming
answer sets
fixpoint
data streams
database
software engineering