product iamge

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.

Author(s): Chris Mungall (auth.), Patricia M. Hill, David S. Warren (eds.)
Series: Lecture Notes in Computer Science 5649 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009

Language: English
Pages: 564
Tags: Mathematics of Computing; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques

Front Matter....Pages -
Experiences Using Logic Programming in Bioinformatics....Pages 1-21
A Knowledge Base System Project for FO(.)....Pages 22-22
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse....Pages 23-23
Generative Modeling by PRISM....Pages 24-35
Enabling Serendipitous Search on the Web of Data Using Prolog....Pages 36-36
Untangling Reverse Engineering with Logic and Abstraction....Pages 37-37
(C)LP Tracing and Debugging....Pages 38-38
Probabilistic Logic Learning - A Tutorial Abstract....Pages 39-39
Using Histograms to Better Answer Queries to Probabilistic Logic Programs....Pages 40-54
Non-discriminating Arguments and Their Uses....Pages 55-69
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis....Pages 70-83
Stabilization of Information Sharing for Queries Answering in Multiagent Systems....Pages 84-98
Logic Programming for Multiagent Planning with Negotiation....Pages 99-114
Answer Set Programming with Constraints Using Lazy Grounding....Pages 115-129
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs....Pages 130-144
Modular Nonmonotonic Logic Programming Revisited....Pages 145-159
Merging Logic Programs under Answer Set Semantics....Pages 160-174
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs....Pages 175-189
A Tabling Implementation Based on Variables with Multiple Bindings....Pages 190-204
A Term-Based Global Trie for Tabled Logic Programs....Pages 205-219
A New Approach to Non-termination Analysis of Logic Programs....Pages 220-234
Constraint Answer Set Solving....Pages 235-249
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers....Pages 250-264
A Language for Large Ensembles of Independently Executing Nodes....Pages 265-280
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework....Pages 281-295
Debugging for Model Expansion....Pages 296-311
Metabolic Network Expansion with Answer Set Programming....Pages 312-326
Answer Set Programming for Single-Player Games in General Game Playing....Pages 327-341
Finding Similar or Diverse Solutions in Answer Set Programming....Pages 342-356
Attributed Data for CHR Indexing....Pages 357-371
User Defined Indexing....Pages 372-386
Integration of Abductive Reasoning and Constraint Optimization in SCIFF....Pages 387-401
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC....Pages 402-416
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming....Pages 417-431
Logic Programming with Defaults and Argumentation Theories....Pages 432-448
Qualified Computations in Functional Logic Programming....Pages 449-463
Logic Programs under Three-Valued Łukasiewicz Semantics....Pages 464-478
Execution Control for CHR....Pages 479-483
Demand-Driven Normalisation for ACD Term Rewriting....Pages 484-488
One More Decidable Class of Finitely Ground Programs....Pages 489-493
Optimizing Compilation and Computational Complexity of Constraint Handling Rules....Pages 494-498
Proving Termination by Invariance Relations....Pages 499-503
Automating Termination Proofs for CHR....Pages 504-508
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems....Pages 509-513
An Engine for Computing Well-Founded Models....Pages 514-518
Incremental Answer Completion in the SLG-WAM....Pages 519-524
Research Summary: Tabled Evaluation for Transaction Logic Programs....Pages 525-526
Research Summary: Logic Programming for Massively Distributed Systems....Pages 527-529
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality....Pages 530-531
Research Summary....Pages 532-533
Research Summary: Termination of CHR....Pages 534-535
Research Summary: Intelligent Natural Language Processing Techniques and Tools....Pages 536-537
Stochastic Reasoning with Models of Agent Behavior....Pages 538-539
Research Summary....Pages 540-541
Modular Action Language ${\cal ALM}$ ....Pages 542-543
Answering Questions from Natural Language Using A-Prolog....Pages 544-546
Belief Logic Programming....Pages 547-548
Logic-Statistic Models with Constraints for Biological Sequence Analysis....Pages 549-550
Fusion of Logic Programming and Description Logics....Pages 551-552
Research Summary: Non-termination Analysis of Logic Programs....Pages 553-554
Study of Random Logic Programs....Pages 555-556
Locally Distributed Predicates: A Programming Facility for Distributed State Detection....Pages 557-558
Capturing Fair Computations on Concurrent Constraint Language....Pages 559-560
Constraint Based Languages for Biological Reactions....Pages 561-562
Back Matter....Pages -