Description: Logic Programming and Nonmonotonic Reasoning by Vladimir Lifschitz, Ilkka Niemelä This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004.The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning. Notes Also available online Table of Contents Invited Papers.- Constraints and Probabilistic Networks: A Look At The Interface.- Toward A Universal Inference Engine.- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.- Regular Papers.- Semantics for Dynamic Logic Programming: A Principle-Based Approach.- Probabilistic Reasoning With Answer Sets.- Answer Sets: From Constraint Programming Towards Qualitative Optimization.- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.- Reasoning About Actions and Change in Answer Set Programming.- Almost Definite Causal Theories.- Simplifying Logic Programs Under Uniform and Strong Equivalence.- Towards Automated Integration of Guess and Check Programs in Answer Set Programming.- Towards Automated Integration of Guess and Check Programs in Answer Set Programming.- Graphs and Colorings for Answer Set Programming: Abridged Report.- Nondefinite vs. Definite Causal Theories.- Logic Programs With Monotone Cardinality Atoms.- Set Constraints in Logic Programming.- Verifying the Equivalence of Logic Programs in the Disjunctive Case.- Uniform Equivalence for Equilibrium Logic and Logic Programs.- Partial Stable Models for Logic Programs with Aggregates.- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.- Using Criticalities as a Heuristic for Answer Set Programming.- Planning with Preferences Using Logic Programming.- Planning with Sensing Actions and Incomplete Information Using Logic Programming.- Deduction in Ontologies via ASP.- Strong Equivalence for Causal Theories.- Answer Set Programming with Clause Learning.- Properties of Iterated Multiple Belief Revision.- System Descriptions.- System Description: DLV with Aggregates.- GNT — A Solver for Disjunctive Logic Programs.-LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs.- DLV DB : Bridging the Gap between ASP Systems and DBMSs.- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.- WSAT(CC) — A Fast Local-Search ASP Solver.- Smodels with CLP—A Treatment of Aggregates in ASP.- nlp: A Compiler for Nested Logic Programming. Promotional Also available online Long Description The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6-8, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, USA (1995), Dagstuhl, Germany (1997), El Paso, USA (1999), and Vienna, Austria (2001). LPNMR conferences are a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. In the 1980sresearchersworkingintheareaofnonmonotonicreasoningdiscoveredthat their formalisms could be used to describe the behavior of negation as failure in Prolog,andtherstLPNMRmeetingwasconvenedforthepurposeofdiscussing thisrelationship.Thisworkhasledtothecreationoflogicprogrammingsystems of a new kind, answer set solvers, and to the emergence of a new approach to solving combinatorial search problems, called answer set programming. The highlights of LPNMR-7 were three invited talks, given by Rina Dechter (University of California, Irvine), Henry Kautz (University of Washington) and Torsten Schaub (University of Potsdam). The program also included 24 regular papers selected after a rigorous review process, 8 system descriptions, and 2 panels. We would like to thank the Program Committee members and additional reviewers for careful, unbiased evaluation of the submitted papers. We are also grateful to Paolo Ferraris for help with publicizing the Call for Papers, to Fred Homan for help with local organizational matters, and to Matti J Details ISBN354020721X Short Title LOGIC PROGRAMMING & NONMONOTON Language English ISBN-10 354020721X ISBN-13 9783540207214 Media Book Format Paperback DEWEY 005.115 Series Number 2923 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Pages 370 Abridged Yes Illustrations X, 370 p. Subtitle 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings DOI 10.1007/b94792;10.1007/978-3-540-24609-1 Author Ilkka Niemelä Edited by Ilkka Niemelä Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 2004 ed. Year 2003 Edition 2004th Publication Date 2003-12-09 Audience Professional & Vocational Series Lecture Notes in Artificial Intelligence We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96267944;
Price: 116.58 AUD
Location: Melbourne
End Time: 2025-01-29T06:24:54.000Z
Shipping Cost: 11.5 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540207214
Book Title: Logic Programming and Nonmonotonic Reasoning
Number of Pages: 370 Pages
Publication Name: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Language: English
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Item Height: 235 mm
Subject: Computer Science
Publication Year: 2003
Type: Textbook
Item Weight: 581 g
Author: Vladimir Lifschitz, Ilkka Niemela
Item Width: 155 mm
Format: Paperback
