Home > Computing and Information Technology > Computer science > Mathematical theory of computation > Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings(5649 Lecture Notes in Computer Science)
36%
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings(5649 Lecture Notes in Computer Science)

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings(5649 Lecture Notes in Computer Science)

          
5
4
3
2
1

Available


Premium quality
Premium quality
Bookswagon upholds the quality by delivering untarnished books. Quality, services and satisfaction are everything for us!
Easy Return
Easy return
Not satisfied with this product! Keep it in original condition and packaging to avail easy return policy.
Certified product
Certified product
First impression is the last impression! Address the book’s certification page, ISBN, publisher’s name, copyright page and print quality.
Secure Checkout
Secure checkout
Security at its finest! Login, browse, purchase and pay, every step is safe and secured.
Money back guarantee
Money-back guarantee:
It’s all about customers! For any kind of bad experience with the product, get your actual amount back after returning the product.
On time delivery
On-time delivery
At your doorstep on time! Get this book delivered without any delay.
Quantity:
Add to Wishlist

About the Book

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference,whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium - The Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - The 6th International Workshop on Constraint Handling Rules (CHR) - The 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - The 4th International Workshop on (Constraint) Logic Programming and Software Engineering (CLPSE) - The First Workshop on Commercial Users of Logic Programming (CULP) - Workshop on ISO Prolog - WG17 - The 19th Workshopon Logic-basedmethods in ProgrammingEnvironments (WLPE) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 69 submissions in three categories:application, system and tool, and technical papers. From these, the ProgramCommittee selected 29 papers for presentation and inclusion in the proceedings. In addition, the committee selected nine short papers describing on-going research work, PhD theses and research project overviews for poster presentations and inclusion in the proceedings.

Table of Contents:
Invited Talks.- Experiences Using Logic Programming in Bioinformatics.- A Knowledge Base System Project for FO(.).- From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.- Generative Modeling by PRISM.- Tutorials.- Enabling Serendipitous Search on the Web of Data Using Prolog.- Untangling Reverse Engineering with Logic and Abstraction.- (C)LP Tracing and Debugging.- Probabilistic Logic Learning - A Tutorial Abstract.- Best Papers.- Using Histograms to Better Answer Queries to Probabilistic Logic Programs.- Non-discriminating Arguments and Their Uses.- Applications I.- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.- Stabilization of Information Sharing for Queries Answering in Multiagent Systems.- Logic Programming for Multiagent Planning with Negotiation.- Implementation I.- Answer Set Programming with Constraints Using Lazy Grounding.- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.- Theory.- Modular Nonmonotonic Logic Programming Revisited.- Merging Logic Programs under Answer Set Semantics.- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.- Implementation II.- A Tabling Implementation Based on Variables with Multiple Bindings.- A Term-Based Global Trie for Tabled Logic Programs.- Analysis.- A New Approach to Non-termination Analysis of Logic Programs.- Constraints I.- Constraint Answer Set Solving.- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.- System and Tool Descriptions.- A Language for Large Ensembles of Independently Executing Nodes.- Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.- Debugging for Model Expansion.- Applications II.- Metabolic Network Expansion with Answer Set Programming.- Answer Set Programming for Single-Player Games in General Game Playing.- Finding Similar or Diverse Solutions in Answer Set Programming.- Implementation III.- Attributed Data for CHR Indexing.- User Defined Indexing.- Constraints II.- Integration of Abductive Reasoning and Constraint Optimization in SCIFF.- Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.- Probability, Uncertainty.- Logic Programming with Defaults and Argumentation Theories.- Qualified Computations in Functional Logic Programming.- Logic Programs under Three-Valued ?ukasiewicz Semantics.- Short Papers.- Execution Control for CHR.- Demand-Driven Normalisation for ACD Term Rewriting.- One More Decidable Class of Finitely Ground Programs.- Optimizing Compilation and Computational Complexity of Constraint Handling Rules.- Proving Termination by Invariance Relations.- Automating Termination Proofs for CHR.- An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.- An Engine for Computing Well-Founded Models.- Incremental Answer Completion in the SLG-WAM.- Doctoral Consortium.- Research Summary: Tabled Evaluation for Transaction Logic Programs.- Research Summary: Logic Programming for Massively Distributed Systems.- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality.- Research Summary.- Research Summary: Termination of CHR.- Research Summary: Intelligent Natural Language Processing Techniques and Tools.- Stochastic Reasoning with Models of Agent Behavior.- Research Summary.- Modular Action Language .- Answering Questionsfrom Natural Language Using A-Prolog.- Belief Logic Programming.- Logic-Statistic Models with Constraints for Biological Sequence Analysis.- Fusion of Logic Programming and Description Logics.- Research Summary: Non-termination Analysis of Logic Programs.- Study of Random Logic Programs.- Locally Distributed Predicates: A Programming Facility for Distributed State Detection.- Capturing Fair Computations on Concurrent Constraint Language.- Constraint Based Languages for Biological Reactions.


Best Sellers


Product Details
  • ISBN-13: 9783642028458
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Publisher Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Depth: 31
  • Height: 235 mm
  • No of Pages: 564
  • Series Title: 5649 Lecture Notes in Computer Science
  • Spine Width: 33 mm
  • Weight: 861 gr
  • ISBN-10: 3642028454
  • Publisher Date: 24 Jun 2009
  • Binding: Paperback
  • Edition: 2009 ed.
  • Language: English
  • Returnable: Y
  • Series Title: Programming and Software Engineering
  • Sub Title: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
  • Width: 155 mm


Similar Products

How would you rate your experience shopping for books on Bookswagon?

Add Photo
Add Photo

Customer Reviews

REVIEWS           
Click Here To Be The First to Review this Product
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings(5649 Lecture Notes in Computer Science)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings(5649 Lecture Notes in Computer Science)
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: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings(5649 Lecture Notes in Computer Science)

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!
    ASK VIDYA