Integration and Interaction of multiple mathematical reasoning processes

Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.

EPSRC

1/04/07 → 31/03/11

Project: Research

Interpreting and integrating mismatched data on the fly

Bundy, A. & McNeill, F.

EPSRC

30/05/12 → 29/05/13

Project: Research

Logic program synthesis and transformation

Bundy, A.

1/10/93 → 30/09/96

Project: Other (Non-Funded/Miscellaneous)

Logical Frameworks

Bundy, A. & Smaill, A.

1/10/89 → 30/09/91

Project: Other (Non-Funded/Miscellaneous)

Machine Learning and Knowledge Acquisition

Bundy, A. & Kodrato, Y.

1/10/86 → 30/09/87

Project: Other (Non-Funded/Miscellaneous)

Machine assisted inter-agency communication during emergency response

McNeill, F. & Bundy, A.

Non-EU industry, commerce and public corporations

16/12/11 → 15/12/12

Project: Research

Mechanising first - Order temporal logics

Bundy, A. & Smaill, A.

EPSRC

5/07/99 → 4/07/02

Project: Research

Methods of Teaching PROLOG Programming

Bundy, A. & Pain, H.

1/10/82 → 30/09/84

Project: Other (Non-Funded/Miscellaneous)

Ontology Evolution in Physics

Bundy, A.

EPSRC

1/07/08 → 31/12/11

Project: Research

Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

Bundy, A.

1/10/90 → 30/09/91

Project: Other (Non-Funded/Miscellaneous)