Logics in Artificial Intelligence

Logics in Artificial Intelligence

by Giovanni CasiniBesik Dundua and Temur Kutsia
Epub (Kobo), Epub (Adobe)
Publication Date: 01/09/2025

Share This eBook:

  $98.99

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.

ISBN:
9783032045904
9783032045904
Category:
Artificial intelligence
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
01-09-2025
Language:
English
Publisher:
Springer Nature Switzerland

This item is delivered digitally

Reviews

Be the first to review Logics in Artificial Intelligence.