Andreas Herzig – författare

This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.  

The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.

The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.

The papers focus on topics such as: ​logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.

The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as agency; argumentation and agreement; belief

and action; dynamics of informational attitudes; intentions, plans, and goals; decision

making and planning; preference and utility; cooperation; strategic reasoning and

game theory; epistemology; social choice; social interaction; speech acts; knowledge

representation; norms and normative systems; natural language; rationality; philosophical

This book offers a widely interdisciplinary approach to investigating important questions surrounding the cognitive foundations of group attitudes and social interaction. The volume tackles issues such as the relationship between individual and group attitudes, the cognitive bases of group identity and group identification and the link between emotions and individual attitudes.

This volume delves into the links between individual attitudes (such as beliefs, goals and intentions) and how they are reflected in shared attitudes where common belief, collective acceptance, joint intentions, and group preferences come into play. It pursues answers to the connections between trust and beliefs, goals and intentions and attempts to investigate questions such as: does trust have an affective component and how it may relate to hope and fear? The volume also scrutinizes game theory and questions whether it can satisfactorily explain and model social interaction and if there may be any concepts which are not addressed by the current theory.

Contributors are derived from disciplines including philosophy, economics, psychology, logic and computer science. Interdisciplinary in scope and comprehensive detail, this volume integrates a variety of approaches – philosophical, psychological and artificial intelligence – to strategic, normative and emotional aspects of social interaction.