Alan Bundy

ORCID

Publication Activity (10 Years)

Years Active: 1971-2023
Publications (10 Years): 31

Top Venues

Publications

Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland
Logic and Theory Repair in Legal Modification. COGAI@IJCLR (2023)
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)
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)
Kwabena Nuamah, Alan Bundy
ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web. CoRR (2023)
Wan Ki Wong, Xue Li, Alan Bundy
Automating Theory Repair in First Order Logic. COGAI@IJCLR (2023)
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)
Cheng-Hao Cai, Alan Bundy
Repairing Numerical Equations in Analogically Blended Theories Using Reformation. HLC (2022)
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)
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)
Xue Li, Alan Bundy, Eugene Philalithis
Signature Entrenchment and Conceptual Changes in Automated Theory Repair. CoRR (2022)
Xue Li, Alan Bundy
An overview of the ABC Repair System for Datalog-like Theories. HLC (2022)
Nick Ferguson, Liane Guillou, Kwabena Nuamah, Alan Bundy
Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system. CoRR (2022)
Alan Bundy, Kwabena Nuamah
Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. CICM (2022)
Nick Ferguson, Liane Guillou, Kwabena Nuamah, Alan Bundy
Integrating Paraphrasing into the FRANK QA System. HLC (2022)
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)
Alan Bundy, Kwabena Nuamah
Combining Deductive and Statistical Explanations in the FRANK Query Answering System. ICBK (2021)
Francisco José Quesada Real, Gábor Bella, Fiona McNeill, Alan Bundy
Using domain lexicon and grammar for ontology matching. OM@ISWC (2020)
Kwabena Nuamah, Alan Bundy
Explainable Inference in the FRANK Query Answering System. ECAI (2020)
Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li
The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. SGAI Conf. (2020)
Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. 31 (1) (2019)
Kwabena Nuamah, Alan Bundy
Calculating Error Bars on Inferences from Web Data. IntelliSys (2) (2018)
Alan Bundy, Kwabena Nuamah, Christopher Lucas
Automated Reasoning in the Age of the Internet. AISC (2018)
Francisco José Quesada Real, Fiona McNeill, Gábor Bella, Alan Bundy
Identifying Semantic Domains in Emergency Scenarios. ISCRAM (2018)
Xue Li, Alan Bundy, Alan Smaill
ABC Repair System for Datalog-like Theories. KEOD (2018)
Roy L. McCasland, Alan Bundy, Patrick F. Smith
MATHsAiD: Automated mathematical theory exploration. Appl. Intell. 47 (3) (2017)
Alan Bundy
Preparing for the future of Artificial Intelligence. AI Soc. 32 (2) (2017)
Francisco J. Quesada Real, Fiona McNeill, Gábor Bella, Alan Bundy
Improving Dynamic Information Exchange in Emergency Response Scenarios. ISCRAM (2017)
Alan Bundy
Smart machines are not a threat to humanity. Commun. ACM 60 (2) (2017)
Alan Bundy
. J. Libr. Inf. Sci. 48 (1) (2016)
Kwabena Nuamah, Alan Bundy, Christopher Lucas
Functional Inferences over Heterogeneous Data. RR (2016)
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). Math. Comput. Sci. 10 (4) (2016)
Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
The Theory behind Theory Mine. IEEE Intell. Syst. 30 (4) (2015)
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating change of representation for proofs in discrete mathematics. CoRR (2015)
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics. CICM (2015)
Alan Bundy, Gintautas Sasnauskas, Michael Chan
Solving guesstimation problems using the Semantic Web: Four lessons from an application. Semantic Web 6 (2) (2015)
Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton, Alan Bundy
Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) (2015)
Jeremy Scott, Alan Bundy
Creating a new generation of computational thinkers. Commun. ACM 58 (12) (2015)
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)
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)
Fiona McNeill, Andriana Gkaniatsou, Alan Bundy
Dynamic data sharing for facilitating communication during emergency responses. ISCRAM (2014)
Alan Bundy
European collaboration on automated reasoning. AI Commun. 27 (1) (2014)
Jos Lehmann, Michael Chan, Alan Bundy
A Higher Order Approach to Ontology Evolution in Physics. J. Data Semant. 2 (4) (2013)
F. Correa da Silva, Alan Bundy
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence CoRR (2013)
Alan Bundy
Incidence Calculus: A Mechanism for Probabilistic Reasoning CoRR (2013)
Alan Bundy
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011". Artif. Intell. (2013)
Yuhui Lin, Alan Bundy, Gudmund Grov
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods (2012)
Jos Lehmann, Ivan José Varzinczak, Alan Bundy
Reasoning with Context in the Semantic Web. J. Web Semant. 12 (2012)
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) (2012)
Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2 (7) (2012)
Alan Bundy
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . Artif. Intell. (2012)
Andriana Gkaniatsou, Alan Bundy, Fiona McNeill
Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies. SITIS (2012)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39 (2) (2012)
Moa Johansson, Lucas Dixon, Alan Bundy
Conjecture Synthesis for Inductive Theories. J. Autom. Reason. 47 (3) (2011)
Alan Bundy
Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell. 61 (1) (2011)
Alan Bundy
Towards a Theory of Diagnosis of Faulty Ontologies. LDH (2011)
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) (2011)
Moa Johansson, Lucas Dixon, Alan Bundy
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis (2010)
Michael Chan, Jos Lehmann, Alan Bundy
Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD (2010)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
Scheme-Based Synthesis of Inductive Theories. MICAI (1) (2010)
Jonathan Alexander Abourbih, Alan Bundy, Fiona McNeill
Using Linked Data for Semi-Automatic Guesstimation. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence (2010)
Moa Johansson, Lucas Dixon, Alan Bundy
Case-Analysis for Rippling and Inductive Proof. ITP (2010)
Theodosia Togia, Fiona McNeill, Alan Bundy
Harnessing the power of folksonomies for formal ontology matching on-the-fly. OM (2010)
Alan Bundy
Australia's Public Library System: Its Needs and Potential. Public Libr. Q. 29 (4) (2010)
Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. IJCAR (2010)
Raúl Monroy, Alan Bundy, Ian Green
On Process Equivalence = Equation Solving in CCS. J. Autom. Reason. 43 (1) (2009)
G. Sripriya, Alan Bundy, Alan Smaill
Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. HPCS (2009)
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) (2009)
Alan Bundy, Michael Chan
Towards Ontology Evolution in Physics. WoLLIC (2008)
Michael Chan, Alan Bundy
Inconstancy: An Ontology Repair Plan for Adding Hidden Variables. AAAI Fall Symposium: Automated Scientific Discovery (2008)
Alan Bundy
Why Ontology Evolution is Essential in Modeling Scientific Discovery. AAAI Fall Symposium: Automated Scientific Discovery (2008)
Alan Bundy
Automating Signature Evolution in Logical Theories. AISC/MKM/Calculemus (2008)
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) (2008)
Predrag Janicic, Alan Bundy
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM (2007)
Fiona McNeill, Alan Bundy
Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. Int. J. Semantic Web Inf. Syst. 3 (3) (2007)
Alan Bundy
AI Bridges and Dreams. AI Soc. 21 (4) (2007)
Alan Bundy
Cooperating Reasoning Processes: More than Just the Sum of Their Parts. IJCAI (2007)
Roy L. McCasland, Alan Bundy
MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC (2006)
Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
Constructing Induction Rules for Deductive Synthesis Proofs. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Alan Bundy
A Very Mathematical Dilemma. Comput. J. 49 (4) (2006)
Alan Bundy, Fiona McNeill
Representation as a Fluent: An AI Challenge for the Next Half Century. IEEE Intell. Syst. 21 (3) (2006)
Graham Steel, Alan Bundy
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reason. 36 (1-2) (2006)
Alan Bundy, Fiona McNeill, Christopher Walton
On Repairing Reasoning Reversals via Representational Refinements. FLAIRS Conference (2006)
Moa Johansson, Alan Bundy, Lucas Dixon
Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Alex Blewitt, Alan Bundy, Ian Stark
Automatic verification of design patterns in Java. ASE (2005)
Mateja Jamnik, Alan Bundy
Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning (2005)
Graham Steel, Alan Bundy
Attacking Group Multicast Key Management Protocols Using Coral. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
Deductive synthesis of workflows for e-Science. CCGRID (2005)
Roy L. McCasland, Alan Bundy, Patrick F. Smith
Ascertaining Mathematical Theorems. Calculemus (2005)
Alan Bundy
Desert Island Column. Autom. Softw. Eng. 11 (1) (2004)
Graham Steel, Alan Bundy, Monika Maidl
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR (2004)
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams (2004)
Daniel Winterstein, Alan Bundy, Mateja Jamnik
On Differences between the Real and Physical Plane. Diagrams (2004)
Daniel Winterstein, Alan Bundy, Corin A. Gurr
Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR (2004)
Alan Bundy
Planning and Patching Proof. AISC (2004)
Louise A. Dennis, Alan Bundy
A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs (2002)
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) (2002)
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
Using Animation in Diagrammatic Theorem Proving. Diagrams (2002)
Predrag Janicic, Alan Bundy
A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reason. 28 (3) (2002)
Alan Bundy
A Critique of Proof Planning. Computational Logic: Logic Programming and Beyond (2002)
Steven Willmott, Julian Richardson, Alan Bundy, John Levine
Applying adversarial planning techniques to Go. Theor. Comput. Sci. 252 (1-2) (2001)

Alan Bundy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alan Bundy