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.).
2021
QA9.A1
Linked e-resources
Linked Resource
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.).
ISBN
9783030893910 (electronic bk.)
303089391X (electronic bk.)
9783030893903
3030893901
303089391X (electronic bk.)
9783030893903
3030893901
Published
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (xiii, 552 pages) : illustrations (some color)
Item Number
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).
Series
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 13040.
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science ; 13040.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form
Linked Resources
Record Appears in
Table of 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.
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.