Searching for "A Compositional Semantics for Logic Programs." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Compositional Semantics for Logic Programs and Deductive Databases
- … Oettingenstra��e 67, D--80538 Munchen A Compositional Semantics for Logic Programs and Deductive Databases Fran…
- Cited by 13 (1 self) – Add To MetaCart
-
Modular Logic Programs over Finite Domains
- … we study the properties of a compositional semantics for logic programs and its applications…
- Cited by 11 (6 self) – Add To MetaCart
-
A declarative view of inheritance in logic programming
- …, 7] and by earlier work on a compositional definition of the semantics of Logic Programming [10, 3, 1…
- Cited by 25 (4 self) – Add To MetaCart
-
Semantic Definitions for Normal Open Programs
- ….g. [4, 13]) for dening a compositional semantics of logic program units consists in, rst, dening…
- Add To MetaCart
-
An efficient validation mechanism for Inductive Logic Programming using compositionality
- … compositional semantics for logic programming, especially as a theoretical foundation for a module system. We…
- Add To MetaCart
-
Functional Dependencies and Moore-Set Completions of Abstract . . .
- … for programming languages. In Subsection 5.2, we show that a compositional semantics for logic programs…
- Cited by 16 (8 self) – Add To MetaCart
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- …] A. Bossi, M. Gabbrielli, G. Levi, M. C. Meo. A Compositional Semantics for Logic Programs…
- Add To MetaCart
-
Efficient Analysis of Logic Programs with Dynamic Scheduling
- … semantics for (constraint) logic programs with dynamic scheduling. A constraint logic program, or program…
- Cited by 7 (1 self) – Add To MetaCart
-
Combinators for Breadth-First Search
- …. The benets of this theory include a compositional semantics for logic programming, in which the meaning of a…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 9.
