David Fuenmayor

David Fuenmayor is engineer (Mechatronics & Automation Ing+MSc, Philosophy 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., Steen, A., & Sutcliffe, G. (2023). Who Finds the Short Proof?. Logic Journal of the IGPL, Online First, 1–23. https://doi.org/10.1093/jigpal/jzac082

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

Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2022b). Automation of Boolos’ Curious Inference in Isabelle/HOL. Archive of Formal Proofs.

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., Gleißner, T., Sutcliffe, G., & Benzmüller, C. (2022b). Automated Reasoning in Non-classical Logics in the TPTP World. CEUR Workshop Proceedings, CEUR-WS.Org.

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. (2021). Value-Oriented Legal Argumentation in Isabelle/HOL. Leibniz International Proceedings in Informatics (LIPIcs), 193, 1–20. https://doi.org/10.4230/LIPICS.ITP.2021.7

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. (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

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. (2020b). Normative Reasoning with Expressive Logic Combinations. ECAI 2020, 325, 2903–2904. https://doi.org/10.3233/FAIA200445

Fuenmayor, D., & Benzmüller, C. (2020c). Computer-Supported Analysis of Arguments in Climate Engineering. Lecture Notes in Computer Science, 12061, 104–115. https://doi.org/10.1007/978-3-030-44638-3_7

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. Lecture Notes in Computer Science, 112–128. https://doi.org/10.1007/978-3-030-29007-8_7

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. (2019c). A Computational-Hermeneutic Approach for Conceptual Explicitation. Studies in Applied Philosophy, Epistemology and Rational Ethics, 49, 441–469. https://doi.org/10.1007/978-3-030-32722-4_25

Fuenmayor, D., & Benzmüller, C. (2019a). Computational Hermeneutics: an Integrated Approach for the Logical Analysis of Natural-Language Arguments. Logic in Asia, 187–207. https://doi.org/10.1007/978-981-13-7791-4_9

Fuenmayor, D., & Benzmüller, C. (2019b). Harnessing Higher-Order (Meta-) Logic to Represent and Reason with Complex Ethical Theories. Lecture Notes in Computer Science, 11670, 418–432. https://doi.org/10.1007/978-3-030-29908-8_34

Fuenmayor, D., & Benzmüller, C. (2017). Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. Lecture Notes in Artificial Intelligence, 10505, 114–127. https://doi.org/10.1007/978-3-319-67190-1_9