Christoph Benzmüller – författare

This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intelligence, KI 2019, held in Kassel, Germany, in September 2019. The 16 full and 10 short papers presented together with 3 extended abstracts in this volume were carefully reviewed and selected from 82 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions.

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021.

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.

This book constitutes the proceedings of the  International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.

Die Autorinnen und Autoren präsentieren in diesem Buch Argumente, die die Unmöglichkeit des Reduktionismus aus philosophischer, naturwissenschaftlicher bzw. mathematisch-logischer Perspektive zu begründen suchen. Der Reduktionismus behauptet, dass Eigenschaften auch von komplexen Systemen (bis hin zu Lebensvorgängen und menschlichem Bewusstsein) vollständig auf ihre Bestandteile zurückgeführt werden können. Diese Position ist einflussreich, aber umstritten. Im Jahr 2019 hat der Kurt Gödel Freundeskreis einen Essaywettbewerb veranstaltet, um schlagende Argumente gegen den Reduktionismus zu finden.  Unter den internationalen Teilnehmern waren neben weltweit führenden Forschern auch Wissenschaftler, die noch am Beginn ihrer Kariere stehen. Dieser Band versammelt die Beiträge der Preisträger und weitere ausgewählte Aufsätze. Aus dem Inhalt:·        Kausalität als antireduktionistisches Hausmittel  – Martin Breul·        Reduktionismus im Diskurs  – Hanna Hueske·        Monads, Types, and Branching Time – Kurt Gödel’s approach towards a theory of the soul  – Tim Lethen·        The limits of reductionism: thought, life, and reality – Jesse M. Mulder·        True or Rational? A Problem for a Mind-Body Reductionist – Michał Pawłowski·        Why reductionism does not work – George F. R. Ellis·        Physik ohne Reduktion  –  Rico Gutschmidt·        Is there an Axiom for everything? –  Jean-Yves Béziau·        Unerklärliche Wahrheiten  –  Marco Hausmann·        Gödel, mathematischer Realismus und Antireduktionismus  –  Reinhard Kahle