G. Levi and F. Sirovich. A problem reduction model for non-independent subproblems. In Proc. Fourth International Joint Conference on Artificial Intelligence, pages 340--344, 1975. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Concurrent Logic Programming as Uniform Linear Proofs - Paolo Volpe (1994) (11 citations) (Correct)
....LC is then an abstract logic programming language. 3 LC and Logic Programming We think that LC is quite simple but it has anyway interesting features as a programming language. First of all it can be shown that we can embed in LC the language of Generalized Horn Clauses (GC ) introduced in [19, 20, 24] and further developed in [11] and [8] GC allows multiple atoms in the heads of clauses with the aim of synchronizing concurrent computations. The syntax of the clauses is the following A 1 Delta Delta Delta An B 1 Delta Delta Delta Bm n 1; m 0 The empty conjunction is denoted ....
G. Levi and F. Sirovich. A problem reduction model for non-independent subproblems. In Proc. Fourth International Joint Conference on Artificial Intelligence, pages 340--344, 1975.
Semantics of Concurrent Logic Programming as Uniform Proofs - Volpe (1995) (Correct)
....based on the S semantics approach to the semantics of logic programming [13] 4 LC and the logic Programming We think that LC provides interesting features as a programming language. First of all it can be shown that we can embed in LC the language of Generalized Horn Clauses (GC ) introduced in [23, 24, 27] and further developed in [14] and [10] GC allows multiple atoms in the heads of clauses with the aim of synchronizing concurrent computations. The syntax of the clauses is the following A 1 Delta Delta Delta An B 1 Delta Delta Delta Bm n 1; m 0 The operational semantics is a ....
G. Levi and F. Sirovich. A problem reduction model for non-independent subproblems. In Proc. Fourth International Joint Conference on Artificial Intelligence, pages 340--344, 1975.
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