Pages that link to "Item:Q1205176"

The following pages link to Compositional model-theoretic semantics for logic programs (Q1205176):

Displaying 15 items.

• Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
• A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
• Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
• A semantics for modular general logic programs (Q1274967) (← links)
• A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
• Compositional models for credal sets (Q1678447) (← links)
• Syntactic forcing models for coherent logic (Q1788327) (← links)
• A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658) (← links)
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics (Q2912692) (← links)
• A structured alternative to Prolog with simple compositional semantics (Q3087448) (← links)
• Composing Open Logic Programs (Q4276170) (← links)
• (Q4536450) (← links)
• A refinement of import/export declarations in modular logic programming and its semantics (Q5096751) (← links)
• An abductive framework for extended logic programming (Q5101460) (← links)
• Program Development in Computational Logic (Q5712546) (← links)