Layerings of logic programs -- layer decomposable semantics and incremental model computation

DOI10.1007/978-3-031-31476-6_11zbMath1529.68071OpenAlexW4376854262MaRDI QIDQ6175110

Luís Moniz Pereira, Alexandre Miguel Pinto

Publication date: 17 August 2023

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-31476-6_11

zbMATH Keywords

stratificationlogic programslayeringsmodel computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Graph theoretical structures in logic programs and default theories
• On finding the strongly connected components in a directed graph
• On the declarative and procedural semantics of logic programs
• Layer Supported Models of Logic Programs
• The well-founded semantics for general logic programs
• A uniform approach to logic programming semantics

This page was built for publication: Layerings of logic programs -- layer decomposable semantics and incremental model computation