1

2 Table of Contents: “...Complexity results for abductive logic programming -- A terminological interpretation of (abductive...”

3 Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”

4

5 Subjects: “...Logic programming / Congresses...”

6 Table of Contents: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”

7 Table of Contents: “... of computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction...”

8 Table of Contents: “... of computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction...”

9 “... in our treatment of logic especially in its application to Logic Programming and PRO­ LOG. We deal...”

10 “... major role in our treatment of logic, especially in its application to Logic Programming and PROLOG. We...”

11 Table of Contents: “... and nonmonotonicity in logic programming -- The Ehrenfeucht-Fraïssé games for transitive closure -- Feasibility...”

12 Table of Contents: “... with operations on proofs -- Formal verification of logic programs: Foundations and implementation -- Unification...”

13 “... of computational complexity; parameterized complexity; logic programming and constraints; automated deduction...”

14 “... of computational complexity; parameterized complexity; logic programming and constraints; automated deduction...”

15 Table of Contents: “...Representing null values in logic programming -- Comparing cubes -- A logic of capabilities -- Weak...”

16 “... foundations of programming, logical aspects of computational complexity, logic programming and constraints...”

17 Table of Contents: “... Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets -- Finite Automata Presentable Abelian...”