Structuring logic programs: a modal approach

DOI10.1016/0743-1066(94)90001-9MaRDI QIDQ4311648zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alberto Martelli, Laura Giordano

Publication date 18 May 1995

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(94)90001-9

zbMATH Keywords

logic programming languagesmodal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Extending Horn clause logic with implication goals
• Semantics of structured normal logic programs
• Logic Programming
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
• Logics in Artificial Intelligence

Cited in

(10)

• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
• scientific article; zbMATH DE number 1330130 (Why is no real title available?)
• scientific article; zbMATH DE number 1942465 (Why is no real title available?)
• Semantics of structured normal logic programs
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• A logical analysis of modules in logic programming
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
• Translating propositional extended conjunctions of Horn clauses into Boolean circuits

This page was built for publication: Structuring logic programs: a modal approach

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