Placeholder text
Logics in Artificial Intelligence
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
352
Release Date:
2025-09-02
Publication Date:
2025-09-02
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032045894
ISBN13:
9783032045898
GPSR Manufacturer Reference:
Weight:
534 g
Height:
155 cm
Width:
235 cm
Thickness:
20 cm
Currently sold out