A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. A Compositional Semantics for Logic Programs. Technical Report, Dipartimento di Informatica, Universit'a di Pisa, 1993. To appear in Theoretical Computer Science. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Differential Logic Programs: Semantics and.. - Bossi, Bugliesi.. Self-citation (Bossi Gabbrielli Levi Meo Semantics Programs Di informatica Di pisa) (Correct)
....Differential Programs Having established the equivalence between isa hierarchies and composite programs, we move on to study a compositional semantics for the class of differential programs. The approach we follow is inspired by the work on the semantics of open logic programs developed in [3, 4] and [5] Similarly to differential programs, open logic programs are understood as program components rather than stand alone programs: their composition is performed taking the union of the components clauses. The work on the semantics of open logic programs was motivated by the fact that the ....
....a function of that interpretation. Functional semantics for logic program have been largely investigated in the literature: the semantics based on the T P operator of [21] and on the closure operator (T P id) of [18] are examples of such definitions. The semantics for open logic programs of [3, 4] and [5] is in some respects 15 similar to the definition based on the semantics (T P id) of [18] but it refines it in that: i) it captures the operational behaviour of programs more precisely (it is proved cas correct) and (ii) it provides a syntactic representation of the semantics (T ....
[Article contains additional citation context not shown here]
A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. A Compositional Semantics for Logic Programs. Technical Report, Dipartimento di Informatica, Universit'a di Pisa, 1993. To appear in Theoretical Computer Science.
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (1993) (2 citations) Self-citation (Bossi Gabbrielli Levi Meo Semantics Programs) (Correct)
....interpretations, thus leading to a definition of Omega model and to a model theoretic semantics which are still based on the classical notion of truth and which are compositional wrt program union. Finally some applications of our semantics are discussed. This chapter is a restricted version of [3]. 1.1 INTRODUCTION A semantics is compositional wrt a (syntactic) program composition operator ffi when the semantics of the compound construct C 1 ffi C 2 can be obtained by (semantically) composing the semantics of the constituents C 1 and C 2 . Compositionality is a desirable property since it ....
....predicates. This leads to a definition of Omega Gamma 3 del based on the classical notion of truth and which is compositional wrt program union. A different approach is followed in [11] and in [5] where models are based on an ad hoc notion of truth. The present chapter is a restricted version of [3]. The reader is addressed to [3] as well as to [5, 4] for a complete treatment. The remaining of this chapter is organized as follows. In section 1.2 we define the operational semantics O Omega (P ) modeling computed answer substitutions which is OR compositional. Section 1.3 introduces a ....
[Article contains additional citation context not shown here]
A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. A Compositional Semantics for Logic Programs. Technical report, Dipartimento di Informatica, Universit`a di Pisa, 1992. To appear in Theoretical Computer Science.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC