LP with Flexible Grouping and Aggregates Using Modes

M.R. Czenko, Sandro Etalle

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

42 Downloads (Pure)

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.
Original languageUndefined
Title of host publication19th International Symposium, LOPSTR, Revised Selected Papers
EditorsD. De Schreye, P. Quaresma
Place of PublicationBerlin
PublisherUniversity of Coimbra
Pages67-81
Number of pages15
ISBN (Print)978-3-642-12591-1
DOIs
Publication statusPublished - Sep 2009

Publication series

NameLNCS
PublisherSpringer
NumberTR 2009/04
Volume6037
ISSN (Print)0874-338X

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

Cite this

Czenko, M. R., & Etalle, S. (2009). LP with Flexible Grouping and Aggregates Using Modes. In D. De Schreye, & P. Quaresma (Eds.), 19th International Symposium, LOPSTR, Revised Selected Papers (pp. 67-81). (LNCS; Vol. 6037, No. TR 2009/04). Berlin: University of Coimbra. https://doi.org/10.1007/978-3-642-12592-8_6
Czenko, M.R. ; Etalle, Sandro. / LP with Flexible Grouping and Aggregates Using Modes. 19th International Symposium, LOPSTR, Revised Selected Papers. editor / D. De Schreye ; P. Quaresma. Berlin : University of Coimbra, 2009. pp. 67-81 (LNCS; TR 2009/04).
@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 = "9",
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",

}

Czenko, MR & Etalle, S 2009, LP with Flexible Grouping and Aggregates Using Modes. in D De Schreye & P Quaresma (eds), 19th International Symposium, LOPSTR, Revised Selected Papers. LNCS, no. TR 2009/04, vol. 6037, University of Coimbra, Berlin, pp. 67-81. https://doi.org/10.1007/978-3-642-12592-8_6

LP with Flexible Grouping and Aggregates Using Modes. / Czenko, M.R.; Etalle, Sandro.

19th International Symposium, LOPSTR, Revised Selected Papers. ed. / D. De Schreye; P. Quaresma. Berlin : University of Coimbra, 2009. p. 67-81 (LNCS; Vol. 6037, No. TR 2009/04).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - LP with Flexible Grouping and Aggregates Using Modes

AU - Czenko, M.R.

AU - Etalle, Sandro

PY - 2009/9

Y1 - 2009/9

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

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

KW - METIS-264007

KW - IR-67590

KW - Grouping in Logic Programs

KW - Moded Logic Programming

KW - Termination of Logic Programs

KW - CR-D.1.6

KW - EWI-16028

KW - SCS-Cybersecurity

KW - CR-F.3

KW - CR-F.4

KW - Stratified Logic Programs

U2 - 10.1007/978-3-642-12592-8_6

DO - 10.1007/978-3-642-12592-8_6

M3 - Conference contribution

SN - 978-3-642-12591-1

T3 - LNCS

SP - 67

EP - 81

BT - 19th International Symposium, LOPSTR, Revised Selected Papers

A2 - De Schreye, D.

A2 - Quaresma, P.

PB - University of Coimbra

CY - Berlin

ER -

Czenko MR, Etalle S. LP with Flexible Grouping and Aggregates Using Modes. In De Schreye D, Quaresma P, editors, 19th International Symposium, LOPSTR, Revised Selected Papers. Berlin: University of Coimbra. 2009. p. 67-81. (LNCS; TR 2009/04). https://doi.org/10.1007/978-3-642-12592-8_6