World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Luxembourg
2026

D-Index & Metrics

Computer Science

D-Index
73
Citations
25775
World Ranking
1564
National Ranking
2

Research.com Recognitions

  • 2026 - Research.com Computer Science in Luxembourg Leader Award
  • 2025 - Research.com Computer Science in Luxembourg Leader Award
  • 2023 - Research.com Computer Science in Luxembourg Leader Award
  • 2022 - Research.com Computer Science in Luxembourg Leader Award
  • 2000 - Fellow of the Royal Society of Canada Academy of the Arts and Humanities

Overview

Dov M. Gabbay is associated with the University of Luxembourg in Luxembourg. Their primary field of study is Computer Science, with a specific focus on Artificial Intelligence, contributing to 48 publications in total. Within this broad domain, the scientist has specialized in various subfields including Artificial Intelligence, Political Science and International Relations, Management Science and Operations Research, Philosophy, and Computational Theory and Mathematics.

The main topics covered in their research include:

  • Logic, Reasoning, and Knowledge
  • Multi-Agent Systems and Negotiation
  • Topic Modeling
  • Natural Language Processing Techniques
  • Explainable Artificial Intelligence (XAI)
  • Semantic Web and Ontologies
  • Artificial Intelligence in Law

Their recent papers reflect these interests and include the following works:

  • "Forgetting an Argument" (2020), published in Proceedings of the AAAI Conference on Artificial Intelligence
  • "A self-explanatory contrastive logical knowledge learning method for sentiment analysis" (2023), published in Knowledge-Based Systems
  • "Ensuring reference independence and cautious monotony in abstract argumentation" (2021), published in International Journal of Approximate Reasoning
  • "A comprehensive account of the burden of persuasion in abstract argumentation" (2023), published in Journal of Logic and Computation
  • "Extraction of time-related expressions using text mining with application to Hebrew" (2024), published in PLoS ONE

The scientist frequently collaborates with a group of coauthors, among whom are:

  • Beishui Liao
  • Timotheus Kampik
  • Yulin Chen
  • Bo Yuan
  • Ringo Baumann

Publications by this researcher have appeared repeatedly in notable venues including:

  • arXiv (Cornell University)
  • SSRN Electronic Journal
  • Journal of Artificial Intelligence Research
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Knowledge-Based Systems

In addition to journal articles and conference papers, this researcher has contributed to book publications. A notable title is Women's Contemporary Readings of Medieval (and Modern) Arabic Philosophy, published by Springer Nature (Netherlands) in 2022.

Among the honors received, Dov M. Gabbay was named a Fellow of the Royal Society of Canada in 2000, recognized by the Academy of the Arts and Humanities.

Best Publications

  • Handbook of logic in artificial intelligence and logic programming (vol. 1)

    Dov M. Gabbay;C. J. Hogger;J. A. Robinson

  • On the temporal analysis of fairness

    Dov Gabbay;Amir Pnueli;Saharon Shelah;Jonathan Stavi

  • Handbook of Philosophical Logic

    Dov M. Gabbay;Franz Guenthner

  • Temporal Logic Mathematical Foundations and Computational Aspects

    Dov M. Gabbay;Ian Hodkinson;Mark Reynolds;Marcelo Finger

  • Many-Dimensional Modal Logics: Theory and Applications

    Dov M Gabbay;Agi Kurucz;Frank Wolter;Michael Zakharyaschev

  • Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

    Dov M. Gabbay;C. J. Hogger;J. A. Robinson

  • Inconsistency handling in multiperspective specifications

    A.C.W. Finkelstein;D. Gabbay;A. Hunter;J. Kramer

  • Dynamic Syntax: The Flow of Language Understanding

    Ruth M. Kempson;Wilfried Meyer-Viol;Dov M. Gabbay

  • Theoretical foundations for non-monotonic reasoning in expert systems

    D. Gabbay

  • Chapter 13 – Labelled Deductive Systems

    Dov M. Gabbay

  • The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems

    Dov M. Gabbay

  • Handbook of logic in computer science (vol. 2): background: computational structures

    S. Abramsky;Dov M. Gabbay;S. E. Maibaum

  • Handbook of tableau methods

    Marcello D'Agostino;Dov M. Gabbay;Reiner Hähnle;Joachim Posegga

  • A Logical Account of Formal Argumentation

    Martin W. A. Caminada;Dov M. Gabbay;Dov M. Gabbay

  • Semantical investigations in Heyting's intuitionistic logic

    Dov M. Gabbay

  • Neural-Symbolic Learning Systems: Foundations and Applications

    Artur S. d'Avila Garcez;Dov M. Gabbay;Krysia B. Broda

  • The reach of abduction : insight and trial

    Dov M. Gabbay;John Woods

  • The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2)

    Dov Gabbay;J Woods

  • Handbook of the history of logic

    Dov M. Gabbay;John Woods

  • Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004

    Dov Gabbay;A d'Avila Garcez;L C Lamb

  • Handbook of logic in computer science.

    Samson Abramsky;Dov M. Gabbay;Thomas S. E. Maibaum

  • What is negation as failure

    Dov M. Gabbay

Frequent Co-Authors

Leendert van der Torre
Leendert van der Torre University of Luxembourg
Howard Barringer
Howard Barringer University of Manchester
Guido Boella
Guido Boella University of Turin
Anthony Hunter
Anthony Hunter University College London
Michael Fisher
Michael Fisher University of Manchester
Daniel Lehmann
Daniel Lehmann Hebrew University of Jerusalem
Samson Abramsky
Samson Abramsky University of Oxford
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Michael Zakharyaschev
Michael Zakharyaschev Birkbeck, University of London
Costas Courcoubetis
Costas Courcoubetis Chinese University of Hong Kong, Shenzhen

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to flexible learning and diverse career paths. For students concerned about academic requirements, there are online colleges that accept low gpa, making higher education more accessible than ever.

Those who wish to fast-track their education can look into an accelerated computer science degree for a quicker route into the tech workforce. Online programs also support shifting interests, allowing students to branch into related fields such as environmental science, which leads to careers in consulting, research, and policy. Discover what potential jobs await with a degree in this area through what jobs can you get with an environmental science degree.

For those passionate about sustainability and infrastructure, pursuing an environmental engineering degree online can lead to roles solving real-world environmental challenges—often in high demand across the USA and worldwide.

Best Scientists Citing Dov M. Gabbay

Trending Scientists