David Fuenmayor
David Fuenmayor is engineer (Mechatronics & Automation Ing+MSc, Philosophy & Anthropology BA) with professional experience in software development.
Fuenmayor's research interests lie in the application of formal-logical methods in machines' construction (incl. AI).
Fuenmayor is currently PhD candidate at the FU Berlin in the area of computational logic.
Email: david.fuenmayor(at)uni-bamberg.de
See also LinkedIn-Website and ResearchGate-Website
Publications
Benzmüller, C., & Fuenmayor, D. (2024). The LogiKEy Methodology: Applications in AI Ethics and Prospects in Logic Teaching. Formal Methods and Science in Philosophy V, International Conference, Book of AbstractS, 9–10.
Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2024). Modelling Value-Oriented Legal Reasoning in LogiKEy. Logics, 2(1), 31–78. https://doi.org/10.3390/logics2010003
Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2024). Who Finds the Short Proof?. Logic Journal of the IGPL, 32(3), 442–464. https://doi.org/10.1093/jigpal/jzac082
Steen, A., & Fuenmayor, D. (2024). A formalization of abstract argumentation in higher-order logic. Journal of Logic and Computation, 34(2), 229–260. https://doi.org/10.1093/logcom/exac027
Benzmüller, C., & Fuenmayor, D. (2023). Mathematical Proof Assistants for Teaching Logic: the LogiKEy Methodology. Book of Abstracts: International Congress Tools for Teaching Logic V, 1–3. https://doi.org/10.20378/irb-59552
Fuenmayor, D. (2023). Semantical investigations on non-classical logics with recovery operators: negation. Logic Journal of the IGPL, Online-First, 1–42. https://doi.org/10.1093/jigpal/jzad013
Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2022b). Automation of Boolos’ Curious Inference in Isabelle/HOL. Archive of Formal Proofs.
Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2022a). Who Finds the Short Proof?: an Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv. https://doi.org/10.48550/ARXIV.2208.06879
Carnielli, W., Coniglio, M. E., & Fuenmayor, D. (2022). Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. The Review of Symbolic Logic, 15(3), 771–806. https://doi.org/10.1017/S1755020321000277
Fuenmayor, D. (2022). Semantical Investigations on Non-classical Logics with Recovery Operators: Negation (pp. 1–44). arXiv. https://doi.org/10.48550/ARXIV.2104.04284
Fuenmayor, D., & Benzmüller, C. (2022). Higher-order Logic as a Lingua Franca for Logico-Pluralist Argumentation. Logics for New-Generation AI: Second International Workshop. 10-12 June 2022, Zhuhai, 83–94.
Fuenmayor, D., & Serrano Suárez, F. F. (2022). Formalising Basic Topology for Computational Logic in Simple Type Theory. Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings, 56–74. https://doi.org/10.1007/978-3-031-16681-5_4
Steen, A., & Fuenmayor, D. (2022). Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. Lecture Notes in Computer Science, 244–260. https://doi.org/10.1007/978-3-031-21541-4_16
Steen, A., Fuenmayor, D., Gleißner, T., Sutcliffe, G., & Benzmüller, C. (2022b). Automated Reasoning in Non-classical Logics in the TPTP World. 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. PAAR’22: 8th Workshop on Practical Aspects of Automated Reasoning, Haifa, Israel.
Steen, A., Fuenmayor, D., Gleißner, T., Sutcliffe, G., & Benzmüller, C. (2022a). Automated Reasoning in Non-classical Logics in the TPTP World. arXiv. https://doi.org/10.48550/ARXIV.2202.09836
Benzmüller, C., & Fuenmayor, D. (2021a). Value-Oriented Legal Argumentation in Isabelle/HOL. 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 1–20. https://doi.org/10.4230/LIPICS.ITP.2021.7
Benzmüller, C., & Fuenmayor, D. (2021b). Cantor’s Theorem without Reductio Ad Absurdum (pp. 1–3). Research Gate. https://doi.org/10.13140/rg.2.2.31069.95201/1
Benzmüller, C., Farjami, A., Fuenmayor, D., Meder, P., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (2020). LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). Data in Brief, 33. https://doi.org/10.1016/j.dib.2020.106409
Benzmüller, C., & Fuenmayor, D. (2020). Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. Bulletin of the Section of Logic, 49(2), 127–148. https://doi.org/10.18778/0138-0680.2020.08
Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2020). Modelling Value-oriented Legal Reasoning in LogiKEy (pp. 1–57). arXiv. https://doi.org/10.48550/ARXIV.2006.12789
Fuenmayor, D., & Benzmüller, C. (2020c). Computer-Supported Analysis of Arguments in Climate Engineering. Logic and Argumentation, 104–115. https://doi.org/10.1007/978-3-030-44638-3_7
Fuenmayor, D., & Benzmüller, C. (2020b). Normative Reasoning with Expressive Logic Combinations. ECAI 2020: 24th European Conference on Artificial Intelligence, 29 August–8 September 2020, Santiago de Compostela, Spain – Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), 2903–2904. https://doi.org/10.3233/FAIA200445
Fuenmayor, D., & Benzmüller, C. (2020e). Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis. arXiv. https://doi.org/10.48550/arxiv.2007.01019
Fuenmayor, D., & Benzmüller, C. (2020a). A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument. In R. S. Silvestre, B. P. Göcke, J.-Y. Béziau, & P. Bilimoria (Eds.), Beyond Faith and Rationality: Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures (Vol. 34, pp. 195–228). Springer. https://doi.org/10.1007/978-3-030-43535-6_12
Fuenmayor, D., & Benzmüller, C. (2020d). Higher-order Logic as Lingua Franca: Integrating Argumentative Discourse and Deep Logical Analysis (pp. 1–35). arXiv. https://doi.org/10.48550/ARXIV.2007.01019
Benzmüller, C., & Fuenmayor, D. (2019). Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. arXiv. https://doi.org/10.48550/ARXIV.1910.08955
Fuenmayor Pelaez, D., & Benzmüller, C. (2019). Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. Frontiers of Combining Systems (FroCoS 2019), 112–128. https://doi.org/10.1007/978-3-030-29007-8_7
Fuenmayor, D., & Benzmüller, C. (2019c). A Computational-Hermeneutic Approach for Conceptual Explicitation. Model-Based Reasoning in Science and Technology (MBR 2018), 49, 441–469. https://doi.org/10.1007/978-3-030-32722-4_25
Fuenmayor, D., & Benzmüller, C. (2019b). Harnessing Higher-Order (Meta-) Logic to Represent and Reason with Complex Ethical Theories. PRICAI 2019: Trends in Artificial Intelligence, 11670, 418–432. https://doi.org/10.1007/978-3-030-29908-8_34
Fuenmayor, D., & Benzmüller, C. (2019a). Computational Hermeneutics: an Integrated Approach for the Logical Analysis of Natural-Language Arguments. Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation, 187–207. https://doi.org/10.1007/978-981-13-7791-4_9
Fuenmayor, D., & Benzmüller, C. (2019e). Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (pp. 1–14). arXiv. https://doi.org/10.48550/ARXIV.1903.09818
Fuenmayor, D., & Benzmüller, C. (2019d). A Computational-Hermeneutic Approach for Conceptual Explicitation (pp. 1–29). arXiv. https://doi.org/10.48550/ARXIV.1906.06582
Fuenmayor, D., & Benzmüller, C. (2017). Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. KI 2017: Advances in Artificial Intelligence, 114–127. https://doi.org/10.1007/978-3-319-67190-1_9