Anthony G. Cohn

School of Computing , University of Leeds , UK; Alan Turing Institute , UK

8 papers in the IJCAI proceedings

IJCAI 2024

Reframing Spatial Reasoning Evaluation in Language Models: A Real-World Simulation Benchmark for Qualitative Reasoning

with Fangjun Li, David C. Hogg

doi:10.24963/ijcai.2024/701

Details PDF

IJCAI 2020

A Logic of Directions

with Heshan Du, Natasha Alechina

doi:10.24963/ijcai.2020/235

Details PDF

IJCAI 2018

Automated Reasoning for City Infrastructure Maintenance Decision Support

with Lijun Wei, Derek R. Magee, Vania Dimitrova, Barry Clarke, Heshan Du, Quratul-ain Mahesar, Kareem Al Ammari

doi:10.24963/ijcai.2018/868

Details PDF

IJCAI 2017

Grounding of Human Environments and Activities for Autonomous Robots

with Muhannad Alomari, Paul Duckworth, Nils Bore, Majd Hawasly, David C. Hogg

doi:10.24963/ijcai.2017/193

Details PDF

IJCAI 2015

Model Metric Co-Learning for Time Series Classification

with Huanhuan Chen, Fengzhen Tang, Peter Tiño, Xin Yao

Details PDF

IJCAI 2011

Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach

with Huanhuan Chen

doi:10.5591/978-1-57735-516-8/IJCAI11-402

Details PDF

IJCAI 1985

On the Solution of Schubert's Steamroller in Many-Sorted Logic

Details PDF

IJCAI 1979

Mechanizing a Particularly Expressive Many Sorted Logic

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings