Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Geoff Sutcliffe
@article{DBLP:journals/aicom/SutcliffeD23,
author = {Geoff Sutcliffe and
Martin Desharnais},
title = {The 11th {IJCAR} automated theorem proving system competition - {CASC-J11}},
journal = {{AI} Commun.},
volume = {36},
number = {2},
pages = {73--91},
year = {2023},
url = {https://doi.org/10.3233/AIC-220244},
doi = {10.3233/AIC-220244},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SutcliffeD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sutcliffe23,
author = {Geoff Sutcliffe},
title = {The logic languages of the {TPTP} world},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1153--1169},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac068},
doi = {10.1093/JIGPAL/JZAC068},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sutcliffe23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/SteenSSB23,
author = {Alexander Steen and
Geoff Sutcliffe and
Tobias Scholl and
Christoph Benzm{\"{u}}ller},
editor = {Andreas Herzig and
Jieting Luo and
Pere Pardo},
title = {Solving Modal Logic Problems by Translation to Higher-Order Logic},
booktitle = {Logic and Argumentation - 5th International Conference, {CLAR} 2023,
Hangzhou, China, September 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14156},
pages = {25--43},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40875-5\_3},
doi = {10.1007/978-3-031-40875-5\_3},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/SteenSSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/McKeownS23,
author = {Jack McKeown and
Geoff Sutcliffe},
editor = {Michael Franklin and
Soon Ae Chun},
title = {Reinforcement Learning for Guiding the {E} Theorem Prover},
booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2023, Clearwater Beach, FL,
USA, May 14-17, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.32473/flairs.36.133334},
doi = {10.32473/FLAIRS.36.133334},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/McKeownS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/McKeownS23a,
author = {Jack McKeown and
Geoff Sutcliffe},
editor = {Michael Franklin and
Soon Ae Chun},
title = {An Interactive Interpretation Viewer for Typed First-order Logic},
booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2023, Clearwater Beach, FL,
USA, May 14-17, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.32473/flairs.36.133073},
doi = {10.32473/FLAIRS.36.133073},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/McKeownS23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SteenSFM23,
author = {Alexander Steen and
Geoff Sutcliffe and
Pascal Fontaine and
Jack McKeown},
editor = {Ruzica Piskac and
Andrei Voronkov},
title = {Representation, Verification, and Visualization of Tarskian Interpretations
for Typed First-order Logic},
booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
for Programming, Artificial Intelligence and Reasoning, Manizales,
Colombia, 4-9th June 2023},
series = {EPiC Series in Computing},
volume = {94},
pages = {369--385},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/1rhx},
doi = {10.29007/1RHX},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SteenSFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BenzmullerFSS22,
author = {Christoph Benzm{\"{u}}ller and
David Fuenmayor and
Alexander Steen and
Geoff Sutcliffe},
title = {Automation of Boolos' Curious Inference in Isabelle/HOL},
journal = {Arch. Formal Proofs},
volume = {2022},
year = {2022},
url = {https://www.isa-afp.org/entries/Boolos\_Curious\_Inference\_Automated.html},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/BenzmullerFSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BeesonBKS22,
author = {Michael Beeson and
Maria Paola Bonacina and
Michael Kinyon and
Geoff Sutcliffe},
title = {Larry Wos: Visions of Automated Reasoning},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {439--461},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09620-8},
doi = {10.1007/S10817-022-09620-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BeesonBKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/FuLWXS22,
author = {Huimin Fu and
Jun Liu and
Guanfeng Wu and
Yang Xu and
Geoff Sutcliffe},
title = {Improving probability selection based weights for satisfiability problems},
journal = {Knowl. Based Syst.},
volume = {245},
pages = {108572},
year = {2022},
url = {https://doi.org/10.1016/j.knosys.2022.108572},
doi = {10.1016/J.KNOSYS.2022.108572},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/FuLWXS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/SteenFGSB22,
author = {Alexander Steen and
David Fuenmayor and
Tobias Glei{\ss}ner and
Geoff Sutcliffe and
Christoph Benzm{\"{u}}ller},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Automated Reasoning in Non-classical Logics in the {TPTP} World},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/SteenFGSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09836,
author = {Alexander Steen and
David Fuenmayor and
Tobias Glei{\ss}ner and
Geoff Sutcliffe and
Christoph Benzm{\"{u}}ller},
title = {Automated Reasoning in Non-classical Logics in the {TPTP} World},
journal = {CoRR},
volume = {abs/2202.09836},
year = {2022},
url = {https://arxiv.org/abs/2202.09836},
eprinttype = {arXiv},
eprint = {2202.09836},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06879,
author = {Christoph Benzm{\"{u}}ller and
David Fuenmayor and
Alexander Steen and
Geoff Sutcliffe},
title = {Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious
Inference using Higher-order Automated Theorem Provers},
journal = {CoRR},
volume = {abs/2208.06879},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06879},
doi = {10.48550/ARXIV.2208.06879},
eprinttype = {arXiv},
eprint = {2208.06879},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-09570,
author = {Alexander Steen and
Geoff Sutcliffe and
Tobias Glei{\ss}ner and
Christoph Benzm{\"{u}}ller},
title = {Solving {QMLTP} Problems by Translation to Higher-order Logic},
journal = {CoRR},
volume = {abs/2212.09570},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.09570},
doi = {10.48550/ARXIV.2212.09570},
eprinttype = {arXiv},
eprint = {2212.09570},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe21,
author = {Geoff Sutcliffe},
title = {The 10th {IJCAR} automated theorem proving system competition - {CASC-J10}},
journal = {{AI} Commun.},
volume = {34},
number = {2},
pages = {163--177},
year = {2021},
url = {https://doi.org/10.3233/AIC-201566},
doi = {10.3233/AIC-201566},
timestamp = {Wed, 15 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SutcliffeD21,
author = {Geoff Sutcliffe and
Martin Desharnais},
title = {The {CADE-28} Automated Theorem Proving System Competition - {CASC-28}},
journal = {{AI} Commun.},
volume = {34},
number = {4},
pages = {259--276},
year = {2021},
url = {https://doi.org/10.3233/AIC-210235},
doi = {10.3233/AIC-210235},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SutcliffeD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcade/Sutcliffe21,
author = {Geoff Sutcliffe},
editor = {Martin Suda and
Sarah Winkler},
title = {The Expansion, Modernisation, and Future of the {TPTP} World},
booktitle = {Proceedings of the Third International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE
2021, Virtual Event, July 16, 2021},
pages = {1--12},
year = {2021},
url = {http://cl-informatik.uibk.ac.at/users/swinkler/arcade2021/pdfs/6.pdf},
timestamp = {Wed, 01 Feb 2023 13:48:25 +0100},
biburl = {https://dblp.org/rec/conf/arcade/Sutcliffe21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcade/SutcliffeP21,
author = {Geoff Sutcliffe and
David A. Plaisted},
editor = {Martin Suda and
Sarah Winkler},
title = {Management of the {TPTP} Problem Set},
booktitle = {Proceedings of the Third International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE
2021, Virtual Event, July 16, 2021},
pages = {1},
year = {2021},
url = {http://cl-informatik.uibk.ac.at/users/swinkler/arcade2021/pdfs/4.pdf},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arcade/SutcliffeP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/TammetS21,
author = {Tanel Tammet and
Geoff Sutcliffe},
title = {Combining {JSON-LD} with First Order Logic},
booktitle = {15th {IEEE} International Conference on Semantic Computing, {ICSC}
2021, Laguna Hills, CA, USA, January 27-29, 2021},
pages = {256--261},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSC50631.2021.00051},
doi = {10.1109/ICSC50631.2021.00051},
timestamp = {Wed, 10 Mar 2021 15:03:04 +0100},
biburl = {https://dblp.org/rec/conf/semco/TammetS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2021,
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5},
doi = {10.1007/978-3-030-79876-5},
isbn = {978-3-030-79875-8},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LiuWWS20,
author = {Qinghua Liu and
Zishi Wu and
Zihao Wang and
Geoff Sutcliffe},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Evaluation of Axiom Selection Techniques},
booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
pages = {63--75},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/LiuWWS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SaidyS0S20,
author = {Nahku Saidy and
Hanna Siegfried and
Stephan Schulz and
Geoff Sutcliffe},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Cutting Down the {TPTP} Language (And Others)},
booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
pages = {134--147},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/SaidyS0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2020,
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
year = {2020},
url = {https://easychair.org/publications/volume/GCAI\_2020},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15185,
author = {Huimin Fu and
Yang Xu and
Jun Liu and
Guanfeng Wu and
Geoff Sutcliffe},
title = {Improving probability selecting based weights for Satisfiability Problem},
journal = {CoRR},
volume = {abs/2007.15185},
year = {2020},
url = {https://arxiv.org/abs/2007.15185},
eprinttype = {arXiv},
eprint = {2007.15185},
timestamp = {Fri, 13 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe19,
author = {Geoff Sutcliffe},
title = {The {CADE-27} Automated theorem proving System Competition - {CASC-27}},
journal = {{AI} Commun.},
volume = {32},
number = {5-6},
pages = {373--389},
year = {2019},
url = {https://doi.org/10.3233/AIC-190627},
doi = {10.3233/AIC-190627},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownGKSU19,
author = {Chad E. Brown and
Thibault Gauthier and
Cezary Kaliszyk and
Geoff Sutcliffe and
Josef Urban},
editor = {Pascal Fontaine},
title = {{GRUNGE:} {A} Grand Unified {ATP} Challenge},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {123--141},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_8},
doi = {10.1007/978-3-030-29436-6\_8},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BrownGKSU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeP19,
author = {Geoff Sutcliffe and
Francis Jeffry Pelletier},
editor = {Pascal Fontaine},
title = {{JGXYZ:} An {ATP} System for Gap and Glut Logics},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {526--537},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_31},
doi = {10.1007/978-3-030-29436-6\_31},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciBBFGHHK19,
author = {Ezio Bartocci and
Dirk Beyer and
Paul E. Black and
Grigory Fedyukovich and
Hubert Garavel and
Arnd Hartmanns and
Marieke Huisman and
Fabrice Kordon and
Julian Nagele and
Mihaela Sighireanu and
Bernhard Steffen and
Martin Suda and
Geoff Sutcliffe and
Tjark Weber and
Akihisa Yamada},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {TOOLympics 2019: An Overview of Competitions in Formal Methods},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {3--24},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_1},
doi = {10.1007/978-3-030-17502-3\_1},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciBBFGHHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-02539,
author = {Chad E. Brown and
Thibault Gauthier and
Cezary Kaliszyk and
Geoff Sutcliffe and
Josef Urban},
title = {{GRUNGE:} {A} Grand Unified {ATP} Challenge},
journal = {CoRR},
volume = {abs/1903.02539},
year = {2019},
url = {http://arxiv.org/abs/1903.02539},
eprinttype = {arXiv},
eprint = {1903.02539},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-02539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe18,
author = {Geoff Sutcliffe},
title = {The 9th {IJCAR} Automated Theorem Proving System Competition - {CASC-J9}},
journal = {{AI} Commun.},
volume = {31},
number = {6},
pages = {495--507},
year = {2018},
url = {https://doi.org/10.3233/AIC-180773},
doi = {10.3233/AIC-180773},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeK18,
author = {Geoff Sutcliffe and
Evgenii Kotelnikov},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {{TFX:} The {TPTP} Extended Typed First-Order Form},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {72--87},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffePH18,
author = {Geoff Sutcliffe and
Francis Jeffry Pelletier and
Allen Hazen},
editor = {Keith Brawner and
Vasile Rus},
title = {Making Belnap's "Useful 4-Valued Logic" Useful},
booktitle = {Proceedings of the Thirty-First International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.}
May 21-23 2018},
pages = {116--121},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS18/paper/view/17599},
timestamp = {Wed, 26 Oct 2022 08:35:09 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffePH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018w,
editor = {Gilles Barthe and
Konstantin Korovin and
Stephan Schulz and
Martin Suda and
Geoff Sutcliffe and
Margus Veanes},
title = {{LPAR-22} Workshop and Short Paper Proceedings, Awassa, Ethiopia,
16-21 November 2018},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/LPAR-IWIL\_2018},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018,
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/LPAR-22},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe17,
author = {Geoff Sutcliffe},
title = {The {CADE-26} automated theorem proving system competition - {CASC-26}},
journal = {{AI} Commun.},
volume = {30},
number = {6},
pages = {419--432},
year = {2017},
url = {https://doi.org/10.3233/AIC-170744},
doi = {10.3233/AIC-170744},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Sutcliffe17,
author = {Geoff Sutcliffe},
title = {The {TPTP} Problem Library and Associated Infrastructure - From {CNF}
to TH0, {TPTP} v6.4.0},
journal = {J. Autom. Reason.},
volume = {59},
number = {4},
pages = {483--502},
year = {2017},
url = {https://doi.org/10.1007/s10817-017-9407-7},
doi = {10.1007/S10817-017-9407-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Sutcliffe17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001SUP17,
author = {Stephan Schulz and
Geoff Sutcliffe and
Josef Urban and
Adam Pease},
editor = {Leonardo de Moura},
title = {Detecting Inconsistencies in Large First-Order Knowledge Bases},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {310--325},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_19},
doi = {10.1007/978-3-319-63046-5\_19},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001SUP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffePH17,
author = {Geoff Sutcliffe and
Francis Jeffry Pelletier and
Allen P. Hazen},
editor = {Vasile Rus and
Zdravko Markov},
title = {Automated Reasoning for the Dialetheic Logic {RM3}},
booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,
USA, May 22-24, 2017},
pages = {110--115},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15415},
timestamp = {Wed, 26 Oct 2022 08:35:10 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffePH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017iwil,
editor = {Thomas Eiter and
David Sands and
Geoff Sutcliffe and
Andrei Voronkov},
title = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
May 7-12, 2017},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
year = {2017},
url = {https://easychair.org/publications/volume/LPAR-21S},
timestamp = {Thu, 19 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2017iwil.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SutcliffeU15,
author = {Geoff Sutcliffe and
Josef Urban},
title = {The {CADE-25} Automated Theorem Proving system competition - {CASC-25}},
journal = {{AI} Commun.},
volume = {29},
number = {3},
pages = {423--433},
year = {2016},
url = {https://doi.org/10.3233/AIC-150691},
doi = {10.3233/AIC-150691},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SutcliffeU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe16,
author = {Geoff Sutcliffe},
title = {The 8th {IJCAR} automated theorem proving system competition - {CASC-J8}},
journal = {{AI} Commun.},
volume = {29},
number = {5},
pages = {607--619},
year = {2016},
url = {https://doi.org/10.3233/AIC-160709},
doi = {10.3233/AIC-160709},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Sutcliffe16,
author = {Geoff Sutcliffe},
title = {The {CADE} {ATP} System Competition - {CASC}},
journal = {{AI} Mag.},
volume = {37},
number = {2},
pages = {99--101},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i2.2620},
doi = {10.1609/AIMAG.V37I2.2620},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Sutcliffe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaliszykSR16,
author = {Cezary Kaliszyk and
Geoff Sutcliffe and
Florian Rabe},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {{TH1:} The {TPTP} Typed Higher-Order Form with Rank-1 Polymorphism},
booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated
Reasoning co-located with International Joint Conference on Automated
Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1635},
pages = {41--55},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/KaliszykSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffeP16,
author = {Geoff Sutcliffe and
Francis Jeffry Pelletier},
editor = {Zdravko Markov and
Ingrid Russell},
title = {Hoping for the Truth - {A} Survey of the {TPTP} Logics},
booktitle = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2016, Key Largo, Florida, USA,
May 16-18, 2016},
pages = {110--115},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12722},
timestamp = {Wed, 26 Oct 2022 08:35:12 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffeP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2016,
editor = {Christoph Benzm{\"{u}}ller and
Geoff Sutcliffe and
Ra{\'{u}}l Rojas},
title = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
19 - October 2, 2016, Berlin, Germany},
series = {EPiC Series in Computing},
volume = {41},
publisher = {EasyChair},
year = {2016},
url = {https://easychair.org/publications/volume/GCAI\_2016},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe15,
author = {Geoff Sutcliffe},
title = {The 7th {IJCAR} automated theorem proving system competition - {CASC-J7}},
journal = {{AI} Commun.},
volume = {28},
number = {4},
pages = {683--692},
year = {2015},
url = {https://doi.org/10.3233/AIC-150668},
doi = {10.3233/AIC-150668},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe15,
author = {Geoff Sutcliffe},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Things You Can't do With a Vampire},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
pages = {8--28},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/x6b7},
doi = {10.29007/X6B7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ArhamiS15,
author = {Negin Arhami and
Geoff Sutcliffe},
editor = {Ansgar Fehnker and
Annabelle McIver and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Automated Theorem Proving by Translation to Description Logic},
booktitle = {20th International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
Fiji, November 24-28, 2015},
series = {EPiC Series in Computing},
volume = {35},
pages = {1--14},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/xgq9},
doi = {10.29007/XGQ9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ArhamiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sutcliffe015,
author = {Geoff Sutcliffe and
Stephan Schulz},
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {The Thousands of Models for Theorem Provers {(TMTP)} Model Library
- First Steps},
booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
pages = {106--121},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/7dg5},
doi = {10.29007/7DG5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sutcliffe015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2015,
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
publisher = {EasyChair},
year = {2015},
url = {https://easychair.org/publications/volume/GCAI\_2015},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015s,
editor = {Ansgar Fehnker and
Annabelle McIver and
Geoff Sutcliffe and
Andrei Voronkov},
title = {20th International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
Fiji, November 24-28, 2015},
series = {EPiC Series in Computing},
volume = {35},
publisher = {EasyChair},
year = {2015},
url = {https://easychair.org/publications/volume/LPAR-20},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2015s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe14,
author = {Geoff Sutcliffe},
title = {The {CADE-24} automated theorem proving system competition - {CASC-24}},
journal = {{AI} Commun.},
volume = {27},
number = {4},
pages = {405--416},
year = {2014},
url = {https://doi.org/10.3233/AIC-140606},
doi = {10.3233/AIC-140606},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ArhamiS14,
author = {Negin Arhami and
Geoff Sutcliffe},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {The Efficiency of Automated Theorem Proving by Translation to Less
Expressive Logics},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {2--11},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/kvb1},
doi = {10.29007/KVB1},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/ArhamiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NassarS14,
author = {Muhammad Nassar and
Geoff Sutcliffe},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Automated Theorem Proving using the {TPTP} Process Instruction Language},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {67--75},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/f997},
doi = {10.29007/F997},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NassarS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StumpST14,
author = {Aaron Stump and
Geoff Sutcliffe and
Cesare Tinelli},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {StarExec: {A} Cross-Community Infrastructure for Logic Solving},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {367--373},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_28},
doi = {10.1007/978-3-319-08587-6\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/StumpST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013s,
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Geoff Sutcliffe and
Andrei Voronkov},
title = {{LPAR} 2013, 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
South Africa, Short papers proceedings},
series = {EPiC Series in Computing},
volume = {26},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/LPAR-19},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2013s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe13,
author = {Geoff Sutcliffe},
title = {The 6th {IJCAR} automated theorem proving system competition - {CASC-J6}},
journal = {{AI} Commun.},
volume = {26},
number = {2},
pages = {211--223},
year = {2013},
url = {https://doi.org/10.3233/AIC-130550},
doi = {10.3233/AIC-130550},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/UrbanRS13,
author = {Josef Urban and
Piotr Rudnicki and
Geoff Sutcliffe},
title = {{ATP} and Presentation Service for Mizar Formalizations},
journal = {J. Autom. Reason.},
volume = {50},
number = {2},
pages = {229--241},
year = {2013},
url = {https://doi.org/10.1007/s10817-012-9269-y},
doi = {10.1007/S10817-012-9269-Y},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/UrbanRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/SchneiderRS13,
author = {Michael Schneider and
Sebastian Rudolph and
Geoff Sutcliffe},
editor = {Mariano Rodriguez{-}Muro and
Simon Jupp and
Kavitha Srinivas},
title = {Modeling in {OWL} 2 without Restrictions},
booktitle = {Proceedings of the 10th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2013) co-located with 10th Extended Semantic
Web Conference {(ESWC} 2013), Montpellier, France, May 26-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1080},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1080/owled2013\_14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/SchneiderRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010ys,
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/LPAR-17-short},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2010ys.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe12,
author = {Geoff Sutcliffe},
title = {The {CADE-23} Automated Theorem Proving System Competition - {CASC-23}},
journal = {{AI} Commun.},
volume = {25},
number = {1},
pages = {49--63},
year = {2012},
url = {https://doi.org/10.3233/AIC-2012-0512},
doi = {10.3233/AIC-2012-0512},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StumpST12,
author = {Aaron Stump and
Geoff Sutcliffe and
Cesare Tinelli},
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Introducing StarExec: a Cross-Community Infrastructure for Logic Solving},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
pages = {2},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873/papers/inv\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/StumpST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/CarpenterOS12,
author = {Cameron Carpenter and
Leticia Osterberg and
Geoff Sutcliffe},
editor = {G. Michael Youngblood and
Philip M. McCarthy},
title = {{SAMHT} - Suicidal Avatars for Mental Health Training},
booktitle = {Proceedings of the Twenty-Fifth International Florida Artificial Intelligence
Research Society Conference, Marco Island, Florida, USA, May 23-25,
2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4373},
timestamp = {Wed, 26 Oct 2022 08:35:17 +0200},
biburl = {https://dblp.org/rec/conf/flairs/CarpenterOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SutcliffeSCB12,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Peter Baumgartner},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {The {TPTP} Typed First-Order Form with Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {406--419},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_32},
doi = {10.1007/978-3-642-28717-6\_32},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SutcliffeSCB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010emsqms,
editor = {Aaron Stump and
Geoff Sutcliffe and
Cesare Tinelli},
title = {Workshop on Evaluation Methods for Solvers, and Quality Metrics for
Solutions, {EMSQMS} 2010, Edinburgh, UK, July 20, 2010},
series = {EPiC Series in Computing},
volume = {6},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/EMSQMS\_2010},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2010emsqms.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012casc,
editor = {Geoff Sutcliffe},
title = {The 6th {IJCAR} {ATP} System Competition, CASC-J6, June 28, 2012,
Manchester, {UK}},
series = {EPiC Series in Computing},
volume = {11},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/CASC-J6},
doi = {10.29007/LVCC},
timestamp = {Sat, 14 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2012casc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012compare,
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873},
urn = {urn:nbn:de:0074-873-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2012compare.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010iwil,
editor = {Geoff Sutcliffe and
Stephan Schulz and
Eugenia Ternovska},
title = {The 8th International Workshop on the Implementation of Logics, {IWIL}
2010, Yogyakarta, Indonesia, October 9, 2011},
series = {EPiC Series in Computing},
volume = {2},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/IWIL\_2010},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2010iwil.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-2902,
author = {Michael Schneider and
Sebastian Rudolph and
Geoff Sutcliffe},
title = {Modeling in {OWL} 2 without Restrictions},
journal = {CoRR},
volume = {abs/1212.2902},
year = {2012},
url = {http://arxiv.org/abs/1212.2902},
eprinttype = {arXiv},
eprint = {1212.2902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-2902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe11,
author = {Geoff Sutcliffe},
title = {The 5th {IJCAR} automated theorem proving system competition - {CASC-J5}},
journal = {{AI} Commun.},
volume = {24},
number = {1},
pages = {75--89},
year = {2011},
url = {https://doi.org/10.3233/AIC-2010-0483},
doi = {10.3233/AIC-2010-0483},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchneiderS11,
author = {Michael Schneider and
Geoff Sutcliffe},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Reasoning in the {OWL} 2 Full Ontology Language Using First-Order
Automated Theorem Proving},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {461--475},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_35},
doi = {10.1007/978-3-642-22438-6\_35},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchneiderS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/CarpenterS11,
author = {Cameron Carpenter and
Geoff Sutcliffe},
editor = {R. Charles Murray and
Philip M. McCarthy},
title = {Sporcle Goes {AI}},
booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial
Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
Florida, {USA}},
publisher = {{AAAI} Press},
year = {2011},
url = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2507},
timestamp = {Wed, 26 Oct 2022 08:35:19 +0200},
biburl = {https://dblp.org/rec/conf/flairs/CarpenterS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/SutcliffeCMLDS11,
author = {Geoff Sutcliffe and
Cynthia Chang and
Deborah L. McGuinness and
Timothy Lebo and
Li Ding and
Paulo Pinheiro da Silva},
editor = {Pascal Fontaine and
Aaron Stump},
title = {Combining Proofs to form Different Proofs},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem
Proving, Wroc{\l}aw, Poland, August 1, 2011},
pages = {60--73},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf\#page=64},
timestamp = {Thu, 25 Nov 2021 17:51:05 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/SutcliffeCMLDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-0155,
author = {Michael Schneider and
Geoff Sutcliffe},
title = {Reasoning in the {OWL} 2 Full Ontology Language using First-Order
Automated Theorem Proving},
journal = {CoRR},
volume = {abs/1108.0155},
year = {2011},
url = {http://arxiv.org/abs/1108.0155},
eprinttype = {arXiv},
eprint = {1108.0155},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-0616,
author = {Josef Urban and
Piotr Rudnicki and
Geoff Sutcliffe},
title = {{ATP} and Presentation Service for Mizar Formalizations},
journal = {CoRR},
volume = {abs/1109.0616},
year = {2011},
url = {http://arxiv.org/abs/1109.0616},
eprinttype = {arXiv},
eprint = {1109.0616},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe10,
author = {Geoff Sutcliffe},
title = {The {CADE-22} automated theorem proving system competition - {CASC-22}},
journal = {{AI} Commun.},
volume = {23},
number = {1},
pages = {47--59},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0469},
doi = {10.3233/AIC-2010-0469},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PeaseSST10,
author = {Adam Pease and
Geoff Sutcliffe and
Nick Siegel and
Steven Trac},
title = {Large theory reasoning with {SUMO} at {CASC}},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {137--144},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0466},
doi = {10.3233/AIC-2010-0466},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PeaseSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/SutcliffeB10,
author = {Geoff Sutcliffe and
Christoph Benzm{\"{u}}ller},
title = {Automated Reasoning in Higher-Order Logic using the {TPTP} {THF} Infrastructure},
journal = {J. Formaliz. Reason.},
volume = {3},
number = {1},
pages = {1--27},
year = {2010},
url = {https://doi.org/10.6092/issn.1972-5787/1710},
doi = {10.6092/ISSN.1972-5787/1710},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/SutcliffeB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/UrbanS10,
author = {Josef Urban and
Geoff Sutcliffe},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {Automated Reasoning and Presentation Support for Formalizing Mathematics
in Mizar},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {132--146},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_12},
doi = {10.1007/978-3-642-14128-7\_12},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/UrbanS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeCDMS10,
author = {Geoff Sutcliffe and
Cynthia Chang and
Li Ding and
Deborah L. McGuinness and
Paulo Pinheiro da Silva},
editor = {Aaron Stump and
Geoff Sutcliffe and
Cesare Tinelli},
title = {Different Proofs are Good Proofs},
booktitle = {Workshop on Evaluation Methods for Solvers, and Quality Metrics for
Solutions, {EMSQMS} 2010, Edinburgh, UK, July 20, 2010},
series = {EPiC Series in Computing},
volume = {6},
pages = {42--51},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/kwk9},
doi = {10.29007/KWK9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeCDMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffeSTDM10,
author = {Geoff Sutcliffe and
Martin Suda and
Alexandra Teyssandier and
Nelson Dellis and
Gerard de Melo},
editor = {Hans W. Guesgen and
R. Charles Murray},
title = {Progress Towards Effective Automated Reasoning with World Knowledge},
booktitle = {Proceedings of the Twenty-Third International Florida Artificial Intelligence
Research Society Conference, May 19-21, 2010, Daytona Beach, Florida,
{USA}},
publisher = {{AAAI} Press},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/2010/paper/view/1236},
timestamp = {Wed, 26 Oct 2022 08:35:20 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffeSTDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sutcliffe10,
author = {Geoff Sutcliffe},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {The {TPTP} World - Infrastructure for Automated Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {1--12},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_1},
doi = {10.1007/978-3-642-17511-4\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sutcliffe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4592,
author = {Josef Urban and
Geoff Sutcliffe},
title = {Automated Reasoning and Presentation Support for Formalizing Mathematics
in Mizar},
journal = {CoRR},
volume = {abs/1005.4592},
year = {2010},
url = {http://arxiv.org/abs/1005.4592},
eprinttype = {arXiv},
eprint = {1005.4592},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe09,
author = {Geoff Sutcliffe},
title = {The 4th {IJCAR} Automated Theorem Proving System Competition - {CASC-J4}},
journal = {{AI} Commun.},
volume = {22},
number = {1},
pages = {59--72},
year = {2009},
url = {https://doi.org/10.3233/AIC-2009-0441},
doi = {10.3233/AIC-2009-0441},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HofnerSS09,
author = {Peter H{\"{o}}fner and
Georg Struth and
Geoff Sutcliffe},
title = {Automated verification of refinement laws},
journal = {Ann. Math. Artif. Intell.},
volume = {55},
number = {1-2},
pages = {35--62},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9151-8},
doi = {10.1007/S10472-009-9151-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HofnerSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SchmidtSS09,
author = {Renate A. Schmidt and
Geoff Sutcliffe and
Stephan Schulz},
title = {Empirically successful computerized reasoning},
journal = {J. Appl. Log.},
volume = {7},
number = {1},
pages = {1},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2007.07.001},
doi = {10.1016/J.JAL.2007.07.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/SchmidtSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/RabePSS09,
author = {Florian Rabe and
Petr Pudl{\'{a}}k and
Geoff Sutcliffe and
Weina Shen},
title = {Solving the {\textdollar}100 modal logic challenge},
journal = {J. Appl. Log.},
volume = {7},
number = {1},
pages = {113--130},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2007.07.007},
doi = {10.1016/J.JAL.2007.07.007},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/RabePSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Sutcliffe09,
author = {Geoff Sutcliffe},
title = {The {TPTP} Problem Library and Associated Infrastructure},
journal = {J. Autom. Reason.},
volume = {43},
number = {4},
pages = {337--362},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9143-8},
doi = {10.1007/S10817-009-9143-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Sutcliffe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeBBT09,
author = {Geoff Sutcliffe and
Christoph Benzm{\"{u}}ller and
Chad E. Brown and
Frank Theiss},
editor = {Renate A. Schmidt},
title = {Progress in the Development of Automated Theorem Proving for Higher-Order
Logic},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {116--130},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_8},
doi = {10.1007/978-3-642-02959-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeBBT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RoedererPS09,
author = {Alex Roederer and
Yury Puzis and
Geoff Sutcliffe},
editor = {Renate A. Schmidt},
title = {Divvy: An {ATP} Meta-system Based on Axiom Relevance Ordering},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {157--162},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_13},
doi = {10.1007/978-3-642-02959-2\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/RoedererPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffeYT09,
author = {Geoff Sutcliffe and
Aparna Yerikalapudi and
Steven Trac},
editor = {H. Chad Lane and
Hans W. Guesgen},
title = {Multiple Answer Extraction for Question Answering with Automated Theorem
Proving Systems},
booktitle = {Proceedings of the Twenty-Second International Florida Artificial
Intelligence Research Society Conference, May 19-21, 2009, Sanibel
Island, Florida, {USA}},
publisher = {{AAAI} Press},
year = {2009},
url = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/12},
timestamp = {Wed, 26 Oct 2022 08:35:22 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffeYT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SudaSWLM09,
author = {Martin Suda and
Geoff Sutcliffe and
Patrick Wischnewski and
Manuel Lamotte{-}Schubert and
Gerard de Melo},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {External Sources of Axioms in Automated Theorem Proving},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {281--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_36},
doi = {10.1007/978-3-642-04617-9\_36},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/SudaSWLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe08,
author = {Geoff Sutcliffe},
title = {The {CADE-21} automated theorem proving system competition},
journal = {{AI} Commun.},
volume = {21},
number = {1},
pages = {71--81},
year = {2008},
url = {http://content.iospress.com/articles/ai-communications/aic423},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/UrbanS08,
author = {Josef Urban and
Geoff Sutcliffe},
title = {ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and
First Experiments},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {231--251},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0053-7},
doi = {10.1007/S11786-008-0053-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/UrbanS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe08,
author = {Geoff Sutcliffe},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {{CASC-J4} The 4th {IJCAR} {ATP} System Competition},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {457--458},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_38},
doi = {10.1007/978-3-540-71070-7\_38},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerRS08,
author = {Christoph Benzm{\"{u}}ller and
Florian Rabe and
Geoff Sutcliffe},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {{THF0} - The Core of the {TPTP} Language for Higher-Order Logic},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {491--506},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_41},
doi = {10.1007/978-3-540-71070-7\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerRSS08,
author = {Christoph Benzm{\"{u}}ller and
Florian Rabe and
Carsten Sch{\"{u}}rmann and
Geoff Sutcliffe},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Evaluation of Systems for Higher-order Logic {(ESHOL)}},
booktitle = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373/invited-4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseSST08,
author = {Adam Pease and
Geoff Sutcliffe and
Nick Siegel and
Steven Trac},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {The Annual {SUMO} Reasoning Prizes at {CASC}},
booktitle = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/PeaseSST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SilvaSCDRM08,
author = {Paulo Pinheiro da Silva and
Geoff Sutcliffe and
Cynthia Chang and
Li Ding and
Nicholas Del Rio and
Deborah L. McGuinness},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Presenting {TSTP} Proofs with Inference Web Tools},
booktitle = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/SilvaSCDRM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TracSP08,
author = {Steven Trac and
Geoff Sutcliffe and
Adam Pease},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Integration of the TPTPWorld into SigmaKEE},
booktitle = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TracSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/UrbanSPV08,
author = {Josef Urban and
Geoff Sutcliffe and
Petr Pudl{\'{a}}k and
Jir{\'{\i}} Vyskocil},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {MaLARea {SG1-} Machine Learner for Automated Reasoning with Semantic
Guidance},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {441--456},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_37},
doi = {10.1007/978-3-540-71070-7\_37},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/UrbanSPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sutcliffe08,
author = {Geoff Sutcliffe},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {The {SZS} Ontologies for Automated Reasoning Software},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Sutcliffe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008w,
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418},
urn = {urn:nbn:de:0074-418-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2008w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe07,
author = {Geoff Sutcliffe},
title = {The 3rd {IJCAR} Automated Theorem Proving Competition},
journal = {{AI} Commun.},
volume = {20},
number = {2},
pages = {117--126},
year = {2007},
url = {http://content.iospress.com/articles/ai-communications/aic388},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseS07,
author = {Adam Pease and
Geoff Sutcliffe},
editor = {Geoff Sutcliffe and
Josef Urban and
Stephan Schulz},
title = {First Order Reasoning on a Large Ontology},
booktitle = {Proceedings of the {CADE-21} Workshop on Empirically Successful Automated
Reasoning in Large Theories, Bremen, Germany, 17th July 2007},
series = {{CEUR} Workshop Proceedings},
volume = {257},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-257/07\_Pease.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/PeaseS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeP07,
author = {Geoff Sutcliffe and
Yury Puzis},
editor = {Frank Pfenning},
title = {{SRASS} - {A} Semantic Relevance Axiom Selection System},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {295--310},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_20},
doi = {10.1007/978-3-540-73595-3\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Sutcliffe07,
author = {Geoff Sutcliffe},
editor = {Volker Diekert and
Mikhail V. Volkov and
Andrei Voronkov},
title = {TPTP, TSTP, CASC, etc},
booktitle = {Computer Science - Theory and Applications, Second International Symposium
on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4649},
pages = {6--22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74510-5\_4},
doi = {10.1007/978-3-540-74510-5\_4},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/csr/Sutcliffe07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/UrbanS07,
author = {Josef Urban and
Geoff Sutcliffe},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {{ATP} Cross-Verification of the Mizar {MPTP} Challenge Problems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {546--560},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_39},
doi = {10.1007/978-3-540-75560-9\_39},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/UrbanS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007esarlt,
editor = {Geoff Sutcliffe and
Josef Urban and
Stephan Schulz},
title = {Proceedings of the {CADE-21} Workshop on Empirically Successful Automated
Reasoning in Large Theories, Bremen, Germany, 17th July 2007},
series = {{CEUR} Workshop Proceedings},
volume = {257},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-257},
urn = {urn:nbn:de:0074-257-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2007esarlt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2007,
editor = {David Wilson and
Geoff Sutcliffe},
title = {Proceedings of the Twentieth International Florida Artificial Intelligence
Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
publisher = {{AAAI} Press},
year = {2007},
isbn = {978-1-57735-319-5},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SutcliffeS06,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The state of {CASC}},
journal = {{AI} Commun.},
volume = {19},
number = {1},
pages = {35--48},
year = {2006},
url = {http://content.iospress.com/articles/ai-communications/aic359},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SutcliffeS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe06,
author = {Geoff Sutcliffe},
title = {The {CADE-20} Automated Theorem Proving Competition},
journal = {{AI} Commun.},
volume = {19},
number = {2},
pages = {173--181},
year = {2006},
url = {http://content.iospress.com/articles/ai-communications/aic370},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Sutcliffe06,
author = {Geoff Sutcliffe},
title = {Report on the Nineteenth International {FLAIRS} Conference},
journal = {{AI} Mag.},
volume = {27},
number = {4},
pages = {111--112},
year = {2006},
url = {https://doi.org/10.1609/aimag.v27i4.1914},
doi = {10.1609/AIMAG.V27I4.1914},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Sutcliffe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/SchulzST06,
author = {Stephan Schulz and
Geoff Sutcliffe and
Tanel Tammet},
title = {Preface},
journal = {Int. J. Artif. Intell. Tools},
volume = {15},
number = {1},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1142/S0218213006002539},
doi = {10.1142/S0218213006002539},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/SchulzST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Sutcliffe06,
author = {Geoff Sutcliffe},
title = {Semantic Derivation Verification: Techniques and Implementation},
journal = {Int. J. Artif. Intell. Tools},
volume = {15},
number = {6},
pages = {1053--1070},
year = {2006},
url = {https://doi.org/10.1142/S0218213006003119},
doi = {10.1142/S0218213006003119},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/Sutcliffe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FischerSS06,
author = {Bernd Fischer and
Geoff Sutcliffe and
Stephan Schulz},
title = {Empirically Successful Automated Reasoning: Systems Issue},
journal = {J. Autom. Reason.},
volume = {36},
number = {4},
pages = {287},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9059-5},
doi = {10.1007/S10817-006-9059-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FischerSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FischerSS06a,
author = {Bernd Fischer and
Geoff Sutcliffe and
Stephan Schulz},
title = {Empirically Successful Automated Reasoning: Applications Issue},
journal = {J. Autom. Reason.},
volume = {37},
number = {1-2},
pages = {1},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9056-8},
doi = {10.1007/S10817-006-9056-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FischerSS06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeSCG06,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Allen Van Gelder},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Using the {TPTP} Language for Writing Derivations and Finite Interpretations},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {67--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_7},
doi = {10.1007/11814771\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeSCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GelderS06,
author = {Allen Van Gelder and
Geoff Sutcliffe},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Extending the {TPTP} Language to Higher-Order Logic with Automated
Parser Generation},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {156--161},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_15},
doi = {10.1007/11814771\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GelderS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe06,
author = {Geoff Sutcliffe},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {{CASC-J3} - The 3rd {IJCAR} {ATP} System Competition},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {572--573},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_46},
doi = {10.1007/11814771\_46},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/PuzisGS06,
author = {Yury Puzis and
Yi Gao and
Geoff Sutcliffe},
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {Automated Generation of Interesting Theorems},
booktitle = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
pages = {49--54},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-009.php},
timestamp = {Wed, 26 Oct 2022 08:35:26 +0200},
biburl = {https://dblp.org/rec/conf/flairs/PuzisGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TracPS07,
author = {Steven Trac and
Yury Puzis and
Geoff Sutcliffe},
editor = {Serge Autexier and
Christoph Benzm{\"{u}}ller},
title = {An Interactive Derivation Viewer},
booktitle = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {2},
pages = {109--123},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.025},
doi = {10.1016/J.ENTCS.2006.09.025},
timestamp = {Fri, 27 Jan 2023 11:44:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TracPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2006,
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
publisher = {{AAAI} Press},
year = {2006},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Sutcliffe05,
author = {Geoff Sutcliffe},
title = {The {IJCAR-2004} Automated Theorem Proving Competition},
journal = {{AI} Commun.},
volume = {18},
number = {1},
pages = {33--40},
year = {2005},
url = {http://content.iospress.com/articles/ai-communications/aic333},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Sutcliffe05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffeB05,
author = {Geoff Sutcliffe and
Diego Belfiore},
editor = {Ingrid Russell and
Zdravko Markov},
title = {Semantic Derivation Verification},
booktitle = {Proceedings of the Eighteenth International Florida Artificial Intelligence
Research Society Conference, Clearwater Beach, Florida, {USA}},
pages = {641--646},
publisher = {{AAAI} Press},
year = {2005},
url = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-105.php},
timestamp = {Wed, 26 Oct 2022 08:35:28 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffeB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/MuellerS05,
author = {Erik T. Mueller and
Geoff Sutcliffe},
editor = {Ingrid Russell and
Zdravko Markov},
title = {Reasoning in the Event Calculus Using First-Order Automated Theorem
Proving},
booktitle = {Proceedings of the Eighteenth International Florida Artificial Intelligence
Research Society Conference, Clearwater Beach, Florida, {USA}},
pages = {840--841},
publisher = {{AAAI} Press},
year = {2005},
url = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-149.php},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/MuellerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2005,
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191},
doi = {10.1007/11591191},
isbn = {3-540-30553-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SutcliffeS04,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-19} {ATP} System Competition},
journal = {{AI} Commun.},
volume = {17},
number = {3},
pages = {103--110},
year = {2004},
url = {http://content.iospress.com/articles/ai-communications/aic312},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/SutcliffeS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeS04,
author = {Geoff Sutcliffe and
Christian B. Suttner},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {The {CADE} {ATP} System Competition},
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 = {490--491},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_36},
doi = {10.1007/978-3-540-25984-8\_36},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS03,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-18} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {31},
number = {1},
pages = {23--32},
year = {2003},
url = {https://doi.org/10.1023/A:1027302123309},
doi = {10.1023/A:1027302123309},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeS03,
author = {Geoff Sutcliffe and
Christian B. Suttner},
editor = {Franz Baader},
title = {The {CADE-19} {ATP} System Competition},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {295--296},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_25},
doi = {10.1007/978-3-540-45085-6\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffeD03,
author = {Geoff Sutcliffe and
Alexander Dvorsk{\'{y}}},
editor = {Ingrid Russell and
Susan M. Haller},
title = {Proving Harder Theorems by Axiom Reduction},
booktitle = {Proceedings of the Sixteenth International Florida Artificial Intelligence
Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
{USA}},
pages = {108--113},
publisher = {{AAAI} Press},
year = {2003},
url = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-022.php},
timestamp = {Wed, 26 Oct 2022 08:35:31 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffeD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/PelletierSS02,
author = {Francis Jeffry Pelletier and
Geoff Sutcliffe and
Christian B. Suttner},
title = {The development of {CASC}},
journal = {{AI} Commun.},
volume = {15},
number = {2-3},
pages = {79--90},
year = {2002},
url = {http://content.iospress.com/articles/ai-communications/aic258},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/PelletierSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Sutcliffe02,
author = {Geoff Sutcliffe},
title = {Automated Theorem Proving: {A} Review},
journal = {{AI} Mag.},
volume = {23},
number = {1},
pages = {121--122},
year = {2002},
url = {https://doi.org/10.1609/aimag.v23i1.1617},
doi = {10.1609/AIMAG.V23I1.1617},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Sutcliffe02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeSP02,
author = {Geoff Sutcliffe and
Christian B. Suttner and
Francis Jeffry Pelletier},
title = {The {IJCAR} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {28},
number = {3},
pages = {307--320},
year = {2002},
url = {https://doi.org/10.1023/A:1015736313131},
doi = {10.1023/A:1015736313131},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeSP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchulzS02,
author = {Stephan Schulz and
Geoff Sutcliffe},
editor = {Andrei Voronkov},
title = {System Description: GrAnDe 1.0},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {280--284},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_23},
doi = {10.1007/3-540-45620-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchulzS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/FuchsS02,
author = {Matthias Fuchs and
Geoff Sutcliffe},
editor = {Susan M. Haller and
Gene Simmons},
title = {Homogeneous Sets of {ATP} Problems},
booktitle = {Proceedings of the Fifteenth International Florida Artificial Intelligence
Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida,
{USA}},
pages = {57--61},
publisher = {{AAAI} Press},
year = {2002},
url = {http://www.aaai.org/Library/FLAIRS/2002/flairs02-012.php},
timestamp = {Wed, 26 Oct 2022 08:35:33 +0200},
biburl = {https://dblp.org/rec/conf/flairs/FuchsS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ColtonS02,
author = {Simon Colton and
Geoff Sutcliffe},
title = {Automatic Generation of Benchmark Problems for Automated Theorem Proving
Systems},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
year = {2002},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath02/PAPERS/6.ps},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ColtonS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SutcliffeS01,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {Evaluating general purpose automated theorem proving systems},
journal = {Artif. Intell.},
volume = {131},
number = {1-2},
pages = {39--54},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(01)00113-8},
doi = {10.1016/S0004-3702(01)00113-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SutcliffeS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Sutcliffe01,
author = {Geoff Sutcliffe},
title = {The {CADE-17} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {27},
number = {3},
pages = {227--250},
year = {2001},
url = {https://doi.org/10.1023/A:1017517027537},
doi = {10.1023/A:1017517027537},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Sutcliffe01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Sutcliffe00,
author = {Geoff Sutcliffe},
title = {The {CADE-16} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {24},
number = {3},
pages = {371--396},
year = {2000},
url = {https://doi.org/10.1023/A:1006393501098},
doi = {10.1023/A:1006393501098},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Sutcliffe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe00,
author = {Geoff Sutcliffe},
editor = {David A. McAllester},
title = {System Description: SystemOn {TPTP}},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {406--410},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_31},
doi = {10.1007/10721959\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownS00,
author = {Marianne Brown and
Geoff Sutcliffe},
editor = {David A. McAllester},
title = {System Description: PTTP+GLiDes: Semantically Guided {PTTP}},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {411--416},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_32},
doi = {10.1007/10721959\_32},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrownS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS99,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-15} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {23},
number = {1},
pages = {1--23},
year = {1999},
url = {https://doi.org/10.1023/A:1006285423991},
doi = {10.1023/A:1006285423991},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BrownS99,
author = {Marianne Brown and
Geoff Sutcliffe},
editor = {Norman Y. Foo},
title = {PTTP+GLiDeS: Guiding Linear Deductions with Semantics},
booktitle = {Advanced Topics in Artificial Intelligence, 12th Australian Joint
Conference on Artificial Intelligence, {AI} '99, Sydney, Australia,
December 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1747},
pages = {244--254},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46695-9\_21},
doi = {10.1007/3-540-46695-9\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/BrownS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SutcliffeS99,
author = {Geoff Sutcliffe and
Darryl Seyfang},
editor = {Amruth N. Kumar and
Ingrid Russell},
title = {Smart Selective Competition Parallelism {ATP}},
booktitle = {Proceedings of the Twelfth International Florida Artificial Intelligence
Research Society Conference, May 1-5, 1999, Orlando, Florida, {USA}},
pages = {341--345},
publisher = {{AAAI} Press},
year = {1999},
url = {http://www.aaai.org/Library/FLAIRS/1999/flairs99-061.php},
timestamp = {Wed, 26 Oct 2022 08:35:36 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SutcliffeS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SuttnerS98,
author = {Christian B. Suttner and
Geoff Sutcliffe},
title = {The {CADE-14} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {21},
number = {1},
pages = {99--134},
year = {1998},
url = {https://doi.org/10.1023/A:1006006930186},
doi = {10.1023/A:1006006930186},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SuttnerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS98,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {TPTP} Problem Library - {CNF} Release v1.2.1},
journal = {J. Autom. Reason.},
volume = {21},
number = {2},
pages = {177--203},
year = {1998},
url = {https://doi.org/10.1023/A:1005806324129},
doi = {10.1023/A:1005806324129},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PelletierS97,
author = {Francis Jeffry Pelletier and
Geoff Sutcliffe},
title = {An Erratum for Some Errata to {ATP} Problems},
journal = {J. Autom. Reason.},
volume = {18},
number = {1},
pages = {135},
year = {1997},
url = {https://doi.org/10.1023/A:1005764705033},
doi = {10.1023/A:1005764705033},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PelletierS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {137--138},
year = {1997},
url = {https://doi.org/10.1023/A:1005839515219},
doi = {10.1023/A:1005839515219},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97a,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Design of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {139--162},
year = {1997},
url = {https://doi.org/10.1023/A:1005802523220},
doi = {10.1023/A:1005802523220},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97b,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Procedures of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {163--169},
year = {1997},
url = {https://doi.org/10.1023/A:1005858625038},
doi = {10.1023/A:1005858625038},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SutcliffeS97c,
author = {Geoff Sutcliffe and
Christian B. Suttner},
title = {The Results - of the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {271--286},
year = {1997},
url = {https://doi.org/10.1023/A:1005824522737},
doi = {10.1023/A:1005824522737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SutcliffeS97c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PelletierSS97,
author = {Francis Jeffry Pelletier and
Geoff Sutcliffe and
Christian B. Suttner},
title = {Conclusions about the {CADE-13} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {287--296},
year = {1997},
url = {https://doi.org/10.1023/A:1005876506808},
doi = {10.1023/A:1005876506808},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PelletierSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SuttnerS96,
author = {Christian B. Suttner and
Geoff Sutcliffe},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {The Design of the {CADE-13} {ATP} System Competition},
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 = {146--160},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_76},
doi = {10.1007/3-540-61511-3\_76},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SuttnerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/MelvilleSF96,
author = {Stuart Melville and
Geoff Sutcliffe and
David Fraser},
editor = {Norman Y. Foo and
Randy Goebel},
title = {Using Artificial Neural Networks for Meteor-Burst Communications Trail
Prediction},
booktitle = {PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International
Conference on Artificial Intelligence, Cairns, Australia, August 26-30,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1114},
pages = {423--434},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61532-6\_36},
doi = {10.1007/3-540-61532-6\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pricai/MelvilleSF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeSY94,
author = {Geoff Sutcliffe and
Christian B. Suttner and
Theodor Yemenis},
editor = {Alan Bundy},
title = {The {TPTP} Problem Library},
booktitle = {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},
pages = {252--266},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_18},
doi = {10.1007/3-540-58156-1\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mva/SharpeAS94,
author = {Michael Sharpe and
Nizam Ahmed and
Geoff Sutcliffe},
title = {An Intelligent Document Understanding {\&} Reproduction System},
booktitle = {Proceedings of {IAPR} Workshop on Machine Vision Applications, {MVA}
1994, December 13-15, 1994, Kawasaki, Japan},
pages = {267--271},
year = {1994},
url = {http://b2.cvl.iis.u-tokyo.ac.jp/mva/proceedings/CommemorativeDVD/1994/papers/1994267.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mva/SharpeAS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Sutcliffe93,
author = {Geoff Sutcliffe},
editor = {Koen De Bosschere and
Jean{-}Marie Jacquet and
Paul Tarau},
title = {Prolog-D-Linda v2: {A} New Embedding of Linda in SICStus Prolog},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based
Logic Programming, Budapest, Hungary, June 24, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Sutcliffe93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sutcliffe93,
author = {Geoff Sutcliffe},
editor = {Andrei Voronkov},
title = {A Comparison of Mechanisms for Avoiding Repetition of Subdeductions
in Chain Formal Linear Deduction Systems},
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 = {321--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56944-8\_64},
doi = {10.1007/3-540-56944-8\_64},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sutcliffe93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/FKI-184-93,
author = {Christian B. Suttner and
Geoff Sutcliffe and
Theodor Yemenis},
title = {The {TPTP} problem library},
journal = {Forschungsberichte, {TU} Munich},
volume = {{FKI} 184 93},
pages = {1--102},
year = {1993},
url = {https://d-nb.info/941554627},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/FKI-184-93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe92,
author = {Geoff Sutcliffe},
editor = {Deepak Kapur},
title = {Linear-Input Subset Analysis},
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 = {268--280},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_171},
doi = {10.1007/3-540-55602-8\_171},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe92a,
author = {Geoff Sutcliffe},
editor = {Deepak Kapur},
title = {The Semantically Guided Linear Deduction System},
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 = {677--680},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_202},
doi = {10.1007/3-540-55602-8\_202},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Sutcliffe91,
author = {Geoff Sutcliffe},
title = {Compulsory Reduction in Linear Derivation Systems},
journal = {Artif. Intell.},
volume = {50},
number = {1},
pages = {131--132},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90095-2},
doi = {10.1016/0004-3702(91)90095-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Sutcliffe91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Sutcliffe90,
author = {Geoff Sutcliffe},
editor = {Mark E. Stickel},
title = {A General Clause Theorem Prover},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {675--676},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_137},
doi = {10.1007/3-540-52885-7\_137},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Sutcliffe90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Sutcliffe90,
author = {Geoff Sutcliffe},
editor = {Bertram Fronh{\"{o}}fer and
Graham Wrightson},
title = {Parallel Linear {\&} UR-Deduction},
booktitle = {Parallelization in Inference Systems, International Workshop, Dagstuhl
Castle, Germany, December 17-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {590},
pages = {365},
publisher = {Springer},
year = {1990},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Sutcliffe90.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:59 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:
