3 books • 1 series
Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)
Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming)
Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming)