Actions for Logic and Argumentation [electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Email RIS file
Bookmark
Report an Issue

Logic and Argumentation [electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings / edited by Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng

Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition
1st ed. 2021.
Physical Description
XIII, 552 p. 97 illus., 46 illus. in color. online resource
Additional Creators
Baroni, Pietro, Benzmüller, Christoph, Wáng, Yὶ N., and SpringerLink (Online service)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Contents
Logic -- Proof theory -- Modal and temporal logics -- Automated reasoning -- Artificial intelligence -- Knowledge representation and reasoning -- Argumentation -- Nonmonotonic -- default reasoning and belief revision -- Reasoning about belief and logic -- Natural language processing.
Summary
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.
Subject(s)
ISBN
9783030893910
Digital File Characteristics
text file PDF
Part Of
Springer Nature eBook
View MARC record | catkey: 35864975