News 30.04.2025 Konferenzpaper von Masterabsolventin Lara Lawniczak 22.04.2025 Edward Zalta (Stanford) - Inaugural Lecture - 2025 Johann-von-Spix Guestprofessor at the University of Bamberg 22.04.2025 Neuer Artikel über Computationale Metaphysik in den „Monatsheften für Mathematik“ 10.04.2025 Johann-von-Spix Gastprofessur für Edward Zalta (Stanford) 24.02.2025 Best Paper Award 30.01.2025 AISE group member speak at Elixir Conference 25.11.2024 Neues Themenheft von KI-Künstliche Intelligenz: "Non-classical Reasoning in Modern AI Applications'' 24.09.2024 Erfolgreiche Dissertations Verteidigung von Rosae Martin Peña 24.09.2024 Drei neue Buchartikel von Prof. Dr. Benzmüller erschienen 22.07.2024 Veronika Solopova hat ihre Promotion in NLP an der FU Berlin mit Bestnote verteidigt: Hybride KI-Systeme in der automatisierten Inhaltsmoderation und -analyse 04.07.2024 Zwei neue Buchbände zu "Automated Reasoning" 24.06.2024 Neue Open Access Buch: “Automated Reasoning (IJCAR 2024)” 27.03.2024 Benzmüller setzt Zusammenarbeit mit BITS Pilani Dubai fort 06.03.2024 Beitrag von Benzmüller zur Veranstaltungsreihe "Jung und Alt bewegt" der Vereinigung Deutscher Wissenschaftler (VDW). 23.12.2023 Benzmüller als hochrangiger ausländischer Experte an der Zhejiang Universität, China, ausgewählt 13.11.2023 Prof. Dr. Vestrucci wissenschaftlicher Berater für KI und Ethik 13.11.2023 Prof. Dr. Vestrucci Mitglied des wissenschaftlichen Komitees „BLESS – Brücken zwischen Logik, Ethik und Sozialwissenschaften“ 08.11.2023 Benzmüller Gastprofessor am BITS Pilani, Dubai Campus Benzmüller ist Gastprofessor am BITS Pilani, Dubai Campus - Academic City. 13.10.2023 Benzmüller Hauptredner auf der CINS 2023-Konferenz in Dubai Benzmüller ist Hauptredner auf der CINS 2023-Konferenz in Dubai 12.09.2023 Best Paper Award bei CLAR 2023 03.07.2023 Arbeiten von Mitglieder des AISE-Teams werden bei verschiedenen Konferenzen und Fachzeitschriften angenommen: KI, CLAR, J.IGPL 07.06.2023 Prof. Dr. Andrea Vestrucci als Gastprofessor an der Universität Torun in Polen 01.06.2023 AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica with Edward Zalta (Stanford U, Philosophy) gefördert durch die Bayerische BaCaTeC Initiative 24.05.2023 Benzmüller zum Co-Vorsitzenden von IJCAR 2024 ernannt 22.05.2023 Arbeiten von Mitglieder des AISE-Teams werden bei verschiedenen Konferenzen und Workshops angenommen: CADE, CICM, CAV, IWIL, ICTTL 11.05.2023 Internationaler Blockkurs der TU Berlin und U Bamberg zu "Ethik und Erkenntnistheorie der KI" 17.04.2023 Benzmüller‘s Arbeiten vorgestellt in TerraX 13.03.2023 Neues Buch: Gödel und die Nichtexistenz der Zeit 27.01.2023 Dr. Daniel Kirchner (AISE Team) nominiert als KI-Newcomer 2023 28.11.2022 "Who Finds the Short Proof?" erschien im Logic Journal der IGPL 28.11.2022 AISE-Team erhält zwei BaCaTeC-VSAI-Zuschüsse 16.11.2022 Vortrag von Chad Brow (Tschechische Technische Universität in Prag): Formalisierung der Mathematik in der Mengenlehre höherer Ordnung (Mi, 16. November, 14:15-15:45) 27.10.2022 Public Outreach: Benzmüller gewinnt Bamberger Science Slam gemeinsam mit Rapper ,,Bambägga'' 14.10.2022 Goethe-Institut AI & Ethics Summer School 2022 an der Universität Bamberg 13.10.2022 Benzmüllers Arbeit über das ontologische Argument wird in Scientific American und Spektrum der Wissenschaft erwähnt/erörtert. 24.08.2022 Benzmüller wird Hauptredner bei FLAIRS-36 sein 15.08.2022 Demnächst erscheinendes Buch bei Springer: Was folgt aus der Nichtexistenz der Zeit? Ausgewählte Beiträge zum Kurt-Gödel-Aufsatzwettbewerb 2021 10.08.2022 Bevorstehendes Buchkapitel: Eine vereinfachte Variante des Gödelschen ontologischen Arguments 08.08.2022 Neuer Preprint: Wer findet den Kurzbeweis? 03.08.2022 Neuer Artikel in Zygon: Zeitschrift für Religion und Wissenschaft Der Artikel "Einleitung: Five Steps Toward a Religion-AI Dialogue" ist in Zygon: Zeitschrift für Religion und Wissenschaft erschienen. 23.05.2022 Workshop und Tutorial über Computermetaphysik und Intensionalität: 31. Mai und 1. Juni 23.05.2022 Neuer Artikel in JLC Der Artikel "Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy" ist gerade im Journal of Logic… 23.05.2022 Daniel Kirchner verteidigt seine Doktorarbeit in Mathematik an der FU Berlin mit summa cum laude 23.05.2022 Benzmüller ist Jurymitglied des Kurt Gödel Preises 2023 21.03.2022 Neuer Artikel wird bald veröffentlicht Der Artikel "A Simplified Variant of Gödel's Ontological Argument." wird in Kürze in erscheinen.
22.04.2025 Edward Zalta (Stanford) - Inaugural Lecture - 2025 Johann-von-Spix Guestprofessor at the University of Bamberg
25.11.2024 Neues Themenheft von KI-Künstliche Intelligenz: "Non-classical Reasoning in Modern AI Applications''
22.07.2024 Veronika Solopova hat ihre Promotion in NLP an der FU Berlin mit Bestnote verteidigt: Hybride KI-Systeme in der automatisierten Inhaltsmoderation und -analyse
06.03.2024 Beitrag von Benzmüller zur Veranstaltungsreihe "Jung und Alt bewegt" der Vereinigung Deutscher Wissenschaftler (VDW).
23.12.2023 Benzmüller als hochrangiger ausländischer Experte an der Zhejiang Universität, China, ausgewählt
13.11.2023 Prof. Dr. Vestrucci Mitglied des wissenschaftlichen Komitees „BLESS – Brücken zwischen Logik, Ethik und Sozialwissenschaften“
08.11.2023 Benzmüller Gastprofessor am BITS Pilani, Dubai Campus Benzmüller ist Gastprofessor am BITS Pilani, Dubai Campus - Academic City.
13.10.2023 Benzmüller Hauptredner auf der CINS 2023-Konferenz in Dubai Benzmüller ist Hauptredner auf der CINS 2023-Konferenz in Dubai
03.07.2023 Arbeiten von Mitglieder des AISE-Teams werden bei verschiedenen Konferenzen und Fachzeitschriften angenommen: KI, CLAR, J.IGPL
01.06.2023 AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica with Edward Zalta (Stanford U, Philosophy) gefördert durch die Bayerische BaCaTeC Initiative
22.05.2023 Arbeiten von Mitglieder des AISE-Teams werden bei verschiedenen Konferenzen und Workshops angenommen: CADE, CICM, CAV, IWIL, ICTTL
11.05.2023 Internationaler Blockkurs der TU Berlin und U Bamberg zu "Ethik und Erkenntnistheorie der KI"
16.11.2022 Vortrag von Chad Brow (Tschechische Technische Universität in Prag): Formalisierung der Mathematik in der Mengenlehre höherer Ordnung (Mi, 16. November, 14:15-15:45)
27.10.2022 Public Outreach: Benzmüller gewinnt Bamberger Science Slam gemeinsam mit Rapper ,,Bambägga''
13.10.2022 Benzmüllers Arbeit über das ontologische Argument wird in Scientific American und Spektrum der Wissenschaft erwähnt/erörtert.
15.08.2022 Demnächst erscheinendes Buch bei Springer: Was folgt aus der Nichtexistenz der Zeit? Ausgewählte Beiträge zum Kurt-Gödel-Aufsatzwettbewerb 2021
10.08.2022 Bevorstehendes Buchkapitel: Eine vereinfachte Variante des Gödelschen ontologischen Arguments
03.08.2022 Neuer Artikel in Zygon: Zeitschrift für Religion und Wissenschaft Der Artikel "Einleitung: Five Steps Toward a Religion-AI Dialogue" ist in Zygon: Zeitschrift für Religion und Wissenschaft erschienen.
23.05.2022 Neuer Artikel in JLC Der Artikel "Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy" ist gerade im Journal of Logic…
23.05.2022 Daniel Kirchner verteidigt seine Doktorarbeit in Mathematik an der FU Berlin mit summa cum laude
21.03.2022 Neuer Artikel wird bald veröffentlicht Der Artikel "A Simplified Variant of Gödel's Ontological Argument." wird in Kürze in erscheinen.
