Alan Bundy

View Scopus Profile

Alan Bundy

PROF

 https://orcid.org/0000-0002-0578-6474
Filter
Conference contribution

Search results

  • 2010

    Scheme-Based Synthesis of Inductive Theories

    Montano-Rivas, O., McCasland, R., Dixon, L. & Bundy, A., 2010, Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Sidorov, G., Aguirre, A. H. & García, C. A. R. (eds.). Springer, p. 348-361 14 p. (Lecture Notes in Computer Science; vol. 6437).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The AI4FM approach for proof automation within formal methods

    Grov, G., Bundy, A., Jones, C. B. & Ireland, A., 2010, UKCRC Grand Challenges in Computing Research (GCCR‘10). 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2009

    An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics

    Bundy, A. & Lehmann, J., 2009, The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-09.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • An Outline of a Proposed System that Learns from Experts How to Discharge Proof Obligations Automatically

    Bundy, A., Grov, G. & Jones, C. B., 2009, Proceedings of Dagstuhl Seminar 09381: Refinement Based Methods for the Construction of Dependable Systems. 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Concurrent-distributed programming techniques for SAT using DPLL-stålmarck

    Sripriya, G., Bundy, A. & Smaill, A., 2009, High Performance Computing Simulation, 2009. HPCS'09. International Conference on. Institute of Electrical and Electronics Engineers, p. 168-175 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • IsaCoSy: Synthesis of Inductive Theorems

    Johansson, M., Dixon, L. & Bundy, A., 2009, Workshop on Automated Mathematical Theory Exploration (Automatheo). 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Learning from Experts to Aid the Automation of Proof Search.

    Bundy, A., Grov, G. & Jones, C. B., 2009, Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Unite: A New Plan for Automated Ontology Evolution in Physics

    Bundy, A., 2009, Notes of the IJCAI-09 Workshop ARCOE-09. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic

    Dixon, L., Smaill, A. & Bundy, A., 2009, Workshop on Verification and Validation of Planning and Scheduling Systems: ICALP 2009. 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2008

    Inconstancy: An Ontology Repair Plan for Adding Hidden Variables

    Chan, M. & Bundy, A., Nov 2008, Automated Scientific Discovery: Papers from the AAAI Fall Symposium. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automating Signature Evolution in Logical Theories

    Bundy, A., Jul 2008, Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Springer, p. 333-338 6 p. (Lecture Notes in Computer Science; vol. 5144).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Ontology Evolution in Law (Extended Abstract)

    Priddle-Higson, A., Bundy, A., McNeill, F. & Schafer, B., 2008, Workshop on Automated Reasoning Bridging the Gap between Theory and Practice 2008. p. 30-31 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards Ontology Evolution in Physics

    Bundy, A. & Chan, M., 2008, Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. Springer, Vol. 5110. p. 98-110 13 p. (Lecture Notes in Computer Science; vol. 5110).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Why Ontology Evolution is Essential in Modelling Scientific Discovery

    Bundy, A., 2008, AAAI Symposium on Scientific Discovery. 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2007

    Where's My Stuff? An Ontology Repair Plan

    Bundy, A., Jul 2007, Workshop on DISPROVING - Non-Theorems. CADE Inc, Vol. 4.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Cooperating Reasoning Processes: More than Just the Sum of their Parts

    Bundy, A., Jan 2007, Proceedings of the International Joint Conference on Artificial Intelligence 2007. IJCAI Inc, Vol. 1. p. 2-11

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automatic synthesis of decision procedures

    Janicic, P. & Bundy, A., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Springer, Vol. 4573. p. 80-93 (Lecture Notes in Computer Science; vol. 4573).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2006

    Towards a Bell-Curve Calculus for e-Science

    Yang, L., Bundy, A., Berry, D. & Hughes, C., Sept 2006, Proceedings of the UK e-Science All Hands Meeting 2006. NeSC, Vol. 2006. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Constructing, Selecting and Repairing Representations of Knowledge

    Bundy, A., Jul 2006, Proceedings of AI@50.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • On Repairing Reasoning Reversals via Representational Refinements

    Bundy, A., McNeill, F. & Walton, C., May 2006, Proceedings of FLAIRS 2006 (The Florida AI Research Society Conference). AAAI Press

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Towards a Bell-Curve Calculus and its Application to e-Science

    Yang, L., Bundy, A., Berry, D. & Hughes, C., Mar 2006, Workshop on Grid Performability Modelling and Measurement. 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • MATHsAiD: A Mathematical Theorem Discovery Tool

    McCasland, R. L. & Bundy, A., 2006, Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on. Institute of Electrical and Electronics Engineers, p. 17-22 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Merging Stories with Shallow Semantics

    McNeill, F., Halpin, H., Klein, E. & Bundy, A., 2006, Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, p. 36-41 6 p. (KRAQ '06).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • PG Tips: A Recommender System for an Interactive Theorem Prover

    Mercer, A. E., Bundy, A., Duncan, H. & Aspinall, D., 2006, Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006). p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2005

    Deductive Synthesis of Workflows for E-Science

    Yang, B., Bundy, A., Smaill, A. & Dixon, L., May 2005, IEEE International Symposium on Cluster Computing and the Grid, 2005. p. 168 - 175 Vol. 1

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automatic verification of design patterns in Java

    Blewitt, A., Bundy, A. & Stark, I., 2005, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. New York, NY, USA: ACM, p. 224-232 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Constructing Induction Rules for Deductive Synthesis Proofs

    Bundy, A., Dixon, L., Gow, J. & Fleuriot, J., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). Vol. 153. p. 3–21 (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • On Predicting the Grammar of a Normal-Form

    Bundy, A., Janicic, P. & Smaill, A., 2005, PCC - Proof, Computation, Complexity International workshop 2004. 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2004

    An Automatic Translator from KIF to PDDL

    McNeill, F., Bundy, A. & Walton, C., Dec 2004, Procs of PlanSIG'04.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Diagnosing and Repairing Ontological Mismatches

    McNeill, F., Bundy, A. & Walton, C., Jul 2004, STAIRS 2004 Proceedings of the Second Starting AI Researchers’ Symposium.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Planning and Patching Proof

    Bundy, A., Jul 2004, Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Springer, Vol. 3249. p. 26-37 (Lecture Notes in Computer Science; vol. 3249).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • An Experimental Comparison of Diagrammatic and Algebraic Logics

    Bundy, A., Gurr, C., Jamnik, M. & Winterstein, D., 2004, Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Springer, p. 432-434 3 p. (Lecture Notes in Computer Science; vol. 2980).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures

    Steel, G., Bundy, A. & Maidl, M., 2004, Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Springer, p. 137-151 15 p. (Lecture Notes in Computer Science; vol. 3097).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Dr. Doodle: A diagrammatic theorem prover

    Winterstein, D., Bundy, A. & Gurr, C., 2004, Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Basin, D. & Rusinowitch, M. (eds.). Springer, p. 331-335 5 p. (Lecture Notes in Computer Science; vol. 3097).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • English summaries of mathematical proofs

    Alexoudi, M., Zinn, C. & Bundy, A., 2004, The IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development. p. 49-60 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • On differences between the real and physical plane

    Winterstein, D., Bundy, A. & Jamnik, M., 2004, Diagrammatic Representation and Inference. Springer, p. 29-31 3 p. (Lecture Notes in Computer Science; vol. 2980).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The use of data-mining for the automatic formation of tactics

    Duncan, H., Bundy, A., Levine, J., Storkey, A. & Pollet, M., 2004, Computer-Supported Mathematical Theory Development’04.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Using Animation in Diagrammatic Theorem Proving

    Bundy, A., Gurr, C., Jamnik, M. & Winterstein, D., 2004, Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings. Springer, p. 46-60 15 p. (Lecture Notes in Computer Science; vol. 2317).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2003

    Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL

    Steel, G., Bundy, A. & Maidl, M., Oct 2003, Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2002

    Finding Counterexamples to Inductive Conjectures and Discovering Security Protocol Attacks

    Steel, G., Bundy, A. & Denney, E., Jun 2002, Proceedings of 2002 Workshop on Foundations of Computer Security. p. 49-58 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2001

    Automatic verification of Java design patterns

    Blewitt, A., Bundy, A. & Stark, I., 2001, Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. Institute of Electrical and Electronics Engineers, p. 324-327 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Solving integrals at the method level

    Heneveld, A., Maclean, E., Bundy, A., Fleuriot, J. & Smaill, A., 2001, Symbolic Computation and Automated Reasoning 2000. Kerber, M. & Kohlhase, M. (eds.). Natick, MA, USA: A. K. Peters, Ltd., p. 251-252 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Strict General Setting for Building Decision Procedures into Theorem Provers

    Janicic, P. & Bundy, A., 2001, The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers. Universita degli Studi di Siena, Italia, p. 86-95 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 2000

    An Intelligent Tutoring System for Induction Proofs

    Bundy, A., Moore, J. & Zinn, C., Jun 2000, CADE-17 Workshop on Automated Deduction in Education. p. 4-13 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Agent based cooperative theory formation in pure mathematics

    Colton, S., Bundy, A. & Walsh, T., 2000, Proceedings of AISB 2000 symposium on creative and cultural aspects and applications of AI and cognitive science. p. 11-18 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains

    Winterstein, D., Bundy, A. & Jamnik, M., 2000, Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings. Springer, (Lecture Notes in Computer Science; vol. 1889).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • A proposal for automating diagrammatic reasoning in continuous domains

    Winterstein, D., Bundy, A. & Jamnik, M., 2000, Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings. Springer, p. 286-299 14 p. (Lecture Notes in Computer Science; vol. 1889).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automatic identification of mathematical concepts

    Colton, S., Bundy, A. & Walsh, T., 2000, ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning. Morgan Kaufmann Publishers Inc., p. 183-190 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automatic Invention of Integer Sequences

    Colton, S., Bundy, A. & Walsh, T., 2000, Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence. AAAI Press, Vol. 17. p. 558-563 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Cross Domain Mathematical Concept Formation

    Steel, G., Colton, S., Bundy, A. & Walsh, T., 2000, AISB 2000.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File