Cover Image
Read Now

1
Published 1999
Springer Netherlands
Table of Contents: “... Logic -- II Paraconsistency, Partiality and Logic Programming -- Negation and Contradiction -- What...”
Cover Image
Read Now

2
by Gabbay, Dov M.
Published 2005
Oxford University Press
“..., artificial intelligence, logic programming philosophy of science, and natural language...”
Cover Image
Read Now

3
Published 2001
Springer Netherlands
Table of Contents: “... Logic -- Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Mathematics of Logic...”
Cover Image
Read Now

4
Published 1998
Springer Netherlands
Table of Contents: “... to Paraconsistent Negation) -- A Survey of Paraconsistent Semantics for Logic Programs -- Table of Contents...”
Cover Image
Read Now

5
Published 2000
Springer Netherlands
Table of Contents: “... Constraint Logic Programming -- Alessandra Raffaetà -- The Logic of Reusable Propositional Output...”
Cover Image
Read Now

6
by Gabbay, Dov M., Olivetti, N.
Published 2000
Springer Netherlands
“.... The methodology is based on goal-directed provability. It is a generalization of the logic programming style...”
Cover Image
Read Now

7
Published 1998
Springer Netherlands
“... of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming...”
Cover Image
Read Now

8
by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002
Springer London
Table of Contents: “... Neural Networks -- 2.4 Logic Programming -- 2.5 Nonmonotonic Reasoning -- 2.6 Belief Revision -- I...”
Cover Image
Read Now

9
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in temporal logic -- An overview of temporal and modal logic programming -- A survey of concurrent MetateM...”
Cover Image
Read Now

10
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... and argumentation -- Goals in argumentation -- An abductive proof procedure for conditional logic programming...”