LP with Flexible Grouping and Aggregates Using Modes

Czenko, Marcin and Etalle, Sandro (2009) LP with Flexible Grouping and Aggregates Using Modes. In: 19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009, 9-11 Sep 2009, Coimbra, Portugal.

Preview

PDF
199Kb

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 substi- tutions and termination. Moreover, modes allow us to define a somewhat declar- ative semantics for it and to relax some rather unpractical constraints on variable occurrences while retaining a straightforward semantics.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/67590
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page