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.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
35
18 farbige Abbildungen, 35 s/w Abbildungen
XXIII, 328 p. 53 illus., 18 illus. in color.
Dateigröße
ISBN-13
978-3-032-04590-4 (9783032045904)
DOI
10.1007/978-3-032-04590-4
Schweitzer Klassifikation
