Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

LOPSTR
2004
Springer

favoriteEmaildiscussreport

105views Automated Reasoning» more LOPSTR 2004»

On the Semantics of Logic Program Composition

13 years 9 months ago

On the Semantics of Logic Program Composition

Download www.di.unipi.it

Abstract. This paper aims at oﬀering an insightful synthesis of diﬀerent compositional semantics for logic program composition which have been developed in the literature. In particular, we will analyse the noprogram equivalence, compositionality, and full abstraction for logic programs. We will show how the notion of supported interpretation provides a unifying compositional model-theoretic characterisation both of positive programs and of programs containing negation.

Antonio Brogi

Real-time Traffic

Diﬀerent Compositional Semantics | Logic Program Composition | Logic Programs | LOPSTR 2004 |

claim paper

Related Content

» Combining Answer Sets of Nonmonotonic Logic Programs

» A Declarative View of Inheritance in Logic Programming

» Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes

» Toward the Composition of Semantic Web Services

» A Compositional Semantics for Conditional Term Rewriting Systems

» Compositionality of Normal Open Logic Programs

» New Semantics for Hybrid Probabilistic Programs

» Specification of Logic Programming Languages from Reusable Semantic Building Blocks

» Types with semantics soundness proof assistant

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	LOPSTR
Authors	Antonio Brogi

Comments (0)