Layer Supported Models of Logic Programs

DOI10.1007/978-3-642-04238-6_41MaRDI QIDQ3643138zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luís Moniz Pereira, Alexandre Pinto

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_41

zbMATH Keywords

relevancesemanticsstable modelslayering

Mathematics Subject Classification ID

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

Recommendations

• The well-founded semantics for general logic programs
• scientific article; zbMATH DE number 741348
• On generalized well-founded models for logic programs
• On well-founded models for logic programs
• scientific article; zbMATH DE number 1114052

Cited in

(5)

• Logic Foundations of the OCL Modelling Language
• Layered clause selection for theory reasoning (short paper)
• scientific article; zbMATH DE number 2077072 (Why is no real title available?)
• Hyperequivalence of logic programs with respect to supported models
• Layerings of logic programs -- layer decomposable semantics and incremental model computation

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Layer Supported Models of Logic Programs

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