TY - GEN
T1 - Stable models of formulas with generalized quantifiers (preliminary report)
AU - Lee, Joohyung
AU - Meng, Yunsong
PY - 2012
Y1 - 2012
N2 - Applications of answer set programming motivated various extensions of the stable model semantics, for instance, to allow aggregates or to facilitate interface with external ontology descriptions. We present a uniform, reductive view on these extensions by viewing them as special cases of formulas with generalized quantifiers. This is done by extending the first-order stable model semantics by Ferraris, Lee and Lifschitz to account for generalized quantifiers and then by reducing the individual extensions to this formalism.
AB - Applications of answer set programming motivated various extensions of the stable model semantics, for instance, to allow aggregates or to facilitate interface with external ontology descriptions. We present a uniform, reductive view on these extensions by viewing them as special cases of formulas with generalized quantifiers. This is done by extending the first-order stable model semantics by Ferraris, Lee and Lifschitz to account for generalized quantifiers and then by reducing the individual extensions to this formalism.
KW - Answer set programming
KW - Generalized quantifiers
KW - Stable model semantics
UR - http://www.scopus.com/inward/record.url?scp=84880198820&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84880198820&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.ICLP.2012.61
DO - 10.4230/LIPIcs.ICLP.2012.61
M3 - Conference contribution
AN - SCOPUS:84880198820
SN - 9783939897439
T3 - Leibniz International Proceedings in Informatics, LIPIcs
SP - 61
EP - 71
BT - Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012
T2 - 28th International Conference on Logic Programming, ICLP 2012
Y2 - 4 September 2012 through 8 September 2012
ER -