<>

Type Book

Rate 0.0 /5

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 trea…

Details

Files

Reviews

Download

Title Statements

Full title :<>.

Summary

Edition Statements

Publication Date:2021.
Edition:1st ed. 2021

Publication Statements

Publisher(s):Springer International Publishing
Place of Publication:Cham
Language:eng
Publication Date:2021.

The Physical Object

Description:1 online resource.

Edition Identifiers

ISBN:9783030893910, 303089391X
oclc:on1285359233
LC Classification:Q334-342
Dewey Decimal:006.3

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.

Subjects

Actes de congrès Algorithm Analysis and Problem Complexi… ALGORITHMS artificial intelligence Compilers (Computer programs) Compilers and interpreters Computer logic COMPUTER PROGRAMMING Computer Science Computer Science Logic and Foundations … design and analysis of algorithms Formal languages and automata theory Logic, Symbolic and mathematical Logics and Meanings of Programs Machine Theory Mathematical logic Mathematical Logic and Formal Languages Programming languages (Electronic compu… Programming Languages, Compilers, Inter… Programming Techniques