Mathematical Problems from Applied Logic I

Neural-Symbolic Cognitive Reasoning

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Goal-Directed Proof Theory

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Logic, Epistemology, and the Unity of Science

Handbook of Philosophical Logic

Fibring Logics

Belief Change

Abductive Reasoning and Learning