LP with Flexible Grouping and Aggregates Using Modes

DOI10.1007/978-3-642-12592-8_6zbMath1284.68114OpenAlexW1597065795MaRDI QIDQ3558287

Sandro Etalle, Marcin Czenko

Publication date: 4 May 2010

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/lp-with-flexible-grouping-and-aggregates-using-modes(46b42d40-1d26-4d72-9825-1cfb15e09b21).html

zbMATH Keywords

termination of logic programsstratified logic programsgrouping in logic programsmoded logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: LP with Flexible Grouping and Aggregates Using Modes