A Transformational Semantics of Static Embedded Implications of Normal Logic Programs

DOI10.1007/11680093_9MaRDI QIDQ5302884zbMATH OpenOpenAlexFDO

Authors Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Publication date 15 January 2009

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11680093_9

Mathematics Subject Classification ID

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

Recommendations

• Semantics of structured normal logic programs
• scientific article; zbMATH DE number 1330130
• scientific article; zbMATH DE number 2085282
• Structuring logic programs: a modal approach
• Extending Horn clause logic with implication goals

Cited in

(4)

• scientific article; zbMATH DE number 1330130 (Why is no real title available?)
• Semantics of structured normal logic programs
• scientific article; zbMATH DE number 2085282 (Why is no real title available?)
• Translating propositional extended conjunctions of Horn clauses into Boolean circuits

This page was built for publication: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs

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