Cover Image
Read Now

1
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

2
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

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

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

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

6
by Maher, Michael
Published 1996
MIT
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

7
by Lloyd, J. W.
Published 1995
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

8
by Naish, Lee
Published 1997
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

9
by Sterling, Leon
Published 1995
MIT
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

10
by Małuszyński, J.
Published 1997
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

11
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

12
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

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

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

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

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