1 Table of Contents: “... for Logic Programs with Variables -- A Unified Semantics for Constraint Handling Rules in Transaction Logic...”

2 Table of Contents: “... -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning...”

3 Table of Contents: “... with Differentiable Inductive Logic Programming -- Chapter9 Understanding SATNet: Constraint Learning and Symbol...”