Logic and Argumentation
Logic and Argumentation [electronic resource] :
edited by Andreas Herzig, Jieting Luo, Pere Pardo.
- 1st ed. 2023.
- Cham Springer Nature Switzerland 2023
- XX, 225 p. 38 illus., 14 illus. in color. online resource.
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
9783031408755
Algorithms.
Artificial intelligence.
Artificial Intelligence.
Compilers (Computer programs).
Compilers and Interpreters.
Computer programming.
Computer Science Logic and Foundations of Programming.
Computer science.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Machine theory.
Programming Techniques.
6.3
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
9783031408755
Algorithms.
Artificial intelligence.
Artificial Intelligence.
Compilers (Computer programs).
Compilers and Interpreters.
Computer programming.
Computer Science Logic and Foundations of Programming.
Computer science.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Machine theory.
Programming Techniques.
6.3