Central Library

Normal view MARC view ISBD view

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.

Contributor(s): Baroni, Pietro [editor.] | Benzmüller, Christoph [editor.] | Wáng, Yὶ N [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Artificial Intelligence: 13040Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Edition: 1st ed. 2021.Description: XV, 552 p. 97 illus., 46 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030893910.Subject(s): Artificial intelligence | Computer programming | Compilers (Computer programs) | Algorithms | Computer science | Machine theory | Artificial Intelligence | Programming Techniques | Compilers and Interpreters | Design and Analysis of Algorithms | Computer Science Logic and Foundations of Programming | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.