A. Brogi, S. Contiero, and F. Turini. The use of renaming in composing general programs. In P. Flener, editor, Proc. of the 8th International Workshop on Logic Programming Synthesis and Transformation (LOPSTR'98), volume 1559 of Lecture Notes in Computer Science, pages 124--142. Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for Integrating ALN-Theories with Recursive.. - Vitória, Mamede (Correct)
....in AL, relies on a completely different technique: completion rules. Furthermore, it is important to mention that compositional operators have also been investigated in the context of logic programming [8, 11] for combining not only definite programs [9] but also general logic programs [6, 7]. 2 The rest of the paper is organized as follows. Section 2 is dedicated to the concept description language: Section 2.1 is concerned with the syntactic aspects and Section 2.2 presents its semantics. Section 3 is devoted to the declarative semantics of the compositional operations and several ....
A. Brogi, S. Contiero, and F. Turini. The use of renaming in composing general programs. In P. Flener, editor, Proc. of the 8th International Workshop on Logic Programming Synthesis and Transformation (LOPSTR'98), volume 1559 of Lecture Notes in Computer Science, pages 124--142. Springer-Verlag, 1999.
Integrating Concept-Based Knowledge Bases - Vitória, Mamede (Correct)
....transformation is sound and complete with respect to the semantics referred above. It is worth referring that compositional operators have also been investigated in the context of logic programming [5, 6, 7, 13, 14] for combining not only definite programs [5] but also general logic programs [3, 4]. 2 The language AL The language used in this work is AL [10] extended with terminological axioms of the form R 1 v R 2 , where R 1 and R 2 are primitive relations. Even though it is an extension of AL, for the sake of simplicity, we still call it AL. Let (Conc; Rel; Ind) be a tuple of pairwise ....
A. Brogi, S. Contiero, and F. Turini. The use of renaming in composing general programs. In P. Flener, editor, Proc. of the 8th International Workshop on Logic Programming Synthesis and Transformation (LOPSTR'98), volume 1559 of Lecture Notes in Computer Science, pages 124--142. Springer-Verlag, 1999.
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