Searching for "Comments on "Logic-Programming with Equations"." – sorted by Relevance.
329,525 documents found, showing 1 through 10.
Next 10 →
-
Logic Programs and Connectionist Networks
- …Logic Programs and Connectionist Networks ∗ Pascal Hitzler † , Steffen Hölldobler † , Anthony…
- Cited by 32 (14 self) – Add To MetaCart
-
Executing Suspended Logic Programs
- …Fundamenta Informaticae 34 (1998) 1--22 1 IOS Press Executing Suspended Logic Programs Robert A…
- Cited by 15 (5 self) – Add To MetaCart
-
Logic Programming in Oz with Mozart
- …Logic Programming in Oz with Mozart Peter Van Roy Universit'e catholique de Louvain B-1348…
- Cited by 8 (2 self) – Add To MetaCart
-
Bilattices In Logic Programming
- …Bilattices In Logic Programming Melvin Fitting mlflc@(email omitted); Dept. Mathematics…
- Cited by 28 (4 self) – Add To MetaCart
-
Probabilistic constraint logic programming
- … PROBABILISTIC CONSTRAINT LOGIC PROGRAMMING STEFAN RIEZLER Abstract. This paper addresses two central problems…
- Cited by 24 (2 self) – Add To MetaCart
-
On the Use of Types in Logic Programming
- …On the Use of Types in Logic Programming Gregor Meyer FernUniversitat Hagen, Praktische…
- Cited by 4 (2 self) – Add To MetaCart
-
Constraint Hierarchies and Logic Programming
- …Constraint Hierarchies and Logic Programming Alan Borningy, Michael Maherz, Amy Martindaley…
- Cited by 67 (7 self) – Add To MetaCart
-
Splitting a Logic Program
- …Splitting a Logic Program Vladimir Lifschitz Department of Computer Sciences and Department…
- Cited by 199 (13 self) – Add To MetaCart
-
Partial Order Logic Programming
- … and lattice domains for logic programming. We illustrate the paradigm using a variety of examples, ranging…
- Cited by 1 (1 self) – Add To MetaCart
-
Logic Programming with Linear Logic
- … equates a program with a theory in a logic and a computation with a deduction in the logic. A logic…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
