{"product_id":"logics-in-artificial-intelligence-9783032045898","title":"Logics in Artificial Intelligence","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003e.- Non-monotonic Reasoning and Belief Change.\u003cbr\u003e\u003c\/strong\u003e.- Comparing Dialectical Systems: Contradiction and Counterexample in Iterated Belief Revision.\u003cbr\u003e.- The InfOCF Library for Reasoning with Conditional Belief Bases.\u003cbr\u003e.- Lockean Beliefs that are Deductively Closed and Minimal Change.\u003cbr\u003e.- Extending Defeasibility for Propositional Standpoint Logics.\u003cbr\u003e.- Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback.\u003cbr\u003e\u003cstrong\u003e.- Propositional Reasoning, QBF, and Satisfiability Problems.\u003cbr\u003e\u003c\/strong\u003e.- AxSAT - Bringing Axioms to SAT Planning.\u003cbr\u003e.- On Extracting Legal Arguments.\u003cbr\u003e.- Inclusion with Repetitions and Boolean Constants – Implication Problems Revisited.\u003cbr\u003e.- Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing.\u003cbr\u003e.- Explanations of Unsatisfiability Beyond Minimal Subsets.\u003cbr\u003e.- Refined Notions of QBF Equivalences.\u003cbr\u003e.- Refinement-Based Enumeration of QBF Solutions.\u003cbr\u003e.- Interpolating Parametric Array Theories.\u003cbr\u003e.- Maximum Satisfiability Formulations for Nonlinear Integer Programming.\u003cbr\u003e.- Exact Approaches for the Diverse Satisfiability Problem.\u003cbr\u003e\u003cstrong\u003e.- Temporal Reasoning.\u003cbr\u003e\u003c\/strong\u003e.- A Framework for Computing Upper Bounds in Passive Learning Settings.\u003cbr\u003e.- On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order.\u003cbr\u003e.- Alternating-Time Temporal Logic with Default Actions.\u003cbr\u003e\u003cstrong\u003e.- Theorem Proving.\u003c\/strong\u003e\u003cbr\u003e.- Deciding Non-Fregean Identities: A Dual Tableau Approach.\u003cbr\u003e.- Exposure and Hiding: Approaching the Objective Probability and Hiding the Secret in Zero-Knowledge Proof.\u003cbr\u003e.- On a Second-Order Version of Russellian Theory of Definite Descriptions.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":51864326046039,"sku":"9783032045898","price":59.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783032045898.jpg?v=1759921872","url":"https:\/\/bookcurl.com\/products\/logics-in-artificial-intelligence-9783032045898","provider":"Book Curl","version":"1.0","type":"link"}