Ebook: Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006.

The 20 revised full papers and 6 application papers presented together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles, were carefully reviewed and selected from 83 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

---

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006.

The 20 revised full papers and 6 application papers presented together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles, were carefully reviewed and selected from 83 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

Content:
Front Matter....Pages -
Why Use Datalog to Analyze Programs?....Pages 1-1
Semantic Web: The Story of the RIFt so Far....Pages 2-2
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks....Pages 3-10
Tableau Calculi for Answer Set Programming....Pages 11-25
Declarative Semantics of Production Rules for Integrity Maintenance....Pages 26-40
Modules for Prolog Revisited....Pages 41-55
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs....Pages 56-71
Memory Reuse for CHR....Pages 72-86
Overlapping Rules and Logic Variables in Functional Logic Programs ....Pages 87-101
Towards “Propagation = Logic + Control”....Pages 102-116
ACD Term Rewriting....Pages 117-131
Detecting Determinacy in Prolog Programs....Pages 132-147
Collapsing Closures....Pages 148-162
Reduced Certificates for Abstraction-Carrying Code ....Pages 163-178
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables....Pages 179-195
Generality Relations in Answer Set Programming....Pages 196-210
Cooperating Answer Set Programming....Pages 211-225
Predicate Introduction Under Stable and Well-Founded Semantics....Pages 226-241
Improving the ISO Prolog Standard by Analyzing Compliance Test Results....Pages 242-256
TOAST: Applying Answer Set Programming to Superoptimisation....Pages 257-269
Modelling Biological Networks by Action Languages Via Answer Set Programming....Pages 270-284
Using Answer Set Programming for the Automatic Compilation of Assessment Tests....Pages 285-299
Compositional Semantics for the Procedural Interpretation of Logic....Pages 300-314
Coinductive Logic Programming....Pages 315-329
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic....Pages 330-345
The Semantics of Nominal Logic Programs....Pages 346-360
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming....Pages 361-375
Deductive Spreadsheets Using Tabled Logic Programming....Pages 376-390
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language....Pages 391-405
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming....Pages 406-420
Solving First-Order Constraints in the Theory of the Evaluated Trees....Pages 421-422
Relaxation on Optimization Predicates....Pages 423-424
Handling Incomplete and Complete Tables in Tabled Logic Programs....Pages 425-426
An External Module for Implementing Linear Tabling in Prolog....Pages 427-428
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation....Pages 429-430
Towards Region-Based Memory Management for Mercury Programs....Pages 431-432
Towards Structured Contexts and Modules....Pages 433-435
Towards Temporal Contextual Logic Programming....Pages 436-438
Semantic Property Grammars for Knowledge Extraction from Biomedical Text....Pages 439-441
Natural Language Processing Using Lexical and Logical Combinators....Pages 442-443
Learning Semantic Parsers: A Constraint Handling Rule Approach....Pages 444-446
A Declarative Framework for Security: Secure Concurrent Constraint Programming....Pages 447-448
Logic Programming in Knowledge Domains....Pages 449-450
Logtalk Processing of STEP Part 21 Files....Pages 451-452
Integrating Datalog with OWL: Exploring the AL-log Approach....Pages 453-454
LMNtal as a Unifying Declarative Language: Live Demonstration....Pages 455-456
Declarative Problem Solving Using Answer Set Semantics....Pages 457-458
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages....Pages 459-460
Description Logic Reasoning in Prolog....Pages 461-462
Static Memory Management for Logic Programming Languages....Pages 463-464
Deductive Databases: Implementation, Parallelism and Applications....Pages 465-466
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning....Pages 467-468
Deducing Logic Programs....Pages 469-470
Back Matter....Pages 471-472
....Pages -