Title: Partial stable models for logic programs with aggregates
Authors: Pelov, Nikolay ×
Denecker, Marc
Bruynooghe, Maurice #
Issue Date: 2004
Publisher: Springer
Host Document: Lecture notes in computer science vol:2923 pages:207-219
Conference: International Conference on Logic Programming and Nonmonotonic Reasoning edition:7 location:Fort Lauderdale, Florida, USA date:January 6-8, 2004
Abstract: We introduce a family of partial stable model semantics for logic programs with arbitrary aggregate relations. The semantics are parametrized by the interpretation of aggregate relations in three-valued logic. Any semantics in this family satisfies two important properties: (i) it extends the partial stable semantics for normal logic programs and (ii) total stable models are always minimal. We also give a specific instance of the semantics and show that it has several attractive features.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
40922.pdf Published 160KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science