Universit?t Bamberg
Suche ?ffnen
Sie befinden sich hier:

Fakult?t Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)

  1.  Otto-Friedrich-Universit?t Bamberg
  2. Fakult?ten
  3. Wirtschaftsinformatik und Angewandte Informatik
  4. Professuren und Lehrstühle
  5. Angewandte Informatik
  6. Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
  7. Team
  8. David Fuenmayor

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., & 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. (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. https://doi.org/10.1093/jigpal/jzac082

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

Steen, A., & Fuenmayor, D. (2023). A formalization of abstract argumentation in higher-order logic. Journal of Logic and Computation, Online First, 1–32. https://doi.org/10.1093/logcom/exac027

Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2022). Modelling Value-oriented Legal Reasoning in LogiKEy. arXiv. https://doi.org/10.48550/arxiv.2006.12789

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. (2022a). Automated Reasoning in Non-classical Logics in the TPTP World. arXiv. https://doi.org/10.48550/ARXIV.2202.09836

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. https://doi.org/10.13140/rg.2.2.31069.95201/1

Benzmüller, C., & Fuenmayor, D. (2021a). 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. (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. (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

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

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