{"product_id":"casini-giovanni-logics-in-artificial-intelligence-9783032045898","title":"Logics in Artificial Intelligence","description":"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.\n\u003cbr\u003e\nThe 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:\n\u003cbr\u003e\nPart 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.\n\u003cbr\u003e\nPart II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53752845205846,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783032045898_1.jpg?v=1778904771","url":"https:\/\/www.momoxbooks.com\/products\/casini-giovanni-logics-in-artificial-intelligence-9783032045898","provider":"momoxbooks","version":"1.0","type":"link"}