Imaxe de Portada

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /

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

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros autores: Herzig, Andreas (Editor), Luo, Jieting (Editor), Pardo, Pere (Editor)
Formato: Electrónico eBook
Idioma:inglés
Publicado: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edición:1st ed. 2023.
Series:Lecture Notes in Artificial Intelligence, 14156
Subjects:
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 Theory.
Acceso en liña:https://doi.org/10.1007/978-3-031-40875-5
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descripción
Summary: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.
Descrición Física:1 online resource (XX, 225 p. 38 illus.). 14 illus. in color.
ISBN:9783031408755
ISSN:2945-9141 ;
DOI:10.1007/978-3-031-40875-5

Títulos similares