default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlan Bundy
Alan Richard Bundy
Person information
- affiliation: University of Edinburgh, School of Informatics, UK
- 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
- 2024
[c132]Pak Yin Chan
, Xue Li, Yiwei Lu, Yuhui Lin, Alan Bundy:
Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic. SGAI Conf. (2) 2024: 194-207- [c131]Najwa AlGhamdi, Kwabena Nuamah, Alan Bundy:
Evaluating Large Language Models on Qualitative Reasoning Tasks: A Case Study using OpenAI GPT Models. SICSA REALLM 2024: 32-39 - 2023
- [c130]Pak Yin Chan, Xue Li, Alan Bundy:
An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System. COGAI@IJCLR 2023 - [c129]Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland:
Logic and Theory Repair in Legal Modification. COGAI@IJCLR 2023 - [c128]Wan Ki Wong, Xue Li, Alan Bundy:
Automating Theory Repair in First Order Logic. COGAI@IJCLR 2023 - [c127]Ruiqi Zhu, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Fangrong Wang, Xue Li, Lei Xu, Stefano Mauceri:
Assessing the Quality of a Knowledge Graph via Link Prediction Tasks. NLPIR 2023: 124-129 - [i7]Kwabena Nuamah, Alan Bundy:
ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web. CoRR abs/2303.06691 (2023) - 2022
- [c126]Xue Li, Alan Bundy:
An overview of the ABC Repair System for Datalog-like Theories. HLC 2022: 11-17 - [c125]Cheng-Hao Cai, Alan Bundy:
Repairing Numerical Equations in Analogically Blended Theories Using Reformation. HLC 2022: 18-23 - [c124]Nick Ferguson, Liane Guillou, Kwabena Nuamah, Alan Bundy:
Integrating Paraphrasing into the FRANK QA System. HLC 2022: 29-34 - [c123]Ruiqi Zhu, Fangrong Wang, Alan Bundy, Xue Li, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan:
A Closer Look at Probability Calibration of Knowledge Graph Embedding. IJCKG 2022: 104-109 - [c122]Alan Bundy, Kwabena Nuamah:
Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. CICM 2022: 209-221 - [c121]Ruiqi Zhu, Xue Li, Fangrong Wang, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Stefano Mauceri, Lei Xu:
TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract). LOD (1) 2022: 325-329 - [c120]Xue Li, Alan Bundy, Ruiqi Zhu, Fangrong Wang, Stefano Mauceri, Lei Xu, Jeff Z. Pan:
ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures. LOD (1) 2022: 346-359 - [p5]Alan Bundy, Eugene Philalithis, Xue Li:
Modelling Virtual Bargaining using Logical Representation Change. Human-Like Machine Intelligence 2022: 68-90 - [e3]Alan Bundy, Denis Mareschal:
Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), Windsor, United Kingdom, September 28-30th, 2022. CEUR Workshop Proceedings 3227, CEUR-WS.org 2022 [contents] - [i6]Xue Li, Alan Bundy, Eugene Philalithis:
Signature Entrenchment and Conceptual Changes in Automated Theory Repair. CoRR abs/2201.08340 (2022) - [i5]Nick Ferguson, Liane Guillou, Kwabena Nuamah, Alan Bundy:
Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system. CoRR abs/2206.02737 (2022) - 2021
- [c119]Alan Bundy, Kwabena Nuamah:
Combining Deductive and Statistical Explanations in the FRANK Query Answering System. ICBK 2021: 1-6 - [c118]Fangrong Wang, Alan Bundy, Xue Li, Ruiqi Zhu, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan:
LEKG: A System for Constructing Knowledge Graphs from Log Extraction. IJCKG 2021: 181-185 - 2020
- [c117]Kwabena Nuamah, Alan Bundy:
Explainable Inference in the FRANK Query Answering System. ECAI 2020: 2441-2448 - [c116]Francisco José Quesada Real, Gábor Bella, Fiona McNeill, Alan Bundy:
Using domain lexicon and grammar for ontology matching. OM@ISWC 2020: 1-12 - [c115]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
- [j75]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
- [c114]Alan Bundy, Kwabena Nuamah, Christopher Lucas:
Automated Reasoning in the Age of the Internet. AISC 2018: 3-18 - [c113]Xue Li, Alan Bundy, Alan Smaill:
ABC Repair System for Datalog-like Theories. KEOD 2018: 333-340 - [c112]Kwabena Nuamah, Alan Bundy:
Calculating Error Bars on Inferences from Web Data. IntelliSys (2) 2018: 618-640 - [c111]Francisco José Quesada Real, Fiona McNeill, Gábor Bella, Alan Bundy:
Identifying Semantic Domains in Emergency Scenarios. ISCRAM 2018 - 2017
- [j74]Alan Bundy:
Preparing for the future of Artificial Intelligence. AI Soc. 32(2): 285-287 (2017) - [j73]Roy L. McCasland, Alan Bundy, Patrick F. Smith:
MATHsAiD: Automated mathematical theory exploration. Appl. Intell. 47(3): 585-606 (2017) - [j72]Alan Bundy:
Smart machines are not a threat to humanity. Commun. ACM 60(2): 40-42 (2017) - [c110]Francisco J. Quesada Real, Fiona McNeill, Gábor Bella, Alan Bundy:
Improving Dynamic Information Exchange in Emergency Response Scenarios. ISCRAM 2017 - 2016
- [j71]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) - [j70]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) - [c109]Kwabena Nuamah, Alan Bundy, Christopher Lucas:
Functional Inferences over Heterogeneous Data. RR 2016: 159-166 - 2015
- [j69]Jeremy Scott, Alan Bundy:
Creating a new generation of computational thinkers. Commun. ACM 58(12): 37-40 (2015) - [j68]Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland:
The Theory behind Theory Mine. IEEE Intell. Syst. 30(4): 64-69 (2015) - [j67]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) - [c108]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 - [c107]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 - [c106]Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy:
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) 2015: 17-32 - [c105]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
- [j66]Alan Bundy:
European collaboration on automated reasoning. AI Commun. 27(1): 25-35 (2014) - [c104]Fiona McNeill, Andriana Gkaniatsou, Alan Bundy:
Dynamic data sharing for facilitating communication during emergency responses. ISCRAM 2014 - 2013
- [j65]Alan Bundy:
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011". Artif. Intell. 199-200: 122-123 (2013) - [j64]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
- [j63]Alan Bundy:
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . Artif. Intell. 191-192: 96-97 (2012) - [j62]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) - [j61]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) - [j60]Jos Lehmann, Ivan José Varzinczak, Alan Bundy:
Reasoning with Context in the Semantic Web. J. Web Semant. 12: 1-2 (2012) - [c103]Yuhui Lin, Alan Bundy, Gudmund Grov:
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods 2012: 231-236 - [c102]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
- [j59]Alan Bundy:
Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell. 61(1): 3-14 (2011) - [j58]Moa Johansson, Lucas Dixon, Alan Bundy:
Conjecture Synthesis for Inductive Theories. J. Autom. Reason. 47(3): 251-289 (2011) - [j57]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) - [c101]Alan Bundy:
Towards a Theory of Diagnosis of Faulty Ontologies. LDH 2011: 14-18 - 2010
- [j56]Alan Bundy:
Australia's Public Library System: Its Needs and Potential. Public Libr. Q. 29(4): 320-360 (2010) - [c100]Jonathan Alexander Abourbih, Alan Bundy, Fiona McNeill:
Using Linked Data for Semi-Automatic Guesstimation. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010 - [c99]Moa Johansson, Lucas Dixon, Alan Bundy:
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116 - [c98]Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill:
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. IJCAR 2010: 354-368 - [c97]Michael Chan, Jos Lehmann, Alan Bundy:
Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD 2010: 84-93 - [c96]Moa Johansson, Lucas Dixon, Alan Bundy:
Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306 - [c95]Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy:
Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361 - [c94]Theodosia Togia, Fiona McNeill, Alan Bundy:
Harnessing the power of folksonomies for formal ontology matching on-the-fly. OM 2010
2000 – 2009
- 2009
- [j55]Raúl Monroy, Alan Bundy, Ian Green:
On Process Equivalence = Equation Solving in CCS. J. Autom. Reason. 43(1): 53-80 (2009) - [j54]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) - [c93]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
- [j53]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) - [c92]Alan Bundy:
Why Ontology Evolution is Essential in Modeling Scientific Discovery. AAAI Fall Symposium: Automated Scientific Discovery 2008: 8-9 - [c91]Michael Chan, Alan Bundy:
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables. AAAI Fall Symposium: Automated Scientific Discovery 2008: 10-17 - [c90]Alan Bundy:
Automating Signature Evolution in Logical Theories. AISC/MKM/Calculemus 2008: 333-338 - [c89]Alan Bundy, Michael Chan:
Towards Ontology Evolution in Physics. WoLLIC 2008: 98-110 - 2007
- [j52]Alan Bundy:
AI Bridges and Dreams. AI Soc. 21(4): 659-668 (2007) - [j51]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) - [c88]Alan Bundy:
Cooperating Reasoning Processes: More than Just the Sum of Their Parts. IJCAI 2007: 2-11 - [c87]Predrag Janicic, Alan Bundy:
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93 - 2006
- [j50]Alan Bundy:
A Very Mathematical Dilemma. Comput. J. 49(4): 480-486 (2006) - [j49]Alan Bundy, Fiona McNeill:
Representation as a Fluent: An AI Challenge for the Next Half Century. IEEE Intell. Syst. 21(3): 85-87 (2006) - [j48]Graham Steel, Alan Bundy:
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reason. 36(1-2): 149-176 (2006) - [c86]Moa Johansson, Alan Bundy, Lucas Dixon:
Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100 - [c85]Alan Bundy, Fiona McNeill, Christopher Walton:
On Repairing Reasoning Reversals via Representational Refinements. FLAIRS 2006: 3-12 - [c84]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 - [c83]Mateja Jamnik, Alan Bundy:
Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning 2005: 321-341 - [c82]Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon:
Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175 - [c81]Alex Blewitt, Alan Bundy, Ian Stark:
Automatic verification of design patterns in Java. ASE 2005: 224-232 - [c80]Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot:
Constructing Induction Rules for Deductive Synthesis Proofs. CLASE 2005: 3-21 - [c79]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) - [c78]Alan Bundy:
Planning and Patching Proof. AISC 2004: 26-37 - [c77]Graham Steel, Alan Bundy, Monika Maidl:
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151 - [c76]Daniel Winterstein, Alan Bundy, Corin A. Gurr:
Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR 2004: 331-335 - [c75]Daniel Winterstein, Alan Bundy, Mateja Jamnik:
On Differences between the Real and Physical Plane. Diagrams 2004: 29-31 - [c74]Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik:
An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434 - [c73]Graham Steel, Alan Bundy:
Attacking Group Multicast Key Management Protocols Using Coral. ARSPA@IJCAR 2004: 125-144 - 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]Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin:
Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD 1996: 94-108 - 1995
- [j27]R. G. McLean, Alan Bundy, Weiru Liu:
Assignment methods for incidence calculus. Int. J. Approx. Reason. 12(1): 21-41 (1995) - [c43]Alan Bundy, Vincent Lombart:
Relational Rippling: A General Approach. IJCAI 1995: 175-181 - 1994
- [j26]Alan Bundy, Hector L. MacQueen:
The New Software Copyright Law. Comput. J. 37(2): 79-82 (1994) - [j25]Weiru Liu, Alan Bundy:
A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. Int. J. Hum. Comput. Stud. 40(6): 1009-1032 (1994) - [c42]Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin:
Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89 - [c41]Raúl Monroy, Alan Bundy, Andrew Ireland:
Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68 - [e2]Alan Bundy:
Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Lecture Notes in Computer Science 814, Springer 1994, ISBN 3-540-58156-1 [contents] - 1993
- [j24]Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill:
Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993) - [c40]Weiru Liu, Alan Bundy, David Stuart Robertson:
Recovering Incedence Functions. ECSQARU 1993: 241-248 - [c39]Weiru Liu, Alan Bundy, David Stuart Robertson:
On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256 - [c38]Ina Kraan, David A. Basin, Alan Bundy:
Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455 - [c37]David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews:
A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171 - [c36]Peter Madden, Jane Hesketh, Ian Green, Alan Bundy:
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). LOPSTR 1993: 64-66 - [c35]Alistair Manning, Andrew Ireland, Alan Bundy:
Incresing the Versatility of Heuristic Based Theorem Provers. LPAR 1993: 194-204 - 1992
- [j23]Alan Bundy:
Die Geschichte der Mechanisierung der Logik in der KI (Interview). Künstliche Intell. 6(3): 99-101 (1992) - [c34]Jane Hesketh, Alan Bundy, Alan Smaill:
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324 - [c33]Toby Walsh, Alex Nunes, Alan Bundy:
The Use of Proof Plans to Sum Series. CADE 1992: 325-339 - [c32]Ian Frank, David A. Basin, Alan Bundy:
An Adaptation of Proof-Planning to Declarer Play in Bridge. ECAI 1992: 72-76 - [c31]Ina Kraan, David A. Basin, Alan Bundy:
Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14 - [c30]Alan Bundy:
Tutorial Notes: Reasoning about Logic Programs. Logic Programming Summer School 1992: 252-277 - 1991
- [b2]David Robertson, Alan Bundy, Robert Muetzelfeldt, Mandy Haggith, Michael Uschold:
Eco-Logic - Logic-Based Approaches to Ecological Modeling. Logic programming, MIT Press 1991, ISBN 978-0-262-18143-3, pp. 1-243 - [j22]Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill:
Experiments with Proof Plans for Induction. J. Autom. Reason. 7(3): 303-324 (1991) - [c29]Alan Bundy:
The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 149-166 - [c28]Alan Bundy:
A Science of Reasoning. Computational Logic - Essays in Honor of Alan Robinson 1991: 178-198 - [c27]Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh:
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR 1991: 27-45 - 1990
- [j21]Alan Bundy:
IJCAI Policy on Multiple Publication of Papers Revisited. AI Commun. 3(3): 115 (1990) - [c26]Paul Brna, Alan Bundy, Helen Pain:
A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. ALPUK 1990: 22-55 - [c25]Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland:
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146 - [c24]Alan Bundy:
A Science of Reasoning: Extended Abstract. CADE 1990: 633-640 - [c23]Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill:
The Oyster-Clam System. CADE 1990: 647-648 - [c22]Alan Bundy:
The Use of Proof Plans in Formal Methods. DISCO 1990: 151-153
1980 – 1989
- 1989
- [j20]Alan Bundy:
IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers. AI Mag. 10(1): 73-75 (1989) - [j19]David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt:
The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. Int. J. Man Mach. Stud. 31(1): 1-26 (1989) - [j18]Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver:
Solving Symbolic Equations with PRESS. J. Symb. Comput. 7(1): 71-84 (1989) - [c21]Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens:
A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365 - 1988
- [j17]Frank van Harmelen, Alan Bundy:
Explanation-Based Generalisation = Partial Evaluation. Artif. Intell. 36(3): 401-412 (1988) - [j16]Alan Bundy:
IJCAI Policy on Multiple Publication of Papers. AI Commun. 1(4): 3-5 (1988) - [j15]Richard J. Fateman, Alan Bundy, Richard A. O'Keefe, Leon Sterling:
Commentary on: solving symbolic equations with PRESS. SIGSAM Bull. 22(2): 27-40 (1988) - [j14]Alan Bundy:
Probability, truth, and logic: reply to Cheeseman. Comput. Intell. 4: 69-70 (1988) - [j13]Alan Bundy, Leon Sterling:
Meta-Level Inference: Two Applications. J. Autom. Reason. 4(1): 15-27 (1988) - [c20]Alan Bundy:
The Use of Explicit Plans to Guide Inductive Proofs. CADE 1988: 111-120 - [c19]Alan Bundy:
A Broader Interpretation of Logic in Logic Programming. ICLP/SLP 1988: 1624-1648 - 1987
- [j12]Alan Bundy:
AI Bridges and Dreams. AI Soc. 1(1): 62-71 (1987) - 1986
- [b1]Alan Bundy:
Catalogue of artificial intelligence tools, 2nd Edition. Symbolic computation : Artificial intelligence, Springer 1986, ISBN 0387168931, pp. 1-168 - [j11]Alan Bundy:
Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. J. Autom. Reason. 2(2): 109-126 (1986) - 1985
- [j10]Alan Bundy, Bernard Silver, Dave Plummer:
An Analytical Comparison of Some Rule-Learning Programs. Artif. Intell. 27(2): 137-181 (1985) - [j9]Alan Bundy:
Incidence Calculus: A Mechanism for Probabilistic Reasoning. J. Autom. Reason. 1(3): 263-283 (1985) - [c18]Alan Bundy:
Discovery and Reasoning in Mathematics. IJCAI 1985: 1221-1230 - [c17]Alan Bundy, Richard Clutterbuck:
Raising the Standards of AI Products. IJCAI 1985: 1289-1294 - 1984
- [j8]Alan Bundy:
A generalized interval package and its use for semantic checking. ACM Trans. Math. Softw. 10(4): 397-409 (1984) - [c16]Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy:
An Intelligent Front End for Ecological Modelling. ECAI 1984: 13-22 - [c15]Alan Bundy:
Incidence Calculus: A Mechanism for Probabilistic Reasoning. FGCS 1984: 166-174 - [c14]Mary Angela Papalaskaris, Alan Bundy:
Topics for Circumscription. NMR 1984: 355-362 - 1983
- [j7]Alan Bundy:
How to Get the Most Out of IJCAI-83. AI Mag. 4(1): 35-36 (1983) - [j6]Alan Bundy:
The Nature of AI: A Reply to Schank. AI Mag. 4(4): 29-31 (1983) - [e1]Alan Bundy:
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983. William Kaufmann 1983 [contents] - 1982
- [c13]Leon Sterling, Alan Bundy:
Meta-Level Inference and Program Verification. CADE 1982: 144-150 - [c12]Alan Bundy, Lawrence Byrd, Chris Mellish:
Special Purpose, but Domain Independent, Inference Mechanisms. ECAI 1982: 67-74 - [c11]Alan Bundy, Bernard Silver:
A Critical Survey of Rule Learning Programs. ECAI 1982: 151-157 - [c10]Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver:
Solving Symbolic Equations with PRESS. EUROCAM 1982: 109-116 - 1981
- [j5]Alan Bundy, Bob Welham:
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. 16(2): 189-212 (1981) - [j4]Alan Bundy:
What Is the Well-Dressed AI Educator Wearing Now? AI Mag. 3(1): 13-14 (1981) - [c9]Alan Borning, Alan Bundy:
Using Matching in Algebraic Equation Solving. IJCAI 1981: 466-471 - [c8]Alan Bundy, Bernard Silver:
Homogenization: Preparing Equations for Change of Unknown. IJCAI 1981: 551-553 - 1980
- [c7]Alan Bundy, Bob Welham:
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. CADE 1980: 24-38
1970 – 1979
- 1978
- [j3]Alan Bundy:
Will it Reach the Top? Prediction in the Mechanics World. Artif. Intell. 10(2): 129-146 (1978) - [c6]Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer:
Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. AISB/GI (ECAI) 1978: 71-81 - 1977
- [c5]Alan Bundy:
Can Domain Specific Knowledge Be Generalized? IJCAI 1977: 496 - [c4]George F. Luger, Alan Bundy:
Representing Semantic Information In Pulley Problems. IJCAI 1977: 500 - 1976
- [c3]Alan Bundy, George F. Luger, M. Stone, R. Welham:
MECHO, Year one. AISB (ECAI) 1976: 94-103 - 1975
- [c2]Alan Bundy:
Analysing Mathematical Proofs (Or Reading Between the Lines). IJCAI 1975: 22-28 - 1973
- [j2]Alan Bundy:
A note on omitting the replacement schema. Notre Dame J. Formal Log. 14(1): 118-120 (1973) - [c1]Alan Bundy:
Doing Arithmetic with Diagrams. IJCAI 1973: 130-138 - 1971
- [j1]Alan Bundy:
There is no best proof procedure. SIGART Newsl. 31: 6-7 (1971)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
