A uniform approach to logic programming semantics

DOI10.1017/S1471068404002212MaRDI QIDQ4673541zbMATH OpenOpenAlexFDO

Authors Pascal Hitzler, Matthias Wendt

Publication date 29 April 2005

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068404002212

zbMATH Keywords

stable semanticswell-founded semanticsFitting semanticsweak stratificationlevel mappingleast model seman tics

Mathematics Subject Classification ID

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

Recommendations

• Towards a Systematic Account of Different Semantics for Logic Programs
• Towards a systematic account of different logic programming semantics
• Fixpoint semantics for logic programming a survey
• A logical foundation for logic programming II: Semantics of general logic programs
• On the equivalence of semantics for normal logic programs

Cited in

(13)

• Towards a Systematic Account of Different Semantics for Logic Programs
• On the coincidence of semantics for uniquely determined programs
• Logic programs, iterated function systems, and recurrent radial basis function networks
• A sound and complete semantics for a similarity-based logic programming language
• On logics and semantics for general logic programs
• Unifying Theories of Logic and Specification
• The role of standardising apart in logic programming
• On the declarative and procedural semantics of logic programs
• Deliberative acting, planning and learning with hierarchical operational models
• Layerings of logic programs -- layer decomposable semantics and incremental model computation
• Towards a systematic account of different logic programming semantics
• scientific article; zbMATH DE number 1948998 (Why is no real title available?)
• Modeling the suppression task under weak completion and well-founded semantics

This page was built for publication: A uniform approach to logic programming semantics

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