Limit search to available items
Book Cover
E-book
Author JELIA (Conference) (18th : 2023 : Dresden, Germany)

Title Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings / Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors
Published Cham, Switzerland : Springer, [2023]

Copies

Description 1 online resource (xviii, 831 pages) : illustrations (some color)
Series Lecture Notes in Artificial Intelligence ; 14281
Lecture Notes in Computer Science
Lecture notes in computer science. Lecture notes in artificial intelligence ; 14281.
Contents 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
Summary 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)
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed September 26, 2023)
Subject Artificial intelligence -- Congresses
Logic, Symbolic and mathematical -- Congresses
Computer science -- Congresses
Software engineering -- Congresses
Computer logic -- Congresses
Database management -- Congresses
Artificial intelligence
Computer logic
Computer science
Database management
Logic, Symbolic and mathematical
Software engineering
Genre/Form Electronic books
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Gaggl, Sarah, editor
Martinez, Maria Vanina, editor.
Ortiz, Magdalena, 1978- editor.
ISBN 9783031436192
3031436199
Other Titles JELIA 2023