The Rise of Modern Logic
From Leibniz To Frege »

Neural-Symbolic Learning Systems
Neural-symbolic learning systems play a central role artificial intelligence, and this text provides an introduction to the field and an overview of the theo... »

Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems »

Handbook of Philosophical Logic
v. 2 »

Logic From Russell To Church
Handbook of the History of Logic »

Tempor Log:math Found V1 Olg 28 C
Mathematical Foundations And Computational Aspects »

Philosophy Of Medicine
 »

Philosophy Of Information
Philosophy of Information »

Handbook of Philosophical Logic, Volume 5
v. 5 »

Handbook of Defeasible Reasoning and Uncertainty Management Systems
Volume 1: Quantified Representation of Uncertainty and Imprecision »