Cover Image
Read Now

1
Published 1985
Springer Netherlands
Table of Contents: “...1 Introductory Papers to Logic Programming and Prolog -- 2 Theoretical Issues of Logic Programming...”
Cover Image
Read Now

6
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... terms in Prolog -- Compiling Flang -- FIDO: Finite domain consistency techniques in logic programming...”
Cover Image
Read Now

7
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of Prolog for Modal Logic Programming -- Probabilistic Choice Operators as Global Constraints: Application...”
Cover Image
Read Now

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Disambiguation -- Development and Application of Logical Actors Mathematical Apparatus for Logic Programming...”
Cover Image
Read Now

9
by Voronkov, A.
Published 1992
Springer
Cover Image
Read Now

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... for Deductive Databases by Logic Programming -- Reasoning about Actions with CHRs and Finite Domain Constraints...”
Cover Image
Read Now

11
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Programming -- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering...”
Cover Image
Read Now

12
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Verification: An Abductive Logic Programming Tool -- Visual Logic Programming Method Based on Structural...”
Cover Image
Read Now

13
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Declarative Specifications Using Logic Programming -- Prolog Based Description Logic Reasoning -- Resource...”
Cover Image
Read Now

14
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral...”
Cover Image
Read Now

15
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Programs -- Research Summary: Logic Programming for Massively Distributed Systems -- Research Summary...”
Cover Image
Read Now

16
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cover Image
Read Now

17
by Van Hentenryck, Pascal
Published 1994
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

18
by Warren, David S.
Published 1993
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

19
by De Schreye, Danny
Published 2000
MIT
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

20
by Maher, Michael
Published 1996
MIT
Subjects: “...Logic programming / Congresses...”