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

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 -