TY  - BOOK
AU  - Gaggl,Sarah
AU  - Martinez,Maria Vanina
AU  - Ortiz,Magdalena
TI  - Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings 
T2  - Lecture Notes in Artificial Intelligence,
SN  - 9783031436192
U1  - 006.3 23
PY  - 2023///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Artificial intelligence
KW  - Application software
KW  - Computers, Special purpose
KW  - Computer science
KW  - Machine theory
KW  - Computer programming
KW  - Artificial Intelligence
KW  - Computer and Information Systems Applications
KW  - Special Purpose and Application-Based Systems
KW  - Computer Science Logic and Foundations of Programming
KW  - Formal Languages and Automata Theory
KW  - Programming Techniques
N1  - 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
N2  - 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)
UR  - https://doi.org/10.1007/978-3-031-43619-2
ER  -