Logic and Argumentation
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 str...
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 str...