Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAlan Bundy
Alan Richard Bundy
Person information
- affiliation: University of Edinburgh, School of Informatics
- award (2007): Herbrand Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c115]Kwabena Nuamah, Alan Bundy:
Explainable Inference in the FRANK Query Answering System. ECAI 2020: 2441-2448- [c114]Francisco José Quesada Real, Gábor Bella, Fiona McNeill, Alan Bundy:
Using domain lexicon and grammar for ontology matching. OM@ISWC 2020: 1-12 - [c113]Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li:
The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. SGAI Conf. 2020: 49-63
2010 – 2019
- 2019
- [j77]Yuhui Lin
, Alan Bundy, Gudmund Grov, Ewen Maclean:
Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. 31(1): 95-129 (2019) - 2018
- [c112]Alan Bundy, Kwabena Nuamah, Christopher Lucas:
Automated Reasoning in the Age of the Internet. AISC 2018: 3-18 - [c111]Xue Li, Alan Bundy, Alan Smaill:
ABC Repair System for Datalog-like Theories. KEOD 2018: 333-340 - [c110]Kwabena Nuamah, Alan Bundy:
Calculating Error Bars on Inferences from Web Data. IntelliSys (2) 2018: 618-640 - [c109]Francisco José Quesada Real, Fiona McNeill, Gábor Bella, Alan Bundy:
Identifying Semantic Domains in Emergency Scenarios. ISCRAM 2018 - 2017
- [j76]Alan Bundy:
Preparing for the future of Artificial Intelligence. AI Soc. 32(2): 285-287 (2017) - [j75]Roy L. McCasland, Alan Bundy, Patrick F. Smith:
MATHsAiD: Automated mathematical theory exploration. Appl. Intell. 47(3): 585-606 (2017) - [j74]Alan Bundy:
Smart machines are not a threat to humanity. Commun. ACM 60(2): 40-42 (2017) - [c108]Francisco J. Quesada Real, Fiona McNeill, Gábor Bella, Alan Bundy:
Improving Dynamic Information Exchange in Emergency Response Scenarios. ISCRAM 2017 - 2016
- [j73]Alan Bundy:
Book review: Carol Smallwood (ed.), Creative Management of Small Public Libraries in the 21st Century. J. Libr. Inf. Sci. 48(1): 105-106 (2016) - [j72]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). Math. Comput. Sci. 10(4): 429-457 (2016) - [c107]Kwabena Nuamah, Alan Bundy, Christopher Lucas:
Functional Inferences over Heterogeneous Data. RR 2016: 159-166 - 2015
- [j71]Jeremy Scott, Alan Bundy:
Creating a new generation of computational thinkers. Commun. ACM 58(12): 37-40 (2015) - [j70]Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland:
The Theory behind Theory Mine. IEEE Intell. Syst. 30(4): 64-69 (2015) - [j69]Alan Bundy, Gintautas Sasnauskas, Michael Chan:
Solving guesstimation problems using the Semantic Web: Four lessons from an application. Semantic Web 6(2): 197-210 (2015) - [c106]Andriana Gkaniatsou, Fiona McNeill, Alan Bundy, Graham Steel, Riccardo Focardi, Claudio Bozzato:
Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit. ACSAC 2015: 441-450 - [c105]Tarek Richard Besold, Kai-Uwe Kühnberger, Artur S. d'Avila Garcez, Alessandro Saffiotti, Martin H. Fischer, Alan Bundy:
Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition. AGI 2015: 35-45 - [c104]Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton, Alan Bundy:
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) 2015: 17-32 - [c103]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating Change of Representation for Proofs in Discrete Mathematics. CICM 2015: 227-242 - [i4]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating change of representation for proofs in discrete mathematics. CoRR abs/1505.02449 (2015) - 2014
- [j68]Alan Bundy:
European collaboration on automated reasoning. AI Commun. 27(1): 25-35 (2014) - [c102]Fiona McNeill, Andriana Gkaniatsou, Alan Bundy:
Dynamic data sharing for facilitating communication during emergency responses. ISCRAM 2014 - 2013
- [j67]Alan Bundy:
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011". Artif. Intell. 199-200: 122-123 (2013) - [j66]Jos Lehmann, Michael Chan, Alan Bundy:
A Higher Order Approach to Ontology Evolution in Physics. J. Data Semant. 2(4): 163-187 (2013) - [i3]F. Correa da Silva, Alan Bundy:
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence. CoRR abs/1304.1126 (2013) - [i2]Alan Bundy:
Incidence Calculus: A Mechanism for Probabilistic Reasoning. CoRR abs/1304.3438 (2013) - 2012
- [j65]Alan Bundy:
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . Artif. Intell. 191-192: 96-97 (2012) - [j64]Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy:
Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39(2): 1637-1646 (2012) - [j63]Alan Bundy:
Book review: Joy Court (ed.), Read to Succeed: Strategies to Engage Children and Young People in Reading for Pleasure. J. Libr. Inf. Sci. 44(2): 138-139 (2012) - [j62]Jos Lehmann, Ivan José Varzinczak, Alan Bundy:
Reasoning with Context in the Semantic Web. J. Web Semant. 12: 1-2 (2012) - [c101]Yuhui Lin, Alan Bundy, Gudmund Grov:
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods 2012: 231-236 - [c100]Andriana Gkaniatsou, Alan Bundy, Fiona McNeill:
Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies. SITIS 2012: 860-867 - [i1]Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore:
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2(7): 1-29 (2012) - 2011
- [j61]Alan Bundy:
Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell. 61(1): 3-14 (2011) - [j60]Moa Johansson, Lucas Dixon, Alan Bundy:
Conjecture Synthesis for Inductive Theories. J. Autom. Reason. 47(3): 251-289 (2011) - [j59]Alan Bundy:
Book review: The Reader-Friendly Library Service Rachel Van Riel, Olive Fowler and Anne Downes. Newcastle upon Tyne: The Society of Chief Librarians, 2008. 379pp, £25.00. ISBN 9780955902802. J. Libr. Inf. Sci. 43(1): 56-57 (2011) - [c99]Alan Bundy:
Towards a Theory of Diagnosis of Faulty Ontologies. LDH 2011: 14-18 - 2010
- [j58]Alan Bundy:
Australia's Public Library System: Its Needs and Potential. Public Libr. Q. 29(4): 320-360 (2010) - [c98]Jonathan Alexander Abourbih, Alan Bundy, Fiona McNeill:
Using Linked Data for Semi-Automatic Guesstimation. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010 - [c97]Moa Johansson, Lucas Dixon, Alan Bundy:
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116 - [c96]Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill:
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. IJCAR 2010: 354-368 - [c95]Michael Chan, Jos Lehmann, Alan Bundy:
Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD 2010: 84-93 - [c94]Moa Johansson, Lucas Dixon, Alan Bundy:
Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306 - [c93]Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy:
Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361 - [c92]Theodosia Togia, Fiona McNeill, Alan Bundy:
Harnessing the power of folksonomies for formal ontology matching on-the-fly. OM 2010
2000 – 2009
- 2009
- [j57]Raúl Monroy, Alan Bundy, Ian Green:
On Process Equivalence = Equation Solving in CCS. J. Autom. Reason. 43(1): 53-80 (2009) - [j56]Alan Bundy:
Book Review: Delivering the Best Start: A Guide to Early Years Libraries by Carolynn Rankin and Avril Brock 2009, London: Facet Publishing, 190pp, £39.95, ISBN 9781856046107; Libraries Designed for Kids by Nolan Lushington 2008, London: Facet Publishing, 173pp, £44.95, ISBN 9781856046572. J. Libr. Inf. Sci. 41(4): 254-255 (2009) - [c91]G. Sripriya, Alan Bundy, Alan Smaill:
Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. HPCS 2009: 168-175 - [p4]David Robertson, Adam Barker, Paolo Besana, Alan Bundy, Yun-Heh Chen-Burger, David Dupplaw, Fausto Giunchiglia, Frank van Harmelen, Mohd. Fadzil Hassan, Spyros Kotoulas, David Lambert, Li Guo, Jarred McGinnis, Fiona McNeill, Nardine Osman, Adrián Perreau de Pinninck, Ronny Siebes, Carles Sierra, Chris Walton:
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing. Advances in Web Semantics I 2009: 81-129 - 2008
- [j55]Alan Bundy:
Book Review: Joint-use Libraries: Libraries for the Future by Sarah McNicol 2008, Oxford: Chandos, 230pp, £39.95, ISBN 9781843343844. J. Libr. Inf. Sci. 40(4): 288 (2008) - [c90]Alan Bundy:
Why Ontology Evolution is Essential in Modeling Scientific Discovery. AAAI Fall Symposium: Automated Scientific Discovery 2008: 8-9 - [c89]Michael Chan, Alan Bundy:
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables. AAAI Fall Symposium: Automated Scientific Discovery 2008: 10-17 - [c88]Alan Bundy:
Automating Signature Evolution in Logical Theories. AISC/MKM/Calculemus 2008: 333-338 - [c87]Alan Bundy, Michael Chan:
Towards Ontology Evolution in Physics. WoLLIC 2008: 98-110 - 2007
- [j54]Alan Bundy:
AI Bridges and Dreams. AI Soc. 21(4): 659-668 (2007) - [j53]Fiona McNeill, Alan Bundy:
Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. Int. J. Semantic Web Inf. Syst. 3(3): 1-35 (2007) - [c86]Alan Bundy:
Cooperating Reasoning Processes: More than Just the Sum of Their Parts. IJCAI 2007: 2-11 - [c85]Predrag Janicic, Alan Bundy:
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93 - 2006
- [j52]Alan Bundy:
A Very Mathematical Dilemma. Comput. J. 49(4): 480-486 (2006) - [j51]Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot:
Constructing Induction Rules for Deductive Synthesis Proofs. Electron. Notes Theor. Comput. Sci. 153(1): 3-21 (2006) - [j50]Alan Bundy, Fiona McNeill:
Representation as a Fluent: An AI Challenge for the Next Half Century. IEEE Intell. Syst. 21(3): 85-87 (2006) - [j49]Graham Steel, Alan Bundy:
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reason. 36(1-2): 149-176 (2006) - [c84]Moa Johansson, Alan Bundy, Lucas Dixon:
Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100 - [c83]Alan Bundy, Fiona McNeill, Christopher Walton:
On Repairing Reasoning Reversals via Representational Refinements. FLAIRS Conference 2006: 3-12 - [c82]Roy L. McCasland, Alan Bundy:
MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC 2006: 17-22 - 2005
- [b3]Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland:
Rippling - meta-level guidance for mathematical reasoning. Cambridge tracts in theoretical computer science 56, Cambridge University Press 2005, ISBN 978-0-521-83449-0, pp. I-XIII, 1-202 - [j48]Graham Steel, Alan Bundy:
Attacking Group Multicast Key Management Protocols Using Coral. Electron. Notes Theor. Comput. Sci. 125(1): 125-144 (2005) - [c81]Mateja Jamnik, Alan Bundy:
Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning 2005: 321-341 - [c80]Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon:
Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175 - [c79]Alex Blewitt, Alan Bundy, Ian Stark:
Automatic verification of design patterns in Java. ASE 2005: 224-232 - [c78]Roy L. McCasland, Alan Bundy, Patrick F. Smith:
Ascertaining Mathematical Theorems. Calculemus 2005: 21-38 - 2004
- [j47]Alan Bundy:
Desert Island Column. Autom. Softw. Eng. 11(1): 91-92 (2004) - [c77]Alan Bundy:
Planning and Patching Proof. AISC 2004: 26-37 - [c76]Graham Steel, Alan Bundy, Monika Maidl:
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151 - [c75]Daniel Winterstein, Alan Bundy, Corin A. Gurr:
Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR 2004: 331-335 - [c74]Daniel Winterstein, Alan Bundy, Mateja Jamnik:
On Differences between the Real and Physical Plane. Diagrams 2004: 29-31 - [c73]Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik:
An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434 - 2002
- [j46]Jon Whittle, Alan Bundy, Richard J. Boulton:
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Aspects Comput. 13(3-5): 403-421 (2002) - [j45]Predrag Janicic, Alan Bundy:
A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reason. 28(3): 257-305 (2002) - [c72]Alan Bundy:
A Critique of Proof Planning. Computational Logic: Logic Programming and Beyond 2002: 160-177 - [c71]Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik:
Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60 - [c70]Louise A. Dennis, Alan Bundy:
A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197 - [p3]Mateja Jamnik, Alan Bundy, Ian Green:
On Automating Diagrammatic Proofs of Arithmetic Arguments. Diagrammatic Representation and Reasoning 2002: 315-338 - 2001
- [j44]Raúl Monroy Borja, Alan Bundy:
On the Correction of Faulty Formulae. Computación y Sistemas 5(1) (2001) - [j43]Steven Willmott, Julian Richardson, Alan Bundy, John Levine:
Applying adversarial planning techniques to Go. Theor. Comput. Sci. 252(1-2): 45-82 (2001) - [c69]Alex Blewitt, Alan Bundy, Ian Stark:
Automatic Verification of Java Design Patterns. ASE 2001: 324-327 - [p2]Alan Bundy:
The Automation of Proof by Mathematical Induction. Handbook of Automated Reasoning 2001: 845-911 - 2000
- [j42]Louise A. Dennis, Alan Bundy, Ian Green:
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. 29(1-4): 99-138 (2000) - [j41]Raúl Monroy, Alan Bundy, Ian Green:
Planning Proofs of Equations in CCS. Autom. Softw. Eng. 7(3): 263-304 (2000) - [j40]Simon Colton, Alan Bundy, Toby Walsh:
On the notion of interestingness in automated mathematical discovery. Int. J. Hum. Comput. Stud. 53(3): 351-375 (2000) - [c68]Ian Frank, David A. Basin, Alan Bundy:
Combining Knowledge and Search to Solve Single-Suit Bridge. AAAI/IAAI 2000: 195-200 - [c67]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563 - [c66]Daniel Winterstein, Alan Bundy, Mateja Jamnik:
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams 2000: 286-299 - [c65]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Identification of Mathematical Concepts. ICML 2000: 183-190 - [c64]Raúl Monroy, Alan Bundy, Ian Green:
Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI 2000: 1-12
1990 – 1999
- 1999
- [j39]Peter Madden, Alan Bundy, Alan Smaill:
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reason. 22(1): 65-115 (1999) - [j38]Andrew Ireland, Alan Bundy:
Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. 9(2): 225-245 (1999) - [j37]Mateja Jamnik, Alan Bundy, Ian Green:
On Automating Diagrammatic Proofs of Arithmetic Arguments. J. Log. Lang. Inf. 8(3): 297-321 (1999) - [c63]Predrag Janicic, Alan Bundy, Ian Green:
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE 1999: 127-141 - [c62]Dieter Hutter, Alan Bundy:
The Design of the CADE-16 Inductive Theorem Prover Contest. CADE 1999: 374-377 - [c61]Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe:
System Description: CyNTHIA. CADE 1999: 388-392 - [c60]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793 - [c59]Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe:
An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173 - [c58]Alan Bundy, Julian Richardson:
Proofs About Lists Using Ellipsis. LPAR 1999: 1-12 - [c57]Jeremy Gow, Alan Bundy, Ian Green:
Extensions to the Estimation Calculus. LPAR 1999: 258-272 - [p1]Alan Bundy:
A Survey of Automated Deduction. Artificial Intelligence Today 1999: 153-174 - 1998
- [j36]Helen Lowe, Michal Pechoucek, Alan Bundy:
Proof planning for maintainable configuration systems. Artif. Intell. Eng. Des. Anal. Manuf. 12(4): 345-356 (1998) - [j35]Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy:
Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. 22(3-4): 259-279 (1998) - [j34]Weiru Liu, David McBryan, Alan Bundy:
The Method of Assigning Incidences. Appl. Intell. 9(2): 139-161 (1998) - [j33]Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy:
Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5(2): 183-210 (1998) - [j32]Helen Lowe, Alan Bundy, Duncan McLean:
The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. 25(2): 239-261 (1998) - [c56]Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy:
System Description: An Interface Between CLAM and HOL. CADE 1998: 134-138 - [c55]Steven Willmott, Julian Richardson, Alan Bundy, John Levine:
An Adversarial Planning Approach to Go. Computers and Games 1998: 93-112 - [c54]Raúl Monroy, Alan Bundy, Ian Green:
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI 1998: 393-397 - [c53]Raúl Monroy, Alan Bundy, Ian Green:
Planning Equational Verification in CCS. ASE 1998: 43-52 - [c52]Alan Bundy:
A Science of Reasoning (Extended Abstract). TABLEAUX 1998: 10-17 - [c51]Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon:
An Interface between Clam and HOL. TPHOLs 1998: 87-104 - 1997
- [j31]Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. 19(3): 319-346 (1997) - [c50]Louise A. Dennis, Alan Bundy, Ian Green:
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290 - [c49]Mateja Jamnik, Alan Bundy, Ian Green:
Automation of Diagrammatic Reasoning. IJCAI (1) 1997: 528-533 - [c48]Jon Whittle, Alan Bundy, Helen Lowe:
An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405 - 1996
- [j30]Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh:
Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996) - [j29]Weiru Liu, Alan Bundy:
Constructing probabilistic ATMSs using extended incidence calculus. Int. J. Approx. Reason. 15(2): 145-182 (1996) - [j28]Ina Kraan, David A. Basin, Alan Bundy:
Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reason. 16(1-2): 113-145 (1996) - [c47]Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh:
Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529 - [c46]Alan Bundy:
Proof Planning. AIPS 1996: 261-267 - [c45]Andrew Ireland, Alan Bundy:
Extensions to a Generalization Critic for Inductive Proof. CADE 1996: 47-61 - [c44]