Scholar
Alan Bundy
Google Scholar ID: n7STZEYAAAAJ
Professor of Automated Reasoning, University of Edinburgh
Artificial Intelligence
Automated Reasoning
Formal Methods
Ontology Evolution
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,379
H-index
46
i10-index
182
Publications
20
Co-authors
29
list available
Publications
3 items
Exploring the Meta-level Reasoning of Large Language Models via a Tool-based Multi-hop Tabular Question Answering Task
2026
Cited
0
Advancing the Scientific Method with Large Language Models: From Hypothesis to Discovery
2025
Cited
1
Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering
2025
Cited
0
Co-authors
10 total
Toby Walsh
Professor, UNSW and CSIRO Data61
Frank van Harmelen
Dept. of Computer Science, Vrije Universiteit Amsterdam
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Moa Johansson
Associate Professor (Docent), Chalmers University
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
Gudmund Grov
Senior Scientist, Norwegian Defence Research Establishment
Weiru Liu
Professor of Artificial Intelligence, University of Bristol
Raul Monroy
Professor of Computer Science, Tecnologico de Monterrey, Campus Estado de Mexico
