Compositional model-theoretic semantics for logic programs

DOI10.1007/BF03037525MaRDI QIDQ1205176zbMATH OpenFDO

Authors Antonio Brogi, Evelina Lamma, Paola Mello

Publication date 1 April 1993

Published in New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

compositionalityHerbrand models

Mathematics Subject Classification ID

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

Recommendations

• A compositional semantics for logic programs
• Program Development in Computational Logic
• Compositional Semantics for the Procedural Interpretation of Logic
• Complementing logic program semantics
• Compositionality and model-theoretic interpretation
• Fully abstract compositional semantics for an algebra of logic programs
• Foundations of compositional model theory
• Compositional reasoning for multi-modal logics
• Compositional specification in rewriting logic
• Combinatory logic and the semantics of substructural logics

Cites work

• A logical analysis of modules in logic programming
• A logical framework for default reasoning
• Compiling a default reasoning system into Prolog
• Complete logic programs with domain-closure axiom
• Composing Open Logic Programs
• Compositional model-theoretic semantics for logic programs
• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3978432 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 970714 (Why is no real title available?)
• The Semantics of Predicate Logic as a Programming Language

Cited in

(17)

• Compositional model-theoretic semantics for logic programs
• A semantics for modular general logic programs
• A unifying view for logic programming with non-monotonic reasoning
• Compositional models for credal sets
• Syntactic forcing models for coherent logic
• A model-theoretic reconstruction of the operational semantics of logic programs
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• A structured alternative to Prolog with simple compositional semantics
• Composing Open Logic Programs
• scientific article; zbMATH DE number 1759496 (Why is no real title available?)
• scientific article; zbMATH DE number 4114113 (Why is no real title available?)
• Compositionality of normal open logic programs
• A refinement of import/export declarations in modular logic programming and its semantics
• An abductive framework for extended logic programming
• Program Development in Computational Logic
• Fully abstract compositional semantics for an algebra of logic programs
• A compositional natural semantics and Hoare logic for low-level languages

This page was built for publication: Compositional model-theoretic semantics for logic programs

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