@inproceedings{46b42d401d264d7298251cfb15e09b21,
title = "LP with Flexible Grouping and Aggregates Using Modes",
abstract = "We propose a new grouping operator for logic programs based on the bagof predicate. The novelty of our proposal lies in the use of modes, which allows us to prove properties regarding groundness of computed answer substitutions and termination. Moreover, modes allow us to define a somewhat declarative semantics for it and to relax some rather unpractical constraints on variable occurrences while retaining a straightforward semantics.",
keywords = "METIS-264007, IR-67590, Grouping in Logic Programs, Moded Logic Programming, Termination of Logic Programs, CR-D.1.6, EWI-16028, SCS-Cybersecurity, CR-F.3, CR-F.4, Stratified Logic Programs",
author = "M.R. Czenko and Sandro Etalle",
year = "2009",
month = sep,
doi = "10.1007/978-3-642-12592-8\_6",
language = "Undefined",
isbn = "978-3-642-12591-1",
series = "LNCS",
publisher = "University of Coimbra",
number = "TR 2009/04",
pages = "67--81",
editor = "\{De Schreye\}, D. and P. Quaresma",
booktitle = "19th International Symposium, LOPSTR, Revised Selected Papers",
address = "Portugal",
note = "19th International Symposium, LOPSTR, Revised Selected Papers ; Conference date: 09-09-2009 Through 11-09-2009",
}