Alan Bundy | IJCAI

School of Informatics , University of Edinburgh

14 papers in the IJCAI proceedings

IJCAI 2026

Tool Call Dependency Graphs Enable Deep LLM Reasoning Evaluation and Better Explanations

with Nick Ferguson, Kwabena Nuamah

doi:10.24963/ijcai.2026/64

Details PDF

IJCAI 2007

Cooperating Reasoning Processes: More than Just the Sum of Their Parts

Details PDF

IJCAI 1999

Automatic Concept Formation in Pure Mathematics

with Simon Colton, Toby Walsh

Details PDF

IJCAI 1997

Automation of Diagrammatic Reasoning

with Mateja Jamnik, Ian Green

Details PDF

IJCAI 1995

Relational Rippling: A General Approach

with Vincent Lombart

Details PDF

IJCAI 1989

A Rational Reconstruction and Extension of Recursion Analysis

with Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens

Details PDF

IJCAI 1985

Discovery and Reasoning in Mathematics

Details PDF

Raising the Standards of AI Products

with Richard Clutterbuck

Details PDF

IJCAI 1981

Homogenization: Preparing Equations for Change of Unknown

with Bernard Silver

Details PDF

Using Matching in Algebraic Equation Solving

with Alan Borning

Details PDF

IJCAI 1977

Can Domain Specific Knowledge Be Generalized?

Details PDF

Representing Semantic Information In Pulley Problems

with George F. Luger

Details PDF

IJCAI 1975

Analysing Mathematical Proofs (Or Reading Between the Lines)

Details PDF

IJCAI 1973

Doing Arithmetic with Diagrams

Details PDF