Year: 2018
2018
[27]I/O Logic in HOL (Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Preprint: http://orbilu.uni.lu/handle/10993/37013) [bibtex]
[26]Aqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Preprint: http://orbilu.uni.lu/handle/10993/37014) [bibtex]
[25] System Demonstration: The Higher-Order Prover Leo-III (Alexander Steen, Christoph Benzmüller), In ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 2095, pp. 79-85, 2018. (http://ceur-ws.org/Vol-2095/) [bibtex] [pdf]
[24]Computational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller), In Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts, 2018. (Preprint: http://christoph-benzmueller.de/papers/W60.pdf) [bibtex]
[23]A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), 2018. (Preprint: http://christoph-benzmueller.de/papers/R59.pdf) [bibtex]
[22]Implementation of Dyadic Deontic Logic E in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), 2018. (Preprint: http://christoph-benzmueller.de/papers/R58.pdf) [bibtex]
[21]Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller (PhD Advisor)), 2018. (Deduktionstreffen, LuxLogAI 2018, preprint: http://christoph-benzmueller.de/papers/R69.pdf) [bibtex]
[20]Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller (PhD Advisor)), 2018. (Doctoral Consortium, RuleML+RR 2018, preprint: http://christoph-benzmueller.de/papers/R68.pdf) [bibtex]
[19]Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller), 2018. (MBR18 SPAIN --- Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation, preprint: http://christoph-benzmueller.de/papers/R67.pdf) [bibtex]
[18] First Experiments with a Flexible Infrastructure for Normative Reasoning (Christoph Benzmüller, Xavier Parent), Technical report, CoRR, 2018. (http://arxiv.org/abs/1804.02929) [bibtex] [pdf]
[17] I/O Logic in HOL --- First Steps (Christoph Benzmüller, Xavier Parent), Technical report, CoRR, 2018. (https://arxiv.org/abs/1803.09681) [bibtex] [pdf]
[16]Studies in Computational Metaphysics --- Results of an Interdisciplinary Research Project (Christoph Benzmüller), 2018. (Preprint: http://christoph-benzmueller.de/papers/R64.pdf) [bibtex]
[15] Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), Technical report, CoRR, 2018. (https://arxiv.org/abs/1802.08454) [bibtex] [pdf]
[14] The Higher-Order Prover Leo-III (Extended Version) (Alexander Steen, Christoph Benzmüller), Technical report, CoRR, 2018. (https://arxiv.org/abs/1802.02732, preprint of IJCAR 2018 paper) [bibtex] [pdf]
[13] Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, 2018. (Note: verified data publication) [bibtex] [pdf]
[12] Axiom Systems for Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), In Archive of Formal Proofs, 2018. (Note: verified data publication) [bibtex] [pdf]
[11]A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), In Journal of Applied Logic - IfCoLoG Journal of Logics and their Applications (special issue on Formal Approaches to the Ontological Argument), volume 5, number 7, pp. 1567-1603, 2018. (To be published also as chapter in the book 'Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy' printed in the Springer book series 'Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures', preprint: http://christoph-benzmueller.de/papers/J38.pdf) [bibtex]
[10]Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings, (Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds.), Springer, Lecture Notes in Computer Science, volume 11092, 2018. [bibtex] [doi]
[9] ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics, (Christoph Benzüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 2095, 2018. (event-website) [bibtex] [pdf]
[8]Can Computers Help to Sharpen our Understanding of Ontological Arguments? (Christoph Benzmüller, David Fuenmayor), In Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science & Spiritual Quest (AISSQ), 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India (Sudipto Gosh, Ramgopal Uppalari, K. Vasudeva Rao, Varun Agarwal, Sushant Sharma, eds.), The Bhaktivedanta Institute, Kolkata, www.binstitute.org, pp. 195-226, 2018. (Preprint: http://doi.org/10.13140/RG.2.2.31921.84323) [bibtex]
[7]Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments (David Fuenmayor, Christoph Benzmüller), 2018. (2nd Chinese Conference on Logic and Argumentation, 16-17 June, Hangzhou, China, 2018, Informal Proceedings, preprint: http://christoph-benzmueller.de/papers/C73.pdf) [bibtex]
[6]A Flexible Infrastructure for Normative Reasoning (invited keynote abstract) (Christoph Benzmüller), In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, volume 9706, pp. 7, 2018. (Preprint: http://doi.org/10.13140/RG.2.2.27972.48007) [bibtex]
[5]A Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, volume 9706, pp. 33-50, 2018. (John-Jules Meyer Best Paper Award, Preprint: https://tinyurl.com/y9wp4p6s) [bibtex]
[4]The Higher-Order Prover Leo-III (Alexander Steen, Christoph Benzmüller), In Automated Reasoning. IJCAR 2018 (Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds.), Springer, LNCS, volume 10900, pp. 108-116, 2018. (Preprint: https://tinyurl.com/y7wg5w5w) [bibtex] [doi]
[3]A Deontic Logic Reasoning Infrastructure (Christoph Benzmüller, Xavier Parent, Leendert van der Torre), In 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August, 2018, Proceedings (Florin Manea, Russell G. Miller, Dirk Nowotka, eds.), Springer, LNCS, volume 10936, pp. 60-69, 2018. (Preprint: https://tinyurl.com/y7tgoft9) [bibtex] [doi]
[2]Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract) (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds.), 2018. (Preprint: http://christoph-benzmueller.de/papers/C68.pdf) [bibtex]
[1]Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract) (Christoph Benzmüller, Dana S. Scott), In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds.), 2018. (Preprint: http://christoph-benzmueller.de/papers/C67.pdf) [bibtex]
Powered by bibtexbrowser