, ,

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Specificaties
Paperback, blz. | Engels
Springer International Publishing | e druk, 2021
ISBN13: 9783030893903
Rubricering
Springer International Publishing e druk, 2021 9783030893903
Onderdeel van serie Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783030893903
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing

Inhoudsopgave

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.

Rubrieken

    Personen

      Trefwoorden

        Logic and Argumentation