Alan Bundy
Orcid: 0000-0002-0578-6474Affiliations:
- University of Edinburgh, School of Informatics, UK
According to our database1,
Alan Bundy
authored at least 214 papers
between 1971 and 2023.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2014, "For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web.
CoRR, 2023
Proceedings of the 2023 7th International Conference on Natural Language Processing and Information Retrieval, 2023
Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023
Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023
An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System.
Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023
2022
Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system.
CoRR, 2022
TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract).
Proceedings of the Machine Learning, Optimization, and Data Science, 2022
ABC in Root Cause Analysis: Discovering Missing Information and Repairing System Failures.
Proceedings of the Machine Learning, Optimization, and Data Science, 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022
Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022
Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022
Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022
Proceedings of the Human-Like Machine Intelligence., 2022
2021
Proceedings of the IJCKG'21: The 10th International Joint Conference on Knowledge Graphs, Virtual Event, Thailand, December 6, 2021
Combining Deductive and Statistical Explanations in the FRANK Query Answering System.
Proceedings of the 2021 IEEE International Conference on Big Knowledge, 2021
2020
Proceedings of the Artificial Intelligence XXXVII, 2020
Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Formal Aspects Comput., 2019
2018
Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018
Proceedings of the Intelligent Systems and Applications, 2018
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Proceedings of the 14th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2017
2016
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci., 2016
Book review: Carol Smallwood (ed.), <i>Creative Management of Small Public Libraries in the 21st Century</i>.
J. Libr. Inf. Sci., 2016
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016
2015
Solving guesstimation problems using the Semantic Web: Four lessons from an application.
Semantic Web, 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015
Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition.
Proceedings of the Artificial General Intelligence, 2015
Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit.
Proceedings of the 31st Annual Computer Security Applications Conference, 2015
2014
Proceedings of the 11th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2014
2013
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence
CoRR, 2013
Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011".
Artif. Intell., 2013
2012
Book review: Joy Court (ed.), Read to Succeed: Strategies to Engage Children and Young People in Reading for Pleasure.
J. Libr. Inf. Sci., 2012
Dagstuhl Reports, 2012
Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) .
Artif. Intell., 2012
Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies.
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012
Proceedings of the NASA Formal Methods, 2012
2011
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., 2011
Ann. Math. Artif. Intell., 2011
Proceedings of the Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), 2011
2010
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010
Proceedings of the Advances in Artificial Intelligence, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Higher-order Representation and Reasoning for Automated Ontology Evolution.
Proceedings of the KEOD 2010, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
Proceedings of the Verification, Induction, Termination Analysis, 2010
Proceedings of the Linked Data Meets Artificial Intelligence, 2010
2009
Proceedings of the Advances in Web Semantics I, 2009
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., 2009
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009
2008
Book Review: Joint-use Libraries: Libraries for the Future by Sarah McNicol 2008, Oxford: Chandos, 230pp, £39.95, ISBN 9781843343844.
J. Libr. Inf. Sci., 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
Proceedings of the Automated Scientific Discovery, 2008
Proceedings of the Automated Scientific Discovery, 2008
2007
Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution.
Int. J. Semantic Web Inf. Syst., 2007
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
Proceedings of the IJCAI 2007, 2007
2006
J. Autom. Reason., 2006
IEEE Intell. Syst., 2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
2005
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Rippling - meta-level guidance for mathematical reasoning.
Cambridge tracts in theoretical computer science 56, Cambridge University Press, ISBN: 978-0-521-83449-0, 2005
2004
Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004
Proceedings of the Diagrammatic Representation and Inference, 2004
Proceedings of the Diagrammatic Representation and Inference, 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2002
J. Autom. Reason., 2002
Formal Aspects Comput., 2002
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
Proceedings of the Diagrammatic Representation and Inference, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Proceedings of the Diagrammatic Representation and Reasoning, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Int. J. Hum. Comput. Stud., 2000
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.
Ann. Math. Artif. Intell., 2000
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000
Automatic Identification of Mathematical Concepts.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
J. Funct. Program., 1999
J. Autom. Reason., 1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.
Proceedings of the Automated Deduction, 1999
Proceedings of the Automated Deduction, 1999
Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999
1998
Autom. Softw. Eng., 1998
Ann. Math. Artif. Intell., 1998
Artif. Intell. Eng. Des. Anal. Manuf., 1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
Proceedings of the Computers and Games, First International Conference, 1998
Proceedings of the Automated Deduction, 1998
1997
J. Autom. Reason., 1997
Proceedings of the Programming Languages: Implementations, 1997
Automation of Diagrammatic Reasoning.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Automated Deduction, 1997
1996
Int. J. Approx. Reason., 1996
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence.
Int. J. Hum. Comput. Stud., 1994
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994
Coloured Rippling: An Extension of a Theorem Proving Heuristic.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
1993
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
Proceedings of the Logic Program Synthesis and Transformation, 1993
Proceedings of the 7th International Workshop on Software Specification and Design, 1993
Middle-Out Reasoning for Logic Program Synthesis.
Proceedings of the Logic Programming, 1993
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
1992
Die Geschichte der Mechanisierung der Logik in der KI (Interview).
Künstliche Intell., 1992
Proceedings of the Logic Programming in Action, 1992
Proceedings of the Logic Program Synthesis and Transformation, 1992
An Adaptation of Proof-Planning to Declarer Play in Bridge.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
Proceedings of the Automated Deduction, 1992
1991
Proceedings of the Logic Program Synthesis and Transformation, 1991
The Use of Proof Plans for Normalization.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991
A Science of Reasoning.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991
Logic programming, MIT Press, ISBN: 978-0-262-18143-3, 1991
1990
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs.
Proceedings of the Logic Programming, 1990
1989
The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface.
Int. J. Man Mach. Stud., 1989
AI Mag., 1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1988
A Broader Interpretation of Logic in Logic Programming.
Proceedings of the Logic Programming, 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
1986
Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus.
J. Autom. Reason., 1986
Symbolic computation : Artificial intelligence, Springer, ISBN: 0387168931, 1986
1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
1984
ACM Trans. Math. Softw., 1984
Topics for Circumscription.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984
An Intelligent Front End for Ecological Modelling.
Proceedings of the Advances in Artificial Intelligence, 1984
1983
1982
A Critical Survey of Rule Learning Programs.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982
Special Purpose, but Domain Independent, Inference Mechanisms.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982
Proceedings of the 6th Conference on Automated Deduction, 1982
1981
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation.
Artif. Intell., 1981
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
1980
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.
Proceedings of the 5th Conference on Automated Deduction, 1980
1978
Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978
1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
1976
Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976
1975
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975
1973
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973
1971