Amazon cover image
Image from Amazon.com

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.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 13040. | LNCS sublibrary. SL 7, Artificial intelligence.Publisher: Cham, Switzerland : Springer, 2021Description: 1 online resource (xiii, 552 pages) : illustrations (some color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030893910
  • 303089391X
Other title:
  • CLAR 2021
Subject(s): Genre/Form: Additional physical formats: Print version:: Logic and argumentation.DDC classification:
  • 511.3 23
LOC classification:
  • QA9.A1
Online resources:
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

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.

Includes author index.

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.

Online resource; title from PDF title page (SpringerLink, viewed October 18, 2021).

Powered by Koha