Cover Image
Read Now

1
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

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

3
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

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

5
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

6
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

7
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

8
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

9
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

10
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

11
Published 2015
Springer International Publishing
Table of Contents: “... Explanation for Probabilistic Logic Programs with Annotated Disjunctions -- Towards machine learning...”
Cover Image
Read Now

12
Published 2016
Springer International Publishing
“...This book constitutes the proceedings of the 13th International Symposium on Functional and Logic...”
Cover Image
Read Now

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

14
Published 2018
Springer International Publishing
Table of Contents: “... Relational Classification Through Label Frequency Estimation -- On Applying Probabilistic Logic Programming...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
“... on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018. The 10 full papers...”
Cover Image
Read Now

16
Published 2014
Springer Berlin Heidelberg
“... on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised...”
Cover Image
Read Now

17
Published 2020
Springer International Publishing
Table of Contents: “... Networks for Relational Data -- Learning Logic Programs from Noisy State Transition Data -- A New Algorithm...”
Cover Image
Read Now

18
Published 2020
Springer International Publishing
Table of Contents: “... for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming...”
Cover Image
Read Now

19
Published 2011
Springer Berlin Heidelberg
“... on Inductive Logic Programming, ILP 2010, held in Florence, Italy in June 2010. The 11 revised full papers...”
Cover Image
Read Now

20
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”