Alan Bundy - RankMe

228 papers A* 18A 26B 9C 14Misc 4Journal 84Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Exploring the Meta-level Reasoning of Large Language Models via a Tool-based Multi-hop Tabular Question Answering Task. CoRR Nick Ferguson, Alan Bundy, Kwabena Nuamah
2025	J	`jnl`	Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering. CoRR Nick Ferguson, Liane Guillou, Alan Bundy, Kwabena Nuamah
2024	—	`ch.`	A Graphical Representation of Verification Proof Plans. The Practice of Formal Methods (I) Yuhui Lin, Alan Bundy, Gudmund Grov
2024	—	`conf`	Evaluating Large Language Models on Qualitative Reasoning Tasks: A Case Study using OpenAI GPT Models. SICSA REALLM Najwa Alghamdi, Kwabena Nuamah, Alan Bundy
2024	—	`conf`	Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic. SGAI Conf. (2) Pak Yin Chan, Xue Li, Yiwei Lu, Yuhui Lin, Alan Bundy
2023	J	`jnl`	ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web. CoRR Kwabena Nuamah, Alan Bundy
2023	—	`conf`	An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System. COGAI@IJCLR Pak Yin Chan, Xue Li, Alan Bundy
2023	—	`conf`	Assessing the Quality of a Knowledge Graph via Link Prediction Tasks. NLPIR Ruiqi Zhu, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Fangrong Wang, Xue Li, Lei Xu, Stefano Mauceri
2023	—	`conf`	Automating Theory Repair in First Order Logic. COGAI@IJCLR Wan Ki Wong, Xue Li, Alan Bundy
2023	—	`conf`	Logic and Theory Repair in Legal Modification. COGAI@IJCLR Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland
2022	—	`conf`	A Closer Look at Probability Calibration of Knowledge Graph Embedding. IJCKG Ruiqi Zhu, Fangrong Wang, Alan Bundy, Xue Li, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan
2022	—	`conf`	ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures. LOD (1) Xue Li, Alan Bundy, Ruiqi Zhu, Fangrong Wang, Stefano Mauceri, Lei Xu, Jeff Z. Pan
2022	—	`conf`	An overview of the ABC Repair System for Datalog-like Theories. HLC Xue Li, Alan Bundy
2022	—	`conf`	Integrating Paraphrasing into the FRANK QA System. HLC Nick Ferguson, Liane Guillou, Kwabena Nuamah, Alan Bundy
2022	J	`jnl`	Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system. CoRR Nick Ferguson, Liane Guillou, Kwabena Nuamah, Alan Bundy
2022	—	`ch.`	Modelling Virtual Bargaining using Logical Representation Change. Human-Like Machine Intelligence Alan Bundy, Eugene Philalithis, Xue Li
2022	—	`ed.`	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. HLC Alan Bundy, Denis Mareschal
2022	—	`conf`	Repairing Numerical Equations in Analogically Blended Theories Using Reformation. HLC Cheng-Hao Cai, Alan Bundy
2022	J	`jnl`	Signature Entrenchment and Conceptual Changes in Automated Theory Repair. CoRR Xue Li, Alan Bundy, Eugene Philalithis
2022	—	`conf`	TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract). LOD (1) Ruiqi Zhu, Xue Li, Fangrong Wang, Alan Bundy, Jeff Z. Pan, Kwabena Nuamah, Stefano Mauceri, Lei Xu
2022	C	`conf`	Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. CICM Alan Bundy, Kwabena Nuamah
2021	—	`conf`	Combining Deductive and Statistical Explanations in the FRANK Query Answering System. ICBK Alan Bundy, Kwabena Nuamah
2021	—	`conf`	LEKG: A System for Constructing Knowledge Graphs from Log Extraction. IJCKG Fangrong Wang, Alan Bundy, Xue Li, Ruiqi Zhu, Kwabena Nuamah, Lei Xu, Stefano Mauceri, Jeff Z. Pan
2020	A	`conf`	Explainable Inference in the FRANK Query Answering System. ECAI Kwabena Nuamah, Alan Bundy
2020	—	`conf`	The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. SGAI Conf. Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li
2020	—	`conf`	Using domain lexicon and grammar for ontology matching. OM@ISWC Francisco José Quesada-Real, Gábor Bella, Fiona McNeill, Alan Bundy
2019	J	`jnl`	Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
2018	C	`conf`	ABC Repair System for Datalog-like Theories. KEOD Xue Li, Alan Bundy, Alan Smaill
2018	Misc	`conf`	Automated Reasoning in the Age of the Internet. AISC Alan Bundy, Kwabena Nuamah, Christopher Lucas
2018	—	`conf`	Calculating Error Bars on Inferences from Web Data. IntelliSys (2) Kwabena Nuamah, Alan Bundy
2018	—	`conf`	Identifying Semantic Domains in Emergency Scenarios. ISCRAM Francisco José Quesada-Real, Fiona McNeill, Gábor Bella, Alan Bundy
2017	—	`conf`	Improving Dynamic Information Exchange in Emergency Response Scenarios. ISCRAM Francisco J. Quesada-Real, Fiona McNeill, Gábor Bella, Alan Bundy
2017	J	`jnl`	MATHsAiD: Automated mathematical theory exploration. Appl. Intell. Roy L. McCasland, Alan Bundy, Patrick F. Smith
2017	J	`jnl`	Preparing for the future of Artificial Intelligence. AI Soc. Alan Bundy
2017	J	`jnl`	Smart machines are not a threat to humanity. Commun. ACM Alan Bundy
2016	J	`jnl`	Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). Math. Comput. Sci. Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2016	J	`jnl`	Book review: Carol Smallwood (ed.), J. Libr. Inf. Sci. Alan Bundy
2016	—	`conf`	Functional Inferences over Heterogeneous Data. RR Kwabena Nuamah, Alan Bundy, Christopher Lucas
2015	—	`conf`	Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition. AGI Tarek Richard Besold, Kai-Uwe Kühnberger, Artur S. d'Avila Garcez, Alessandro Saffiotti, Martin H. Fischer, Alan Bundy
2015	C	`conf`	Automating Change of Representation for Proofs in Discrete Mathematics. CICM Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015	J	`jnl`	Automating change of representation for proofs in discrete mathematics. CoRR Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015	J	`jnl`	Creating a new generation of computational thinkers. Commun. ACM Jeremy Scott, Alan Bundy
2015	A	`conf`	Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit. ACSAC Andriana Gkaniatsou, Fiona McNeill, Alan Bundy, Graham Steel, Riccardo Focardi, Claudio Bozzato
2015	J	`jnl`	Solving guesstimation problems using the Semantic Web: Four lessons from an application. Semantic Web Alan Bundy, Gintautas Sasnauskas, Michael Chan
2015	J	`jnl`	The Theory behind Theory Mine. IEEE Intell. Syst. Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
2015	—	`conf`	Typed meta-interpretive learning for proof strategies. ILP (Late Breaking Papers) Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy
2014	—	`conf`	Dynamic data sharing for facilitating communication during emergency responses. ISCRAM Fiona McNeill, Andriana Gkaniatsou, Alan Bundy
2014	J	`jnl`	European collaboration on automated reasoning. AI Commun. Alan Bundy
2013	J	`jnl`	A Higher Order Approach to Ontology Evolution in Physics. J. Data Semant. Jos Lehmann, Michael Chan, Alan Bundy
2013	J	`jnl`	Incidence Calculus: A Mechanism for Probabilistic Reasoning CoRR Alan Bundy
2013	J	`jnl`	On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence CoRR F. Correa da Silva, Alan Bundy
2013	J	`jnl`	Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011". Artif. Intell. Alan Bundy
2012	J	`jnl`	AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore
2012	J	`jnl`	Book review: Joy Court (ed.), Read to Succeed: Strategies to Engage Children and Young People in Reading for Pleasure. J. Libr. Inf. Sci. Alan Bundy
2012	J	`jnl`	Reasoning with Context in the Semantic Web. J. Web Semant. Jos Lehmann, Ivan José Varzinczak, Alan Bundy
2012	J	`jnl`	Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . Artif. Intell. Alan Bundy
2012	J	`jnl`	Scheme-based theorem discovery and concept invention. Expert Syst. Appl. Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
2012	—	`conf`	The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods Yuhui Lin, Alan Bundy, Gudmund Grov
2012	—	`conf`	Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies. SITIS Andriana Gkaniatsou, Alan Bundy, Fiona McNeill
2011	J	`jnl`	Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell. Alan Bundy
2011	J	`jnl`	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. Alan Bundy
2011	J	`jnl`	Conjecture Synthesis for Inductive Theories. J. Autom. Reason. Moa Johansson, Lucas Dixon, Alan Bundy
2011	—	`conf`	Towards a Theory of Diagnosis of Faulty Ontologies. LDH Alan Bundy
2010	A	`conf`	A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. IJCAR Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill
2010	J	`jnl`	Australia's Public Library System: Its Needs and Potential. Public Libr. Q. Alan Bundy
2010	B	`conf`	Case-Analysis for Rippling and Inductive Proof. ITP Moa Johansson, Lucas Dixon, Alan Bundy
2010	—	`conf`	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis Moa Johansson, Lucas Dixon, Alan Bundy
2010	—	`conf`	Harnessing the power of folksonomies for formal ontology matching on-the-fly. OM Theodosia Togia, Fiona McNeill, Alan Bundy
2010	C	`conf`	Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD Michael Chan, Jos Lehmann, Alan Bundy
2010	—	`conf`	Scheme-Based Synthesis of Inductive Theories. MICAI (1) Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
2010	—	`conf`	Using Linked Data for Semi-Automatic Guesstimation. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence Jonathan Alexander Abourbih, Alan Bundy, Fiona McNeill
2009	J	`jnl`	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. Alan Bundy
2009	—	`conf`	Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. HPCS G. Sripriya, Alan Bundy, Alan Smaill
2009	—	`ch.`	Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing. Advances in Web Semantics I 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
2009	J	`jnl`	On Process Equivalence = Equation Solving in CCS. J. Autom. Reason. Raúl Monroy, Alan Bundy, Ian Green
2008	—	`conf`	Automating Signature Evolution in Logical Theories. AISC/MKM/Calculemus Alan Bundy
2008	J	`jnl`	Book Review: Joint-use Libraries: Libraries for the Future by Sarah McNicol 2008, Oxford: Chandos, 230pp, £39.95, ISBN 9781843343844. J. Libr. Inf. Sci. Alan Bundy
2008	—	`conf`	Inconstancy: An Ontology Repair Plan for Adding Hidden Variables. AAAI Fall Symposium: Automated Scientific Discovery Michael Chan, Alan Bundy
2008	C	`conf`	Towards Ontology Evolution in Physics. WoLLIC Alan Bundy, Michael Chan
2008	—	`conf`	Why Ontology Evolution is Essential in Modeling Scientific Discovery. AAAI Fall Symposium: Automated Scientific Discovery Alan Bundy
2007	J	`jnl`	AI Bridges and Dreams. AI Soc. Alan Bundy
2007	—	`conf`	Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM Predrag Janicic, Alan Bundy
2007	A*	`conf`	Cooperating Reasoning Processes: More than Just the Sum of Their Parts. IJCAI Alan Bundy
2007	J	`jnl`	Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. Int. J. Semantic Web Inf. Syst. Fiona McNeill, Alan Bundy
2006	J	`jnl`	A Very Mathematical Dilemma. Comput. J. Alan Bundy
2006	J	`jnl`	Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reason. Graham Steel, Alan Bundy
2006	—	`conf`	Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems Moa Johansson, Alan Bundy, Lucas Dixon
2006	Misc	`conf`	MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC Roy L. McCasland, Alan Bundy
2006	Misc	`conf`	On Repairing Reasoning Reversals via Representational Refinements. FLAIRS Alan Bundy, Fiona McNeill, Christopher Walton
2006	J	`jnl`	Representation as a Fluent: An AI Challenge for the Next Half Century. IEEE Intell. Syst. Alan Bundy, Fiona McNeill
2005	—	`conf`	Ascertaining Mathematical Theorems. Calculemus Roy L. McCasland, Alan Bundy, Patrick F. Smith
2005	A*	`conf`	Automatic verification of design patterns in Java. ASE Alex Blewitt, Alan Bundy, Ian Stark
2005	—	`conf`	Constructing Induction Rules for Deductive Synthesis Proofs. CLASE Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
2005	B	`conf`	Deductive synthesis of workflows for e-Science. CCGRID Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
2005	—	`conf`	Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning Mateja Jamnik, Alan Bundy
2005	—	`book`	Rippling - meta-level guidance for mathematical reasoning. Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland
2004	C	`conf`	An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2004	—	`conf`	Attacking Group Multicast Key Management Protocols Using Coral. ARSPA@IJCAR Graham Steel, Alan Bundy
2004	A	`conf`	Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR Graham Steel, Alan Bundy, Monika Maidl
2004	J	`jnl`	Desert Island Column. Autom. Softw. Eng. Alan Bundy
2004	A	`conf`	Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR Daniel Winterstein, Alan Bundy, Corin A. Gurr
2004	C	`conf`	On Differences between the Real and Physical Plane. Diagrams Daniel Winterstein, Alan Bundy, Mateja Jamnik
2004	Misc	`conf`	Planning and Patching Proof. AISC Alan Bundy
2002	—	`conf`	A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs Louise A. Dennis, Alan Bundy
2002	—	`conf`	A Critique of Proof Planning. Computational Logic: Logic Programming and Beyond Alan Bundy
2002	J	`jnl`	A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reason. Predrag Janicic, Alan Bundy
2002	—	`ch.`	On Automating Diagrammatic Proofs of Arithmetic Arguments. Diagrammatic Representation and Reasoning Mateja Jamnik, Alan Bundy, Ian Green
2002	J	`jnl`	Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Aspects Comput. Jon Whittle, Alan Bundy, Richard J. Boulton
2002	C	`conf`	Using Animation in Diagrammatic Theorem Proving. Diagrams Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2001	J	`jnl`	Applying adversarial planning techniques to Go. Theor. Comput. Sci. Steven Willmott, Julian Richardson, Alan Bundy, John Levine
2001	A*	`conf`	Automatic Verification of Java Design Patterns. ASE Alex Blewitt, Alan Bundy, Ian Stark
2001	J	`jnl`	On the Correction of Faulty Formulae. Computación y Sistemas Raúl Monroy Borja, Alan Bundy
2001	—	`ch.`	The Automation of Proof by Mathematical Induction. Handbook of Automated Reasoning Alan Bundy
2000	C	`conf`	A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams Daniel Winterstein, Alan Bundy, Mateja Jamnik
2000	A*	`conf`	Automatic Identification of Mathematical Concepts. ICML Simon Colton, Alan Bundy, Toby Walsh
2000	—	`conf`	Automatic Invention of Integer Sequences. AAAI/IAAI Simon Colton, Alan Bundy, Toby Walsh
2000	—	`conf`	Combining Knowledge and Search to Solve Single-Suit Bridge. AAAI/IAAI Ian Frank, David A. Basin, Alan Bundy
2000	J	`jnl`	Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. Louise A. Dennis, Alan Bundy, Ian Green
2000	J	`jnl`	On the notion of interestingness in automated mathematical discovery. Int. J. Hum. Comput. Stud. Simon Colton, Alan Bundy, Toby Walsh
2000	J	`jnl`	Planning Proofs of Equations in CCS. Autom. Softw. Eng. Raúl Monroy, Alan Bundy, Ian Green
2000	—	`conf`	Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI Raúl Monroy, Alan Bundy, Ian Green
1999	A	`conf`	A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE Predrag Janicic, Alan Bundy, Ian Green
1999	—	`ch.`	A Survey of Automated Deduction. Artificial Intelligence Today Alan Bundy
1999	A*	`conf`	An ML Editor Based on Proofs-As-Programs. ASE Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
1999	A*	`conf`	Automatic Concept Formation in Pure Mathematics. IJCAI Simon Colton, Alan Bundy, Toby Walsh
1999	J	`jnl`	Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. Andrew Ireland, Alan Bundy
1999	B	`conf`	Extensions to the Estimation Calculus. LPAR Jeremy Gow, Alan Bundy, Ian Green
1999	J	`jnl`	On Automating Diagrammatic Proofs of Arithmetic Arguments. J. Log. Lang. Inf. Mateja Jamnik, Alan Bundy, Ian Green
1999	B	`conf`	Proofs About Lists Using Ellipsis. LPAR Alan Bundy, Julian Richardson
1999	J	`jnl`	Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reason. Peter Madden, Alan Bundy, Alan Smaill
1999	A	`conf`	System Description: CyNTHIA. CADE Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
1999	A	`conf`	The Design of the CADE-16 Inductive Theorem Prover Contest. CADE Dieter Hutter, Alan Bundy
1998	B	`conf`	A Science of Reasoning (Extended Abstract). TABLEAUX Alan Bundy
1998	—	`conf`	An Adversarial Planning Approach to Go. Computers and Games Steven Willmott, Julian Richardson, Alan Bundy, John Levine
1998	—	`conf`	An Interface between Clam and HOL. TPHOLs Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon
1998	J	`jnl`	Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
1998	J	`jnl`	Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
1998	A	`conf`	Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI Raúl Monroy, Alan Bundy, Ian Green
1998	A*	`conf`	Planning Equational Verification in CCS. ASE Raúl Monroy, Alan Bundy, Ian Green
1998	J	`jnl`	Proof planning for maintainable configuration systems. Artif. Intell. Eng. Des. Anal. Manuf. Helen Lowe, Michal Pechoucek, Alan Bundy
1998	A	`conf`	System Description: An Interface Between CL CADE Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy
1998	J	`jnl`	The Method of Assigning Incidences. Appl. Intell. Weiru Liu, David McBryan, Alan Bundy
1998	J	`jnl`	The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. Helen Lowe, Alan Bundy, Duncan McLean
1997	J	`jnl`	Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
1997	—	`conf`	An Editor for Helping Novices to Learn Standard ML. PLILP Jon Whittle, Alan Bundy, Helen Lowe
1997	—	`conf`	Automation of Diagrammatic Reasoning. IJCAI (1) Mateja Jamnik, Alan Bundy, Ian Green
1997	A	`conf`	Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE Louise A. Dennis, Alan Bundy, Ian Green
1996	J	`jnl`	Calculating Criticalities. Artif. Intell. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
1996	—	`conf`	Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
1996	J	`jnl`	Constructing probabilistic ATMSs using extended incidence calculus. Int. J. Approx. Reason. Weiru Liu, Alan Bundy
1996	B	`conf`	Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin
1996	A	`conf`	Extensions to a Generalization Critic for Inductive Proof. CADE Andrew Ireland, Alan Bundy
1996	J	`jnl`	Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reason. Ina Kraan, David A. Basin, Alan Bundy
1996	—	`conf`	Proof Planning. AIPS Alan Bundy
1995	J	`jnl`	Assignment methods for incidence calculus. Int. J. Approx. Reason. R. G. McLean, Alan Bundy, Weiru Liu
1995	A*	`conf`	Relational Rippling: A General Approach. IJCAI Alan Bundy, Vincent Lombart
1994	J	`jnl`	A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. Int. J. Hum. Comput. Stud. Weiru Liu, Alan Bundy
1994	A	`ed.`	Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings CADE Alan Bundy
1994	A	`conf`	Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
1994	B	`conf`	Proof Plans for the Correction of False Conjectures. LPAR Raúl Monroy, Alan Bundy, Andrew Ireland
1994	J	`jnl`	The New Software Copyright Law. Comput. J. Alan Bundy, Hector L. MacQueen
1993	—	`conf`	A Framework for Program Development Based on Schematic Proof. IWSSD David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews
1993	C	`conf`	A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). LOPSTR Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
1993	B	`conf`	Incresing the Versatility of Heuristic Based Theorem Provers. LPAR Alistair Manning, Andrew Ireland, Alan Bundy
1993	B	`conf`	Middle-Out Reasoning for Logic Program Synthesis. ICLP Ina Kraan, David A. Basin, Alan Bundy
1993	C	`conf`	On the Relations between Incidence Calculus and ATMS. ECSQARU Weiru Liu, Alan Bundy, David Stuart Robertson
1993	C	`conf`	Recovering Incedence Functions. ECSQARU Weiru Liu, Alan Bundy, David Stuart Robertson
1993	J	`jnl`	Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
1992	A	`conf`	An Adaptation of Proof-Planning to Declarer Play in Bridge. ECAI Ian Frank, David A. Basin, Alan Bundy
1992	J	`jnl`	Die Geschichte der Mechanisierung der Logik in der KI (Interview). Künstliche Intell. Alan Bundy
1992	C	`conf`	Logic Program Synthesis via Proof Planning. LOPSTR Ina Kraan, David A. Basin, Alan Bundy
1992	A	`conf`	The Use of Proof Plans to Sum Series. CADE Toby Walsh, Alex Nunes, Alan Bundy
1992	—	`conf`	Tutorial Notes: Reasoning about Logic Programs. Logic Programming Summer School Alan Bundy
1992	A	`conf`	Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE Jane Hesketh, Alan Bundy, Alan Smaill
1991	—	`conf`	A Science of Reasoning. Computational Logic - Essays in Honor of Alan Robinson Alan Bundy
1991	—	`book`	Eco-Logic - Logic-Based Approaches to Ecological Modeling. David Robertson, Alan Bundy, Robert Muetzelfeldt, Mandy Haggith, Michael Uschold
1991	J	`jnl`	Experiments with Proof Plans for Induction. J. Autom. Reason. Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
1991	C	`conf`	Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh
1991	—	`conf`	The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe Alan Bundy
1990	A	`conf`	A Science of Reasoning: Extended Abstract. CADE Alan Bundy
1990	—	`conf`	A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. ALPUK Paul Brna, Alan Bundy, Helen Pain
1990	A	`conf`	Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
1990	J	`jnl`	IJCAI Policy on Multiple Publication of Papers Revisited. AI Commun. Alan Bundy
1990	A	`conf`	The Oyster-Clam System. CADE Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill
1990	—	`conf`	The Use of Proof Plans in Formal Methods. DISCO Alan Bundy
1989	A*	`conf`	A Rational Reconstruction and Extension of Recursion Analysis. IJCAI Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
1989	J	`jnl`	IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers. AI Mag. Alan Bundy
1989	J	`jnl`	Solving Symbolic Equations with PRESS. J. Symb. Comput. Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
1989	J	`jnl`	The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. Int. J. Man Mach. Stud. David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt
1988	—	`conf`	A Broader Interpretation of Logic in Logic Programming. ICLP/SLP Alan Bundy
1988	J	`jnl`	Commentary on: solving symbolic equations with PRESS. SIGSAM Bull. Richard J. Fateman, Alan Bundy, Richard A. O'Keefe, Leon Sterling
1988	J	`jnl`	Explanation-Based Generalisation = Partial Evaluation. Artif. Intell. Frank van Harmelen, Alan Bundy
1988	J	`jnl`	IJCAI Policy on Multiple Publication of Papers. AI Commun. Alan Bundy
1988	J	`jnl`	Meta-Level Inference: Two Applications. J. Autom. Reason. Alan Bundy, Leon Sterling
1988	J	`jnl`	Probability, truth, and logic: reply to Cheeseman. Comput. Intell. Alan Bundy
1988	A	`conf`	The Use of Explicit Plans to Guide Inductive Proofs. CADE Alan Bundy
1987	J	`jnl`	AI Bridges and Dreams. AI Soc. Alan Bundy
1986	—	`book`	Catalogue of artificial intelligence tools, 2nd Edition. Alan Bundy
1986	J	`jnl`	Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. J. Autom. Reason. Alan Bundy
1985	J	`jnl`	An Analytical Comparison of Some Rule-Learning Programs. Artif. Intell. Alan Bundy, Bernard Silver, Dave Plummer
1985	A*	`conf`	Discovery and Reasoning in Mathematics. IJCAI Alan Bundy
1985	J	`jnl`	Incidence Calculus: A Mechanism for Probabilistic Reasoning. J. Autom. Reason. Alan Bundy
1985	A*	`conf`	Raising the Standards of AI Products. IJCAI Alan Bundy, Richard Clutterbuck
1984	J	`jnl`	A generalized interval package and its use for semantic checking. ACM Trans. Math. Softw. Alan Bundy
1984	A	`conf`	An Intelligent Front End for Ecological Modelling. ECAI Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy
1984	—	`conf`	Incidence Calculus: A Mechanism for Probabilistic Reasoning. FGCS Alan Bundy
1984	—	`conf`	Topics for Circumscription. NMR Mary Angela Papalaskaris, Alan Bundy
1983	J	`jnl`	How to Get the Most Out of IJCAI-83. AI Mag. Alan Bundy
1983	A*	`ed.`	Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983 IJCAI Alan Bundy
1983	J	`jnl`	The Nature of AI: A Reply to Schank. AI Mag. Alan Bundy
1982	A	`conf`	A Critical Survey of Rule Learning Programs. ECAI Alan Bundy, Bernard Silver
1982	A	`conf`	Meta-Level Inference and Program Verification. CADE Leon Sterling, Alan Bundy
1982	—	`conf`	Solving Symbolic Equations with PRESS. EUROCAM Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
1982	A	`conf`	Special Purpose, but Domain Independent, Inference Mechanisms. ECAI Alan Bundy, Lawrence Byrd, Chris Mellish
1981	A*	`conf`	Homogenization: Preparing Equations for Change of Unknown. IJCAI Alan Bundy, Bernard Silver
1981	A*	`conf`	Using Matching in Algebraic Equation Solving. IJCAI Alan Borning, Alan Bundy
1981	J	`jnl`	Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. Alan Bundy, Bob Welham
1981	J	`jnl`	What Is the Well-Dressed AI Educator Wearing Now? AI Mag. Alan Bundy
1980	A	`conf`	Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. CADE Alan Bundy, Bob Welham
1978	—	`conf`	Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. AISB/GI (ECAI) Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer
1978	J	`jnl`	Will it Reach the Top? Prediction in the Mechanics World. Artif. Intell. Alan Bundy
1977	A*	`conf`	Can Domain Specific Knowledge Be Generalized? IJCAI Alan Bundy
1977	A*	`conf`	Representing Semantic Information In Pulley Problems. IJCAI George F. Luger, Alan Bundy
1976	—	`conf`	MECHO, Year one. AISB (ECAI) Alan Bundy, George F. Luger, M. Stone, R. Welham
1975	A*	`conf`	Analysing Mathematical Proofs (Or Reading Between the Lines). IJCAI Alan Bundy
1973	J	`jnl`	A note on omitting the replacement schema. Notre Dame J. Formal Log. Alan Bundy
1973	A*	`conf`	Doing Arithmetic with Diagrams. IJCAI Alan Bundy
1971	J	`jnl`	There is no best proof procedure. SIGART Newsl. Alan Bundy