Logics in Artificial Intelligence

18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
1. Auflage 2023
ISBN: 978-3-031-43618-5
Verlag: Springer Nature Switzerland

Buch, Englisch, 831 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1264 g

Reihe: Lecture Notes in Artificial Intelligence

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

Zielgruppe

Research

Autoren/Hrsg.

Gaggl, Sarah

Ortiz, Magdalena

Martinez, Maria Vanina

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Angewandte Informatik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz

Inhaltsverzeichnis

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.