21
by Lloyd, J. W.
Published 1995
MIT Press
Subjects: ...Logic programming / Congresses...

22
by Naish, Lee
Published 1997
MIT Press
Subjects: ...Logic programming / Congresses...

23
by Sterling, Leon
Published 1995
MIT
Subjects: ...Logic programming / Congresses...

24
by Małuszyński, J.
Published 1997
MIT Press
Subjects: ...Logic programming / Congresses...

25
by Lloyd, John W.
Published 1987
Springer Berlin Heidelberg
...In the two and a half years since the frrst edition of this book was published, the field of logic...

26
Published 2014
Springer International Publishing
... and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited...

27
by Bramer, Max
Published 2013
Springer London
...Logic Programming is the name given to a distinctive style of programming, very different from...

28
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL...

29
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution...

30
Published 2012
Springer Berlin Heidelberg
... and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system...

31
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...I. Computing and Programming -- 1 Concurrent and Agent Programming -- Logic Programming and Multi...

32
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... Programming problems -- Inductive logic programming and constraint logic programming (abstract) -- Learning...

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

34
by Lloyd, J. W.
Published 1984
Springer Berlin Heidelberg
Table of Contents: ...1. Declarative Semantics -- §1. Introduction -- §2. Logic programs -- §3. Models of logic programs...

35
Published 2015
Springer International Publishing
Table of Contents: ... Explanation for Probabilistic Logic Programs with Annotated Disjunctions -- Towards machine learning...

36
Published 2016
Springer International Publishing
...This book constitutes the proceedings of the 13th International Symposium on Functional and Logic...