Logics in Artificial Intelligence, Kartoniert / Broschiert
Logics in Artificial Intelligence
- 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II
- Herausgeber:
- Giovanni Casini, Besik Dundua, Temur Kutsia
- Verlag:
- Springer, 09/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032045898
- Artikelnummer:
- 12381727
- Umfang:
- 352 Seiten
- Gewicht:
- 534 g
- Maße:
- 235 x 155 mm
- Stärke:
- 20 mm
- Erscheinungstermin:
- 2.9.2025
- Serie:
- Lecture Notes in Computer Science - Band 16094
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Logics in Artificial Intelligence |
Preis |
|---|---|
| Buch, Kartoniert / Broschiert, Englisch | EUR 72,27* |
Klappentext
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.
