Logic and argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings / Pietro Baroni, Christoph Benzmüller, Yì N. Wáng (eds.).
International Conference on Logic and Argumentation (4th : 2021 : Hangzhou, China); Wáng, Yì N. editor.; Baroni, Pietro, editor; Benzmüller, Christoph, editor.
2021
QA9.A1
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic and argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings / Pietro Baroni, Christoph Benzmüller, Yì N. Wáng (eds.).
Meeting Name International Conference on Logic and Argumentation (4th : 2021 : Hangzhou, China)
ISBN 9783030893910 (electronic bk.)
303089391X (electronic bk.)
9783030893903
3030893901
DOI https://doi.org/10.1007/978-3-030-89391-0
Published Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource (xiii, 552 pages) : illustrations (some color)
Other Standard Identifiers 10.1007/978-3-030-89391-0 doi
Call Number QA9.A1
Dewey Decimal Classification 511.3
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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 18, 2021).
Added Author Wáng, Yì N. editor.
Baroni, Pietro, editor
Benzmüller, Christoph, editor.
Series Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 13040.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form Logic and argumentation.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export