Reconciling well-founded semantics of DL-programs and aggregate programs

DOI10.4230/LIPICS.ICLP.2012.235MaRDI QIDQ5398062zbMATH OpenOpenAlexFDO

Authors Jia-Huai You, J. R. Morris, Yi Bi

Publication date 25 February 2014

Full work available at URL https://doi.org/10.4230/LIPIcs.ICLP.2012.235

zbMATH Keywords

aggregate logic programsdescription logic programsthree-valued logicwell-founded semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Well-founded and stable semantics of logic programs with aggregates
• scientific article; zbMATH DE number 5996835
• scientific article; zbMATH DE number 2085279
• Well-founded semantics for description logic programs in the semantic web
• The well-founded semantics for general logic programs

Cited in

(5)

• A Theoretical Foundation for Programming Languages Aggregation
• Well-founded semantics for description logic programs in the semantic web
• Well-founded and stable semantics of logic programs with aggregates
• scientific article; zbMATH DE number 2085279 (Why is no real title available?)
• A logical semantics for description logic programs

This page was built for publication: Reconciling well-founded semantics of DL-programs and aggregate programs

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