


Остановите войну!
for scientists:
Alan 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
- 2022
- [i5]Xue Li, Alan Bundy, Eugene Philalithis:
Signature Entrenchment and Conceptual Changes in Automated Theory Repair. CoRR abs/2201.08340 (2022) - 2021
- [c117]Alan Bundy, Kwabena Nuamah:
Combining Deductive and Statistical Explanations in the FRANK Query Answering System. ICBK 2021: 1-6 - [c116]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
- [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 H. 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]