Cover Image
Read Now

1
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

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Disjunctive deductive databases -- Netlog — A concept oriented logic programming language -- From...”
Cover Image
Read Now

4
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-commutative Logic -- Session 10 -- CHAT Is ? (SLG-WAM) -- Proving Failure of Queries for Definite Logic...”
Cover Image
Read Now

5
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... linear integer programming -- The completion of typed logic programs and SLDNF-resolution --...”
Cover Image
Read Now

8
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... database queries -- From extensional to intensional knowledge: Inductive logic programming techniques...”
Cover Image
Read Now

10
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Problems by Partial Deduction -- A Kripkean Semantics for Dynamic Logic Programming...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
“... all current issues in automated reasoning, computational logic, programming languages and deal...”
Cover Image
Read Now

12
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Polymorphically Typed Logic Programs Using ACI-Unification -- Experimental Papers -- Model Generation with Boolean...”
Cover Image
Read Now

13
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Cover Image
Read Now

14
Published 2012
Springer Berlin Heidelberg
“... in the areas of logic, automated reasoning, computational logic, programming languages and their applications...”
Cover Image
Read Now

15
Published 2015
Springer Berlin Heidelberg
“... of logic, automated reasoning, computational logic, programming languages and their applications come...”
Cover Image
Read Now

16
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Normal Logic Programs -- Permutative Additives and Exponentials --...”
Cover Image
Read Now

17
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Uniform Rules and Dialogue Games for Fuzzy Logics -- Nonmonotonic Description Logic Programs...”
Cover Image
Read Now

18
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”
Cover Image
Read Now

19
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Incremental Tabling for Query-Driven Propagation of Logic Program Updates -- Tracking Data-Flow with Open...”
Cover Image
Read Now

20
Published 2008
Springer Berlin Heidelberg
“..., computational logic, programming languages and their applications and are organized in topical sections...”