Alan Bundy - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Automated theorem provers: a practical tool for the working mathematician?Alan Bundy. AMAI, 61(1):3-14, 2011. [doi]

2010

2009

On Process Equivalence = Equation Solving in CCSRaul Monroy, Alan Bundy, Ian Green. JAR, 43(1):53-80, 2009. [doi]

2008

Automating Signature Evolution in Logical TheoriesAlan Bundy. AISC 2008: 333-338 [doi]

Towards Ontology Evolution in PhysicsAlan Bundy, Michael Chan. wollic 2008: 98-110 [doi]

2007

AI Bridges and DreamsAlan Bundy. ais, 21(4):659-668, 2007. [doi]

Cooperating Reasoning Processes: More than Just the Sum of Their PartsAlan Bundy. IJCAI 2007: 2-11 [doi]

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear ArithmeticPredrag Janicic, Alan Bundy. AISC 2007: 80-93 [doi]

Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan ExecutionFiona McNeill, Alan Bundy. ijswis, 3(3):1-35, 2007. [doi]

2006

Representation as a Fluent: An AI Challenge for the Next Half CenturyAlan Bundy, Fiona McNeill. expert, 21(3):85-87, 2006. [doi]

A Very Mathematical DilemmaAlan Bundy. cj, 49(4):480-486, 2006. [doi]

On Repairing Reasoning Reversals via Representational RefinementsAlan Bundy, Fiona McNeill, Chris Walton. flairs 2006: 3-12

Constructing Induction Rules for Deductive Synthesis ProofsAlan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot. ENTCS, 153(1):3-21, 2006. [doi]

Best-First RipplingMoa Johansson, Alan Bundy, Lucas Dixon. BIRTHDAY 2006: 83-100 [doi]

Ascertaining Mathematical TheoremsRoy L. McCasland, Alan Bundy, Patrick F. Smith. ENTCS, 151(1):21-38, 2006. [doi]

MATHsAiD: A Mathematical Theorem Discovery ToolRoy L. McCasland, Alan Bundy. synasc 2006: 17-22 [doi]

Attacking Group Protocols by Refuting Incorrect Inductive ConjecturesGraham Steel, Alan Bundy. JAR, 36(1-2):149-176, 2006. [doi]

2005

2004

2002

2001

Automatic Verification of Java Design PatternsAlex Blewitt, Alan Bundy, Ian Stark. ASE 2001: 324-327 [doi]

The Automation of Proof by Mathematical InductionAlan Bundy. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 845-911, Elsevier and MIT Press, 2001.

Applying adversarial planning techniques to GoSteven Willmott, Julian Richardson, Alan Bundy, John Levine. TCS, 252(1-2):45-82, 2001. [doi]

2000

Automatic Identification of Mathematical ConceptsSimon Colton, Alan Bundy, Toby Walsh. icml 2000: 183-190

Automatic Invention of Integer SequencesSimon Colton, Alan Bundy, Toby Walsh. AAAI 2000: 558-563

On the notion of interestingness in automated mathematical discoverySimon Colton, Alan Bundy, Toby Walsh. ijmms, 53(3):351-375, 2000. [doi]

Making a productive use of failure to generate witnesses for coinduction from divergent proof attemptsLouise A. Dennis, Alan Bundy, Ian Green. AMAI, 29(1-4):99-138, 2000.

Combining Knowledge and Search to Solve Single-Suit BridgeIan Frank, David A. Basin, Alan Bundy. AAAI 2000: 195-200

Searching for a Solution to Program Verification=Equation Solving in CCSRaul Monroy, Alan Bundy, Ian Green. micai 2000: 1-12

Planning Proofs of Equations in CCSRaul Monroy, Alan Bundy, Ian Green. ASE, 7(3):263-304, 2000.

A Proposal for Automating Diagrammatic Reasoning in Continuous DomainsDaniel Winterstein, Alan Bundy, Mateja Jamnik. diagrams 2000: 286-299 [doi]

1999

Proofs About Lists Using EllipsisAlan Bundy, Julian Richardson. lpar 1999: 1-12

A Survey of Automated DeductionAlan Bundy. In Artificial Intelligence Today. pages 153-174, 1999. [doi]

Automatic Concept Formation in Pure MathematicsSimon Colton, Alan Bundy, Toby Walsh. IJCAI 1999: 786-793

Extensions to the Estimation CalculusJeremy Gow, Alan Bundy, Ian Green. lpar 1999: 258-272

The Design of the CADE-16 Inductive Theorem Prover ContestDieter Hutter, Alan Bundy. cade 1999: 374-377 [doi]

Automatic Verification of Functions with Accumulating ParametersAndrew Ireland, Alan Bundy. JFP, 9(2):225-245, 1999.

On Automating Diagrammatic Proofs of Arithmetic ArgumentsMateja Jamnik, Alan Bundy, Ian Green. jolli, 8(3):297-321, 1999.

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem ProversPredrag Janicic, Alan Bundy, Ian Green. cade 1999: 127-141 [doi]

Recursive Program Optimization Through Inductive Synthesis Proof TransformationPeter Madden, Alan Bundy, Alan Smaill. JAR, 22(1):65-115, 1999.

System Description: CyNTHIAJon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. cade 1999: 388-392 [doi]

An ML Editor Based on Proofs-As-ProgramsJon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. ASE 1999: 166-173 [doi]

1998

Automating the Synthesis of Decision Procedures in a Constructive MetatheoryAlessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy. AMAI, 22(3-4):259-279, 1998.

An Interface between Clam and HOLRichard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon. tphol 1998: 87-104

A Science of Reasoning (Extended Abstract)Alan Bundy. tableaux 1998: 10-17 [doi]

Lightweight Formalisation in Support of Requirements EngineeringJane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy. ASE, 5(2):183-210, 1998.

The Method of Assigning IncidencesWeiru Liu, David McBryan, Alan Bundy. apin, 9(2):139-161, 1998.

The Use of Proof Planning for Co-operative Theorem ProvingHelen Lowe, Alan Bundy, Duncan McLean. JSC, 25(2):239-261, 1998.

Proof planning for maintainable configuration systemsHelen Lowe, Michal Pechoucek, Alan Bundy. aiedam, 12(4):345-356, 1998. [doi]

Planning Equational Verification in CCSRaul Monroy, Alan Bundy, Ian Green. ASE 1998: 43-52 [doi]

Observant: An Annotated Term-Rewriting System for Deciding Observation CongruenceRaul Monroy, Alan Bundy, Ian Green. ecai 1998: 393-397

System Description: An Interface Between CL:::A:::M and HOLKonrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy. cade 1998: 134-138 [doi]

An Adversarial Planning Approach to GoSteven Willmott, Julian Richardson, Alan Bundy, John Levine. CG 1999: 93-112 [doi]

1997

1996

1995

Relational Rippling: A General ApproachAlan Bundy, Vincent Lombart. IJCAI 1995: 175-181

Assignment methods for incidence calculusR. G. McLean, Alan Bundy, Weiru Liu. ijar, 12(1):21-41, 1995. [doi]

1994

Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, ProceedingsAlan Bundy, editor, Volume 814 of Lecture Notes in Computer Science, Springer, 1994.

The New Software Copyright LawAlan Bundy, Hector MacQueen. cj, 37(2):79-82, 1994.

A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidenceWeiru Liu, Alan Bundy. ijmms, 40(6):1009-1032, 1994. [doi]

Proof Plans for the Correction of False ConjecturesRaul Monroy, Alan Bundy, Andrew Ireland. lpar 1994: 54-68

Coloured Rippling: An Extension of a Theorem Proving HeuristicTetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin. ecai 1994: 85-89

1993

A Framework for Program Development Based on Schematic ProofDavid A. Basin, Alan Bundy, Ina Kraan, Seán Matthews. iwssd 1993: 162-171

Rippling: A Heuristic for Guiding Inductive ProofsAlan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill. ai, 62(2):185-253, 1993.

Middle-Out Reasoning for Logic Program SynthesisIna Kraan, David A. Basin, Alan Bundy. ICLP 1993: 441-455

On the Relations between Incidence Calculus and ATMSWeiru Liu, Alan Bundy, David Stuart Robertson. ecsqaru 1993: 249-256

Recovering Incedence FunctionsWeiru Liu, Alan Bundy, David Stuart Robertson. ecsqaru 1993: 241-248

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)Peter Madden, Jane Hesketh, Ian Green, Alan Bundy. LOPSTR 1993: 64-66

Incresing the Versatility of Heuristic Based Theorem ProversAlistair Manning, Andrew Ireland, Alan Bundy. lpar 1993: 194-204

1992

1991

Experiments with Proof Plans for InductionAlan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill. JAR, 7(3):303-324, 1991.

PreviousNext