Cover Image
Read Now

1
by Doets, Kees
Published 1994
MIT Press
Subjects: “...Logic programming...”
Cover Image
Read Now

2
by Ognjanović, Zoran, Rašković, Miodrag, Marković, Zoran
Published 2016
Springer International Publishing
Table of Contents: “...Introduction, Historical Background -- Syntax and Semantics of Probability Logics -- Completeness...”
Cover Image
Read Now

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...-Regler mit Hyperinferenz- und Hyperdefuzzifizierungsstrategie -- Echtzeitbildverarbeitung mit Fuzzy Logic...”
Cover Image
Read Now

4
by Li, Wei
Published 2014
Birkhäuser
Table of Contents: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
Cover Image
Read Now

5
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

6
by Li, Wei
Published 2010
Birkhäuser
Subjects: “...Mathematical logic...”
Cover Image
Read Now

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

8
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”
Cover Image
Read Now

9
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

10
by Lover, Robert
Published 2008
Springer London
Table of Contents: “...Language and Logical Form -- Atomic Statements -- Compound Statements -- Quantified Statements...”
Cover Image
Read Now

11
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

12
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...”
Cover Image
Read Now

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

14
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Logic and databases: A 20 year retrospective -- A parametric approach to deductive databases...”
Cover Image
Read Now

15
by Deza, Alfredo
Published 2021
Pragmatic AI Solutions
Cover Image
Read Now

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

17
by Mountjoy, Jon
Published 2004
O'Reilly
Subjects: “...BEA WebLogic server / fast...”
Cover Image
Read Now

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

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

20
by Maher, Michael
Published 1996
MIT
Subjects: “...Logic programming / Congresses...”