Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Title:

Author:

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

ISBN:

9789819679560

Edition:

1st ed. 2025.

Physical Description:

XII, 382 p. 48 illus., 17 illus. in color. online resource.

Series:

Lecture Notes in Artificial Intelligence, 15712

Abstract:

This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14-16, 2025. The 22 full papers included in this book were carefully reviewed and selected from 38 submissions. These papers focus on the recent advancements in the field of logic and argumentation, as well as their applications in various areas of Artificial intelligence (AI), such as explainable AI, ethical dilemmas, reasoning about uncertainty and knowledge representation.

Subject Term:

Artificial intelligence.

Computer programming.

Compilers (Computer programs).

Algorithms.

Computer science.

Machine theory.

Programming Techniques.

Compilers and Interpreters.

Design and Analysis of Algorithms.

Computer Science Logic and Foundations of Programming.

Formal Languages and Automata Theory.