Alan Bundy

Search results

• Finished

  CerebralIQ

  Bundy, A. & Nuamah, K.

  2/05/23 → 22/07/23

  Project: Research

• Multi-source Knowledge Reasoning for Completeness and Continuous Enrichment Project

  Bundy, A. & Pan, J.

  Huawei Technologies (Ireland) Co. Ltd

  8/02/21 → 30/04/24

  Project: Research

• Multi-source Knowledge Reasoning for Completeness and Continuous Enrichment Project

  Bundy, A. & Pan, J.

  Other

  8/02/21 → 15/12/23

  Project: Research

  • Background Knowledge 100%
  • Reasoning 50%
  • Diagnosis 50%
  • Messages 25%
  • Records 25%

• UKRI Trustworthy Autonomous Systems Node in Governance and Regulation

  Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A. & Rajan, A.

  EPSRC

  1/11/20 → 30/04/24

  Project: Research

  • Models 100%
  • Artificial Intelligence 50%
  • Domains 37%
  • Probability 27%
  • Algorithms 25%

• UKRI Trustworthy Autonomous Systems Node in Governance and Regulation

  Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A., Rajan, A., Vallor, S. & Williams, R.

  Engineering and Physical Sciences Research Council

  1/11/20 → 31/07/24

  Project: Research

  • Cognitive Science 100%
  • Artificial Intelligence 100%
  • Face 50%
  • Behavior (Neuroscience) 50%
  • Moral Responsibility 22%

• Toward Human-Machine Virtual Bargaining

  Bundy, A.

  EPSRC

  1/04/20 → 31/12/20

  Project: Research

  • Representation 100%
  • Reasoning 100%
  • Coordination Game 50%
  • Computational Modeling 50%
  • Human Participant 50%

• A Query Answering Framework Using Functional Inferences Over Heterogeneous Data

  Bundy, A. & Fan, W.

  Huawei Technologies Co., Ltd.

  1/02/18 → 31/01/21

  Project: Research

• FRANK: Research Collaboration on Query Answering Systems

  Bundy, A. & Fan, W.

  Non-EU industry, commerce and public corporations

  1/02/18 → 31/01/21

  Project: Research

  • Answering Query 100%
  • Models 71%
  • Internet 71%
  • Reasoning 68%
  • User 65%

• Faulty Ontology Detection and Repair

  Bundy, A.

  Non-EU industry, commerce and public corporations

  1/10/16 → 30/09/20

  Project: Research

• The integration and interaction of multiple mathematical Reasoning Processes

  Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.

  EPSRC

  1/11/15 → 31/10/19

  Project: Research

  • Representation 100%
  • Domains 65%
  • Reasoning 62%
  • Repair 56%
  • Application 42%

• Interpreting and integrating mismatched data on the fly

  Bundy, A. & Mcneill, F.

  EPSRC

  30/05/12 → 29/05/13

  Project: Research

  • Representation 100%
  • Reasoning 100%
  • Domains 83%
  • Knowledge Base 75%
  • Data Source 75%

• 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

  • Domains 100%
  • Dynamic Information 85%
  • Reasoning 85%
  • Representation 85%
  • Automation 57%

• The integration and interaction of multiple mathematical reasoning processes

  Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.

  EPSRC

  1/08/11 → 31/07/15

  Project: Research

  • Representation 100%
  • Reasoning 97%
  • Case Study 66%
  • Application 44%
  • Computer 38%

• The potential of automated reasoning tools to assist the working mathematician

  Bundy, A., Aspinall, D. & Dixon, L.

  EPSRC

  1/10/10 → 31/12/10

  Project: Research

  • Theorem Prover 100%
  • Lower Semicontinuous Function 87%
  • Formalization 87%
  • Functions 87%
  • Automated Reasoning 87%

• A14FM : using A1 to aid automation of proof search in formal methods

  Bundy, A., Bundy, A., Grov, G., Ireland, A. & Jones, C. B.

  EPSRC

  1/04/10 → 31/03/14

  Project: Research

  • Proof Obligation 100%
  • Automation 92%
  • Invariants 85%
  • Theorem Prover 81%
  • Events 57%

• The 2010 Federated Logic Conference

  Plotkin, G., Bundy, A. & Libkin, L.

  EPSRC

  1/02/10 → 31/10/10

  Project: Research

  • Computer Science 100%

• A CATEGORY-THEORETIC FRAMEWORK FOR ONTOLOGY MANAGEMENT

  Bundy, A.

  Non-EU other

  1/01/09 → 30/09/12

  Project: Research

• A FRAMEWORK FOR RECORDING, RELATING AND COMBING A HETEROGENEOUS COLLECTION OF HP ONTOLOGIES FOR ENTERPRISE INFORMATION MANAGEMENT

  Bundy, A.

  Non-EU industry, commerce and public corporations

  1/08/08 → 30/09/09

  Project: Research

• Ontology Evolution in Physics

  Bundy, A.

  EPSRC

  1/07/08 → 31/12/11

  Project: Research

  • Ontology 100%
  • Physics 27%
  • Repair 21%
  • Representation 12%
  • Diagnosis 8%

• Automated Theorem Discovery

  McCasland, R. & Bundy, A.

  EPSRC

  1/11/07 → 31/12/11

  Project: Research

  • Mathematical Theory 100%
  • Instantiation 80%
  • Proof Obligation 80%
  • Theorem Prover 60%
  • Higher Order Logic 60%

• 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

  • Reasoning 100%
  • Programs 86%
  • Invariants 79%
  • Synthesis 73%
  • Domains 56%

• EU Open Knowledge Project

  Bundy, A.

  1/10/06 → 30/09/08

  Project: Other (Non-Funded/Miscellaneous)

  • Project Knowledge 100%
  • Coordinator 100%

• AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

  Bundy, A. & Fleuriot, J.

  EPSRC

  1/10/04 → 30/09/07

  Project: Research

  • Models 100%
  • Classes 89%
  • Key Management 84%
  • Security Protocol 55%
  • Attackers 44%

• The use of data-mining techniquesfor the automatic foramtion of tactics.

  Bundy, A. & Levine, J.

  EPSRC

  15/03/04 → 14/03/06

  Project: Research

  • Data Mining 100%
  • Programming Technique 50%
  • Genetic Programming 50%

• INFERRING QUALITY OF SERVICE PROPERTIES FOR GRID APPLICATIONS

  Bundy, A. & Anderson, S.

  EPSRC

  1/10/03 → 30/09/06

  Project: Research

  • Calculi 100%
  • Bell 80%
  • Application 77%
  • Quality 72%
  • Service 72%

• AUTOMATED DISCOVERY OF MATHEMATICS

  Bundy, A., Colton, S. & Smith, P.

  EPSRC

  1/08/03 → 31/08/06

  Project: Research

  • Mathematics 100%
  • Selection 40%
  • Inference 40%
  • Computer System 40%
  • Inductive Theorem 40%

• Application of deductive synthesis techniques to the rapid assembly of grid applications

  Bundy, A.

  EPSRC

  1/01/03 → 28/02/06

  Project: Research

  • Synthesis 100%
  • Workflows 50%
  • Specifications 37%
  • Planning Algorithm 25%
  • Domains 25%

• The integration and interaction of multiple mathematical reasoning processes

  Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

  EPSRC

  1/10/02 → 30/09/06

  Project: Research

  • Inference 100%
  • Formal Logic 50%
  • Classes 50%
  • Mathematical Proof 50%
  • Sequences 50%

• Applying HR to the Study of Zariski Spaces

  Bundy, A.

  EPSRC

  8/04/02 → 7/04/03

  Project: Research

• Flexible incorporation of decision procedures into the LamdaClam proof-planning system

  Bundy, A.

  EPSRC

  1/06/01 → 30/09/02

  Project: Research

• CALCULEMUS - Systems for Integrated Computation and Deduction

  Bundy, A.

  EU government bodies

  1/09/00 → 31/08/04

  Project: Research

• Automatic conjecture making in mathematics

  Bundy, A.

  EPSRC

  1/11/99 → 31/10/02

  Project: Research

  • Lakatos 100%
  • Ambiguity 100%
  • Dialogue 100%
  • Semantics 100%
  • Creativity 100%

• Mechanising first - Order temporal logics

  Bundy, A. & Smaill, A.

  EPSRC

  5/07/99 → 4/07/02

  Project: Research

  • Feature Interaction 100%
  • Approximation (Algorithm) 66%
  • Linear Temporal Logic 66%
  • Theorem Prover 33%
  • Telephone Network 33%

• Computational modelling of mathematical reasoning

  Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

  EPSRC

  1/10/98 → 30/09/02

  Project: Research

  • Lakatos 100%
  • Ambiguity 100%
  • Dialogue 100%
  • Semantics 100%
  • Creativity 100%

• Unifying proof plans and schemas for program synthesis and transformation'

  Bundy, A.

  1/10/98 → 1/10/99

  Project: Other (Non-Funded/Miscellaneous)

  • Program Synthesis 100%
  • Program Transformation 100%

• Automated Deduction and Program Synthesis

  Bundy, A.

  1/10/97 → 30/09/98

  Project: Other (Non-Funded/Miscellaneous)

• Automatic Guidance of Mechanically Generated Proofs

  Bundy, A. & Gordon, M.

  1/10/97 → 30/09/99

  Project: Other (Non-Funded/Miscellaneous)

• Difference reduction techniques in automating theorem proving

  Bundy, A.

  1/10/96 → 31/12/96

  Project: Other (Non-Funded/Miscellaneous)

• Computational Modelling of Mathematical Reasoning

  Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

  1/10/96 → 30/09/99

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Modeling 100%
  • Mathematical Reasoning 100%

• Automation of program synthesis in proof planning

  Bundy, A. & Giunchiglia, F.

  1/10/95 → 30/09/97

  Project: Other (Non-Funded/Miscellaneous)

• Computational Logic ( Compulog 2)

  Bundy, A.

  EU government bodies

  1/09/95 → 30/09/95

  Project: Research

• Computational Modelling of Mathematical Reasoning

  Bundy, A., Ireland, A., Lowe, H. & Smaill, A.

  1/10/94 → 30/09/97

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Modeling 100%
  • Mathematical Reasoning 100%

• Analogy in Theorem Proving using Proof Plans

  Bundy, A.

  1/10/94 → 30/09/95

  Project: Other (Non-Funded/Miscellaneous)

  • Erica 100%

• Logic program synthesis and transformation

  Bundy, A.

  1/10/93 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

• Formal and Informal Proofs in the Computer Modelling of Mathematical Reasoning

  Bundy, A.

  1/10/93 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

  • Mathematical Reasoning 100%

• Communication in Safety Cases - A Semantic Approach

  Bundy, A. & Robertson, D.

  1/10/93 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

• Studies in the Sociology of Proof

  Bundy, A. & McKenzie, D.

  1/10/93 → 30/09/95

  Project: Other (Non-Funded/Miscellaneous)

  • Sociology 100%

• Automatic inductive proof

  Bundy, A. & Stevens, A.

  1/10/93 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

  • Administrative Structure 100%

• The Automation of Proof by Mathematical Induction

  Bundy, A.

  1/10/92 → 30/09/94

  Project: Other (Non-Funded/Miscellaneous)

• Computational Modelling of Mathematical Reasoning

  Bundy, A. & Smaill, A.

  1/10/92 → 30/09/96

  Project: Other (Non-Funded/Miscellaneous)

  • Computational Modeling 100%
  • Mathematical Reasoning 100%