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.

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.

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. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.

1 Kausalitat als antireduktionistisches Hausmittel oder: Was hat den Grossen Brand von London verursacht?.- 2 Reduktionismus im Diskurs.- 3 Monads, Types, and Branching Time - Kurt Goedel's approach towards a theory of the soul.- 4 The limits of reductionism: thought, life, and reality.- 5 True or Rational? A Problem for a Mind-Body Reductionist.- 6 Why reductionism does not work.- 7 Physik ohne Reduktion.- 8 Is there an Axiom for everything?.- 9 Unerklarliche Wahrheiten.- 10 Goedel, mathematischer Realismus und Antireduktionismus.

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. KI 2019 has a special focus theme on "AI methods for Argumentation" and especially invited contributions that use methods from all areas of AI to understand, formalize or generate argument structures in natural language.