Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alan Bundy
@inproceedings{DBLP:conf/ijclr/ChanLB23,
author = {Pak Yin Chan and
Xue Li and
Alan Bundy},
editor = {Pablo Le{\'{o}}n Villagr{\'{a}} and
Xue Li},
title = {An Overview of Using Large Language Models for the Symbol Grounding
Task in {ABC} Repair System},
booktitle = {Proceedings of the International Workshop on Cognitive {AI} 2023 co-located
with the 3rd International Conference on Learning {\&} Reasoning
{(IJCLR} 2023), Bari, Italy, 13-15 November 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3644},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3644/IJCLR2023\_paper\_41\_New.pdf},
timestamp = {Fri, 12 Apr 2024 20:58:03 +0200},
biburl = {https://dblp.org/rec/conf/ijclr/ChanLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijclr/LuLLB0I23,
author = {Yiwei Lu and
Yuhui Lin and
Xue Li and
Alan Bundy and
Burkhard Sch{\"{a}}fer and
Andrew Ireland},
editor = {Pablo Le{\'{o}}n Villagr{\'{a}} and
Xue Li},
title = {Logic and Theory Repair in Legal Modification},
booktitle = {Proceedings of the International Workshop on Cognitive {AI} 2023 co-located
with the 3rd International Conference on Learning {\&} Reasoning
{(IJCLR} 2023), Bari, Italy, 13-15 November 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3644},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3644/IJCLR2023\_paper\_39.pdf},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijclr/LuLLB0I23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijclr/WongLB23,
author = {Wan Ki Wong and
Xue Li and
Alan Bundy},
editor = {Pablo Le{\'{o}}n Villagr{\'{a}} and
Xue Li},
title = {Automating Theory Repair in First Order Logic},
booktitle = {Proceedings of the International Workshop on Cognitive {AI} 2023 co-located
with the 3rd International Conference on Learning {\&} Reasoning
{(IJCLR} 2023), Bari, Italy, 13-15 November 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3644},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3644/IJCLR2023\_paper\_42\_new.pdf},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijclr/WongLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlpir/ZhuBPNWLXM23,
author = {Ruiqi Zhu and
Alan Bundy and
Jeff Z. Pan and
Kwabena Nuamah and
Fangrong Wang and
Xue Li and
Lei Xu and
Stefano Mauceri},
title = {Assessing the Quality of a Knowledge Graph via Link Prediction Tasks},
booktitle = {Proceedings of the 2023 7th International Conference on Natural Language
Processing and Information Retrieval, {NLPIR} 2023, Seoul, Republic
of Korea, December 15-17, 2023},
pages = {124--129},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3639233.3639357},
doi = {10.1145/3639233.3639357},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nlpir/ZhuBPNWLXM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-06691,
author = {Kwabena Nuamah and
Alan Bundy},
title = {{ALIST:} Associative Logic for Inference, Storage and Transfer. {A}
Lingua Franca for Inference on the Web},
journal = {CoRR},
volume = {abs/2303.06691},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.06691},
doi = {10.48550/ARXIV.2303.06691},
eprinttype = {arXiv},
eprint = {2303.06691},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-06691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlc/LiB22,
author = {Xue Li and
Alan Bundy},
editor = {Alan Bundy and
Denis Mareschal},
title = {An overview of the {ABC} Repair System for Datalog-like Theories},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3227},
pages = {11--17},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3227/Li-et-al.PP7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/hlc/LiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlc/CaiB22,
author = {Cheng{-}Hao Cai and
Alan Bundy},
editor = {Alan Bundy and
Denis Mareschal},
title = {Repairing Numerical Equations in Analogically Blended Theories Using
Reformation},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3227},
pages = {18--23},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3227/Cai-et-al.PP6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hlc/CaiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlc/FergusonGNB22,
author = {Nick Ferguson and
Liane Guillou and
Kwabena Nuamah and
Alan Bundy},
editor = {Alan Bundy and
Denis Mareschal},
title = {Integrating Paraphrasing into the {FRANK} {QA} System},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3227},
pages = {29--34},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3227/Furgeson-et-al.PP6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hlc/FergusonGNB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/ZhuWBLNXMP22,
author = {Ruiqi Zhu and
Fangrong Wang and
Alan Bundy and
Xue Li and
Kwabena Nuamah and
Lei Xu and
Stefano Mauceri and
Jeff Z. Pan},
editor = {Alessandro Artale and
Diego Calvanese and
Haofen Wang and
Xiaowang Zhang},
title = {A Closer Look at Probability Calibration of Knowledge Graph Embedding},
booktitle = {Proceedings of the 11th International Joint Conference on Knowledge
Graphs, {IJCKG} 2022, Hangzhou, China, October 27-28, 2022},
pages = {104--109},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3579051.3579072},
doi = {10.1145/3579051.3579072},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jist/ZhuWBLNXMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BundyN22,
author = {Alan Bundy and
Kwabena Nuamah},
editor = {Kevin Buzzard and
Temur Kutsia},
title = {Unified Decomposition-Aggregation {(UDA)} Rules: Dynamic, Schematic,
Novel Axioms},
booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13467},
pages = {209--221},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16681-5\_15},
doi = {10.1007/978-3-031-16681-5\_15},
timestamp = {Mon, 19 Sep 2022 18:41:39 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BundyN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/ZhuLWBPNMX22,
author = {Ruiqi Zhu and
Xue Li and
Fangrong Wang and
Alan Bundy and
Jeff Z. Pan and
Kwabena Nuamah and
Stefano Mauceri and
Lei Xu},
editor = {Giuseppe Nicosia and
Varun Ojha and
Emanuele La Malfa and
Gabriele La Malfa and
Panos M. Pardalos and
Giuseppe Di Fatta and
Giovanni Giuffrida and
Renato Umeton},
title = {{TREAT:} Automated Construction and Maintenance of Probabilistic Knowledge
Bases from Logs (Extended Abstract)},
booktitle = {Machine Learning, Optimization, and Data Science - 8th International
Workshop, {LOD} 2022, Certosa di Pontignano, Italy, September 19-22,
2022, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13810},
pages = {325--329},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25599-1\_24},
doi = {10.1007/978-3-031-25599-1\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mod/ZhuLWBPNMX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/LiBZWMXP22,
author = {Xue Li and
Alan Bundy and
Ruiqi Zhu and
Fangrong Wang and
Stefano Mauceri and
Lei Xu and
Jeff Z. Pan},
editor = {Giuseppe Nicosia and
Varun Ojha and
Emanuele La Malfa and
Gabriele La Malfa and
Panos M. Pardalos and
Giuseppe Di Fatta and
Giovanni Giuffrida and
Renato Umeton},
title = {{ABC} in Root Cause Analysis: Discovering Missing Information and
Repairing System Failures},
booktitle = {Machine Learning, Optimization, and Data Science - 8th International
Workshop, {LOD} 2022, Certosa di Pontignano, Italy, September 19-22,
2022, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13810},
pages = {346--359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25599-1\_26},
doi = {10.1007/978-3-031-25599-1\_26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mod/LiBZWMXP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/22/BundyPL22,
author = {Alan Bundy and
Eugene Philalithis and
Xue Li},
editor = {Stephen H. Muggleton and
Nicholas Chater},
title = {Modelling Virtual Bargaining using Logical Representation Change},
booktitle = {Human-Like Machine Intelligence},
pages = {68--90},
publisher = {Oxford University Press},
year = {2022},
url = {https://doi.org/10.1093/oso/9780198862536.003.0004},
doi = {10.1093/OSO/9780198862536.003.0004},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ox/22/BundyPL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hlc/2022,
editor = {Alan Bundy and
Denis Mareschal},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3227},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3227},
urn = {urn:nbn:de:0074-3227-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hlc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08340,
author = {Xue Li and
Alan Bundy and
Eugene Philalithis},
title = {Signature Entrenchment and Conceptual Changes in Automated Theory
Repair},
journal = {CoRR},
volume = {abs/2201.08340},
year = {2022},
url = {https://arxiv.org/abs/2201.08340},
eprinttype = {arXiv},
eprint = {2201.08340},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-08340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-02737,
author = {Nick Ferguson and
Liane Guillou and
Kwabena Nuamah and
Alan Bundy},
title = {Investigating the use of Paraphrase Generation for Question Reformulation
in the {FRANK} {QA} system},
journal = {CoRR},
volume = {abs/2206.02737},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.02737},
doi = {10.48550/ARXIV.2206.02737},
eprinttype = {arXiv},
eprint = {2206.02737},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-02737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbk/BundyN21,
author = {Alan Bundy and
Kwabena Nuamah},
editor = {Lei Chen and
Baltasar Fern{\'{a}}ndez{-}Manj{\'{o}}n},
title = {Combining Deductive and Statistical Explanations in the {FRANK} Query
Answering System},
booktitle = {2021 {IEEE} International Conference on Big Knowledge, {ICBK} 2021,
Auckland, New Zealand, December 7-8, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICKG52313.2021.00010},
doi = {10.1109/ICKG52313.2021.00010},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icbk/BundyN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/WangBLZNXMP21,
author = {Fangrong Wang and
Alan Bundy and
Xue Li and
Ruiqi Zhu and
Kwabena Nuamah and
Lei Xu and
Stefano Mauceri and
Jeff Z. Pan},
title = {{LEKG:} {A} System for Constructing Knowledge Graphs from Log Extraction},
booktitle = {IJCKG'21: The 10th International Joint Conference on Knowledge Graphs,
Virtual Event, Thailand, December 6 - 8, 2021},
pages = {181--185},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3502223.3502250},
doi = {10.1145/3502223.3502250},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jist/WangBLZNXMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NuamahB20,
author = {Kwabena Nuamah and
Alan Bundy},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Explainable Inference in the {FRANK} Query Answering System},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2441--2448},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200376},
doi = {10.3233/FAIA200376},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/NuamahB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RealBMB20,
author = {Francisco Jos{\'{e}} Quesada Real and
G{\'{a}}bor Bella and
Fiona McNeill and
Alan Bundy},
editor = {Pavel Shvaiko and
J{\'{e}}r{\^{o}}me Euzenat and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Oktie Hassanzadeh and
C{\'{a}}ssia Trojahn},
title = {Using domain lexicon and grammar for ontology matching},
booktitle = {Proceedings of the 15th International Workshop on Ontology Matching
co-located with the 19th International Semantic Web Conference {(ISWC}
2020), Virtual conference (originally planned to be in Athens, Greece),
November 2, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2788},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2788/om2020\_LTpaper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:06 +0100},
biburl = {https://dblp.org/rec/conf/semweb/RealBMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/UrbonasBCL20,
author = {Marius Urbonas and
Alan Bundy and
Juan Casanova and
Xue Li},
editor = {Max Bramer and
Richard Ellis},
title = {The Use of Max-Sat for Optimal Choice of Automated Theory Repairs},
booktitle = {Artificial Intelligence {XXXVII} - 40th {SGAI} International Conference
on Artificial Intelligence, {AI} 2020, Cambridge, UK, December 15-17,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12498},
pages = {49--63},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63799-6\_4},
doi = {10.1007/978-3-030-63799-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sgai/UrbonasBCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LinBGM19,
author = {Yuhui Lin and
Alan Bundy and
Gudmund Grov and
Ewen Maclean},
title = {Automating Event-B invariant proofs by rippling and proof patching},
journal = {Formal Aspects Comput.},
volume = {31},
number = {1},
pages = {95--129},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-00476-7},
doi = {10.1007/S00165-018-00476-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LinBGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BundyNL18,
author = {Alan Bundy and
Kwabena Nuamah and
Christopher Lucas},
editor = {Jacques D. Fleuriot and
Dongming Wang and
Jacques Calmet},
title = {Automated Reasoning in the Age of the Internet},
booktitle = {Artificial Intelligence and Symbolic Computation - 13th International
Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11110},
pages = {3--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99957-9\_1},
doi = {10.1007/978-3-319-99957-9\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BundyNL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/LiBS18,
author = {Xue Li and
Alan Bundy and
Alan Smaill},
editor = {David Aveiro and
Jan L. G. Dietz and
Joaquim Filipe},
title = {{ABC} Repair System for Datalog-like Theories},
booktitle = {Proceedings of the 10th International Joint Conference on Knowledge
Discovery, Knowledge Engineering and Knowledge Management, {IC3K}
2018, Volume 2: KEOD, Seville, Spain, September 18-20, 2018},
pages = {333--340},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006959703330340},
doi = {10.5220/0006959703330340},
timestamp = {Mon, 01 Oct 2018 13:53:44 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/LiBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intellisys/NuamahB18,
author = {Kwabena Nuamah and
Alan Bundy},
editor = {Kohei Arai and
Supriya Kapoor and
Rahul Bhatia},
title = {Calculating Error Bars on Inferences from Web Data},
booktitle = {Intelligent Systems and Applications - Proceedings of the 2018 Intelligent
Systems Conference, IntelliSys 2018, London, UK, September 6-7, 2018,
Volume 2},
series = {Advances in Intelligent Systems and Computing},
volume = {869},
pages = {618--640},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01057-7\_48},
doi = {10.1007/978-3-030-01057-7\_48},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intellisys/NuamahB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/RealMBB18,
author = {Francisco Jos{\'{e}} Quesada Real and
Fiona McNeill and
G{\'{a}}bor Bella and
Alan Bundy},
editor = {Kees Boersma and
Brian M. Tomaszewski},
title = {Identifying Semantic Domains in Emergency Scenarios},
booktitle = {Proceedings of the 15th International Conference on Information Systems
for Crisis Response and Management, Rochester, NY, USA, May 20-23,
2018},
publisher = {{ISCRAM} Association},
year = {2018},
url = {http://idl.iscram.org/files/franciscojosequesadareal/2018/1636\_FranciscoJoseQuesadaReal\_etal2018.pdf},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscram/RealMBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/Bundy17,
author = {Alan Bundy},
title = {Preparing for the future of Artificial Intelligence},
journal = {{AI} Soc.},
volume = {32},
number = {2},
pages = {285--287},
year = {2017},
url = {https://doi.org/10.1007/s00146-016-0685-0},
doi = {10.1007/S00146-016-0685-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ais/Bundy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/McCaslandBS17,
author = {Roy L. McCasland and
Alan Bundy and
Patrick F. Smith},
title = {MATHsAiD: Automated mathematical theory exploration},
journal = {Appl. Intell.},
volume = {47},
number = {3},
pages = {585--606},
year = {2017},
url = {https://doi.org/10.1007/s10489-017-0954-8},
doi = {10.1007/S10489-017-0954-8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/McCaslandBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bundy17,
author = {Alan Bundy},
title = {Smart machines are not a threat to humanity},
journal = {Commun. {ACM}},
volume = {60},
number = {2},
pages = {40--42},
year = {2017},
url = {https://doi.org/10.1145/2950042},
doi = {10.1145/2950042},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bundy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/RealMBB17,
author = {Francisco J. Quesada Real and
Fiona McNeill and
G{\'{a}}bor Bella and
Alan Bundy},
editor = {Tina Comes and
Fr{\'{e}}d{\'{e}}rick B{\'{e}}naben and
Chihab Hanachi and
Matthieu Lauras and
Aur{\'{e}}lie Montarnal},
title = {Improving Dynamic Information Exchange in Emergency Response Scenarios},
booktitle = {14th Proceedings of the International Conference on Information Systems
for Crisis Response and Management, Albi, France, May 21-24, 2017},
publisher = {{ISCRAM} Association},
year = {2017},
url = {http://idl.iscram.org/files/franciscojquesadareal/2017/1514\_FranciscoJ.QuesadaReal\_etal2017.pdf},
timestamp = {Thu, 10 Nov 2022 16:58:41 +0100},
biburl = {https://dblp.org/rec/conf/iscram/RealMBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolis/Bundy16,
author = {Alan Bundy},
title = {Book review: Carol Smallwood (ed.), \emph{Creative Management of Small
Public Libraries in the 21st Century}},
journal = {J. Libr. Inf. Sci.},
volume = {48},
number = {1},
pages = {105--106},
year = {2016},
url = {https://doi.org/10.1177/0961000615616476},
doi = {10.1177/0961000615616476},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolis/Bundy16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RaggiBGP16,
author = {Daniel Raggi and
Alan Bundy and
Gudmund Grov and
Alison Pease},
title = {Automating Change of Representation for Proofs in Discrete Mathematics
(Extended Version)},
journal = {Math. Comput. Sci.},
volume = {10},
number = {4},
pages = {429--457},
year = {2016},
url = {https://doi.org/10.1007/s11786-016-0275-z},
doi = {10.1007/S11786-016-0275-Z},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/RaggiBGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/NuamahBL16,
author = {Kwabena Nuamah and
Alan Bundy and
Christopher Lucas},
editor = {Magdalena Ortiz and
Stefan Schlobach},
title = {Functional Inferences over Heterogeneous Data},
booktitle = {Web Reasoning and Rule Systems - 10th International Conference, {RR}
2016, Aberdeen, UK, September 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9898},
pages = {159--166},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45276-0\_12},
doi = {10.1007/978-3-319-45276-0\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/NuamahBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ScottB15,
author = {Jeremy Scott and
Alan Bundy},
title = {Creating a new generation of computational thinkers},
journal = {Commun. {ACM}},
volume = {58},
number = {12},
pages = {37--40},
year = {2015},
url = {https://doi.org/10.1145/2791290},
doi = {10.1145/2791290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ScottB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BundyCDJM15,
author = {Alan Bundy and
Flaminia Cavallo and
Lucas Dixon and
Moa Johansson and
Roy L. McCasland},
title = {The Theory behind Theory Mine},
journal = {{IEEE} Intell. Syst.},
volume = {30},
number = {4},
pages = {64--69},
year = {2015},
url = {https://doi.org/10.1109/MIS.2015.42},
doi = {10.1109/MIS.2015.42},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BundyCDJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/BundySC15,
author = {Alan Bundy and
Gintautas Sasnauskas and
Michael Chan},
title = {Solving guesstimation problems using the Semantic Web: Four lessons
from an application},
journal = {Semantic Web},
volume = {6},
number = {2},
pages = {197--210},
year = {2015},
url = {https://doi.org/10.3233/SW-130127},
doi = {10.3233/SW-130127},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/BundySC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/GkaniatsouMBSFB15,
author = {Andriana Gkaniatsou and
Fiona McNeill and
Alan Bundy and
Graham Steel and
Riccardo Focardi and
Claudio Bozzato},
title = {Getting to know your Card: Reverse-Engineering the Smart-Card Application
Protocol Data Unit},
booktitle = {Proceedings of the 31st Annual Computer Security Applications Conference,
Los Angeles, CA, USA, December 7-11, 2015},
pages = {441--450},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818000.2818020},
doi = {10.1145/2818000.2818020},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/GkaniatsouMBSFB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/BesoldKGSFB15,
author = {Tarek Richard Besold and
Kai{-}Uwe K{\"{u}}hnberger and
Artur S. d'Avila Garcez and
Alessandro Saffiotti and
Martin H. Fischer and
Alan Bundy},
editor = {Jordi Bieger and
Ben Goertzel and
Alexey Potapov},
title = {Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic
Framework and Architecture of Computational Cognition},
booktitle = {Artificial General Intelligence - 8th International Conference, {AGI}
2015, {AGI} 2015, Berlin, Germany, July 22-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9205},
pages = {35--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21365-1\_4},
doi = {10.1007/978-3-319-21365-1\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/agi/BesoldKGSFB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/FarquharGCMB15,
author = {Colin Farquhar and
Gudmund Grov and
Andrew Cropper and
Stephen H. Muggleton and
Alan Bundy},
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Typed meta-interpretive learning for proof strategies},
booktitle = {Late Breaking Papers of the 25th International Conference on Inductive
Logic Programming, Kyoto University, Kyoto, Japan, August 20th to
22nd, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1636},
pages = {17--32},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1636/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/FarquharGCMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RaggiBGP15,
author = {Daniel Raggi and
Alan Bundy and
Gudmund Grov and
Alison Pease},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Automating Change of Representation for Proofs in Discrete Mathematics},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {227--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_15},
doi = {10.1007/978-3-319-20615-8\_15},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/RaggiBGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RaggiBGP15,
author = {Daniel Raggi and
Alan Bundy and
Gudmund Grov and
Alison Pease},
title = {Automating change of representation for proofs in discrete mathematics},
journal = {CoRR},
volume = {abs/1505.02449},
year = {2015},
url = {http://arxiv.org/abs/1505.02449},
eprinttype = {arXiv},
eprint = {1505.02449},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RaggiBGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Bundy14,
author = {Alan Bundy},
title = {European collaboration on automated reasoning},
journal = {{AI} Commun.},
volume = {27},
number = {1},
pages = {25--35},
year = {2014},
url = {https://doi.org/10.3233/AIC-130584},
doi = {10.3233/AIC-130584},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Bundy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/McNeillGB14,
author = {Fiona McNeill and
Andriana Gkaniatsou and
Alan Bundy},
editor = {Starr Roxanne Hiltz and
Linda Plotnick and
Mark Pfaf and
Patrick C. Shih},
title = {Dynamic data sharing for facilitating communication during emergency
responses},
booktitle = {11th Proceedings of the International Conference on Information Systems
for Crisis Response and Management, University Park, Pennsylvania,
USA, May 18-21, 2014},
publisher = {{ISCRAM} Association},
year = {2014},
url = {http://idl.iscram.org/files/mcneill/2014/758\_McNeill\_etal2014.pdf},
timestamp = {Thu, 10 Nov 2022 16:58:41 +0100},
biburl = {https://dblp.org/rec/conf/iscram/McNeillGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bundy13,
author = {Alan Bundy},
title = {Reprint of "Robert Kowalski, Computational Logic and Human Thinking:
How to Be Artificially Intelligent, 2011"},
journal = {Artif. Intell.},
volume = {199-200},
pages = {122--123},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2013.05.005},
doi = {10.1016/J.ARTINT.2013.05.005},
timestamp = {Wed, 16 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Bundy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/LehmannCB13,
author = {Jos Lehmann and
Michael Chan and
Alan Bundy},
title = {A Higher Order Approach to Ontology Evolution in Physics},
journal = {J. Data Semant.},
volume = {2},
number = {4},
pages = {163--187},
year = {2013},
url = {https://doi.org/10.1007/s13740-012-0016-7},
doi = {10.1007/S13740-012-0016-7},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jodsn/LehmannCB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1126,
author = {F. Correa da Silva and
Alan Bundy},
title = {On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer
Theory of Evidence},
journal = {CoRR},
volume = {abs/1304.1126},
year = {2013},
url = {http://arxiv.org/abs/1304.1126},
eprinttype = {arXiv},
eprint = {1304.1126},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3438,
author = {Alan Bundy},
title = {Incidence Calculus: {A} Mechanism for Probabilistic Reasoning},
journal = {CoRR},
volume = {abs/1304.3438},
year = {2013},
url = {http://arxiv.org/abs/1304.3438},
eprinttype = {arXiv},
eprint = {1304.3438},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bundy12,
author = {Alan Bundy},
title = {Robert Kowalski, , Computational Logic and Human Thinking: How to
Be Artificially Intelligent {(2011)}},
journal = {Artif. Intell.},
volume = {191-192},
pages = {96--97},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.05.006},
doi = {10.1016/J.ARTINT.2012.05.006},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Bundy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/Montano-RivasMDB12,
author = {Omar Monta{\~{n}}o{-}Rivas and
Roy L. McCasland and
Lucas Dixon and
Alan Bundy},
title = {Scheme-based theorem discovery and concept invention},
journal = {Expert Syst. Appl.},
volume = {39},
number = {2},
pages = {1637--1646},
year = {2012},
url = {https://doi.org/10.1016/j.eswa.2011.06.055},
doi = {10.1016/J.ESWA.2011.06.055},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/Montano-RivasMDB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolis/Bundy12,
author = {Alan Bundy},
title = {Book review: Joy Court (ed.), Read to Succeed: Strategies to Engage
Children and Young People in Reading for Pleasure},
journal = {J. Libr. Inf. Sci.},
volume = {44},
number = {2},
pages = {138--139},
year = {2012},
url = {https://doi.org/10.1177/0961000612440638},
doi = {10.1177/0961000612440638},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolis/Bundy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/LehmannVB12,
author = {Jos Lehmann and
Ivan Jos{\'{e}} Varzinczak and
Alan Bundy},
title = {Reasoning with Context in the Semantic Web},
journal = {J. Web Semant.},
volume = {12},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1016/j.websem.2011.12.004},
doi = {10.1016/J.WEBSEM.2011.12.004},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/LehmannVB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LinBG12,
author = {Yuhui Lin and
Alan Bundy and
Gudmund Grov},
editor = {Alwyn Goodloe and
Suzette Person},
title = {The Use of Rippling to Automate Event-B Invariant Preservation Proofs},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {231--236},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_23},
doi = {10.1007/978-3-642-28891-3\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LinBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/GkaniatsouBM12,
author = {Andriana Gkaniatsou and
Alan Bundy and
Fiona McNeill},
editor = {Kokou Y{\'{e}}tongnon and
Richard Chbeir and
Albert Dipanda and
Luigi Gallo},
title = {Towards the Automatic Detection and Correction of Errors in Automatically
Constructed Ontologies},
booktitle = {Eighth International Conference on Signal Image Technology and Internet
Based Systems, {SITIS} 2012, Sorrento, Naples, Italy, November 25-29,
2012},
pages = {860--867},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SITIS.2012.129},
doi = {10.1109/SITIS.2012.129},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/sitis/GkaniatsouBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BundyHJM12,
author = {Alan Bundy and
Dieter Hutter and
Cliff B. Jones and
J Strother Moore},
title = {{AI} meets Formal Software Development (Dagstuhl Seminar 12271)},
journal = {Dagstuhl Reports},
volume = {2},
number = {7},
pages = {1--29},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.7.1},
doi = {10.4230/DAGREP.2.7.1},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BundyHJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Bundy11,
author = {Alan Bundy},
title = {Automated theorem provers: a practical tool for the working mathematician?},
journal = {Ann. Math. Artif. Intell.},
volume = {61},
number = {1},
pages = {3--14},
year = {2011},
url = {https://doi.org/10.1007/s10472-011-9248-8},
doi = {10.1007/S10472-011-9248-8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Bundy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JohanssonDB11,
author = {Moa Johansson and
Lucas Dixon and
Alan Bundy},
title = {Conjecture Synthesis for Inductive Theories},
journal = {J. Autom. Reason.},
volume = {47},
number = {3},
pages = {251--289},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9193-y},
doi = {10.1007/S10817-010-9193-Y},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JohanssonDB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolis/Bundy11,
author = {Alan Bundy},
title = {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, {\textsterling}25.00. {ISBN} 9780955902802},
journal = {J. Libr. Inf. Sci.},
volume = {43},
number = {1},
pages = {56--57},
year = {2011},
url = {https://doi.org/10.1177/0961000610394914},
doi = {10.1177/0961000610394914},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolis/Bundy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy11,
author = {Alan Bundy},
title = {Towards a Theory of Diagnosis of Faulty Ontologies},
booktitle = {Workshop on Discovering Meaning On the Go in Large Heterogeneous Data
2011 (LHD-11), Barcelona, Spain, July 16, 2011},
pages = {14--18},
year = {2011},
url = {http://dream.inf.ed.ac.uk/events/lhd-11/files/lhd11-proceedings.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/plq/Bundy10,
author = {Alan Bundy},
title = {Australia's Public Library System: Its Needs and Potential},
journal = {Public Libr. Q.},
volume = {29},
number = {4},
pages = {320--360},
year = {2010},
url = {https://doi.org/10.1080/01616846.2010.525384},
doi = {10.1080/01616846.2010.525384},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/plq/Bundy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/AbourbihBM10,
author = {Jonathan Alexander Abourbih and
Alan Bundy and
Fiona McNeill},
title = {Using Linked Data for Semi-Automatic Guesstimation},
booktitle = {Linked Data Meets Artificial Intelligence, Papers from the 2010 {AAAI}
Spring Symposium, Technical Report SS-10-07, Stanford, California,
USA, March 22-24, 2010},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS10/paper/view/1055},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/AbourbihBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JohanssonDB10,
author = {Moa Johansson and
Lucas Dixon and
Alan Bundy},
editor = {Simon Siegler and
Nathan Wasser},
title = {Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery},
booktitle = {Verification, Induction, Termination Analysis - Festschrift for Christoph
Walther on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6463},
pages = {102--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17172-7\_6},
doi = {10.1007/978-3-642-17172-7\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JohanssonDB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbourbihBBM10,
author = {Jonathan Alexander Abourbih and
Luke Blaney and
Alan Bundy and
Fiona McNeill},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {A Single-Significant-Digit Calculus for Semi-Automated Guesstimation},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {354--368},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_31},
doi = {10.1007/978-3-642-14203-1\_31},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/AbourbihBBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/ChanLB10,
author = {Michael Chan and
Jos Lehmann and
Alan Bundy},
editor = {Joaquim Filipe and
Jan L. G. Dietz},
title = {Higher-order Representation and Reasoning for Automated Ontology Evolution},
booktitle = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Valencia, Spain, October 25-28,
2010},
pages = {84--93},
publisher = {SciTePress},
year = {2010},
timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/ChanLB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/JohanssonDB10,
author = {Moa Johansson and
Lucas Dixon and
Alan Bundy},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {Case-Analysis for Rippling and Inductive Proof},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {291--306},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_21},
doi = {10.1007/978-3-642-14052-5\_21},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/JohanssonDB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Montano-RivasMDB10,
author = {Omar Monta{\~{n}}o{-}Rivas and
Roy L. McCasland and
Lucas Dixon and
Alan Bundy},
editor = {Grigori Sidorov and
Arturo Hern{\'{a}}ndez Aguirre and
Carlos A. Reyes Garc{\'{\i}}a},
title = {Scheme-Based Synthesis of Inductive Theories},
booktitle = {Advances in Artificial Intelligence - 9th Mexican International Conference
on Artificial Intelligence, {MICAI} 2010, Pachuca, Mexico, November
8-13, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6437},
pages = {348--361},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16761-4\_31},
doi = {10.1007/978-3-642-16761-4\_31},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micai/Montano-RivasMDB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/TogiaMB10,
author = {Theodosia Togia and
Fiona McNeill and
Alan Bundy},
editor = {Pavel Shvaiko and
J{\'{e}}r{\^{o}}me Euzenat and
Fausto Giunchiglia and
Heiner Stuckenschmidt and
Ming Mao and
Isabel F. Cruz},
title = {Harnessing the power of folksonomies for formal ontology matching
on-the-fly},
booktitle = {Proceedings of the 5th International Workshop on Ontology Matching
(OM-2010), Shanghai, China, November 7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {689},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-689/om2010\_poster4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/semweb/TogiaMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MonroyBG09,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
title = {On Process Equivalence = Equation Solving in {CCS}},
journal = {J. Autom. Reason.},
volume = {43},
number = {1},
pages = {53--80},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9125-x},
doi = {10.1007/S10817-009-9125-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MonroyBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolis/Bundy09,
author = {Alan Bundy},
title = {Book Review: Delivering the Best Start: {A} Guide to Early Years Libraries
by Carolynn Rankin and Avril Brock 2009, London: Facet Publishing,
190pp, {\textsterling}39.95, {ISBN} 9781856046107; Libraries Designed
for Kids by Nolan Lushington 2008, London: Facet Publishing, 173pp,
{\textsterling}44.95, {ISBN} 9781856046572},
journal = {J. Libr. Inf. Sci.},
volume = {41},
number = {4},
pages = {254--255},
year = {2009},
url = {https://doi.org/10.1177/09610006090410040411},
doi = {10.1177/09610006090410040411},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolis/Bundy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/SripriyaBS09,
author = {G. Sripriya and
Alan Bundy and
Alan Smaill},
editor = {Waleed W. Smari and
John P. McIntire},
title = {Concurrent-distributed programming techniques for {SAT} using DPLL-st{\aa}lmarck},
booktitle = {2009 International Conference on High Performance Computing {\&}
Simulation, {HPCS} 2009, Leipzig, Germany, June 21-24, 2009},
pages = {168--175},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/HPCSIM.2009.5195313},
doi = {10.1109/HPCSIM.2009.5195313},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/SripriyaBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/RobertsonBBBCDGHHKLLMMOPSSW09,
author = {David Robertson and
Adam Barker and
Paolo Besana and
Alan Bundy and
Yun{-}Heh Chen{-}Burger and
David Dupplaw and
Fausto Giunchiglia and
Frank van Harmelen and
Mohd Fadzil Hassan and
Spyros Kotoulas and
David Lambert and
Li Guo and
Jarred McGinnis and
Fiona McNeill and
Nardine Osman and
Adri{\'{a}}n Perreau de Pinninck and
Ronny Siebes and
Carles Sierra and
Chris Walton},
editor = {Tharam S. Dillon and
Elizabeth Chang and
Robert Meersman and
Katia P. Sycara},
title = {Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing},
booktitle = {Advances in Web Semantics {I} - Ontologies, Web Services and Applied
Semantic Web},
series = {Lecture Notes in Computer Science},
volume = {4891},
pages = {81--129},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-89784-2\_4},
doi = {10.1007/978-3-540-89784-2\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/RobertsonBBBCDGHHKLLMMOPSSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolis/Bundy08,
author = {Alan Bundy},
title = {Book Review: Joint-use Libraries: Libraries for the Future by Sarah
McNicol 2008, Oxford: Chandos, 230pp, {\textsterling}39.95, {ISBN}
9781843343844},
journal = {J. Libr. Inf. Sci.},
volume = {40},
number = {4},
pages = {288},
year = {2008},
url = {https://doi.org/10.1177/0961000608100815},
doi = {10.1177/0961000608100815},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolis/Bundy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/Bundy08,
author = {Alan Bundy},
title = {Why Ontology Evolution is Essential in Modeling Scientific Discovery},
booktitle = {Automated Scientific Discovery, Papers from the 2008 {AAAI} Fall Symposium,
Arlington, Virginia, USA, November 7-9, 2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-03}},
pages = {8--9},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-03-002.php},
timestamp = {Wed, 04 Sep 2013 21:28:12 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/Bundy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ChanB08,
author = {Michael Chan and
Alan Bundy},
title = {Inconstancy: An Ontology Repair Plan for Adding Hidden Variables},
booktitle = {Automated Scientific Discovery, Papers from the 2008 {AAAI} Fall Symposium,
Arlington, Virginia, USA, November 7-9, 2008},
series = {{AAAI} Technical Report},
volume = {{FS-08-03}},
pages = {10--17},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-03-003.php},
timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/ChanB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Bundy08,
author = {Alan Bundy},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Automating Signature Evolution in Logical Theories},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {333--338},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_29},
doi = {10.1007/978-3-540-85110-3\_29},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Bundy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BundyC08,
author = {Alan Bundy and
Michael Chan},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Towards Ontology Evolution in Physics},
booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {98--110},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_10},
doi = {10.1007/978-3-540-69937-8\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BundyC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/Bundy07,
author = {Alan Bundy},
title = {{AI} Bridges and Dreams},
journal = {{AI} Soc.},
volume = {21},
number = {4},
pages = {659--668},
year = {2007},
url = {https://doi.org/10.1007/s00146-007-0116-3},
doi = {10.1007/S00146-007-0116-3},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ais/Bundy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijswis/McNeillB07,
author = {Fiona McNeill and
Alan Bundy},
title = {Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed
Plan Execution},
journal = {Int. J. Semantic Web Inf. Syst.},
volume = {3},
number = {3},
pages = {1--35},
year = {2007},
url = {https://doi.org/10.4018/jswis.2007070101},
doi = {10.4018/JSWIS.2007070101},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijswis/McNeillB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy07,
author = {Alan Bundy},
editor = {Manuela M. Veloso},
title = {Cooperating Reasoning Processes: More than Just the Sum of Their Parts},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2--11},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/001.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JanicicB07,
author = {Predrag Janicic and
Alan Bundy},
editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
title = {Automatic Synthesis of Decision Procedures: {A} Case Study of Ground
and Linear Arithmetic},
booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4573},
pages = {80--93},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73086-6\_7},
doi = {10.1007/978-3-540-73086-6\_7},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/JanicicB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Bundy06,
author = {Alan Bundy},
title = {A Very Mathematical Dilemma},
journal = {Comput. J.},
volume = {49},
number = {4},
pages = {480--486},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxl021},
doi = {10.1093/COMJNL/BXL021},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Bundy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BundyM06,
author = {Alan Bundy and
Fiona McNeill},
title = {Representation as a Fluent: An {AI} Challenge for the Next Half Century},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {3},
pages = {85--87},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.56},
doi = {10.1109/MIS.2006.56},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BundyM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SteelB06,
author = {Graham Steel and
Alan Bundy},
title = {Attacking Group Protocols by Refuting Incorrect Inductive Conjectures},
journal = {J. Autom. Reason.},
volume = {36},
number = {1-2},
pages = {149--176},
year = {2006},
url = {https://doi.org/10.1007/s10817-005-9016-8},
doi = {10.1007/S10817-005-9016-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SteelB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JohanssonBD06,
author = {Moa Johansson and
Alan Bundy and
Lucas Dixon},
editor = {Oliviero Stock and
Marco Schaerf},
title = {Best-First Rippling},
booktitle = {Reasoning, Action and Interaction in {AI} Theories and Systems, Essays
Dedicated to Luigia Carlucci Aiello},
series = {Lecture Notes in Computer Science},
volume = {4155},
pages = {83--100},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11829263\_5},
doi = {10.1007/11829263\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JohanssonBD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BundyMW06,
author = {Alan Bundy and
Fiona McNeill and
Christopher Walton},
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {On Repairing Reasoning Reversals via Representational Refinements},
booktitle = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
pages = {3--12},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-001.php},
timestamp = {Wed, 26 Oct 2022 08:35:26 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BundyMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/McCaslandB06,
author = {Roy L. McCasland and
Alan Bundy},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {MATHsAiD: {A} Mathematical Theorem Discovery Tool},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {17--22},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.51},
doi = {10.1109/SYNASC.2006.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/McCaslandB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0013358,
author = {Alan Bundy and
David A. Basin and
Dieter Hutter and
Andrew Ireland},
title = {Rippling - meta-level guidance for mathematical reasoning},
series = {Cambridge tracts in theoretical computer science},
volume = {56},
publisher = {Cambridge University Press},
year = {2005},
isbn = {978-0-521-83449-0},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0013358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JamnikB05,
author = {Mateja Jamnik and
Alan Bundy},
editor = {Dieter Hutter and
Werner Stephan},
title = {Psychological Validity of Schematic Proofs},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {321--341},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_19},
doi = {10.1007/978-3-540-32254-2\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JamnikB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/YangBSD05,
author = {Bin Yang and
Alan Bundy and
Alan Smaill and
Lucas Dixon},
title = {Deductive synthesis of workflows for e-Science},
booktitle = {5th International Symposium on Cluster Computing and the Grid (CCGrid
2005), 9-12 May, 2005, Cardiff, {UK}},
pages = {168--175},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CCGRID.2005.1558550},
doi = {10.1109/CCGRID.2005.1558550},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/YangBSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlewittBS05,
author = {Alex Blewitt and
Alan Bundy and
Ian Stark},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Automatic verification of design patterns in Java},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {224--232},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101943},
doi = {10.1145/1101908.1101943},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlewittBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BundyDGF06,
author = {Alan Bundy and
Lucas Dixon and
Jeremy Gow and
Jacques D. Fleuriot},
editor = {Stuart Allen and
John N. Crossley and
Kung{-}Kiu Lau and
Iman Poernomo},
title = {Constructing Induction Rules for Deductive Synthesis Proofs},
booktitle = {Proceedings of the Workshop on the Constructive Logic for Automated
Software Engineering, {CLASE} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {1},
pages = {3--21},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.08.003},
doi = {10.1016/J.ENTCS.2005.08.003},
timestamp = {Fri, 20 Jan 2023 10:31:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BundyDGF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McCaslandBS06,
author = {Roy L. McCasland and
Alan Bundy and
Patrick F. Smith},
editor = {Jacques Carette and
William M. Farmer},
title = {Ascertaining Mathematical Theorems},
booktitle = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation
and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK,
July 18-19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {1},
pages = {21--38},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.021},
doi = {10.1016/J.ENTCS.2005.11.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McCaslandBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Bundy04,
author = {Alan Bundy},
title = {Desert Island Column},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {1},
pages = {91--92},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000008679.68826.7e},
doi = {10.1023/B:AUSE.0000008679.68826.7E},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Bundy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Bundy04,
author = {Alan Bundy},
editor = {Bruno Buchberger and
John A. Campbell},
title = {Planning and Patching Proof},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {26--37},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_4},
doi = {10.1007/978-3-540-30210-0\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Bundy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SteelBM04,
author = {Graham Steel and
Alan Bundy and
Monika Maidl},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {Attacking a Protocol for Group Key Agreement by Refuting Incorrect
Inductive Conjectures},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {137--151},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_8},
doi = {10.1007/978-3-540-25984-8\_8},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SteelBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WintersteinBG04,
author = {Daniel Winterstein and
Alan Bundy and
Corin A. Gurr},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {Dr.Doodle: {A} Diagrammatic Theorem Prover},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {331--335},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_24},
doi = {10.1007/978-3-540-25984-8\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WintersteinBG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/WintersteinBJ04,
author = {Daniel Winterstein and
Alan Bundy and
Mateja Jamnik},
editor = {Alan F. Blackwell and
Kim Marriott and
Atsushi Shimojima},
title = {On Differences between the Real and Physical Plane},
booktitle = {Diagrammatic Representation and Inference, Third International Conference,
Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2980},
pages = {29--31},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25931-2\_6},
doi = {10.1007/978-3-540-25931-2\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/WintersteinBJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/WintersteinBGJ04,
author = {Daniel Winterstein and
Alan Bundy and
Corin A. Gurr and
Mateja Jamnik},
editor = {Alan F. Blackwell and
Kim Marriott and
Atsushi Shimojima},
title = {An Experimental Comparison of Diagrammatic and Algebraic Logics},
booktitle = {Diagrammatic Representation and Inference, Third International Conference,
Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2980},
pages = {432--434},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25931-2\_57},
doi = {10.1007/978-3-540-25931-2\_57},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/WintersteinBGJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SteelB05,
author = {Graham Steel and
Alan Bundy},
editor = {Alessandro Armando and
Luca Vigan{\`{o}}},
title = {Attacking Group Multicast Key Management Protocols Using Coral},
booktitle = {Proceedings of the Workshop on Automated Reasoning for Security Protocol
Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {1},
pages = {125--144},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.023},
doi = {10.1016/J.ENTCS.2004.05.023},
timestamp = {Tue, 13 Dec 2022 13:06:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SteelB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WhittleBB02,
author = {Jon Whittle and
Alan Bundy and
Richard J. Boulton},
title = {Proofs-as-Programs as a Framework for the Design of an Analogy-Based
{ML} Editor},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {403--421},
year = {2002},
url = {https://doi.org/10.1007/s001650200019},
doi = {10.1007/S001650200019},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WhittleBB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JanicicB02,
author = {Predrag Janicic and
Alan Bundy},
title = {A General Setting for Flexibly Combining and Augmenting Decision Procedures},
journal = {J. Autom. Reason.},
volume = {28},
number = {3},
pages = {257--305},
year = {2002},
url = {https://doi.org/10.1023/A:1015707001763},
doi = {10.1023/A:1015707001763},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JanicicB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bundy02,
author = {Alan Bundy},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {A Critique of Proof Planning},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {160--177},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_7},
doi = {10.1007/3-540-45632-5\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bundy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/WintersteinBGJ02,
author = {Daniel Winterstein and
Alan Bundy and
Corin A. Gurr and
Mateja Jamnik},
editor = {Mary Hegarty and
Bernd Meyer and
N. Hari Narayanan},
title = {Using Animation in Diagrammatic Theorem Proving},
booktitle = {Diagrammatic Representation and Inference, Second International Conference,
Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2317},
pages = {46--60},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46037-3\_5},
doi = {10.1007/3-540-46037-3\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/WintersteinBGJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/DennisB02,
author = {Louise A. Dennis and
Alan Bundy},
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {A Comparison of Two Proof Critics: Power vs. Robustness},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
pages = {182--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6\_13},
doi = {10.1007/3-540-45685-6\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/DennisB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/JamnikBG02,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
editor = {Michael Anderson and
Bernd Meyer and
Patrick Olivier},
title = {On Automating Diagrammatic Proofs of Arithmetic Arguments},
booktitle = {Diagrammatic Representation and Reasoning},
pages = {315--338},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-1-4471-0109-3\_18},
doi = {10.1007/978-1-4471-0109-3\_18},
timestamp = {Thu, 18 Jun 2020 16:53:07 +0200},
biburl = {https://dblp.org/rec/books/sp/02/JamnikBG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/BorjaB01,
author = {Ra{\'{u}}l Monroy Borja and
Alan Bundy},
title = {On the Correction of Faulty Formulae},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {5},
number = {1},
year = {2001},
url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/966},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cys/BorjaB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WillmottRBL01,
author = {Steven Willmott and
Julian Richardson and
Alan Bundy and
John Levine},
title = {Applying adversarial planning techniques to Go},
journal = {Theor. Comput. Sci.},
volume = {252},
number = {1-2},
pages = {45--82},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00076-1},
doi = {10.1016/S0304-3975(00)00076-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WillmottRBL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlewittBS01,
author = {Alex Blewitt and
Alan Bundy and
Ian Stark},
title = {Automatic Verification of Java Design Patterns},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {324--327},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989821},
doi = {10.1109/ASE.2001.989821},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlewittBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/Bundy01,
author = {Alan Bundy},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {The Automation of Proof by Mathematical Induction},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {845--911},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50015-1},
doi = {10.1016/B978-044450813-3/50015-1},
timestamp = {Thu, 25 Jul 2019 12:26:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/Bundy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DennisBG00,
author = {Louise A. Dennis and
Alan Bundy and
Ian Green},
title = {Making a productive use of failure to generate witnesses for coinduction
from divergent proof attempts},
journal = {Ann. Math. Artif. Intell.},
volume = {29},
number = {1-4},
pages = {99--138},
year = {2000},
url = {https://doi.org/10.1023/A:1018940332714},
doi = {10.1023/A:1018940332714},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DennisBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MonroyBG00,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
title = {Planning Proofs of Equations in {CCS}},
journal = {Autom. Softw. Eng.},
volume = {7},
number = {3},
pages = {263--304},
year = {2000},
url = {https://doi.org/10.1023/A:1008770222354},
doi = {10.1023/A:1008770222354},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/MonroyBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/ColtonBW00,
author = {Simon Colton and
Alan Bundy and
Toby Walsh},
title = {On the notion of interestingness in automated mathematical discovery},
journal = {Int. J. Hum. Comput. Stud.},
volume = {53},
number = {3},
pages = {351--375},
year = {2000},
url = {https://doi.org/10.1006/ijhc.2000.0394},
doi = {10.1006/IJHC.2000.0394},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/ColtonBW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FrankBB00,
author = {Ian Frank and
David A. Basin and
Alan Bundy},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Combining Knowledge and Search to Solve Single-Suit Bridge},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {195--200},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-030.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FrankBB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ColtonBW00,
author = {Simon Colton and
Alan Bundy and
Toby Walsh},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Automatic Invention of Integer Sequences},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {558--563},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-085.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ColtonBW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/WintersteinBJ00,
author = {Daniel Winterstein and
Alan Bundy and
Mateja Jamnik},
editor = {Michael Anderson and
Peter C.{-}H. Cheng and
Volker Haarslev},
title = {A Proposal for Automating Diagrammatic Reasoning in Continuous Domains},
booktitle = {Theory and Application of Diagrams, First International Conference,
Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1889},
pages = {286--299},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44590-0\_26},
doi = {10.1007/3-540-44590-0\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/WintersteinBJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ColtonBW00,
author = {Simon Colton and
Alan Bundy and
Toby Walsh},
editor = {Pat Langley},
title = {Automatic Identification of Mathematical Concepts},
booktitle = {Proceedings of the Seventeenth International Conference on Machine
Learning {(ICML} 2000), Stanford University, Stanford, CA, USA, June
29 - July 2, 2000},
pages = {183--190},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Sun, 21 Feb 2010 20:54:50 +0100},
biburl = {https://dblp.org/rec/conf/icml/ColtonBW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/MonroyBG00,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
editor = {Osvaldo Cair{\'{o}} and
Luis Enrique Sucar and
Francisco J. Cantu},
title = {Searching for a Solution to Program Verification=Equation Solving
in {CCS}},
booktitle = {{MICAI} 2000: Advances in Artificial Intelligence, Mexican International
Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1793},
pages = {1--12},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720076\_1},
doi = {10.1007/10720076\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/MonroyBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MaddenBS99,
author = {Peter Madden and
Alan Bundy and
Alan Smaill},
title = {Recursive Program Optimization Through Inductive Synthesis Proof Transformation},
journal = {J. Autom. Reason.},
volume = {22},
number = {1},
pages = {65--115},
year = {1999},
url = {https://doi.org/10.1023/A:1005969312327},
doi = {10.1023/A:1005969312327},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MaddenBS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/IrelandB99,
author = {Andrew Ireland and
Alan Bundy},
title = {Automatic Verification of Functions with Accumulating Parameters},
journal = {J. Funct. Program.},
volume = {9},
number = {2},
pages = {225--245},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003408},
doi = {10.1017/S0956796899003408},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/IrelandB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/JamnikBG99,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
title = {On Automating Diagrammatic Proofs of Arithmetic Arguments},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {3},
pages = {297--321},
year = {1999},
url = {https://doi.org/10.1023/A:1008323427489},
doi = {10.1023/A:1008323427489},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/JamnikBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JanicicBG99,
author = {Predrag Janicic and
Alan Bundy and
Ian Green},
editor = {Harald Ganzinger},
title = {A Framework for the Flexible Integration of a Class of Decision Procedures
into Theorem Provers},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {127--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_9},
doi = {10.1007/3-540-48660-7\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/JanicicBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HutterB99,
author = {Dieter Hutter and
Alan Bundy},
editor = {Harald Ganzinger},
title = {The Design of the {CADE-16} Inductive Theorem Prover Contest},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {374--377},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_33},
doi = {10.1007/3-540-48660-7\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HutterB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WhittleBBL99,
author = {Jon Whittle and
Alan Bundy and
Richard J. Boulton and
Helen Lowe},
editor = {Harald Ganzinger},
title = {System Description: CyNTHIA},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {388--392},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_36},
doi = {10.1007/3-540-48660-7\_36},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WhittleBBL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ColtonBW99,
author = {Simon Colton and
Alan Bundy and
Toby Walsh},
editor = {Thomas Dean},
title = {Automatic Concept Formation in Pure Mathematics},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {786--793},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-2/Papers/018.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ColtonBW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WhittleBBL99,
author = {Jon Whittle and
Alan Bundy and
Richard J. Boulton and
Helen Lowe},
title = {An {ML} Editor Based on Proofs-As-Programs},
booktitle = {The 14th {IEEE} International Conference on Automated Software Engineering,
{ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
pages = {166--173},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASE.1999.802196},
doi = {10.1109/ASE.1999.802196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WhittleBBL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BundyR99,
author = {Alan Bundy and
Julian Richardson},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Proofs About Lists Using Ellipsis},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_1},
doi = {10.1007/3-540-48242-3\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BundyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GowBG99,
author = {Jeremy Gow and
Alan Bundy and
Ian Green},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Extensions to the Estimation Calculus},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {258--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_16},
doi = {10.1007/3-540-48242-3\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GowBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wooldridgeV99/Bundy99,
author = {Alan Bundy},
editor = {Michael J. Wooldridge and
Manuela M. Veloso},
title = {A Survey of Automated Deduction},
booktitle = {Artificial Intelligence Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1600},
pages = {153--174},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48317-9\_6},
doi = {10.1007/3-540-48317-9\_6},
timestamp = {Sat, 03 Aug 2019 17:52:01 +0200},
biburl = {https://dblp.org/rec/books/sp/wooldridgeV99/Bundy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/LowePB98,
author = {Helen Lowe and
Michal Pechoucek and
Alan Bundy},
title = {Proof planning for maintainable configuration systems},
journal = {Artif. Intell. Eng. Des. Anal. Manuf.},
volume = {12},
number = {4},
pages = {345--356},
year = {1998},
url = {http://journals.cambridge.org/action/displayAbstract?aid=38649},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedam/LowePB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ArmandoGSB98,
author = {Alessandro Armando and
Jason Gallagher and
Alan Smaill and
Alan Bundy},
title = {Automating the Synthesis of Decision Procedures in a Constructive
Metatheory},
journal = {Ann. Math. Artif. Intell.},
volume = {22},
number = {3-4},
pages = {259--279},
year = {1998},
url = {https://doi.org/10.1023/A:1018943603394},
doi = {10.1023/A:1018943603394},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ArmandoGSB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/LiuMB98,
author = {Weiru Liu and
David McBryan and
Alan Bundy},
title = {The Method of Assigning Incidences},
journal = {Appl. Intell.},
volume = {9},
number = {2},
pages = {139--161},
year = {1998},
url = {https://doi.org/10.1023/A:1008216002832},
doi = {10.1023/A:1008216002832},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/LiuMB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HeskethRFB98,
author = {Jane Hesketh and
David Stuart Robertson and
Norbert E. Fuchs and
Alan Bundy},
title = {Lightweight Formalisation in Support of Requirements Engineering},
journal = {Autom. Softw. Eng.},
volume = {5},
number = {2},
pages = {183--210},
year = {1998},
url = {https://doi.org/10.1023/A:1008669014807},
doi = {10.1023/A:1008669014807},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/HeskethRFB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LoweBM98,
author = {Helen Lowe and
Alan Bundy and
Duncan McLean},
title = {The Use of Proof Planning for Co-operative Theorem Proving},
journal = {J. Symb. Comput.},
volume = {25},
number = {2},
pages = {239--261},
year = {1998},
url = {https://doi.org/10.1006/jsco.1997.0174},
doi = {10.1006/JSCO.1997.0174},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LoweBM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SlindGBB98,
author = {Konrad Slind and
Michael J. C. Gordon and
Richard J. Boulton and
Alan Bundy},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: An Interface Between CL\({}^{\mbox{A}}\)M and
{HOL}},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {134--138},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054255},
doi = {10.1007/BFB0054255},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SlindGBB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cg/WillmottRBL98,
author = {Steven Willmott and
Julian Richardson and
Alan Bundy and
John Levine},
editor = {H. Jaap van den Herik and
Hiroyuki Iida},
title = {An Adversarial Planning Approach to Go},
booktitle = {Computers and Games, First International Conference, CG'98, Tsukuba,
Japan, November 11-12, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1558},
pages = {93--112},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48957-6\_6},
doi = {10.1007/3-540-48957-6\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cg/WillmottRBL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MonroyBG98,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
editor = {Henri Prade},
title = {Observant: An Annotated Term-Rewriting System for Deciding Observation
Congruence},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {393--397},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MonroyBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MonroyBG98,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Ian Green},
title = {Planning Equational Verification in {CCS}},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732569},
doi = {10.1109/ASE.1998.732569},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MonroyBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Bundy98,
author = {Alan Bundy},
editor = {Harrie C. M. de Swart},
title = {A Science of Reasoning (Extended Abstract)},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1397},
pages = {10--17},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69778-0\_2},
doi = {10.1007/3-540-69778-0\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Bundy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BoultonSBG98,
author = {Richard J. Boulton and
Konrad Slind and
Alan Bundy and
Michael J. C. Gordon},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {An Interface between Clam and {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {87--104},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055131},
doi = {10.1007/BFB0055131},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BoultonSBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BundyGVW97,
author = {Alan Bundy and
Fausto Giunchiglia and
Adolfo Villafiorita and
Toby Walsh},
title = {Abstract Proof Checking: An Example Motivated by an Incompleteness
Theorem},
journal = {J. Autom. Reason.},
volume = {19},
number = {3},
pages = {319--346},
year = {1997},
url = {https://doi.org/10.1023/A:1005877613942},
doi = {10.1023/A:1005877613942},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BundyGVW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DennisBG97,
author = {Louise A. Dennis and
Alan Bundy and
Ian Green},
editor = {William McCune},
title = {Using {A} Generalisation Critic to Find Bisimulations for Coinductive
Proofs},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {276--290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_29},
doi = {10.1007/3-540-63104-6\_29},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DennisBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JamnikBG97,
author = {Mateja Jamnik and
Alan Bundy and
Ian Green},
title = {Automation of Diagrammatic Reasoning},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {528--533},
publisher = {Morgan Kaufmann},
year = {1997},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JamnikBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/WhittleBL97,
author = {Jon Whittle and
Alan Bundy and
Helen Lowe},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {An Editor for Helping Novices to Learn Standard {ML}},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {389--405},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033857},
doi = {10.1007/BFB0033857},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/WhittleBL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BundyGSW96,
author = {Alan Bundy and
Fausto Giunchiglia and
Roberto Sebastiani and
Toby Walsh},
title = {Calculating Criticalities},
journal = {Artif. Intell.},
volume = {88},
number = {1-2},
pages = {39--67},
year = {1996},
url = {https://doi.org/10.1016/S0004-3702(96)00019-7},
doi = {10.1016/S0004-3702(96)00019-7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BundyGSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/LiuB96,
author = {Weiru Liu and
Alan Bundy},
title = {Constructing probabilistic ATMSs using extended incidence calculus},
journal = {Int. J. Approx. Reason.},
volume = {15},
number = {2},
pages = {145--182},
year = {1996},
url = {https://doi.org/10.1016/0888-613X(96)00031-X},
doi = {10.1016/0888-613X(96)00031-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/LiuB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KraanBB96,
author = {Ina Kraan and
David A. Basin and
Alan Bundy},
title = {Middle-Out Reasoning for Synthesis and Induction},
journal = {J. Autom. Reason.},
volume = {16},
number = {1-2},
pages = {113--145},
year = {1996},
url = {https://doi.org/10.1007/BF00244461},
doi = {10.1007/BF00244461},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KraanBB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BundyGSW96,
author = {Alan Bundy and
Fausto Giunchiglia and
Roberto Sebastiani and
Toby Walsh},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Computing Abstraction Hierarchies by Numerical Simulation},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {523--529},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-078.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BundyGSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Bundy96,
author = {Alan Bundy},
editor = {Brian Drabble},
title = {Proof Planning},
booktitle = {Proceedings of the Third International Conference on Artificial Intelligence
Planning Systems, Edinburgh, Scotland, May 29-31, 1996},
pages = {261--267},
publisher = {{AAAI}},
year = {1996},
url = {http://www.aaai.org/Library/AIPS/1996/aips96-033.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Bundy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/IrelandB96,
author = {Andrew Ireland and
Alan Bundy},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Extensions to a Generalization Critic for Inductive Proof},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {47--61},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_68},
doi = {10.1007/3-540-61511-3\_68},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/IrelandB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CantuBSB96,
author = {Francisco J. Cantu and
Alan Bundy and
Alan Smaill and
David A. Basin},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {Experiments in Automating Hardware Verification Using Inductive Proof
Planning},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {94--108},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031802},
doi = {10.1007/BFB0031802},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CantuBSB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/McLeanBL95,
author = {R. G. McLean and
Alan Bundy and
Weiru Liu},
title = {Assignment methods for incidence calculus},
journal = {Int. J. Approx. Reason.},
volume = {12},
number = {1},
pages = {21--41},
year = {1995},
url = {https://doi.org/10.1016/0888-613X(94)00013-S},
doi = {10.1016/0888-613X(94)00013-S},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/McLeanBL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BundyL95,
author = {Alan Bundy and
Vincent Lombart},
title = {Relational Rippling: {A} General Approach},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {175--181},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/023.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BundyL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BundyM94,
author = {Alan Bundy and
Hector L. MacQueen},
title = {The New Software Copyright Law},
journal = {Comput. J.},
volume = {37},
number = {2},
pages = {79--82},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.2.79},
doi = {10.1093/COMJNL/37.2.79},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BundyM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/LiuB94,
author = {Weiru Liu and
Alan Bundy},
title = {A comprehensive comparison between generalized incidence calculus
and the Dempster-Shafer theory of evidence},
journal = {Int. J. Hum. Comput. Stud.},
volume = {40},
number = {6},
pages = {1009--1032},
year = {1994},
url = {https://doi.org/10.1006/ijhc.1994.1046},
doi = {10.1006/IJHC.1994.1046},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/LiuB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/YoshidaBGWB94,
author = {Tetsuya Yoshida and
Alan Bundy and
Ian Green and
Toby Walsh and
David A. Basin},
editor = {Anthony G. Cohn},
title = {Coloured Rippling: An Extension of a Theorem Proving Heuristic},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {85--89},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/YoshidaBGWB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MonroyBI94,
author = {Ra{\'{u}}l Monroy and
Alan Bundy and
Andrew Ireland},
editor = {Frank Pfenning},
title = {Proof Plans for the Correction of False Conjectures},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {54--68},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_29},
doi = {10.1007/3-540-58216-9\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MonroyBI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1994,
editor = {Alan Bundy},
title = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1},
doi = {10.1007/3-540-58156-1},
isbn = {3-540-58156-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BundySHIS93,
author = {Alan Bundy and
Andrew Stevens and
Frank van Harmelen and
Andrew Ireland and
Alan Smaill},
title = {Rippling: {A} Heuristic for Guiding Inductive Proofs},
journal = {Artif. Intell.},
volume = {62},
number = {2},
pages = {185--253},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90079-Q},
doi = {10.1016/0004-3702(93)90079-Q},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BundySHIS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/LiuBR93,
author = {Weiru Liu and
Alan Bundy and
David Stuart Robertson},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {Recovering Incedence Functions},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {241--248},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028206},
doi = {10.1007/BFB0028206},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/LiuBR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/LiuBR93a,
author = {Weiru Liu and
Alan Bundy and
David Stuart Robertson},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {On the Relations between Incidence Calculus and {ATMS}},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {249--256},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028207},
doi = {10.1007/BFB0028207},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/LiuBR93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KraanBB93,
author = {Ina Kraan and
David A. Basin and
Alan Bundy},
editor = {David Scott Warren},
title = {Middle-Out Reasoning for Logic Program Synthesis},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {441--455},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KraanBB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/BasinBKM93,
author = {David A. Basin and
Alan Bundy and
Ina Kraan and
Se{\'{a}}n Matthews},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {A Framework for Program Development Based on Schematic Proof},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951833},
doi = {10.5555/951807.951833},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/BasinBKM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MaddenHGB93,
author = {Peter Madden and
Jane Hesketh and
Ian Green and
Alan Bundy},
editor = {Yves Deville},
title = {A General Technique for Automatically Generating Efficient Programs
Through the Use of Proof Planning (Abstract)},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {64--66},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MaddenHGB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ManningIB93,
author = {Alistair Manning and
Andrew Ireland and
Alan Bundy},
editor = {Andrei Voronkov},
title = {Incresing the Versatility of Heuristic Based Theorem Provers},
booktitle = {Logic Programming and Automated Reasoning,4th International Conference,
LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {698},
pages = {194--204},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56944-8\_53},
doi = {10.1007/3-540-56944-8\_53},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ManningIB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Bundy92,
author = {Alan Bundy},
title = {Die Geschichte der Mechanisierung der Logik in der {KI} (Interview)},
journal = {K{\"{u}}nstliche Intell.},
volume = {6},
number = {3},
pages = {99--101},
year = {1992},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Bundy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeskethBS92,
author = {Jane Hesketh and
Alan Bundy and
Alan Smaill},
editor = {Deepak Kapur},
title = {Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive
Programs},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {310--324},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_174},
doi = {10.1007/3-540-55602-8\_174},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeskethBS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WalshNB92,
author = {Toby Walsh and
Alex Nunes and
Alan Bundy},
editor = {Deepak Kapur},
title = {The Use of Proof Plans to Sum Series},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {325--339},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_175},
doi = {10.1007/3-540-55602-8\_175},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WalshNB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FrankBB92,
author = {Ian Frank and
David A. Basin and
Alan Bundy},
editor = {Bernd Neumann},
title = {An Adaptation of Proof-Planning to Declarer Play in Bridge},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {72--76},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/FrankBB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/KraanBB92,
author = {Ina Kraan and
David A. Basin and
Alan Bundy},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Logic Program Synthesis via Proof Planning},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {1--14},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_1},
doi = {10.1007/978-1-4471-3560-9\_1},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/KraanBB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpss/Bundy92,
author = {Alan Bundy},
editor = {G{\'{e}}rard Comyn and
Norbert E. Fuchs and
Michael Ratcliffe},
title = {Tutorial Notes: Reasoning about Logic Programs},
booktitle = {Logic Programming in Action, Second International Logic Programming
Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {636},
pages = {252--277},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55930-2\_18},
doi = {10.1007/3-540-55930-2\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lpss/Bundy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0072555,
author = {David Robertson and
Alan Bundy and
Robert Muetzelfeldt and
Mandy Haggith and
Michael Uschold},
title = {Eco-Logic - Logic-Based Approaches to Ecological Modeling},
series = {Logic programming},
publisher = {{MIT} Press},
year = {1991},
url = {http://mitpress.mit.edu/catalog/item/default.asp?tid=7064\&\#38;ttype=2},
isbn = {978-0-262-18143-3},
timestamp = {Mon, 29 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0072555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BundyHHS91,
author = {Alan Bundy and
Frank van Harmelen and
Jane Hesketh and
Alan Smaill},
title = {Experiments with Proof Plans for Induction},
journal = {J. Autom. Reason.},
volume = {7},
number = {3},
pages = {303--324},
year = {1991},
url = {https://doi.org/10.1007/BF00249016},
doi = {10.1007/BF00249016},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BundyHHS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bundy91a,
author = {Alan Bundy},
editor = {Robert S. Boyer},
title = {The Use of Proof Plans for Normalization},
booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
series = {Automated Reasoning Series},
pages = {149--166},
publisher = {Kluwer Academic Publishers},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bundy91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bundy91,
author = {Alan Bundy},
editor = {Jean{-}Louis Lassez and
Gordon D. Plotkin},
title = {A Science of Reasoning},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
pages = {178--198},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bundy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WigginsBKH91,
author = {Geraint A. Wiggins and
Alan Bundy and
Ina Kraan and
Jane Hesketh},
editor = {Timothy Paul Clement and
Kung{-}Kiu Lau},
title = {Synthesis and Transfomation of Logic Programs from Constructive, Inductive
Proof},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
91, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 4-5 July 1991},
series = {Workshops in Computing},
pages = {27--45},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3494-7\_3},
doi = {10.1007/978-1-4471-3494-7\_3},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/WigginsBKH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Bundy90,
author = {Alan Bundy},
title = {{IJCAI} Policy on Multiple Publication of Papers Revisited},
journal = {{AI} Commun.},
volume = {3},
number = {3},
pages = {115},
year = {1990},
url = {https://doi.org/10.3233/AIC-1990-3302},
doi = {10.3233/AIC-1990-3302},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Bundy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/BrnaBP90,
author = {Paul Brna and
Alan Bundy and
Helen Pain},
editor = {Derek R. Brough},
title = {A framework for the Principled Debugging of Prolog Programs: How to
Debug Non-Terminating Programs},
booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol,
March 1990},
pages = {22--55},
publisher = {Intellect Books and Kluwer Academic Publishers},
year = {1990},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/alpuk/BrnaBP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BundyHSI90,
author = {Alan Bundy and
Frank van Harmelen and
Alan Smaill and
Andrew Ireland},
editor = {Mark E. Stickel},
title = {Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {132--146},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_84},
doi = {10.1007/3-540-52885-7\_84},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BundyHSI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bundy90,
author = {Alan Bundy},
editor = {Mark E. Stickel},
title = {A Science of Reasoning: Extended Abstract},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {633--640},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_119},
doi = {10.1007/3-540-52885-7\_119},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bundy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BundyHHS90,
author = {Alan Bundy and
Frank van Harmelen and
Christian Horn and
Alan Smaill},
editor = {Mark E. Stickel},
title = {The Oyster-Clam System},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {647--648},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_123},
doi = {10.1007/3-540-52885-7\_123},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BundyHHS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/Bundy90,
author = {Alan Bundy},
editor = {Alfonso Miola},
title = {The Use of Proof Plans in Formal Methods},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '90, Capri, Italy, April 10-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {429},
pages = {151--153},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52531-9\_134},
doi = {10.1007/3-540-52531-9\_134},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/Bundy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Bundy89,
author = {Alan Bundy},
title = {{IJCAI} Policy Statement: {IJCAI} Policy on Multiple Publication of
Papers},
journal = {{AI} Mag.},
volume = {10},
number = {1},
pages = {73--75},
year = {1989},
url = {https://doi.org/10.1609/aimag.v10i1.731},
doi = {10.1609/AIMAG.V10I1.731},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Bundy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/RobertsonBUM89,
author = {David Stuart Robertson and
Alan Bundy and
Michael Uschold and
Robert Muetzelfeldt},
title = {The {ECO} Program Construction System: Ways of Increasing its Representational
Power and Their Effects on the User Interface},
journal = {Int. J. Man Mach. Stud.},
volume = {31},
number = {1},
pages = {1--26},
year = {1989},
url = {https://doi.org/10.1016/0020-7373(89)90030-8},
doi = {10.1016/0020-7373(89)90030-8},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/RobertsonBUM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SterlingBBOS89,
author = {Leon Sterling and
Alan Bundy and
Lawrence Byrd and
Richard A. O'Keefe and
Bernard Silver},
title = {Solving Symbolic Equations with {PRESS}},
journal = {J. Symb. Comput.},
volume = {7},
number = {1},
pages = {71--84},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80007-0},
doi = {10.1016/S0747-7171(89)80007-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SterlingBBOS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BundyHHSS89,
author = {Alan Bundy and
Frank van Harmelen and
Jane Hesketh and
Alan Smaill and
Andrew Stevens},
editor = {N. S. Sridharan},
title = {A Rational Reconstruction and Extension of Recursion Analysis},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {359--365},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-1/Papers/057.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BundyHHSS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HarmelenB88,
author = {Frank van Harmelen and
Alan Bundy},
title = {Explanation-Based Generalisation = Partial Evaluation},
journal = {Artif. Intell.},
volume = {36},
number = {3},
pages = {401--412},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90088-4},
doi = {10.1016/0004-3702(88)90088-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/HarmelenB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Bundy88,
author = {Alan Bundy},
title = {{IJCAI} Policy on Multiple Publication of Papers},
journal = {{AI} Commun.},
volume = {1},
number = {4},
pages = {3--5},
year = {1988},
url = {https://doi.org/10.3233/AIC-1988-1401},
doi = {10.3233/AIC-1988-1401},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Bundy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/FatemanBOS88,
author = {Richard J. Fateman and
Alan Bundy and
Richard A. O'Keefe and
Leon Sterling},
title = {Commentary on: solving symbolic equations with {PRESS}},
journal = {{SIGSAM} Bull.},
volume = {22},
number = {2},
pages = {27--40},
year = {1988},
url = {https://doi.org/10.1145/43876.43879},
doi = {10.1145/43876.43879},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/FatemanBOS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Bundy88,
author = {Alan Bundy},
title = {Probability, truth, and logic: reply to Cheeseman},
journal = {Comput. Intell.},
volume = {4},
pages = {69--70},
year = {1988},
url = {https://doi.org/10.1111/j.1467-8640.1988.tb00093.x},
doi = {10.1111/J.1467-8640.1988.TB00093.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Bundy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BundyS88,
author = {Alan Bundy and
Leon Sterling},
title = {Meta-Level Inference: Two Applications},
journal = {J. Autom. Reason.},
volume = {4},
number = {1},
pages = {15--27},
year = {1988},
url = {https://doi.org/10.1007/BF00244511},
doi = {10.1007/BF00244511},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BundyS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bundy88,
author = {Alan Bundy},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {The Use of Explicit Plans to Guide Inductive Proofs},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {111--120},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012826},
doi = {10.1007/BFB0012826},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bundy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bundy88,
author = {Alan Bundy},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {A Broader Interpretation of Logic in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {1624--1648},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Bundy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/Bundy87,
author = {Alan Bundy},
title = {{AI} Bridges and Dreams},
journal = {{AI} Soc.},
volume = {1},
number = {1},
pages = {62--71},
year = {1987},
url = {https://doi.org/10.1007/BF01905893},
doi = {10.1007/BF01905893},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ais/Bundy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Bundy86,
author = {Alan Bundy},
title = {Catalogue of artificial intelligence tools, 2nd Edition},
series = {Symbolic computation : Artificial intelligence},
publisher = {Springer},
year = {1986},
url = {https://www.worldcat.org/oclc/13902775},
isbn = {0387168931},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/lib/Bundy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bundy86,
author = {Alan Bundy},
title = {Correctness Criteria of Some Algorithms for Uncertain Reasoning Using
Incidence Calculus},
journal = {J. Autom. Reason.},
volume = {2},
number = {2},
pages = {109--126},
year = {1986},
url = {https://doi.org/10.1007/BF02432147},
doi = {10.1007/BF02432147},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Bundy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BundySP85,
author = {Alan Bundy and
Bernard Silver and
Dave Plummer},
title = {An Analytical Comparison of Some Rule-Learning Programs},
journal = {Artif. Intell.},
volume = {27},
number = {2},
pages = {137--181},
year = {1985},
url = {https://doi.org/10.1016/0004-3702(85)90052-9},
doi = {10.1016/0004-3702(85)90052-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BundySP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bundy85,
author = {Alan Bundy},
title = {Incidence Calculus: {A} Mechanism for Probabilistic Reasoning},
journal = {J. Autom. Reason.},
volume = {1},
number = {3},
pages = {263--283},
year = {1985},
url = {https://doi.org/10.1007/BF00244272},
doi = {10.1007/BF00244272},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Bundy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy85,
author = {Alan Bundy},
editor = {Aravind K. Joshi},
title = {Discovery and Reasoning in Mathematics},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {1221--1230},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-2/Papers/107.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BundyC85,
author = {Alan Bundy and
Richard Clutterbuck},
editor = {Aravind K. Joshi},
title = {Raising the Standards of {AI} Products},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {1289--1294},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-2/Papers/120.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BundyC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/Bundy84,
author = {Alan Bundy},
title = {A generalized interval package and its use for semantic checking},
journal = {{ACM} Trans. Math. Softw.},
volume = {10},
number = {4},
pages = {397--409},
year = {1984},
url = {https://doi.org/10.1145/2701.2702},
doi = {10.1145/2701.2702},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toms/Bundy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/UscholdHMB84,
author = {Michael Uschold and
Nigel Harding and
Robert Muetzelfeldt and
Alan Bundy},
editor = {Tim O'Shea},
title = {An Intelligent Front End for Ecological Modelling},
booktitle = {Advances in Artificial Intelligence, Proceedings of the Sixth European
Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September
5-7, 1984},
pages = {13--22},
publisher = {North-Holland},
year = {1984},
timestamp = {Fri, 26 Jul 2019 20:21:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/UscholdHMB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Bundy84,
author = {Alan Bundy},
title = {Incidence Calculus: {A} Mechanism for Probabilistic Reasoning},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {166--174},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Bundy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/PapalaskarisB84,
author = {Mary Angela Papalaskaris and
Alan Bundy},
title = {Topics for Circumscription},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {355--362},
publisher = {American Association for Artificial Intelligence {(AAAI)}},
year = {1984},
timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
biburl = {https://dblp.org/rec/conf/nmr/PapalaskarisB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Bundy83a,
author = {Alan Bundy},
title = {How to Get the Most Out of {IJCAI-83}},
journal = {{AI} Mag.},
volume = {4},
number = {1},
pages = {35--36},
year = {1983},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/386},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Bundy83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Bundy83,
author = {Alan Bundy},
title = {The Nature of {AI:} {A} Reply to Schank},
journal = {{AI} Mag.},
volume = {4},
number = {4},
pages = {29--31},
year = {1983},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/414},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Bundy83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1983,
editor = {Alan Bundy},
title = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/proceedings/1983-1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SterlingB82,
author = {Leon Sterling and
Alan Bundy},
editor = {Donald W. Loveland},
title = {Meta-Level Inference and Program Verification},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {144--150},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000056},
doi = {10.1007/BFB0000056},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SterlingB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BundyBM82,
author = {Alan Bundy and
Lawrence Byrd and
Chris Mellish},
title = {Special Purpose, but Domain Independent, Inference Mechanisms},
booktitle = {5th European Conference on Artificial Intelligence, {ECAI} 1982, Paris,
1982, Proceedings},
pages = {67--74},
year = {1982},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BundyBM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BundyS82,
author = {Alan Bundy and
Bernard Silver},
title = {A Critical Survey of Rule Learning Programs},
booktitle = {5th European Conference on Artificial Intelligence, {ECAI} 1982, Paris,
1982, Proceedings},
pages = {151--157},
year = {1982},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BundyS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/SterlingBBOS82,
author = {Leon Sterling and
Alan Bundy and
Lawrence Byrd and
Richard A. O'Keefe and
Bernard Silver},
editor = {Jacques Calmet},
title = {Solving Symbolic Equations with {PRESS}},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {109--116},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_13},
doi = {10.1007/3-540-11607-9\_13},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/SterlingBBOS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BundyW81,
author = {Alan Bundy and
Bob Welham},
title = {Using Meta-Level Inference for Selective Application of Multiple Rewrite
Rule Sets in Algebraic Manipulation},
journal = {Artif. Intell.},
volume = {16},
number = {2},
pages = {189--212},
year = {1981},
url = {https://doi.org/10.1016/0004-3702(81)90010-2},
doi = {10.1016/0004-3702(81)90010-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BundyW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Bundy81,
author = {Alan Bundy},
title = {What Is the Well-Dressed {AI} Educator Wearing Now?},
journal = {{AI} Mag.},
volume = {3},
number = {1},
pages = {13--14},
year = {1981},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/361},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Bundy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BorningB81,
author = {Alan Borning and
Alan Bundy},
editor = {Patrick J. Hayes},
title = {Using Matching in Algebraic Equation Solving},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {466--471},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/086.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BorningB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BundyS81,
author = {Alan Bundy and
Bernard Silver},
editor = {Patrick J. Hayes},
title = {Homogenization: Preparing Equations for Change of Unknown},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {551--553},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/099.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BundyS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BundyW80,
author = {Alan Bundy and
Bob Welham},
editor = {Wolfgang Bibel and
Robert A. Kowalski},
title = {Using Meta-Level Inference for Selective Application of Multiple Rewrite
Rules in Algebraic Manipulation},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {87},
pages = {24--38},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10009-1\_3},
doi = {10.1007/3-540-10009-1\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BundyW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bundy78,
author = {Alan Bundy},
title = {Will it Reach the Top? Prediction in the Mechanics World},
journal = {Artif. Intell.},
volume = {10},
number = {2},
pages = {129--146},
year = {1978},
url = {https://doi.org/10.1016/S0004-3702(78)80009-5},
doi = {10.1016/S0004-3702(78)80009-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Bundy78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BundyLMP78,
author = {Alan Bundy and
George F. Luger and
Chris Mellish and
Martha Stone Palmer},
editor = {Derek H. Sleeman},
title = {Knowledge about Knowledge: Making Decisions in Mechanics Probleme
Solving},
booktitle = {Proceedings of {AISB/GI} Conference (Proceedings of the 4th European
Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July
1978},
pages = {71--81},
publisher = {Leeds University},
year = {1978},
timestamp = {Fri, 26 Jul 2019 09:34:22 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BundyLMP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy77,
author = {Alan Bundy},
editor = {Raj Reddy},
title = {Can Domain Specific Knowledge Be Generalized?},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {496},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-1/Papers/084.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LugerB77,
author = {George F. Luger and
Alan Bundy},
editor = {Raj Reddy},
title = {Representing Semantic Information In Pulley Problems},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {500},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-1/Papers/087.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LugerB77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BundyLSW76,
author = {Alan Bundy and
George F. Luger and
M. Stone and
R. Welham},
title = {MECHO, Year one},
booktitle = {Proceedings of the Summer Conference on Artificial Intelligence and
Simulation of Behaviour, Edinburgh, UK, 12th - 14 July 1976},
pages = {94--103},
year = {1976},
url = {https://dl.acm.org/doi/10.5555/3015508.3015518},
doi = {10.5555/3015508.3015518},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BundyLSW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy75,
author = {Alan Bundy},
title = {Analysing Mathematical Proofs (Or Reading Between the Lines)},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial
Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975},
pages = {22--28},
year = {1975},
url = {http://ijcai.org/Proceedings/75/Papers/004.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:24 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bundy73,
author = {Alan Bundy},
title = {A note on omitting the replacement schema},
journal = {Notre Dame J. Formal Log.},
volume = {14},
number = {1},
pages = {118--120},
year = {1973},
url = {https://doi.org/10.1305/ndjfl/1093890817},
doi = {10.1305/NDJFL/1093890817},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bundy73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bundy73,
author = {Alan Bundy},
editor = {Nils J. Nilsson},
title = {Doing Arithmetic with Diagrams},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {130--138},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:01 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bundy73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Bundy71,
author = {Alan Bundy},
title = {There is no best proof procedure},
journal = {{SIGART} Newsl.},
volume = {31},
pages = {6--7},
year = {1971},
url = {https://doi.org/10.1145/1056578.1056580},
doi = {10.1145/1056578.1056580},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Bundy71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:52 CEST 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:
