Logics in Artificial Intelligence
18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Published on 24. September 2023
Book
Paperback/Softback
XVIII, 831 pages
978-3-031-43618-5 (ISBN)
Description
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.
The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
More details
Series
Edition
1st ed. 2023
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
76 s/w Abbildungen, 38 farbige Abbildungen
XVIII, 831 p. 114 illus., 38 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 46 mm
Weight
1264 gr
ISBN-13
978-3-031-43618-5 (9783031436185)
DOI
10.1007/978-3-031-43619-2
Schweitzer Classification
Content
Invited Papers.- Special track: Logics for Explainable and Trustworthy AI.- Argumentation.- Answer Set Programming.- Description Logics and Ontological Reasoning.- Logics of Knowledge and Belief.- Non-monotonic Reasoning.- Planning.- Reasoning about Causes and Dependencies.- Reasoning about Quantities and Functions.- Temporal and Spatial Reasoning.