Cover Image
Read Now

1
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

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

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

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

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

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

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

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

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

13
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

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 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

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

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

18
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

19
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

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