Broschiertes Buch

Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I

Herausgegeben: Casini, Giovanni; Dundua, Besik; Kutsia, Temur

Beschreibung

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1 4, 2025.

The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:

Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.

Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.

Produktdetails

• Lecture Notes in Computer Science 16093
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 89549037, 978-3-032-04586-7
• Seitenzahl: 362
• Erscheinungstermin: 11. Oktober 2025
• Englisch
• Abmessung: 235mm x 155mm
• ISBN-13: 9783032045867
• ISBN-10: 303204586X
• Artikelnr.: 75042744