LP with flexible grouping and aggregates using modes

DOI10.1007/978-3-642-12592-8_6MaRDI QIDQ3558287zbMATH OpenOpenAlexFDO

Authors Marcin Czenko, Sandro Etalle

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

stratified logic programsgrouping in logic programsmoded logic programmingtermination of logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Well-founded and stable semantics of logic programs with aggregates
• Logic Programming and Nonmonotonic Reasoning
• Layered modes
• Logic programs with propositional connectives and aggregates
• Logic Programming

This page was built for publication: LP with flexible grouping and aggregates using modes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558287)