Dov M. Gabbay

201 papers and 3.6k indexed citations i.

About

Dov M. Gabbay has authored 201 papers that have received a total of 3.6k indexed citations. This includes 145 papers in Artificial Intelligence, 76 papers in Computational Theory and Mathematics and 9 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (122 papers), Logic, programming, and type systems (56 papers) and Advanced Algebra and Logic (54 papers). Dov M. Gabbay is often cited by papers focused on Logic, Reasoning, and Knowledge (122 papers), Logic, programming, and type systems (56 papers) and Advanced Algebra and Logic (54 papers) and collaborates with scholars based in United Kingdom, Israel and United States. Dov M. Gabbay's co-authors include Artur S. d’Avila Garcez, Samson Abramsky, John Woods, Luís C. Lamb and Marcelo Finger and has published in prestigious journals such as Language, Artificial Intelligence and Knowledge-Based Systems

In The Last Decade

Rankless by CCL
2025