{ "item_title" : "Logic Programming and Nonmonotonic Reasoning", "item_author" : [" Pedro Cabalar", "Tran Cao Son "], "item_description" : "Towards Reactive Multi-Context Systems.- Logic Programming in the 1970s.- Integrating Temporal Extensions of Answer Set Programming.- Forgetting under the Well-Founded Semantics.- The Fourth Answer Set Programming Competition: Preliminary Report.- WASP: A native ASP solver based on constraint learning.- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics.- ARVis: Visualizing Relations between Answer Sets.- Symbolic System Synthesis Using Answer Set Programming.- Accurate Computation of Sensitizable Paths using Answer Set Programming.- HEX Semantics via Approximation Fixpoint Theory.- Encoding Higher Level Extensions of Petri Nets in ASP.- Cplus2ASP: Computing Action Language C+ in Answer Set Programming.- Towards Answer Set Programming with Sorts.- Prolog and ASP Inference Under One Roof.- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information.- Towards Query Answering in Relational Multi-Context Systems.- Spectra in Abstract Argumentation: An Analysis of Minimal Change.- Normalizing Cardinality Rules using Merging and Sorting Constructions.- Experience Based Nonmonotonic Reasoning.- An ASP application in integrative biology: identification of functional gene units.- Evaluating Reactive Answer Set Solving for General Game Playing.- VCWC: A Versioning Competition Workflow Compiler.- A Sequential Model of Bargaining Reasoning in Logic Programming.- Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming.- Negation as a Resource: a novel view on Answer Set.- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.- Efficient Approximation of Well-Founded Justification and.- Well-Founded Domination.- Approximate Epistemic Planning with Postdiction as Answer-Set Programming.- Combining equilibrium logic and dynamic logic.- ActHEX: Implementing HEX Programs with Action.- Debugging Answer-Set Programs with Ouroboros Extending the SeaLion Plugin.- Game Semantics for Non-Monotonic Intensional Logic Programming.- Matchmaking with Answer Set Programming.- Ricochet Robots: A transverse ASP benchmark.- Decidability and implementation of parameterized logic programs.- Non-monotonic Temporal Goals.- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.- An Application of ASP to the Field of Second Language Acquisition.- Turner's Logic of Universal Causation, Propositional Logic, and Logic.- Concrete Results on Abstract Rules.- Linear Logic Programming for Narrative.- Implementing Informal Semantics of ASP.- Implementing Belief Change in the Situation Calculus and an Application.- Debugging non-ground ASP programs with Choice Rules, Cardinality, Constraints and Weight Constraints.- Conflict-based Program Rewriting for Solving Configuration Problems.- Program Updating by Incremental and Answer Subsumption Tabling.- Representation Theorems for Revision of Logic.- Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming.- Early Recovery in Logic Program Updates.- Preference Handling for Belief-Based Rational Decisions.- Logic-based techniques for data cleaning: an application to the Italian National Healthcare System.- Justifications for Logic Programming.- Belief Change in Nonmonotonic Multi-Context Systems.- On optimal solutions of answer set optimization problems.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/64/240/563/3642405630_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details