Anthony G. Cohn

Anthony G. Cohn is a British computer scientist who is Professor of Automated Reasoning at the University of Leeds. He is globally recognized for his foundational work in artificial intelligence (AI), especifically in the field of qualitative spatial reasoning and the development of the Region Connection Calculus (RCC). His doctoral thesis, titled Mechanising a Particularly Expressive Many Sorted Logic, was completed in 1983 under the supervision of Patrick Hayes.

Awards and recognitions Cohn is the only researcher to have received Distinguished Service Awards from all three major international AI societies: the AAAI (2012), IJCAI (2015), and EurAI (2024).

Major awards EurAI Distinguished Service Award (2024): For four decades of service to the European AI community. KR Inc Distinguished Service Award (2024): For leadership in the Knowledge Representation and Reasoning community. Herbert A. Simon Prize for Advances in Cognitive Systems (2021): Awarded for his work on qualitative representation and visually-grounded language processing. IJCAI Donald E. Walker Distinguished Service Award (2015): Recognizing his substantial contributions to the international AI community. AAAI Distinguished Service Award (2012): For "extraordinary and sustained service" to the field of AI. BCS Machine Intelligence Prize (2004): For the Cogvis project.

Fellowships He is an elected Fellow of several major scientific and engineering bodies: Fellow of the Royal Academy of Engineering (FREng, 2015) Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) Founding Fellow of the European Association for Artificial Intelligence (EurAI) Fellow of the Learned Society of Wales (FLSW) Fellow of the British Computer Society (FBCS) and the Institution of Engineering and Technology (FIET)

Selected publications