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

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

3
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

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

5
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

6
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

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 Lloyd, J. W.
Published 1995
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

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

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

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

15
Published 2014
Springer International Publishing
“... and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited...”
Cover Image
Read Now

16
by Bramer, Max
Published 2013
Springer London
“...Logic Programming is the name given to a distinctive style of programming, very different from...”
Cover Image
Read Now

17
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL...”
Cover Image
Read Now

18
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution...”
Cover Image
Read Now

19
Published 2012
Springer Berlin Heidelberg
“... and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system...”
Cover Image
Read Now

20
by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...1 Logic Programming and Databases: An Overview -- 1.1 Logic Programming as Query Language -- 1.2...”