1 “... for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order...”

2 Subjects: “...Logic programming...”

3 Subjects: “...Logic programing...”

4 Table of Contents: “... and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory...”

5 Table of Contents: “...Knowledge Representation with Logic Programs -- The Resolution Principle -- How to Go Nonmonotonic...”

6 Table of Contents: “... Logic -- II Paraconsistency, Partiality and Logic Programming -- Negation and Contradiction -- What...”

7 Table of Contents: “... Logic -- Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Mathematics of Logic...”

8 Table of Contents: “... to Paraconsistent Negation) -- A Survey of Paraconsistent Semantics for Logic Programs -- Table of Contents...”

9 Table of Contents: “... Constraint Logic Programming -- Alessandra Raffaetà -- The Logic of Reusable Propositional Output...”

10 “.... The methodology is based on goal-directed provability. It is a generalization of the logic programming style...”

11 “...Reasoning is an integral part of intelligent systems in fields like databases, logic programming...”

12 “... of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming...”

13 Table of Contents: “... -- Language and equality theory in logic programming -- Alternative (1*): A criterion of identity...”

14 “..., prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth...”

15 “... and computational logic, ranging across automated deduction, logic programming, the logic-based approach...”

16 Table of Contents: “... -- 5 Examples -- 6 Semantics of disjunctive logic programs -- 7 Clausal logic over sequent structures...”

17 Table of Contents: “... the Ghent Logical Program and the “Darwinian” Selectionist Program; Thomas Nickles -- Chapter 8...”

18 Table of Contents: “... -- Logic Programs with Context-dependent Preferences -- An Overview of Inconsistency-tolerant Inferences...”

19 “..., spanning from philosophical aspects to logic, programming language theory, quantum theory, economics...”