1 Table of Contents: “... for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation...”

2 Table of Contents: “... proof for the completeness of SLD-resolution -- A quantifier-free completion of logic programs...”

3 Table of Contents: “... -- Developing logic programs: Computing through normalizing -- Model theory of deductive databases -- Algorithms...”

4 Table of Contents: “... and the complexity of computations of logic programs -- A remark on minimal polynomials of Boolean functions...”

5 Table of Contents: “...-directed forward chaining for logic programs -- Decision problems for tarski and presburger arithmetics...”

6 Table of Contents: “... logic -- A transformational methodology for proving termination of logic programs -- Plausibility logic...”

7 Table of Contents: “... Perspectives for Information Processing in the Social Sciences -- Aspects of Coupling Logic Programming...”