David Fuenmayor

E-Mail: david.fuenmayor(at)uni-bamberg.de

Anschrift: An der Weberei 5, 96047 Bamberg

Sprechzeiten: nach Vereinbarung

David Fuenmayor ist Ingenieur (Mechatronik & Automatisierungstechnik Ing+MSc, Philosophie & Anthropologie BA) mit Industrie-Erfahrung in der Softwareentwicklung.

Fuenmayor's Forschungsinteressen liegen in der Anwendung von formal-logischen Methoden in der Konstruktion von Maschinen (inkl. KI).

Fuenmayor promoviert aktuell an der FU Berlin im Bereich computational logic.

Siehe auch seine LinkedIn-Webseite und ResearchGate-Webseite.

 

Aktuelle Publikationen

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

Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2023). Who Finds the Short Proof?. Logic Journal of the IGPL, Online First, 1–23.

Fuenmayor, D. (2023). Semantical investigations on non-classical logics with recovery operators: negation. Logic Journal of the IGPL, Online-First, 1–42.

Steen, A., & Fuenmayor, D. (2023). A formalization of abstract argumentation in higher-order logic. Journal of Logic and Computation, Online First, 1–32.

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.

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.

Fuenmayor, D. (2022). Semantical Investigations on Non-classical Logics with Recovery Operators: Negation (pp. 1–44). arXiv.

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.

Steen, A., & Fuenmayor, D. (2022). Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. Lecture Notes in Computer Science, 244–260.

Steen, A., Fuenmayor, D., Gleißner, T., Sutcliffe, G., & Benzmüller, C. (2022a). Automated Reasoning in Non-classical Logics in the TPTP World. arXiv.

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.

Benzmüller, C., & Fuenmayor, D. (2021b). Cantor’s Theorem without Reductio Ad Absurdum (pp. 1–3). Research Gate.

Benzmüller, C., & Fuenmayor, D. (2021a). Value-Oriented Legal Argumentation in Isabelle/HOL. Leibniz International Proceedings in Informatics (LIPIcs), 193, 1–20.

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.

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.

Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2020). Modelling Value-oriented Legal Reasoning in LogiKEy (pp. 1–57). arXiv.

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.

Fuenmayor, D., & Benzmüller, C. (2020c). Computer-Supported Analysis of Arguments in Climate Engineering. Lecture Notes in Computer Science, 12061, 104–115.

Fuenmayor, D., & Benzmüller, C. (2020b). Normative Reasoning with Expressive Logic Combinations. ECAI 2020, 325, 2903–2904.

Fuenmayor, D., & Benzmüller, C. (2020d). Higher-order Logic as Lingua Franca: Integrating Argumentative Discourse and Deep Logical Analysis (pp. 1–35). arXiv.

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.

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.

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.

Fuenmayor, D., & Benzmüller, C. (2019d). A Computational-Hermeneutic Approach for Conceptual Explicitation (pp. 1–29). arXiv.

Fuenmayor, D., & Benzmüller, C. (2019c). A Computational-Hermeneutic Approach for Conceptual Explicitation. Studies in Applied Philosophy, Epistemology and Rational Ethics, 49, 441–469.

Fuenmayor, D., & Benzmüller, C. (2019e). Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (pp. 1–14). arXiv.

Fuenmayor, D., & Benzmüller, C. (2019a). Computational Hermeneutics: an Integrated Approach for the Logical Analysis of Natural-Language Arguments. Logic in Asia, 187–207.

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.