Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.

Marc Denecker Nikolay Pelov Maurice Bruynooghe

Published in: ICLP (2001)

Keyphrases

semantics for logic programs
logic programs
open world
answer sets
logic programming
stable models
fixpoint
database
minimal models
databases
artificial intelligence
database systems
query language
general purpose
integrity constraints