1 Subjects: “...Logic programming...”

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

3 Table of Contents: “... -- The notions of symptom and error in declarative diagnosis of logic programs -- Debugging by diagnosing...”

4 Table of Contents: “... -- A Deductive Approach to Logic Programming -- Rewrite Proofs and Computations -- Action Structures...”

5 Table of Contents: “... by Losing Information -- High-Level Logic Programming -- Clausal Deductive Databases and a General Framework...”

6 “... for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between...”

7 Table of Contents: “...-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account...”

8 “..., Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic...”

9 “... of computational geometry. The two contributions of the fourth chapter are devoted to logic programming...”

10 Table of Contents: “... using Inductive Logic Programming -- Chapter 11. Design of a High Speed Binary Counter using a Stacking...”

11 Table of Contents: “... Architectures -- 2.1 Supporting Functional and Logic Programming Languages through a Data Parallel VLSI...”

12 Table of Contents: “... Prolog Instruction Set for RISC Processors -- 2.2 A VLSI Engine for Structured Logic Programming -- 2.3...”

13 Table of Contents: “...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...”

14 Table of Contents: “... Signal Widths -- Functional Test Generation using Constraint Logic Programming -- Test -- An Industrial...”

15 Table of Contents: “... environment by a mobile robot -- 12 Genetic algorithms — constraint logic programming. Hybrid method for job...”

16 Table of Contents: “...-Founded Semantics for Logic Programs with Uncertainty --...”

17 Table of Contents: “... Reduced Coulomb Energy Network Method for Approximate Classification -- Hybrid Reasoning with Forest Logic...”