Logic Programming and Nonmonotonic Reasoning
Home > Computing and Information Technology > Computer science > Artificial intelligence > Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

|
     0     
5
4
3
2
1




International Edition


About the Book

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. The special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. The presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.

Table of Contents:
Session 1. Invited Talks.- SAT, SMT and Applications.- Logic-Based Modeling in Systems Biology.- Integrating Answer Set Programming and Satisfiability Modulo Theories.- Session 2. Technical Papers.- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.- Splitting a CR-Prolog Program.- Contextual Argumentation in Ambient Intelligence.- Argumentation Context Systems: A Framework for Abstract Group Argumentation.- A Revised Concept of Safety for General Answer Set Programs.- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.- Complexity of the Stable Model Semantics for Queries on Incomplete Databases.- Manifold Answer-Set Programs for Meta-reasoning.- A Deductive System for FO(ID) Based on Least Fixpoint Logic.- Computing Stable Models via Reductions to Difference Logic.- A Module-Based Framework for Multi-language Constraint Modeling.- Induction on Failure: Learning Connected Horn Theories.- On Reductive Semantics of Aggregates in Answer Set Programming.- A First Order Forward Chaining Approach for Answer Set Computing.- Knowledge Qualification through Argumentation.- Simple Random Logic Programs.- Max-ASP: Maximum Satisfiability of Answer Set Programs.- Belief Revision with Bounded Treewidth.- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.- A Default Approach to Semantics of Logic Programs with Constraint Atoms.- The Complexity of Circumscriptive Inference in Post’s Lattice.- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.- Weight Constraint Programs with Functions.- Session 3.Original Application Papers.- Bridging the Gap between High-Level Reasoning and Low-Level Control.- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.- An ASP-Based System for e-Tourism.- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.- Session 4. Short Papers.- Translating Preferred Answer Set Programs to Propositional Logic.- CR-Prolog as a Specification Language for Constraint Satisfaction Problems.- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .- Computing Weighted Solutions in Answer Set Programming.- Representing Multi-agent Planning in CLP.- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs.- Layer Supported Models of Logic Programs.- Applying ASP to UML Model Validation.- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach.- Social Default Theories.- Session 5. System Descriptions.- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.- An ASP System with Functions, Lists, and Sets.- A Simple Distributed Conflict-Driven Answer Set Solver.- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.- On the Input Language of ASP Grounder Gringo.- The Conflict-Driven Answer Set Solver clasp: Progress Report.- System f2lp – Computing Answer Sets of First-Order Formulas.- The First Version of a New ASP Solver : ASPeRiX.- An ASP-Based Data Integration System.- Gorgias-C: Extending Argumentation with Constraint Solving.- Session 6. Summaries of Existing SuccessfulApplications Papers.- ANTON: Composing Logic and Logic Composing.- Modelling Normative Frameworks Using Answer Set Programing.- Generating Optimal Code Using Answer Set Programming.- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming.- HAPLO-ASP: Haplotype Inference Using Answer Set Programming.- Using Answer Set Programming to Enhance Operating System Discovery.- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System.- Session 7. Short Application Papers.- Some DLV Applications for Knowledge Management.- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.- Optimal Multicore Scheduling: An Application of ASP Techniques.- Session 8 (Panel on Future Applications). Position Papers by the Panelists.- From Data Integration towards Knowledge Mediation.- Integrating Answer Set Modules into Agent Programs.- What Next for ASP? (A Not-Entirely-Well-Informed Opinion).- Using Lightweight Inference to Solve Lightweight Problems.- Present and Future Challenges for ASP Systems.- ASP: The Future Is Bright.- Exploiting ASP in Real-World Applications: Main Strengths and Challenges.- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.- Towards an Embedded Approach to Declarative Problem Solving in ASP.- System Competition. Summary of System Competition.- The Second Answer Set Programming Competition.


Best Sellers


Product Details
  • ISBN-13: 9783642042379
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Publisher Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Height: 235 mm
  • No of Pages: 656
  • Returnable: Y
  • Width: 155 mm
  • ISBN-10: 3642042376
  • Publisher Date: 07 Sep 2009
  • Binding: Paperback
  • Language: English
  • Returnable: Y
  • Sub Title: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings


Similar Products

Add Photo
Add Photo

Customer Reviews

REVIEWS      0     
Click Here To Be The First to Review this Product
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals

    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!