Recursive rules with aggregation: a simple unified semantics (extended abstract)

MaRDI QIDQ5020980zbMATH OpenFDO

Authors Yanhong A. Liu, Scott D. Stoller

Publication date 11 January 2022

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Recursive rules with aggregation: a simple unified semantics
• Recursive rules with aggregation: a simple unified semantics
• Logics in Artificial Intelligence
• Semantics and complexity of recursive aggregates in answer set programming
• An Introduction to Answer Set Programming and Some of Its Extensions

Cited in

(3)

• Recursive rules with aggregation: a simple unified semantics
• Abstract GSOS rules and a modular treatment of recursive definitions
• Recursive rules with aggregation: a simple unified semantics

This page was built for publication: Recursive rules with aggregation: a simple unified semantics (extended abstract)

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