Lehrstuhl für KI-Systementwicklung
AI Systems Engineering (AISE)
AISE Wissenschaftskommunikation
Beim Science Slam der Uni Bamberg am 27. Oktober präsentierte Benzmüller zentrale Hypothesen der AISE-Forschunglandschaft einem breiteren Publikum. Zusammen mit dem Bamberger Rapper ,,Bambägga'' gewann Benzmüller diesen Science Slam. Zuvor hatte Benzmüller auch schon andere Slams, z.B. vor dem roten Rathaus in Berlin und im bekannten Berliner Club SO36 sehr erfolgreich bestritten.
Aktuelle Publikationen des AISE Lehrstuhls (Auswahl seit 2022)
Baroni, Pietro/Benzmüller, Christoph/N Wáng, Yì (2023): Preface: Special Issue on Logic and Argumentation. In: Journal of logic and computation, S. 1–3.
Benzmüller, Christoph et al. (2023): Who Finds the Short Proof?. In: Logic journal of the IGPL, S. 1–23.
Parent, Xavier/Benzmüller, Christoph (2023): Automated Verification of Deontic Correspondences in Isabelle/HOL: First Results. In: CEUR Workshop Proceedings. Aachen, Germany: RWTH Aachen. S. 92–108.
Rothgang, Colin/Rabe, Florian/Benzmüller, Christoph (2023): Theorem Proving in Dependently-Typed Higher-Order Logic: Extended Preprint. arXiv.
Solopova, Veronika et al. (2023a): Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts. arXiv.
Solopova, Veronika et al. (2023b): Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts. In: Datenbank-Spektrum.
Bayer, Jonas et al. (2022): Mathematical Proof Between Generations. arXiv. S. 1–17.
Benzmüller, Christoph (2022a): A Simplified Variant of Gödel’s Ontological Argument. In: Zygon 57, S. 953–962.
Benzmüller, Christoph (2022b): Symbolic AI and Gödel’s Ontological Argument. In: Zygon.
Benzmüller, Christoph (2022c): Studies in Computational Metaphysics: Results of an Interdisciplinary Research Project. In: Cukierman, Henrique/Bertato, Fabio (Hg.): Tópicos em História e Filosofia da Computação. Campinas, Brasilien: University of Campinas (UNICAMP). S. 129–160.
Benzmüller, Christoph/Farjami, Ali/Parent, Xavier (2022): Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments. In: Rahman, Shahid/Armgardt, Matthias/Nordtveit Kvernenes, Hans Christian (Hg.): New developments in legal reasoning and logic: from ancient law to modern legal systems. Cham: Springer. S. 353–377.
Benzmüller, Christoph et al. (2022a): Automation of Boolos’ Curious Inference in Isabelle/HOL. In: Archive of Formal Proofs.
Benzmüller, Christoph et al. (2022b): Who Finds the Short Proof?: an Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv.
Benzmüller, Christoph/Reiche, Sebastian (2022): Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. In: Journal of Logic and Computation, S. 1–28.
Fehige, Yiftach/Vestrucci, Andrea (2022): On Thought Experiments, Theology, and Mathematical Platonism. In: Axiomathes, S. 1–12.
Fuenmayor, David (2022): Semantical Investigations on Non-classical Logics with Recovery Operators: Negation. arXiv. S. 1–44.
Fuenmayor, David/Benzmüller, Christoph (2022): Higher-order Logic as a Lingua Franca for Logico-Pluralist Argumentation. In: Logics for New-Generation AI: Second International Workshop. 10-12 June 2022, Zhuhai. London: College Publications. S. 83–94.
Fuenmayor, David/Serrano Suárez, Fabián Fernando (2022): Formalising Basic Topology for Computational Logic in Simple Type Theory. In: Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings. Cham: Springer. S. 56–74. (= Lecture Notes in Computer Science).
Kirchner, Daniel (2022a): Abstract Object Theory. In: Archive of Formal Proofs, S. 392.
Kirchner, Daniel (2022b): Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL. Berlin: Refubium - Repositorium der Freien Universität Berlin.
Mucha, Henrik et al. (2022): Collaborative Speculations on Future Themes for Participatory Design in Germany. In: i-com 21, S. 283–298.
Steen, Alexander et al. (2022a): Automated Reasoning in Non-classical Logics in the TPTP World. In: CEUR Workshop Proceedings, CEUR-WS.org. CEUR Workshop Proceedings.
Steen, Alexander et al. (2022b): Automated Reasoning in Non-classical Logics in the TPTP World. arXiv.
Steen, Alexander et al. (2022c): Solving QMLTP Problems by Translation to Higher-order Logic. arXiv.
Vestrucci, Andrea (2022a): Deontic-doxastic belief revision and linear system model. In: Frontiers in Psychology 13, S. 1–5.
Vestrucci, Andrea (2022b): Introduction: Five steps toward a religion-AI dialogue. In: Zygon 57, S. 933–937.
Vestrucci, Andrea (2022c): Artificial Intelligence and God´s Existence: Connecting Philosophy of Religion and Computation. In: Zygon 57, S. 1000–1018.
Benzmüller, Christoph/Reiche, Sebastian (2021): Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy. Online: arXiv. S. 1–28.