LP with flexible grouping and aggregates using modes

DOI10.1007/978-3-642-12592-8_6zbMATH Open1284.68114OpenAlexW1597065795MaRDI QIDQ3558287FDOQ3558287

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

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

zbMATH Keywords

stratified logic programsgrouping in logic programsmoded logic programmingtermination of logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

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)