Partial Stable Models for Logic Programs with Aggregates

Nikolay Pelov,Marc Denecker,Maurice Bruynooghe

doi:10.1007/978-3-540-24609-1_19

Partial Stable Models for Logic Programs with Aggregates

Nikolay Pelov, Marc Denecker + Show 1 more

https://doi.org/10.1007/978-3-540-24609-1_19

Copy DOI

Publication Date: Jan 1, 2003

Citations: 46

Affiliation: KU Leuven

#Semantics For Normal Logic Programs #Model Semantics For Logic Programs + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

AbstractWe 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.

Full Text