Dov M. Gabbay

Papers

Total Citations

H-Index

About

Dov M. Gabbay is a towering figure in logic, computer science, and artificial intelligence, best known for pioneering work in non-classical logics, argumentation theory, and labelled deductive systems. His major contributions include developing the foundational framework for reactive systems and goal-directed proof procedures, which have reshaped how automated reasoning handles dynamic, incomplete, or contradictory information. With over 30,000 citations across his career, Gabbay’s influence is immense: his seminal texts, such as the *Handbook of Philosophical Logic* and *Handbook of Logic in Artificial Intelligence and Logic Programming*, remain essential references for students and researchers alike. Notably, his 2019 paper “Machine Argumentation. Can We Replace Taxi Drivers by Robots?”—though modestly cited—reflects his visionary push toward bridging logical theory with real-world AI, exploring how machines can simulate human debate and decision-making. A recipient of multiple lifetime achievement awards, Gabbay continues to inspire through his relentless pursuit of logic as a living, applied science. For any scholar venturing into computational logic or AI, his work is both a foundation and a compass.