1 Table of Contents: “...Preliminaries -- Equational Logic Programming -- Universal Unification -- SLDE-Resolution...”

2

3 Table of Contents: “...-Valued Logic Programs: Grounds for Non-Groundness -- Confluence Operators -- A Game-Theoretic Measure...”

4 Table of Contents: “...Rational models of normal logic programs -- Massively parallel reasoning about actions -- DisLoP: A...”

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