{"product_id":"logics-in-artificial-intelligence-9783032045867","title":"Logics in Artificial Intelligence","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003e.- Special Track: Logics for Explainable and Trustworthy AI.\u003cbr\u003e\u003c\/strong\u003e.-  A Uniform Language for Safety, Robustness and Explainability.\u003cbr\u003e.- Reinforcement Learning Meets Logic Programming: Towards Explainable AI.\u003cbr\u003e.- Formal Explanations of Black-Box Ranking Functions.\u003cbr\u003e.- Why This and not That? A Logic-based Framework for Contrastive Explanations.\u003cbr\u003e\u003cstrong\u003e.- Argumentation.\u003c\/strong\u003e\u003cbr\u003e.- On the Sensitivity of Extension Semantics to Similarity.\u003cbr\u003e.- SCC-recursiveness in Infinite Argumentation.\u003cbr\u003e.- Completing Structured Arguments in Assumption-based Argumentation.\u003cbr\u003e\u003cstrong\u003e.- Constraint Satisfaction and Optimization.\u003c\/strong\u003e\u003cbr\u003e.- Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers.\u003cbr\u003e.- Unsupervised Automata Learning via Discrete Optimization.\u003cbr\u003e.- Finding Short Tree-like Unit Refutations in UTVPI Constraint Systems.\u003cbr\u003e\u003cstrong\u003e.- Deontic Reasoning.\u003cbr\u003e\u003c\/strong\u003e.- GL-based Calculi for PCL and its Deontic Cousin.\u003cbr\u003e.- deon-B: A Language for Well-Founded Deontic Planning.\u003cbr\u003e.- Dual Scale Detachment.\u003cbr\u003e\u003cstrong\u003e.- Description Logics and Ontological Reasoning.\u003cbr\u003e\u003c\/strong\u003e.- Towards Practicable Defeasible Reasoning for ABoxes.\u003cbr\u003e.- Closure-Based Tractable Possibilistic Inference from Partially Ordered DL-Lite Ontologies.\u003cbr\u003e\u003cstrong\u003e.- Higher-order and Non-classical Logics.\u003cbr\u003e\u003c\/strong\u003e.- Strongly First Order Disjunctive Embedded Dependencies in Team Semantics.\u003cbr\u003e.- A Kripke Semantics for Intuitionistic Lukasiewicz Logic with Weak Excluded Middle.\u003cbr\u003e.- From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness.\u003cbr\u003e\u003cstrong\u003e.- Logic Programming and Answer Set Programming.\u003cbr\u003e\u003c\/strong\u003e.- Lazy Atom Discovery in Compilation-Based ASP Solving.\u003cbr\u003e.- Encoding Action Reversibility In Planning Using Quantified ASP and Bule.\u003cbr\u003e.- DIRT: a Literature-based Benchmark Suite for Grounders.\u003cbr\u003e.- An Experiment with Anthem: Semantic Equivalence of Tiling Programs.\u003cbr\u003e.- Generalizing the Syntax of Terms in Mini-gringo.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195521163607,"sku":"9783032045867","price":59.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/logics-in-artificial-intelligence-9783032045867","provider":"Book Curl","version":"1.0","type":"link"}