Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Christoph Benzmüller
@inproceedings{DBLP:conf/eacl/SolopovaHBL24, author = {Veronika Solopova and Viktoriia Herman and Christoph Benzm{\"{u}}ller and Tim Landgraf}, editor = {Nikolaos Aletras and Orph{\'{e}}e De Clercq}, title = {Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection}, booktitle = {Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, {EACL} 2024 - System Demonstrations, St. Julians, Malta, March 17-22, 2024}, pages = {44--51}, publisher = {Association for Computational Linguistics}, year = {2024}, url = {https://aclanthology.org/2024.eacl-demo.6}, timestamp = {Mon, 25 Mar 2024 20:43:55 +0100}, biburl = {https://dblp.org/rec/conf/eacl/SolopovaHBL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-15717, author = {Veronika Solopova and Viktoriia Herman and Christoph Benzm{\"{u}}ller and Tim Landgraf}, title = {Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection}, journal = {CoRR}, volume = {abs/2401.15717}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.15717}, doi = {10.48550/ARXIV.2401.15717}, eprinttype = {arXiv}, eprint = {2401.15717}, timestamp = {Tue, 06 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-15717.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dbsk/SolopovaPBL23, author = {Veronika Solopova and Oana{-}Iuliana Popescu and Christoph Benzm{\"{u}}ller and Tim Landgraf}, title = {Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts}, journal = {Datenbank-Spektrum}, volume = {23}, number = {1}, pages = {5--14}, year = {2023}, url = {https://doi.org/10.1007/s13222-023-00437-2}, doi = {10.1007/S13222-023-00437-2}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dbsk/SolopovaPBL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BaroniBW23, author = {Pietro Baroni and Christoph Benzm{\"{u}}ller and Y{\`{\i}} N. W{\'{a}}ng}, title = {Preface: Special Issue on Logic and Argumentation}, journal = {J. Log. Comput.}, volume = {33}, number = {2}, pages = {189--191}, year = {2023}, url = {https://doi.org/10.1093/logcom/exac091}, doi = {10.1093/LOGCOM/EXAC091}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/BaroniBW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BenzmullerR23, author = {Christoph Benzm{\"{u}}ller and Sebastian Reiche}, title = {Automating public announcement logic with relativized common knowledge as a fragment of {HOL} in LogiKEy}, journal = {J. Log. Comput.}, volume = {33}, number = {6}, pages = {1243--1269}, year = {2023}, url = {https://doi.org/10.1093/logcom/exac029}, doi = {10.1093/LOGCOM/EXAC029}, timestamp = {Wed, 24 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BenzmullerR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/RothgangRB23, author = {Colin Rothgang and Florian Rabe and Christoph Benzm{\"{u}}ller}, editor = {Brigitte Pientka and Cesare Tinelli}, title = {Theorem Proving in Dependently-Typed Higher-Order Logic}, booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14132}, pages = {438--455}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-38499-8\_25}, doi = {10.1007/978-3-031-38499-8\_25}, timestamp = {Thu, 14 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/RothgangRB23.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/ki/SolopovaRCGWZLPHRGBL23, author = {Veronika Solopova and Eiad Rostom and Fritz Cremer and Adrian Gruszczynski and Sascha Witte and Chengming Zhang and Fernando Ramos L{\'{o}}pez and Lea Pl{\"{o}}{\ss}l and Florian Hofmann and Ralf Romeike and Michaela Gl{\"{a}}ser{-}Zikuda and Christoph Benzm{\"{u}}ller and Tim Landgraf}, editor = {Dietmar Seipel and Alexander Steen}, title = {PapagAI: Automated Feedback for Reflective Essays}, booktitle = {{KI} 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14236}, pages = {198--206}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-42608-7\_16}, doi = {10.1007/978-3-031-42608-7\_16}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/SolopovaRCGWZLPHRGBL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/BayerGBS23, author = {Jonas Bayer and Alexey Gonus and Christoph Benzm{\"{u}}ller and Dana S. Scott}, editor = {Catherine Dubois and Manfred Kerber}, title = {Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation}, booktitle = {Intelligent Computer Mathematics - 16th International Conference, {CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14101}, pages = {69--83}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-42753-4\_5}, doi = {10.1007/978-3-031-42753-4\_5}, timestamp = {Tue, 05 Sep 2023 20:33:24 +0200}, biburl = {https://dblp.org/rec/conf/mkm/BayerGBS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2022arqnl, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2022) affiliated with the 11th International Joint Conference on Automated Reasoning {(IJCAR} 2022), Haifa, Israel, August 11, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3326}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3326}, urn = {urn:nbn:de:0074-3326-4}, timestamp = {Wed, 15 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/2022arqnl.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-10604, author = {Veronika Solopova and Oana{-}Iuliana Popescu and Christoph Benzm{\"{u}}ller and Tim Landgraf}, title = {Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts}, journal = {CoRR}, volume = {abs/2301.10604}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.10604}, doi = {10.48550/ARXIV.2301.10604}, eprinttype = {arXiv}, eprint = {2301.10604}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-10604.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-15382, author = {Colin Rothgang and Florian Rabe and Christoph Benzm{\"{u}}ller}, title = {Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint}, journal = {CoRR}, volume = {abs/2305.15382}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.15382}, doi = {10.48550/ARXIV.2305.15382}, eprinttype = {arXiv}, eprint = {2305.15382}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-15382.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-09074, author = {Jonas Bayer and Aleksey Gonus and Christoph Benzm{\"{u}}ller and Dana S. Scott}, title = {Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation}, journal = {CoRR}, volume = {abs/2306.09074}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.09074}, doi = {10.48550/ARXIV.2306.09074}, eprinttype = {arXiv}, eprint = {2306.09074}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-09074.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-07523, author = {Veronika Solopova and Adrian Gruszczynski and Eiad Rostom and Fritz Cremer and Sascha Witte and Chengming Zhang and Fernando Ramos L{\'{o}}pez and Lea Pl{\"{o}}{\ss}l and Florian Hofmann and Ralf Romeike and Michaela Gl{\"{a}}ser{-}Zikuda and Christoph Benzm{\"{u}}ller and Tim Landgraf}, title = {PapagAI: Automated Feedback for Reflective Essays}, journal = {CoRR}, volume = {abs/2307.07523}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.07523}, doi = {10.48550/ARXIV.2307.07523}, eprinttype = {arXiv}, eprint = {2307.07523}, timestamp = {Mon, 24 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-07523.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-10686, author = {Xavier Parent and Christoph Benzm{\"{u}}ller}, title = {Normative Conditional Reasoning as a Fragment of {HOL}}, journal = {CoRR}, volume = {abs/2308.10686}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.10686}, doi = {10.48550/ARXIV.2308.10686}, eprinttype = {arXiv}, eprint = {2308.10686}, timestamp = {Wed, 30 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-10686.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/icom/MuchaBBBBBCDDFJ22, author = {Henrik Mucha and Ana Correia de Barros and Jesse Josua Benjamin and Christoph Benzm{\"{u}}ller and Andreas Bischof and Sandra Buchm{\"{u}}ller and Alexandra de Carvalho and Anna{-}Katharina Dhungel and Claude Draude and Marc{-}Julian Fleck and Juliane Jarke and Stefanie Klein and Caroline Kortekaas and Albrecht Kurze and Diane Linke and Franzisca Maas and Nicola Marsden and Ricardo Melo and Susanne Michel and Claudia M{\"{u}}ller{-}Birn and Monika Pr{\"{o}}bster and Katja Antonia Rie{\ss}enberger and Mirko Tobias Sch{\"{a}}fer and Peter S{\"{o}}rries and Julia Stilke and Torben Volkmann and Anne Weibert and Wilhelm Weinhold and Sara Wolf and Isabel Zorn and Michael Heidt and Arne Berger}, title = {Collaborative Speculations on Future Themes for Participatory Design in Germany}, journal = {i-com}, volume = {21}, number = {2}, pages = {283--298}, year = {2022}, url = {https://doi.org/10.1515/icom-2021-0030}, doi = {10.1515/ICOM-2021-0030}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/icom/MuchaBBBBBCDDFJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ParentB22, author = {Xavier Parent and Christoph Benzm{\"{u}}ller}, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results}, booktitle = {Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2022) affiliated with the 11th International Joint Conference on Automated Reasoning {(IJCAR} 2022), Haifa, Israel, August 11, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3326}, pages = {92--108}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3326/ARQNL2022\_paper6.pdf}, timestamp = {Wed, 15 Mar 2023 16:51:17 +0100}, biburl = {https://dblp.org/rec/conf/cade/ParentB22.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-06264, author = {Christoph Benzm{\"{u}}ller}, title = {A Simplified Variant of G{\"{o}}del's Ontological Argument}, journal = {CoRR}, volume = {abs/2202.06264}, year = {2022}, url = {https://arxiv.org/abs/2202.06264}, eprinttype = {arXiv}, eprint = {2202.06264}, timestamp = {Fri, 18 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-06264.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-2207-04779, author = {Jonas Bayer and Christoph Benzm{\"{u}}ller and Kevin Buzzard and Marco David and Leslie Lamport and Yuri V. Matiyasevich and Lawrence C. Paulson and Dierk Schleicher and Benedikt Stock and Efim I. Zelmanov}, title = {Mathematical Proof Between Generations}, journal = {CoRR}, volume = {abs/2207.04779}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.04779}, doi = {10.48550/ARXIV.2207.04779}, eprinttype = {arXiv}, eprint = {2207.04779}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-04779.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/afp/Benzmuller21, author = {Christoph Benzm{\"{u}}ller}, title = {Exploring Simplified Variants of G{\"{o}}del's Ontological Argument in Isabelle/HOL}, journal = {Arch. Formal Proofs}, volume = {2021}, year = {2021}, url = {https://www.isa-afp.org/entries/SimplifiedOntologicalArgument.html}, timestamp = {Wed, 22 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/Benzmuller21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/BenzmullerR21, author = {Christoph Benzm{\"{u}}ller and Sebastian Reiche}, title = {Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL}, journal = {Arch. Formal Proofs}, volume = {2021}, year = {2021}, url = {https://www.isa-afp.org/entries/PAL.html}, timestamp = {Tue, 23 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/BenzmullerR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/SteenB21, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, title = {Extensional Higher-Order Paramodulation in Leo-III}, journal = {J. Autom. Reason.}, volume = {65}, number = {6}, pages = {775--807}, year = {2021}, url = {https://doi.org/10.1007/s10817-021-09588-x}, doi = {10.1007/S10817-021-09588-X}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/SteenB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/BenzmullerPR21, author = {Christoph Benzm{\"{u}}ller and Xavier Parent and Francesco Ricca}, title = {Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)}, journal = {Theory Pract. Log. Program.}, volume = {21}, number = {1}, pages = {1--3}, year = {2021}, url = {https://doi.org/10.1017/S1471068420000113}, doi = {10.1017/S1471068420000113}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/BenzmullerPR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icon-nlp/SolopovaPCRLB21, author = {Veronika Solopova and Oana{-}Iuliana Popescu and Margarita Chikobava and Ralf Romeike and Tim Landgraf and Christoph Benzm{\"{u}}ller}, editor = {Sivaji Bandyopadhyay and Sobha Lalitha Devi and Pushpak Bhattacharyya}, title = {A German Corpus of Reflective Sentences}, booktitle = {Proceedings of the 18th International Conference on Natural Language Processing {(ICON} 2021), National Institute of Technology Silchar, Silchar, India, December 16 - 19, 2021}, pages = {593--600}, publisher = {{NLP} Association of India {(NLPAI)}}, year = {2021}, url = {https://aclanthology.org/2021.icon-main.72}, timestamp = {Fri, 21 Oct 2022 10:15:13 +0200}, biburl = {https://dblp.org/rec/conf/icon-nlp/SolopovaPCRLB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/BenzmullerF21, author = {Christoph Benzm{\"{u}}ller and David Fuenmayor}, editor = {Liron Cohen and Cezary Kaliszyk}, title = {Value-Oriented Legal Argumentation in Isabelle/HOL}, booktitle = {12th International Conference on Interactive Theorem Proving, {ITP} 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)}, series = {LIPIcs}, volume = {193}, pages = {7:1--7:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.ITP.2021.7}, doi = {10.4230/LIPICS.ITP.2021.7}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itp/BenzmullerF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clar/2021, editor = {Pietro Baroni and Christoph Benzm{\"{u}}ller and Y{\`{\i}} N. W{\'{a}}ng}, title = {Logic and Argumentation - 4th International Conference, {CLAR} 2021, Hangzhou, China, October 20-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13040}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89391-0}, doi = {10.1007/978-3-030-89391-0}, isbn = {978-3-030-89390-3}, timestamp = {Mon, 18 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-01654, author = {Christoph Benzm{\"{u}}ller and Sebastian Reiche}, title = {Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of {HOL} in LogiKEy}, journal = {CoRR}, volume = {abs/2111.01654}, year = {2021}, url = {https://arxiv.org/abs/2111.01654}, eprinttype = {arXiv}, eprint = {2111.01654}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-01654.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BenzmullerPT20, author = {Christoph Benzm{\"{u}}ller and Xavier Parent and Leendert W. N. van der Torre}, title = {Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support}, journal = {Artif. Intell.}, volume = {287}, pages = {103348}, year = {2020}, url = {https://doi.org/10.1016/j.artint.2020.103348}, doi = {10.1016/J.ARTINT.2020.103348}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BenzmullerPT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BenzmullerS20, author = {Christoph Benzm{\"{u}}ller and Dana S. Scott}, title = {Automating Free Logic in HOL, with an Experimental Application in Category Theory}, journal = {J. Autom. Reason.}, volume = {64}, number = {1}, pages = {53--72}, year = {2020}, url = {https://doi.org/10.1007/s10817-018-09507-7}, doi = {10.1007/S10817-018-09507-7}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BenzmullerS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/KirchnerBZ20, author = {Daniel Kirchner and Christoph Benzm{\"{u}}ller and Edward N. Zalta}, title = {Mechanizing Principia Logico-Metaphysica in Functional Type-Theory}, journal = {Rev. Symb. Log.}, volume = {13}, number = {1}, pages = {206--218}, year = {2020}, url = {https://doi.org/10.1017/S1755020319000297}, doi = {10.1017/S1755020319000297}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/KirchnerBZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/TiemensSBB20, author = {Lucca Tiemens and Dana S. Scott and Christoph Benzm{\"{u}}ller and Miroslav Benda}, editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter}, title = {Computer-Supported Exploration of a Categorical Axiomatization of Modeloids}, booktitle = {Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12062}, pages = {302--317}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43520-2\_19}, doi = {10.1007/978-3-030-43520-2\_19}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/TiemensSBB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/FuenmayorB20, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, editor = {Mehdi Dastani and Huimin Dong and Leon van der Torre}, title = {Computer-Supported Analysis of Arguments in Climate Engineering}, booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020, Hangzhou, China, April 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12061}, pages = {104--115}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44638-3\_7}, doi = {10.1007/978-3-030-44638-3\_7}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/FuenmayorB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/ReicheB20, author = {Sebastian Reiche and Christoph Benzm{\"{u}}ller}, editor = {Manuel A. Martins and Igor Sedl{\'{a}}r}, title = {Public Announcement Logic in {HOL}}, booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop, DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12569}, pages = {222--238}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-65840-3\_14}, doi = {10.1007/978-3-030-65840-3\_14}, timestamp = {Wed, 21 Apr 2021 08:53:38 +0200}, biburl = {https://dblp.org/rec/conf/dali/ReicheB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/FuenmayorB20, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, editor = {Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang}, title = {Normative Reasoning with Expressive Logic Combinations}, booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {325}, pages = {2903--2904}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200445}, doi = {10.3233/FAIA200445}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/FuenmayorB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/SteenB20, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang}, title = {The Higher-Order Prover Leo-III}, booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {325}, pages = {2937--2938}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200462}, doi = {10.3233/FAIA200462}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/SteenB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/MakarenkoB20, author = {Irina Makarenko and Christoph Benzm{\"{u}}ller}, editor = {Ute Schmid and Franziska Kl{\"{u}}gl and Diedrich Wolter}, title = {Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding}, booktitle = {{KI} 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12325}, pages = {116--131}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58285-2\_9}, doi = {10.1007/978-3-030-58285-2\_9}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/MakarenkoB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BenzmullerL20, author = {Christoph Benzm{\"{u}}ller and Bertram Lomfeld}, editor = {Ute Schmid and Franziska Kl{\"{u}}gl and Diedrich Wolter}, title = {Reasonable Machines: {A} Research Manifesto}, booktitle = {{KI} 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12325}, pages = {251--258}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58285-2\_20}, doi = {10.1007/978-3-030-58285-2\_20}, timestamp = {Sat, 19 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/BenzmullerL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/Benzmuller20, author = {Christoph Benzm{\"{u}}ller}, editor = {Diego Calvanese and Esra Erdem and Michael Thielscher}, title = {A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of G{\"{o}}del's Ontological Argument}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020}, pages = {779--789}, year = {2020}, url = {https://doi.org/10.24963/kr.2020/80}, doi = {10.24963/KR.2020/80}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/Benzmuller20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mkm/2020, editor = {Christoph Benzm{\"{u}}ller and Bruce R. Miller}, title = {Intelligent Computer Mathematics - 13th International Conference, {CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12236}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53518-6}, doi = {10.1007/978-3-030-53518-6}, isbn = {978-3-030-53517-9}, timestamp = {Fri, 24 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-04701, author = {Christoph Benzm{\"{u}}ller}, title = {A (Simplified) Supreme Being Necessarily Exists - Says the Computer!}, journal = {CoRR}, volume = {abs/2001.04701}, year = {2020}, url = {https://arxiv.org/abs/2001.04701}, eprinttype = {arXiv}, eprint = {2001.04701}, timestamp = {Fri, 17 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-04701.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-07506, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, title = {On Reductions of Hintikka Sets for Higher-Order Logic}, journal = {CoRR}, volume = {abs/2004.07506}, year = {2020}, url = {https://arxiv.org/abs/2004.07506}, eprinttype = {arXiv}, eprint = {2004.07506}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-07506.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-12789, author = {Christoph Benzm{\"{u}}ller and David Fuenmayor and Bertram Lomfeld}, title = {Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic}, journal = {CoRR}, volume = {abs/2006.12789}, year = {2020}, url = {https://arxiv.org/abs/2006.12789}, eprinttype = {arXiv}, eprint = {2006.12789}, timestamp = {Wed, 01 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-12789.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-01019, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, title = {Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis}, journal = {CoRR}, volume = {abs/2007.01019}, year = {2020}, url = {https://arxiv.org/abs/2007.01019}, eprinttype = {arXiv}, eprint = {2007.01019}, timestamp = {Mon, 06 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-01019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-06250, author = {Christoph Benzm{\"{u}}ller and Bertram Lomfeld}, title = {Reasonable Machines: {A} Research Manifesto}, journal = {CoRR}, volume = {abs/2008.06250}, year = {2020}, url = {https://arxiv.org/abs/2008.06250}, eprinttype = {arXiv}, eprint = {2008.06250}, timestamp = {Fri, 21 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-06250.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-00810, author = {Sebastian Reiche and Christoph Benzm{\"{u}}ller}, title = {Public Announcement Logic in {HOL}}, journal = {CoRR}, volume = {abs/2010.00810}, year = {2020}, url = {https://arxiv.org/abs/2010.00810}, eprinttype = {arXiv}, eprint = {2010.00810}, timestamp = {Mon, 12 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-00810.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/BenzmullerPR19, author = {Christoph Benzm{\"{u}}ller and Xavier Parent and Francesco Ricca}, title = {Report on the Second International Joint Conference on Rules and Reasoning}, journal = {{AI} Mag.}, volume = {40}, number = {2}, pages = {73--74}, year = {2019}, url = {https://doi.org/10.1609/aimag.v40i2.2888}, doi = {10.1609/AIMAG.V40I2.2888}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/BenzmullerPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenzmullerFMP19, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Paul Meder and Xavier Parent}, title = {{I/O} Logic in {HOL}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {715--732}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BenzmullerFMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenzmullerFP19, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Xavier Parent}, title = {{\aa}qvist's Dyadic Deontic Logic {E} in {HOL}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {733--754}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BenzmullerFP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Benzmuller19, author = {Christoph Benzm{\"{u}}ller}, title = {Universal (meta-)logical reasoning: Recent successes}, journal = {Sci. Comput. Program.}, volume = {172}, pages = {48--62}, year = {2019}, url = {https://doi.org/10.1016/j.scico.2018.10.008}, doi = {10.1016/J.SCICO.2018.10.008}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/Benzmuller19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/FuenmayorB19, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, editor = {Andreas Herzig and Andrei Popescu}, title = {Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations}, booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11715}, pages = {112--128}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29007-8\_7}, doi = {10.1007/978-3-030-29007-8\_7}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/FuenmayorB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/ZahoranskyB19, author = {Valeria Zahoransky and Christoph Benzm{\"{u}}ller}, editor = {Giovanni Casini and Luigi Di Caro and Guido Governatori and Valentina Leone and R{\'{e}}ka Markovich}, title = {Modelling the {US} Constitution to Establish Constitutional Dictatorship}, booktitle = {Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems {(JURIX} 2019), Madrid, Spain, December 11, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2632}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2632/MIREL-19\_paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/jurix/ZahoranskyB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/SteenB19, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Christoph Benzm{\"{u}}ller and Heiner Stuckenschmidt}, title = {The Higher-Order Prover Leo-III (Extended Abstract)}, booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11793}, pages = {333--337}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30179-8\_30}, doi = {10.1007/978-3-030-30179-8\_30}, timestamp = {Wed, 07 Dec 2022 23:13:16 +0100}, biburl = {https://dblp.org/rec/conf/ki/SteenB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/FuenmayorB19, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, editor = {Abhaya C. Nayak and Alok Sharma}, title = {Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories}, booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11670}, pages = {418--432}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29908-8\_34}, doi = {10.1007/978-3-030-29908-8\_34}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pricai/FuenmayorB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ki/2019, editor = {Christoph Benzm{\"{u}}ller and Heiner Stuckenschmidt}, title = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11793}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30179-8}, doi = {10.1007/978-3-030-30179-8}, isbn = {978-3-030-30178-1}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ki/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2018sp, editor = {Christoph Benzm{\"{u}}ller and Xavier Parent and Alexander Steen}, title = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018}, series = {Kalpa Publications in Computing}, volume = {10}, publisher = {EasyChair}, year = {2019}, url = {http://www.easychair.org/publications/volume/LuxLogAI\_2018}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2018sp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-09818, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, title = {Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories}, journal = {CoRR}, volume = {abs/1903.09818}, year = {2019}, url = {http://arxiv.org/abs/1903.09818}, eprinttype = {arXiv}, eprint = {1903.09818}, timestamp = {Mon, 01 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-09818.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-10187, author = {Christoph Benzm{\"{u}}ller and Xavier Parent and Leendert W. N. van der Torre}, title = {Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support}, journal = {CoRR}, volume = {abs/1903.10187}, year = {2019}, url = {http://arxiv.org/abs/1903.10187}, eprinttype = {arXiv}, eprint = {1903.10187}, timestamp = {Mon, 01 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-10187.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-00787, author = {Daniel Kirchner and Christoph Benzm{\"{u}}ller and Edward N. Zalta}, title = {Computer Science and Metaphysics: {A} Cross-Fertilization}, journal = {CoRR}, volume = {abs/1905.00787}, year = {2019}, url = {http://arxiv.org/abs/1905.00787}, eprinttype = {arXiv}, eprint = {1905.00787}, timestamp = {Mon, 27 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-00787.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-06582, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, title = {A Computational-Hermeneutic Approach for Conceptual Explicitation}, journal = {CoRR}, volume = {abs/1906.06582}, year = {2019}, url = {http://arxiv.org/abs/1906.06582}, eprinttype = {arXiv}, eprint = {1906.06582}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-06582.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-11501, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, title = {Extensional Higher-Order Paramodulation in Leo-III}, journal = {CoRR}, volume = {abs/1907.11501}, year = {2019}, url = {http://arxiv.org/abs/1907.11501}, eprinttype = {arXiv}, eprint = {1907.11501}, timestamp = {Thu, 01 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-11501.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-08955, author = {Christoph Benzm{\"{u}}ller and David Fuenmayor}, title = {Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of G{\"{o}}del's Ontological Argument}, journal = {CoRR}, volume = {abs/1910.08955}, year = {2019}, url = {http://arxiv.org/abs/1910.08955}, eprinttype = {arXiv}, eprint = {1910.08955}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-08955.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-12863, author = {Lucca Tiemens and Dana S. Scott and Christoph Benzm{\"{u}}ller and Miroslav Benda}, title = {Computer-supported Exploration of a Categorical Axiomatization of Modeloids}, journal = {CoRR}, volume = {abs/1910.12863}, year = {2019}, url = {http://arxiv.org/abs/1910.12863}, eprinttype = {arXiv}, eprint = {1910.12863}, timestamp = {Thu, 31 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-12863.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/BenzmullerS18, author = {Christoph Benzm{\"{u}}ller and Dana S. Scott}, title = {Axiom Systems for Category Theory in Free Logic}, journal = {Arch. Formal Proofs}, volume = {2018}, year = {2018}, url = {https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/BenzmullerS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FuenmayorB18, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, title = {Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL}, journal = {Arch. Formal Proofs}, volume = {2018}, year = {2018}, url = {https://www.isa-afp.org/entries/GewirthPGCProof.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/FuenmayorB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SteenB18a, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {System Demonstration: The Higher-Order Prover Leo-III}, booktitle = {Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2018) affiliated with the International Joint Conference on Automated Reasoning {(IJCAR} 2018), Oxford, UK, July 18, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2095}, pages = {79--85}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2095/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:14 +0100}, biburl = {https://dblp.org/rec/conf/cade/SteenB18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SteenB18, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani}, title = {The Higher-Order Prover Leo-III}, booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10900}, pages = {108--116}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94205-6\_8}, doi = {10.1007/978-3-319-94205-6\_8}, timestamp = {Mon, 28 Aug 2023 21:17:45 +0200}, biburl = {https://dblp.org/rec/conf/cade/SteenB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/BenzmullerPT18, author = {Christoph Benzm{\"{u}}ller and Xavier Parent and Leendert W. N. van der Torre}, editor = {Florin Manea and Russell G. Miller and Dirk Nowotka}, title = {A Deontic Logic Reasoning Infrastructure}, booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10936}, pages = {60--69}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94418-0\_6}, doi = {10.1007/978-3-319-94418-0\_6}, timestamp = {Wed, 16 Nov 2022 11:08:36 +0100}, biburl = {https://dblp.org/rec/conf/cie/BenzmullerPT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clar/FuenmayorB18, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, editor = {Beishui Liao and Thomas {\AA}gotnes and Y{\`{\i}} N. W{\'{a}}ng}, title = {Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments}, booktitle = {Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, {CLAR} 2018, Hangzhou, China, 16-17 June 2018}, pages = {187--207}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-981-13-7791-4\_9}, doi = {10.1007/978-981-13-7791-4\_9}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clar/FuenmayorB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/BenzmullerFP18, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Xavier Parent}, editor = {Jan M. Broersen and Cleo Condoravdi and Nair Shyam and Gabriella Pigozzi}, title = {A Dyadic Deontic Logic in {HOL}}, booktitle = {Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018}, pages = {33--49}, publisher = {College Publications}, year = {2018}, timestamp = {Tue, 30 Oct 2018 16:34:44 +0100}, biburl = {https://dblp.org/rec/conf/deon/BenzmullerFP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2018arqnl, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2018) affiliated with the International Joint Conference on Automated Reasoning {(IJCAR} 2018), Oxford, UK, July 18, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2095}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2095}, urn = {urn:nbn:de:0074-2095-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/2018arqnl.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2018, editor = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent and Dumitru Roman}, title = {Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11092}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99906-7}, doi = {10.1007/978-3-319-99906-7}, isbn = {978-3-319-99905-0}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-02732, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, title = {The Higher-Order Prover Leo-III}, journal = {CoRR}, volume = {abs/1802.02732}, year = {2018}, url = {http://arxiv.org/abs/1802.02732}, eprinttype = {arXiv}, eprint = {1802.02732}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-02732.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-08454, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Xavier Parent}, title = {Faithful Semantical Embedding of a Dyadic Deontic Logic in {HOL}}, journal = {CoRR}, volume = {abs/1802.08454}, year = {2018}, url = {http://arxiv.org/abs/1802.08454}, eprinttype = {arXiv}, eprint = {1802.08454}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-08454.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-09681, author = {Christoph Benzm{\"{u}}ller and Xavier Parent}, title = {{I/O} Logic in {HOL} - First Steps}, journal = {CoRR}, volume = {abs/1803.09681}, year = {2018}, url = {http://arxiv.org/abs/1803.09681}, eprinttype = {arXiv}, eprint = {1803.09681}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-09681.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-02929, author = {Christoph Benzm{\"{u}}ller and Xavier Parent}, title = {First Experiments with a Flexible Infrastructure for Normative Reasoning}, journal = {CoRR}, volume = {abs/1804.02929}, year = {2018}, url = {http://arxiv.org/abs/1804.02929}, eprinttype = {arXiv}, eprint = {1804.02929}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-02929.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FuenmayorB17, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, title = {Types, Tableaus and G{\"{o}}del's God in Isabelle/HOL}, journal = {Arch. Formal Proofs}, volume = {2017}, year = {2017}, url = {https://www.isa-afp.org/entries/Types\_Tableaus\_and\_Goedels\_God.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/FuenmayorB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FuenmayorB17a, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, title = {Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument}, journal = {Arch. Formal Proofs}, volume = {2017}, year = {2017}, url = {https://www.isa-afp.org/entries/Lowe\_Ontological\_Argument.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/FuenmayorB17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/Benzmuller17, author = {Christoph Benzm{\"{u}}ller}, title = {Cut-Elimination for Quantified Conditional Logic}, journal = {J. Philos. Log.}, volume = {46}, number = {3}, pages = {333--353}, year = {2017}, url = {https://doi.org/10.1007/s10992-016-9403-0}, doi = {10.1007/S10992-016-9403-0}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/Benzmuller17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lu/BenzmullerWP17, author = {Christoph Benzm{\"{u}}ller and L. Weber and Bruno Woltzenlogel Paleo}, title = {Computer-Assisted Analysis of the Anderson-H{\'{a}}jek Ontological Controversy}, journal = {Logica Universalis}, volume = {11}, number = {1}, pages = {139--151}, year = {2017}, url = {https://doi.org/10.1007/s11787-017-0160-9}, doi = {10.1007/S11787-017-0160-9}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lu/BenzmullerWP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/FuenmayorB17, author = {David Fuenmayor and Christoph Benzm{\"{u}}ller}, editor = {Gabriele Kern{-}Isberner and Johannes F{\"{u}}rnkranz and Matthias Thimm}, title = {Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic}, booktitle = {{KI} 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10505}, pages = {114--127}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67190-1\_9}, doi = {10.1007/978-3-319-67190-1\_9}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/FuenmayorB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BenzmullerSW17, author = {Christoph Benzm{\"{u}}ller and Alexander Steen and Max Wisniewski}, editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov}, title = {Leo-III Version 1.1 (System description)}, booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana, May 7-12, 2017}, series = {Kalpa Publications in Computing}, volume = {1}, pages = {11--26}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/grmx}, doi = {10.29007/GRMX}, timestamp = {Thu, 19 Aug 2021 16:04:04 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BenzmullerSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/GleissnerSB17, author = {Tobias Glei{\ss}ner and Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Thomas Eiter and David Sands}, title = {Theorem Provers For Every Normal Modal Logic}, booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017}, series = {EPiC Series in Computing}, volume = {46}, pages = {14--30}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/jsb9}, doi = {10.29007/JSB9}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/GleissnerSB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SteenWB17, author = {Alexander Steen and Max Wisniewski and Christoph Benzm{\"{u}}ller}, editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov}, title = {Going Polymorphic - {TH1} Reasoning for Leo-III}, booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana, May 7-12, 2017}, series = {Kalpa Publications in Computing}, volume = {1}, pages = {100--112}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/jgkw}, doi = {10.29007/JGKW}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SteenWB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SteenWSB17, author = {Alexander Steen and Max Wisniewski and Hans{-}J{\"{o}}rg Schurr and Christoph Benzm{\"{u}}ller}, editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov}, title = {Capability Discovery for Automated Reasoning Systems}, booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana, May 7-12, 2017}, series = {Kalpa Publications in Computing}, volume = {1}, pages = {113--118}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/fsv3}, doi = {10.29007/FSV3}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SteenWSB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/Benzmuller17, author = {Christoph Benzm{\"{u}}ller}, editor = {Simone Andr{\'{e}} da Costa Cavalheiro and Jos{\'{e}} Luiz Fiadeiro}, title = {Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)}, booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium, {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10623}, pages = {7--11}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-70848-5\_2}, doi = {10.1007/978-3-319-70848-5\_2}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/Benzmuller17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gcai/2017, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, publisher = {EasyChair}, year = {2017}, url = {https://easychair.org/publications/volume/GCAI\_2017}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gcai/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Benzmuller17, author = {Christoph Benzm{\"{u}}ller}, title = {Universal Reasoning, Rational Argumentation and Human-Machine Interaction}, journal = {CoRR}, volume = {abs/1703.09620}, year = {2017}, url = {http://arxiv.org/abs/1703.09620}, eprinttype = {arXiv}, eprint = {1703.09620}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Benzmuller17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-06542, author = {Daniel Kirchner and Christoph Benzm{\"{u}}ller and Edward N. Zalta}, title = {Mechanizing Principia Logico-Metaphysica in Functional Type Theory}, journal = {CoRR}, volume = {abs/1711.06542}, year = {2017}, url = {http://arxiv.org/abs/1711.06542}, eprinttype = {arXiv}, eprint = {1711.06542}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-06542.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WisniewskiSB16, author = {Max Wisniewski and Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {{TPTP} and Beyond: Representation of Quantified Non-Classical Logics}, booktitle = {Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2016) affiliated with the International Joint Conference on Automated Reasoning {(IJCAR} 2016)., Coimbra, Portugal, July 1, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1770}, pages = {51--65}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1770/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:14 +0100}, biburl = {https://dblp.org/rec/conf/cade/WisniewskiSB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WisniewskiSKB16, author = {Max Wisniewski and Alexander Steen and Kim Kern and Christoph Benzm{\"{u}}ller}, editor = {Nicola Olivetti and Ashish Tiwari}, title = {Effective Normalization Techniques for {HOL}}, booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR} 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9706}, pages = {362--370}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40229-1\_25}, doi = {10.1007/978-3-319-40229-1\_25}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/WisniewskiSKB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/SteenWB16, author = {Alexander Steen and Max Wisniewski and Christoph Benzm{\"{u}}ller}, editor = {Christoph Benzm{\"{u}}ller and Geoff Sutcliffe and Ra{\'{u}}l Rojas}, title = {Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL}, booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany}, series = {EPiC Series in Computing}, volume = {41}, pages = {1--10}, publisher = {EasyChair}, year = {2016}, url = {https://doi.org/10.29007/4dsr}, doi = {10.29007/4DSR}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/SteenWB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icaart/WisniewskiB16, author = {Max Wisniewski and Christoph Benzm{\"{u}}ller}, editor = {H. Jaap van den Herik and Joaquim Filipe}, title = {Is It Reasonable to Employ Agents in Automated Theorem Proving?}, booktitle = {Proceedings of the 8th International Conference on Agents and Artificial Intelligence {(ICAART} 2016), Volume 1, Rome, Italy, February 24-26, 2016}, pages = {281--286}, publisher = {SciTePress}, year = {2016}, url = {https://doi.org/10.5220/0005824702810286}, doi = {10.5220/0005824702810286}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icaart/WisniewskiB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/BenzmullerS16, author = {Christoph Benzm{\"{u}}ller and Dana S. Scott}, editor = {Gert{-}Martin Greuel and Thorsten Koch and Peter Paule and Andrew J. Sommese}, title = {Automating Free Logic in Isabelle/HOL}, booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9725}, pages = {43--50}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42432-3\_6}, doi = {10.1007/978-3-319-42432-3\_6}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icms/BenzmullerS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/SteenWB16, author = {Alexander Steen and Max Wisniewski and Christoph Benzm{\"{u}}ller}, editor = {Gert{-}Martin Greuel and Thorsten Koch and Peter Paule and Andrew J. Sommese}, title = {Agent-Based {HOL} Reasoning}, booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9725}, pages = {75--81}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42432-3\_10}, doi = {10.1007/978-3-319-42432-3\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icms/SteenWB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BenzmullerP16, author = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, editor = {Subbarao Kambhampati}, title = {The Inconsistency in G{\"{o}}del's Ontological Argument: {A} Success Story for {AI} in Metaphysics}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {936--942}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/137}, timestamp = {Tue, 20 Aug 2019 16:19:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BenzmullerP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BoleyBLS16, author = {Harold Boley and Christoph Benzm{\"{u}}ller and Meng Luan and Zhendong Sha}, editor = {Tara Athan and Adrian Giurca and Rolf Gr{\"{u}}tter and Mark Proctor and Kia Teymourian and William Van Woensel}, title = {Translating Higher-Order Modal Logic from RuleML to {TPTP}}, booktitle = {Supplementary Proceedings of the RuleML 2016 Challenge, Doctoral Consortium and Industry Track hosted by the 10th International Web Rule Symposium, RuleML 2016, New York, USA, July 6-9, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1620}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1620/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/BoleyBLS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/schule/SteenWB16, author = {Alexander Steen and Max Wisniewski and Christoph Benzm{\"{u}}ller}, editor = {Andreas Schwill and Ulrike Lucke}, title = {Einsatz von Theorembeweisern in der Lehre}, booktitle = {Hochschuldidaktik der Informatik, {HDI} 2016 - 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik, 13.-14. September 2016 an der Universit{\"{a}}t Potsdam, Germany}, series = {Commentarii informaticae didacticae}, volume = {10}, pages = {81--92}, publisher = {Universit{\"{a}}tsverlag Potsdam}, year = {2016}, timestamp = {Wed, 12 Feb 2020 16:44:29 +0100}, biburl = {https://dblp.org/rec/conf/schule/SteenWB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2016arqnl, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2016) affiliated with the International Joint Conference on Automated Reasoning {(IJCAR} 2016)., Coimbra, Portugal, July 1, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1770}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1770}, urn = {urn:nbn:de:0074-1770-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/2016arqnl.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/corr/BenzmullerS16, author = {Christoph Benzm{\"{u}}ller and Dana S. Scott}, title = {Axiomatizing Category Theory in Free Logic}, journal = {CoRR}, volume = {abs/1609.01493}, year = {2016}, url = {http://arxiv.org/abs/1609.01493}, eprinttype = {arXiv}, eprint = {1609.01493}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BenzmullerS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BenzmullerSPT15, author = {Christoph Benzm{\"{u}}ller and Nik Sultana and Lawrence C. Paulson and Frank Theiss}, title = {The Higher-Order Prover Leo-II}, journal = {J. Autom. Reason.}, volume = {55}, number = {4}, pages = {389--404}, year = {2015}, url = {https://doi.org/10.1007/s10817-015-9348-y}, doi = {10.1007/S10817-015-9348-Y}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BenzmullerSPT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csr/BenzmullerP15, author = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, editor = {Lev D. Beklemishev and Daniil V. Musatov}, title = {Interacting with Modal Logics in the Coq Proof Assistant}, booktitle = {Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9139}, pages = {398--411}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-20297-6\_25}, doi = {10.1007/978-3-319-20297-6\_25}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csr/BenzmullerP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/SultanaBP15, author = {Nik Sultana and Christoph Benzm{\"{u}}ller and Lawrence C. Paulson}, editor = {Carsten Lutz and Silvio Ranise}, title = {Proofs and Reconstructions}, booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9322}, pages = {256--271}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24246-0\_16}, doi = {10.1007/978-3-319-24246-0\_16}, timestamp = {Wed, 25 Sep 2019 18:06:13 +0200}, biburl = {https://dblp.org/rec/conf/frocos/SultanaBP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SteenB15, author = {Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov}, title = {There Is No Best {\textbackslash}beta -Normalization Strategy for Higher-Order Reasoners}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9450}, pages = {329--339}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48899-7\_23}, doi = {10.1007/978-3-662-48899-7\_23}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SteenB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/WisniewskiSB15, author = {Max Wisniewski and Alexander Steen and Christoph Benzm{\"{u}}ller}, editor = {Manfred Kerber and Jacques Carette and Cezary Kaliszyk and Florian Rabe and Volker Sorge}, title = {LeoPARD - {A} Generic Platform for the Implementation of Higher-Order Reasoners}, booktitle = {Intelligent Computer Mathematics - International Conference, {CICM} 2015, Washington, DC, USA, July 13-17, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9150}, pages = {325--330}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-20615-8\_22}, doi = {10.1007/978-3-319-20615-8\_22}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/WisniewskiSB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/BenzmullerP15, author = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, editor = {Wolfgang Faber and Adrian Paschke}, title = {Higher-Order Modal Logics: Automation and Applications}, booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {9203}, pages = {32--74}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21768-0\_2}, doi = {10.1007/978-3-319-21768-0\_2}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rweb/BenzmullerP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Benzmuller15, author = {Christoph Benzm{\"{u}}ller}, editor = {Hans de Nivelle}, title = {Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September 21-24, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9323}, pages = {213--220}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24312-2\_15}, doi = {10.1007/978-3-319-24312-2\_15}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Benzmuller15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BenzmullerCS15, author = {Christoph Benzm{\"{u}}ller and Maximilian Claus and Nik Sultana}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Systematic Verification of the Modal Logic Cube in Isabelle/HOL}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {27--41}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.5}, doi = {10.4204/EPTCS.186.5}, timestamp = {Wed, 16 Mar 2022 23:52:32 +0100}, biburl = {https://dblp.org/rec/journals/corr/BenzmullerCS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2014arqnl, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014}, series = {EPiC Series in Computing}, volume = {33}, publisher = {EasyChair}, year = {2015}, url = {https://easychair.org/publications/volume/ARQNL\_2014}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/2014arqnl.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/WisniewskiSB15, author = {Max Wisniewski and Alexander Steen and Christoph Benzm{\"{u}}ller}, title = {LeoPARD - {A} Generic Platform for the Implementation of Higher-Order Reasoners}, journal = {CoRR}, volume = {abs/1505.01629}, year = {2015}, url = {http://arxiv.org/abs/1505.01629}, eprinttype = {arXiv}, eprint = {1505.01629}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/WisniewskiSB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Benzmuller14, author = {Christoph Benzm{\"{u}}ller}, editor = {Christoph Benzm{\"{u}}ller and Jens Otten}, title = {{HOL} Provers for First-order Modal Logics - Experiments}, booktitle = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014}, series = {EPiC Series in Computing}, volume = {33}, pages = {37--41}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/przw}, doi = {10.29007/PRZW}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Benzmuller14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BenzmullerP14, author = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan}, title = {Automating G{\"{o}}del's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers}, booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {263}, pages = {93--98}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-419-0-93}, doi = {10.3233/978-1-61499-419-0-93}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BenzmullerP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/BenzmullerP14, author = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, editor = {Mihai Codescu and Razvan Diaconescu and Ionut Tutu}, title = {On Logic Embeddings and G{\"{o}}del's God}, booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9463}, pages = {3--6}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-28114-8\_1}, doi = {10.1007/978-3-319-28114-8\_1}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BenzmullerP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/BenzmullerP14, editor = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, title = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, {UITP} 2014, Vienna, Austria, 17th July 2014}, series = {{EPTCS}}, volume = {167}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.167}, doi = {10.4204/EPTCS.167}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BenzmullerP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/BenzmullerM14, author = {Christoph Benzm{\"{u}}ller and Dale Miller}, editor = {J{\"{o}}rg H. Siekmann}, title = {Automation of Higher-Order Logic}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {215--254}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50005-8}, doi = {10.1016/B978-0-444-51624-4.50005-8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/BenzmullerM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Benzmueller13, author = {Christoph Benzmueller and Bruno Woltzenlogel Paleo}, title = {G{\"{o}}del's God in Isabelle/HOL}, journal = {Arch. Formal Proofs}, volume = {2013}, year = {2013}, url = {https://www.isa-afp.org/entries/GoedelGod.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Benzmueller13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aicom/PeaseB13, author = {Adam Pease and Christoph Benzm{\"{u}}ller}, title = {Sigma: An integrated development environment for formal ontology}, journal = {{AI} Commun.}, volume = {26}, number = {1}, pages = {79--97}, year = {2013}, url = {https://doi.org/10.3233/AIC-120549}, doi = {10.3233/AIC-120549}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aicom/PeaseB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lu/BenzmullerP13, author = {Christoph Benzm{\"{u}}ller and Lawrence C. Paulson}, title = {Quantified Multimodal Logics in Simple Type Theory}, journal = {Logica Universalis}, volume = {7}, number = {1}, pages = {7--20}, year = {2013}, url = {https://doi.org/10.1007/s11787-012-0052-y}, doi = {10.1007/S11787-012-0052-Y}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lu/BenzmullerP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerS13, author = {Christoph Benzm{\"{u}}ller and Nik Sultana}, editor = {Jasmin Christian Blanchette and Josef Urban}, title = {{LEO-II} Version 1.5}, booktitle = {Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013}, series = {EPiC Series in Computing}, volume = {14}, pages = {2--10}, publisher = {EasyChair}, year = {2013}, url = {https://doi.org/10.29007/lbxw}, doi = {10.29007/LBXW}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icaart/Benzmuller13, author = {Christoph Benzm{\"{u}}ller}, editor = {Joaquim Filipe and Ana L. N. Fred}, title = {A Top-down Approach to Combining Logics}, booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18 February, 2013}, pages = {346--351}, publisher = {SciTePress}, year = {2013}, timestamp = {Tue, 01 Oct 2013 15:40:12 +0200}, biburl = {https://dblp.org/rec/conf/icaart/Benzmuller13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Benzmueller13, author = {Christoph Benzmueller}, editor = {Francesca Rossi}, title = {Automating Quantified Conditional Logics in {HOL}}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {746--753}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6696}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/Benzmueller13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BenzmullerR13, author = {Christoph Benzm{\"{u}}ller and Thomas Raths}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {{HOL} Based First-Order Modal Logic Provers}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {127--136}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_9}, doi = {10.1007/978-3-642-45221-5\_9}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BenzmullerR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1303-3761, author = {Christoph Benzm{\"{u}}ller and Nik Sultana}, title = {Update report: {LEO-II} version 1.5}, journal = {CoRR}, volume = {abs/1303.3761}, year = {2013}, url = {http://arxiv.org/abs/1303.3761}, eprinttype = {arXiv}, eprint = {1303.3761}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1303-3761.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BenzmullerP13, author = {Christoph Benzm{\"{u}}ller and Bruno Woltzenlogel Paleo}, title = {Formalization, Mechanization and Automation of G{\"{o}}del's Proof of God's Existence}, journal = {CoRR}, volume = {abs/1308.4526}, year = {2013}, url = {http://arxiv.org/abs/1308.4526}, eprinttype = {arXiv}, eprint = {1308.4526}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BenzmullerP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/BenzmullerGGR12, author = {Christoph Benzm{\"{u}}ller and Dov M. Gabbay and Valerio Genovese and Daniele Rispoli}, title = {Embedding and automating conditional logics in classical higher-order logic}, journal = {Ann. Math. Artif. Intell.}, volume = {66}, number = {1-4}, pages = {257--271}, year = {2012}, url = {https://doi.org/10.1007/s10472-012-9320-z}, doi = {10.1007/S10472-012-9320-Z}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/BenzmullerGGR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/BenzmullerP12, author = {Christoph Benzm{\"{u}}ller and Adam Pease}, title = {Higher-order aspects and context in {SUMO}}, journal = {J. Web Semant.}, volume = {12}, pages = {104--117}, year = {2012}, url = {https://doi.org/10.1016/j.websem.2011.11.008}, doi = {10.1016/J.WEBSEM.2011.11.008}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ws/BenzmullerP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerOR12, author = {Christoph Benzm{\"{u}}ller and Jens Otten and Thomas Raths}, editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz}, title = {Implementing Different Proof Calculi for First-order Modal Logics}, booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012}, series = {EPiC Series in Computing}, volume = {21}, pages = {12--18}, publisher = {EasyChair}, year = {2012}, url = {https://doi.org/10.29007/mclw}, doi = {10.29007/MCLW}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerOR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BenzmullerOR12, author = {Christoph Benzm{\"{u}}ller and Jens Otten and Thomas Raths}, editor = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, title = {Implementing and Evaluating Provers for First-order Modal Logics}, booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, pages = {163--168}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-098-7-163}, doi = {10.3233/978-1-61499-098-7-163}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BenzmullerOR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SultanaB12, author = {Nik Sultana and Christoph Benzm{\"{u}}ller}, editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska}, title = {Understanding LEO-II's proofs}, booktitle = {{IWIL} 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012}, series = {EPiC Series in Computing}, volume = {22}, pages = {33--52}, publisher = {EasyChair}, year = {2012}, url = {https://doi.org/10.29007/x9c9}, doi = {10.29007/X9C9}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SultanaB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1204-5920, author = {Christoph Benzmueller and Valerio Genovese}, title = {Quantified Conditional Logics are Fragments of {HOL}}, journal = {CoRR}, volume = {abs/1204.5920}, year = {2012}, url = {http://arxiv.org/abs/1204.5920}, eprinttype = {arXiv}, eprint = {1204.5920}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1204-5920.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1207-6685, author = {Christoph Benzmueller and Thomas Raths}, title = {FMLtoHOL (version 1.0): Automating First-order Modal Logics with {LEO-II} and Friends}, journal = {CoRR}, volume = {abs/1207.6685}, year = {2012}, url = {http://arxiv.org/abs/1207.6685}, eprinttype = {arXiv}, eprint = {1207.6685}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-6685.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/Benzmuller11, author = {Christoph Benzm{\"{u}}ller}, title = {Combining and automating classical and non-classical logics in classical higher-order logics}, journal = {Ann. Math. Artif. Intell.}, volume = {62}, number = {1-2}, pages = {103--128}, year = {2011}, url = {https://doi.org/10.1007/s10472-011-9249-7}, doi = {10.1007/S10472-011-9249-7}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/Benzmuller11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/cogtech/BenzmullerSS11, author = {Christoph Benzm{\"{u}}ller and Marvin R. G. Schiller and J{\"{o}}rg H. Siekmann}, editor = {Matthew W. Crocker and J{\"{o}}rg H. Siekmann}, title = {Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs}, booktitle = {Resource-Adaptive Cognitive Processes}, series = {Cognitive Technologies}, pages = {291--311}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-540-89408-7\_13}, doi = {10.1007/978-3-540-89408-7\_13}, timestamp = {Tue, 16 May 2017 14:24:26 +0200}, biburl = {https://dblp.org/rec/series/cogtech/BenzmullerSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/cogtech/AutexierBDS11, author = {Serge Autexier and Christoph Benzm{\"{u}}ller and Dominik Dietrich and J{\"{o}}rg H. Siekmann}, editor = {Matthew W. Crocker and J{\"{o}}rg H. Siekmann}, title = {{\(\Omega\)}MEGA: Resource-Adaptive Processes in an Automated Reasoning System}, booktitle = {Resource-Adaptive Cognitive Processes}, series = {Cognitive Technologies}, pages = {389--423}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-540-89408-7\_17}, doi = {10.1007/978-3-540-89408-7\_17}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/cogtech/AutexierBDS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-3685, author = {Christoph Benzmueller and Dov M. Gabbay and Valerio Genovese and Daniele Rispoli}, title = {Embedding and Automating Conditional Logics in Classical Higher-Order Logic}, journal = {CoRR}, volume = {abs/1106.3685}, year = {2011}, url = {http://arxiv.org/abs/1106.3685}, eprinttype = {arXiv}, eprint = {1106.3685}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-3685.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/BenzmullerP10, author = {Christoph Benzm{\"{u}}ller and Lawrence C. Paulson}, title = {Multimodal and intuitionistic logics in simple type theory}, journal = {Log. J. {IGPL}}, volume = {18}, number = {6}, pages = {881--892}, year = {2010}, url = {https://doi.org/10.1093/jigpal/jzp080}, doi = {10.1093/JIGPAL/JZP080}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/BenzmullerP10.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/birthday/Benzmuller10, author = {Christoph Benzm{\"{u}}ller}, editor = {Simon Siegler and Nathan Wasser}, title = {Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)}, booktitle = {Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {6463}, pages = {117--128}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17172-7\_7}, doi = {10.1007/978-3-642-17172-7\_7}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Benzmuller10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerP10, author = {Christoph Benzm{\"{u}}ller and Adam Pease}, editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev}, title = {Progress in Automating Higher-Order Ontology Reasoning}, booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010}, series = {EPiC Series in Computing}, volume = {9}, pages = {22--32}, publisher = {EasyChair}, year = {2010}, url = {https://doi.org/10.29007/dtnz}, doi = {10.29007/DTNZ}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerS10, author = {Christoph Benzm{\"{u}}ller and Marvin R. G. Schiller}, editor = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli}, title = {Adaptive Assertion-Level 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 = {39--40}, publisher = {EasyChair}, year = {2010}, url = {https://doi.org/10.29007/gvgn}, doi = {10.29007/GVGN}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clima/Benzmuller10, author = {Christoph Benzm{\"{u}}ller}, editor = {J{\"{u}}rgen Dix and Jo{\~{a}}o Leite and Guido Governatori and Wojtek Jamroga}, title = {Combining Logics in Simple Type Theory}, booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop, {CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6245}, pages = {33--48}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14977-1\_6}, doi = {10.1007/978-3-642-14977-1\_6}, timestamp = {Fri, 07 Aug 2020 08:55:19 +0200}, biburl = {https://dblp.org/rec/conf/clima/Benzmuller10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Benzmueller10, author = {Christoph Benzmueller}, title = {Simple Type Theory as Framework for Combining Logics}, journal = {CoRR}, volume = {abs/1004.5500}, year = {2010}, url = {http://arxiv.org/abs/1004.5500}, eprinttype = {arXiv}, eprint = {1004.5500}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Benzmueller10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0902-0043, author = {Christoph Benzm{\"{u}}ller and Chad E. Brown and Michael Kohlhase}, title = {Cut-Simulation and Impredicativity}, journal = {Log. Methods Comput. Sci.}, volume = {5}, number = {1}, year = {2009}, url = {http://arxiv.org/abs/0902.0043}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0902-0043.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aied/SchillerB09, author = {Marvin R. G. Schiller and Christoph Benzm{\"{u}}ller}, editor = {Vania Dimitrova and Riichiro Mizoguchi and Benedict du Boulay and Arthur C. Graesser}, title = {Granularity-Adaptive Proof Presentation}, booktitle = {Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, Proceedings of the 14th International Conference on Artificial Intelligence in Education, {AIED} 2009, July 6-10, 2009, Brighton, {UK}}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {200}, pages = {599--601}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-028-5-599}, doi = {10.3233/978-1-60750-028-5-599}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aied/SchillerB09.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/csedu/SchillerB09, author = {Marvin R. G. Schiller and Christoph Benzm{\"{u}}ller}, editor = {Jos{\'{e}} A. Moinhos Cordeiro and Boris Shishkov and Alexander Verbraeck and Markus Helfert}, title = {Proof Granularity as an Empirical Problem?}, booktitle = {{CSEDU} 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009 - Volume 1}, pages = {350--354}, publisher = {{INSTICC} Press}, year = {2009}, timestamp = {Wed, 10 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csedu/SchillerB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/SchillerB09, author = {Marvin R. G. Schiller and Christoph Benzm{\"{u}}ller}, editor = {B{\"{a}}rbel Mertsching and Marcus Hund and Muhammad Zaheer Aziz}, title = {Presenting Proofs with Adapted Granularity}, 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 = {289--297}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04617-9\_37}, doi = {10.1007/978-3-642-04617-9\_37}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/SchillerB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sec/Benzmuller09, author = {Christoph Benzm{\"{u}}ller}, editor = {Dimitris Gritzalis and Javier L{\'{o}}pez}, title = {Automating Access Control Logics in Simple Type Theory with {LEO-II}}, booktitle = {Emerging Challenges for Security, Privacy and Trust, 24th {IFIP} {TC} 11 International Information Security Conference, {SEC} 2009, Pafos, Cyprus, May 18-20, 2009. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {297}, pages = {387--398}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01244-0\_34}, doi = {10.1007/978-3-642-01244-0\_34}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sec/Benzmuller09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/uitp/2008, editor = {Serge Autexier and Christoph Benzm{\"{u}}ller}, title = {Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August 22, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {226}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/226/suppl/C}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uitp/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/WirthSBA09, author = {Claus{-}Peter Wirth and J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Serge Autexier}, editor = {Dov M. Gabbay and John Woods}, title = {Jacques Herbrand: Life, Logic, and Automated Deduction}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {195--254}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/S1874-5857(09)70009-3}, doi = {10.1016/S1874-5857(09)70009-3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/WirthSBA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0901-3574, author = {Christoph Benzm{\"{u}}ller}, title = {Automating Access Control Logics in Simple Type Theory with {LEO-II} (Techreport)}, journal = {CoRR}, volume = {abs/0901.3574}, year = {2009}, url = {http://arxiv.org/abs/0901.3574}, eprinttype = {arXiv}, eprint = {0901.3574}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0901-3574.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0901-3585, author = {Christoph Benzm{\"{u}}ller and Volker Sorge}, title = {Resource Adaptive Agents in Interactive Theorem Proving}, journal = {CoRR}, volume = {abs/0901.3585}, year = {2009}, url = {http://arxiv.org/abs/0901.3585}, eprinttype = {arXiv}, eprint = {0901.3585}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0901-3585.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0901-3608, author = {Christoph Benzm{\"{u}}ller}, title = {A remark on higher order RUE-resolution with {EXTRUE}}, journal = {CoRR}, volume = {abs/0901.3608}, year = {2009}, url = {http://arxiv.org/abs/0901.3608}, eprinttype = {arXiv}, eprint = {0901.3608}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0901-3608.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0902-4682, author = {Claus{-}Peter Wirth and J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Serge Autexier}, title = {Lectures on Jacques Herbrand as a Logician}, journal = {CoRR}, volume = {abs/0902.4682}, year = {2009}, url = {http://arxiv.org/abs/0902.4682}, eprinttype = {arXiv}, eprint = {0902.4682}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0902-4682.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0903-0314, author = {Marvin R. G. Schiller and Christoph Benzm{\"{u}}ller}, title = {Granularity-Adaptive Proof Presentation}, journal = {CoRR}, volume = {abs/0903.0314}, year = {2009}, url = {http://arxiv.org/abs/0903.0314}, eprinttype = {arXiv}, eprint = {0903.0314}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0903-0314.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0905-2435, author = {Christoph Benzm{\"{u}}ller and Lawrence C. Paulson}, title = {Quantified Multimodal Logics in Simple Type Theory}, journal = {CoRR}, volume = {abs/0905.2435}, year = {2009}, url = {http://arxiv.org/abs/0905.2435}, eprinttype = {arXiv}, eprint = {0905.2435}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0905-2435.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0905-4369, author = {Christoph Benzmueller}, title = {Automating Quantified Multimodal Logics in Simple Type Theory -- {A} Case Study}, journal = {CoRR}, volume = {abs/0905.4369}, year = {2009}, url = {http://arxiv.org/abs/0905.4369}, eprinttype = {arXiv}, eprint = {0905.4369}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0905-4369.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BenzmullerSJK08, author = {Christoph Benzm{\"{u}}ller and Volker Sorge and Mateja Jamnik and Manfred Kerber}, title = {Combined reasoning by automated cooperation}, journal = {J. Appl. Log.}, volume = {6}, number = {3}, pages = {318--342}, year = {2008}, url = {https://doi.org/10.1016/j.jal.2007.06.003}, doi = {10.1016/J.JAL.2007.06.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BenzmullerSJK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mics/AutexierBDW08, author = {Serge Autexier and Christoph Benzm{\"{u}}ller and Dominik Dietrich and Marc Wagner}, title = {Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega}, journal = {Math. Comput. Sci.}, volume = {2}, number = {2}, pages = {253--277}, year = {2008}, url = {https://doi.org/10.1007/s11786-008-0054-6}, doi = {10.1007/S11786-008-0054-6}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mics/AutexierBDW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerPTF08, author = {Christoph Benzm{\"{u}}ller and Lawrence C. Paulson and Frank Theiss and Arnaud Fietzke}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, title = {{LEO-II} - {A} Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)}, 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 = {162--170}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71070-7\_14}, doi = {10.1007/978-3-540-71070-7\_14}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerPTF08.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:journals/entcs/AutexierB09, author = {Serge Autexier and Christoph Benzm{\"{u}}ller}, editor = {Serge Autexier and Christoph Benzm{\"{u}}ller}, title = {Preface}, booktitle = {Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montr{\'{e}}al, Canada, August 22, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {226}, pages = {1--2}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.12.093}, doi = {10.1016/J.ENTCS.2008.12.093}, timestamp = {Fri, 24 Feb 2023 10:08:44 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AutexierB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BenzmullerDSA07, author = {Christoph Benzm{\"{u}}ller and Dominik Dietrich and Marvin R. G. Schiller and Serge Autexier}, editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, title = {Deep Inference for Automated Proof Tutoring?}, booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September 10-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4667}, pages = {435--439}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74565-5\_34}, doi = {10.1007/978-3-540-74565-5\_34}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/BenzmullerDSA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/uitp/2006, editor = {Serge Autexier and Christoph Benzm{\"{u}}ller}, title = {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}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2}, timestamp = {Fri, 27 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uitp/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/Benzmuller06, author = {Christoph Benzm{\"{u}}ller}, title = {Towards computer aided mathematics}, journal = {J. Appl. Log.}, volume = {4}, number = {4}, pages = {359--365}, year = {2006}, url = {https://doi.org/10.1016/j.jal.2005.10.001}, doi = {10.1016/J.JAL.2005.10.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/Benzmuller06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/SiekmannBA06, author = {J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Serge Autexier}, title = {Computer supported mathematics with Omegamega}, journal = {J. Appl. Log.}, volume = {4}, number = {4}, pages = {533--559}, year = {2006}, url = {https://doi.org/10.1016/j.jal.2005.10.008}, doi = {10.1016/J.JAL.2005.10.008}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/SiekmannBA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerBK06, author = {Christoph Benzm{\"{u}}ller and Chad E. Brown and Michael Kohlhase}, editor = {Ulrich Furbach and Natarajan Shankar}, title = {Cut-Simulation in Impredicative Logics}, 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 = {220--234}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814771\_20}, doi = {10.1007/11814771\_20}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerBK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/BuckleyB06, author = {Mark Buckley and Christoph Benzm{\"{u}}ller}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {An Agent-Based Architecture for Dialogue Systems}, booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4378}, pages = {135--147}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70881-0\_14}, doi = {10.1007/978-3-540-70881-0\_14}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/BuckleyB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BenzmullerHKLSW06, author = {Christoph Benzm{\"{u}}ller and Helmut Horacek and Ivana Kruijff{-}Korbayov{\'{a}} and Henri Lesourd and Marvin R. G. Schiller and Magdalena Wolska}, editor = {Christian Freksa and Michael Kohlhase and Kerstin Schill}, title = {DiaWOz-II - {A} Tool for Wizard-of-Oz Experiments in Mathematics}, booktitle = {{KI} 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, {KI} 2006, Bremen, Germany, June 14-17, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4314}, pages = {159--173}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-69912-5\_13}, doi = {10.1007/978-3-540-69912-5\_13}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BenzmullerHKLSW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lrec/BenzmullerHLKSW06, author = {Christoph Benzm{\"{u}}ller and Helmut Horacek and Henri Lesourd and Ivana Kruijff{-}Korbayov{\'{a}} and Marvin R. G. Schiller and Magdalena Wolska}, editor = {Nicoletta Calzolari and Khalid Choukri and Aldo Gangemi and Bente Maegaard and Joseph Mariani and Jan Odijk and Daniel Tapias}, title = {A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material}, booktitle = {Proceedings of the Fifth International Conference on Language Resources and Evaluation, {LREC} 2006, Genoa, Italy, May 22-28, 2006}, pages = {1766--1769}, publisher = {European Language Resources Association {(ELRA)}}, year = {2006}, url = {http://www.lrec-conf.org/proceedings/lrec2006/summaries/778.html}, timestamp = {Mon, 19 Aug 2019 15:23:22 +0200}, biburl = {https://dblp.org/rec/conf/lrec/BenzmullerHLKSW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AutexierB07, author = {Serge Autexier and Christoph Benzm{\"{u}}ller}, editor = {Serge Autexier and Christoph Benzm{\"{u}}ller}, title = {Preface}, 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 = {1--2}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.09.017}, doi = {10.1016/J.ENTCS.2006.09.017}, timestamp = {Fri, 27 Jan 2023 11:44:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AutexierB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WagnerAB07, author = {Marc Wagner and Serge Autexier and Christoph Benzm{\"{u}}ller}, editor = {Serge Autexier and Christoph Benzm{\"{u}}ller}, title = {PlatOmega: {A} Mediator between Text-Editors and Proof Assistance Systems}, 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 = {87--107}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.09.024}, doi = {10.1016/J.ENTCS.2006.09.024}, timestamp = {Fri, 27 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WagnerAB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/tphol/BenzmullerFMPS06, author = {Christoph Benzm{\"{u}}ller and Armin Fiedler and Andreas Meier and Martin Pollet and J{\"{o}}rg H. Siekmann}, editor = {Freek Wiedijk}, title = {Omega}, booktitle = {The Seventeen Provers of the World, Foreword by Dana S. Scott}, series = {Lecture Notes in Computer Science}, volume = {3600}, pages = {127--141}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11542384\_17}, doi = {10.1007/11542384\_17}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/BenzmullerFMPS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0601042, author = {Christoph Benzm{\"{u}}ller and John Harrison and Carsten Sch{\"{u}}rmann}, title = {{LPAR-05} Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic {(ESHOL)}}, journal = {CoRR}, volume = {abs/cs/0601042}, year = {2006}, url = {http://arxiv.org/abs/cs/0601042}, eprinttype = {arXiv}, eprint = {cs/0601042}, timestamp = {Thu, 05 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601042.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BenzmullerV05, author = {Christoph Benzm{\"{u}}ller and Quoc Bao Vo}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {516--522}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2005}, url = {http://www.aaai.org/Library/AAAI/2005/aaai05-081.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BenzmullerV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BenzmullerMS05, author = {Christoph Benzm{\"{u}}ller and Andreas Meier and Volker Sorge}, editor = {Dieter Hutter and Werner Stephan}, title = {Bridging Theorem Proving and Mathematical Knowledge Retrieval}, booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg H. Siekmann on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {2605}, pages = {277--296}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-32254-2\_17}, doi = {10.1007/978-3-540-32254-2\_17}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BenzmullerMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsys/BenzmullerHKPSW05, author = {Christoph Benzm{\"{u}}ller and Helmut Horacek and Ivana Kruijff{-}Korbayov{\'{a}} and Manfred Pinkal and J{\"{o}}rg H. Siekmann and Magdalena Wolska}, editor = {Ruqian Lu and J{\"{o}}rg H. Siekmann and Carsten Ullrich}, title = {Natural Language Dialog with a Tutor System for Mathematical Proofs}, booktitle = {Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4429}, pages = {1--14}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-70934-3\_1}, doi = {10.1007/978-3-540-70934-3\_1}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cogsys/BenzmullerHKPSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/AutexierBDMW05, author = {Serge Autexier and Christoph Benzm{\"{u}}ller and Dominik Dietrich and Andreas Meier and Claus{-}Peter Wirth}, editor = {Michael Kohlhase}, title = {A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity}, booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM} 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {126--142}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11618027\_9}, doi = {10.1007/11618027\_9}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/AutexierBDMW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/BenzmullerB05, author = {Christoph Benzm{\"{u}}ller and Chad E. Brown}, editor = {Joe Hurd and Thomas F. Melham}, title = {A Structured Set of Higher-Order Problems}, booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3603}, pages = {66--81}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11541868\_5}, doi = {10.1007/11541868\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/BenzmullerB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/BenzmullerBK04, author = {Christoph Benzm{\"{u}}ller and Chad E. Brown and Michael Kohlhase}, title = {Higher-order semantics and extensionality}, journal = {J. Symb. Log.}, volume = {69}, number = {4}, pages = {1027--1088}, year = {2004}, url = {https://doi.org/10.2178/jsl/1102022211}, doi = {10.2178/JSL/1102022211}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/BenzmullerBK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/SiekmannB04, author = {J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller}, editor = {Susanne Biundo and Thom W. Fr{\"{u}}hwirth and G{\"{u}}nther Palm}, title = {Omega: Computer Supported Mathematics}, booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3238}, pages = {3--28}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30221-6\_2}, doi = {10.1007/978-3-540-30221-6\_2}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/SiekmannB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BenzmullerSJK04, author = {Christoph Benzm{\"{u}}ller and Volker Sorge and Mateja Jamnik and Manfred Kerber}, editor = {Franz Baader and Andrei Voronkov}, title = {Can a Higher-Order and a First-Order Theorem Prover Cooperate?}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, {LPAR} 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3452}, pages = {415--431}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-32275-7\_27}, doi = {10.1007/978-3-540-32275-7\_27}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BenzmullerSJK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lrec/WolskaVTKKHFB04, author = {Magdalena Wolska and Quoc Bao Vo and Dimitra Tsovaltzi and Ivana Kruijff{-}Korbayov{\'{a}} and Elena Karagjosova and Helmut Horacek and Armin Fiedler and Christoph Benzm{\"{u}}ller}, title = {An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving}, booktitle = {Proceedings of the Fourth International Conference on Language Resources and Evaluation, {LREC} 2004, May 26-28, 2004, Lisbon, Portugal}, publisher = {European Language Resources Association}, year = {2004}, url = {http://www.lrec-conf.org/proceedings/lrec2004/summaries/669.htm}, timestamp = {Mon, 19 Aug 2019 15:22:43 +0200}, biburl = {https://dblp.org/rec/conf/lrec/WolskaVTKKHFB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/JamnikKPB03, author = {Mateja Jamnik and Manfred Kerber and Martin Pollet and Christoph Benzm{\"{u}}ller}, title = {Automatic Learning of Proof Methods in Proof Planning}, journal = {Log. J. {IGPL}}, volume = {11}, number = {6}, pages = {647--673}, year = {2003}, url = {https://doi.org/10.1093/jigpal/11.6.647}, doi = {10.1093/JIGPAL/11.6.647}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/JamnikKPB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/VoBA03, author = {Quoc Bao Vo and Christoph Benzm{\"{u}}ller and Serge Autexier}, editor = {Georg Gottlob and Toby Walsh}, title = {Assertion Application in Theorem Proving and Proof Planning}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {1343}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/193.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/VoBA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AutexierBFHV04, author = {Serge Autexier and Christoph Benzm{\"{u}}ller and Armin Fiedler and Helmut Horacek and Quoc Bao Vo}, editor = {Fairouz Kamareddine}, title = {Assertion-level Proof Representation with Under-Specification}, booktitle = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM} Symposium 2003, Edinburgh, UK, November 25-29, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {93}, pages = {5--23}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2003.12.026}, doi = {10.1016/J.ENTCS.2003.12.026}, timestamp = {Wed, 07 Dec 2022 10:22:07 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AutexierBFHV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HubnerABM04, author = {Malte H{\"{u}}bner and Serge Autexier and Christoph Benzm{\"{u}}ller and Andreas Meier}, editor = {David Aspinall and Christoph L{\"{u}}th}, title = {Interactive Theorem Proving with Tasks}, booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {103}, pages = {161--181}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.02.021}, doi = {10.1016/J.ENTCS.2004.02.021}, timestamp = {Fri, 09 Dec 2022 11:35:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HubnerABM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/Benzmuller02, author = {Christoph Benzm{\"{u}}ller}, title = {Comparing Approaches To Resolution Based Higher-Order Theorem Proving}, journal = {Synth.}, volume = {133}, number = {1-2}, pages = {203--335}, year = {2002}, url = {https://doi.org/10.1023/A:1020840027781}, doi = {10.1023/A:1020840027781}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/Benzmuller02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02, author = {J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus{-}Peter Wirth and J{\"{u}}rgen Zimmer}, editor = {Andrei Voronkov}, title = {Proof Development with {OMEGA}}, 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 = {144--149}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45620-1\_12}, doi = {10.1007/3-540-45620-1\_12}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/SiekmannBFMP02, author = {J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Armin Fiedler and Andreas Meier and Martin Pollet}, editor = {Matthias Baaz and Andrei Voronkov}, title = {Proof Development with Omega-MEGA: sqrt(2) Is Irrational}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2514}, pages = {367--387}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36078-6\_25}, doi = {10.1007/3-540-36078-6\_25}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/SiekmannBFMP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BenzmullerJKS01, author = {Christoph Benzm{\"{u}}ller and Mateja Jamnik and Manfred Kerber and Volker Sorge}, editor = {Franz Baader and Gerhard Brewka and Thomas Eiter}, title = {Experiments with an Agent-Oriented Reasoning System}, booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2174}, pages = {409--424}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45422-5\_29}, doi = {10.1007/3-540-45422-5\_29}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/BenzmullerJKS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arw/BenzmullerJKS00, author = {Christoph Benzm{\"{u}}ller and Mateja Jamnik and Manfred Kerber and Volker Sorge}, editor = {Hans J{\"{u}}rgen Ohlbach and Ulrich Endriss and Odinaldo Rodrigues and Stefan Schlobach}, title = {Resource Guided Concurrent Deduction}, booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000}, series = {{CEUR} Workshop Proceedings}, volume = {32}, publisher = {CEUR-WS.org}, year = {2000}, url = {https://ceur-ws.org/Vol-32/benzmueller.ps.gz}, timestamp = {Fri, 10 Mar 2023 16:22:28 +0100}, biburl = {https://dblp.org/rec/conf/arw/BenzmullerJKS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Benzmuller99, author = {Christoph Benzm{\"{u}}ller}, title = {Equality and extensionality in automated higher order theorem proving}, school = {Saarland University, Saarbr{\"{u}}cken, Germany}, year = {1999}, url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/165/index.html}, urn = {urn:nbn:de:bsz:291-scidok-1657}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Benzmuller99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/SiekmannHBCFHKKMMPS99, author = {J{\"{o}}rg H. Siekmann and Stephan M. Hess and Christoph Benzm{\"{u}}ller and Lassaad Cheikhrouhou and Armin Fiedler and Helmut Horacek and Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis and Martin Pollet and Volker Sorge}, title = {\emph{L}{\textless}Omega{\textgreater}\emph{UI}: \emph{L}ovely {\textless}Omega{\textgreater}MEGA \emph{U}ser \emph{I}nterface}, journal = {Formal Aspects Comput.}, volume = {11}, number = {3}, pages = {326--342}, year = {1999}, url = {https://doi.org/10.1007/s001650050053}, doi = {10.1007/S001650050053}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/SiekmannHBCFHKKMMPS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/BenzmullerBS99, author = {Christoph Benzm{\"{u}}ller and Matthew Bishop and Volker Sorge}, title = {Integrating Tps and Omega}, journal = {J. Univers. Comput. Sci.}, volume = {5}, number = {3}, pages = {188--207}, year = {1999}, url = {https://doi.org/10.3217/jucs-005-03-0188}, doi = {10.3217/JUCS-005-03-0188}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/BenzmullerBS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Benzmuller99, author = {Christoph Benzm{\"{u}}ller}, editor = {Harald Ganzinger}, title = {Extensional Higher-Order Paramodulation and RUE-Resolution}, booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1632}, pages = {399--413}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48660-7\_39}, doi = {10.1007/3-540-48660-7\_39}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Benzmuller99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/BenzmullerS99, author = {Christoph Benzm{\"{u}}ller and Volker Sorge}, editor = {Pedro Barahona and Jos{\'{e}} J{\'{u}}lio Alferes}, title = {Critical Agents Supporting Interactive Theorem Proving}, booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September 21-24, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1695}, pages = {208--221}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48159-1\_15}, doi = {10.1007/3-540-48159-1\_15}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/BenzmullerS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BenzmullerJKS99, author = {Christoph Benzm{\"{u}}ller and Mateja Jamnik and Manfred Kerber and Volker Sorge}, editor = {Alessandro Armando and Tudor Jebelean}, title = {Agent based mathematical reasoning}, booktitle = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {23}, number = {3}, pages = {340--351}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)82522-8}, doi = {10.1016/S1571-0661(05)82522-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BenzmullerJKS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aimsa/BenzmullerS98, author = {Christoph Benzm{\"{u}}ller and Volker Sorge}, editor = {Fausto Giunchiglia}, title = {A Blackboard Architecture for Guiding Interactive Proofs}, booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, {AIMSA} '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1480}, pages = {102--114}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0057438}, doi = {10.1007/BFB0057438}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/aimsa/BenzmullerS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerK98, author = {Christoph Benzm{\"{u}}ller and Michael Kohlhase}, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Extensional Higher-Order Resolution}, booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1421}, pages = {56--71}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054248}, doi = {10.1007/BFB0054248}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerK98a, author = {Christoph Benzm{\"{u}}ller and Michael Kohlhase}, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {System Description: {LEO} - {A} Higher-Order Theorem Prover}, booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1421}, pages = {139--144}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054256}, doi = {10.1007/BFB0054256}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerK98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerCFFHKKKMMSSS97, author = {Christoph Benzm{\"{u}}ller and Lassaad Cheikhrouhou and Detlef Fehrer and Armin Fiedler and Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis and Wolf Schaarschmidt and J{\"{o}}rg H. Siekmann and Volker Sorge}, editor = {William McCune}, title = {Omega: Towards a Mathematical Assistant}, booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1249}, pages = {252--255}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63104-6\_23}, doi = {10.1007/3-540-63104-6\_23}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerCFFHKKKMMSSS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.