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.
Author(s): Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)
Series: Lecture Notes in Computer Science 4079 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 474
Tags: Programming Techniques; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
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
Justifications for Logic Programs Under Answer Set Semantics....Pages 196-210
Generality Relations in Answer Set Programming....Pages 211-225
Cooperating Answer Set Programming....Pages 226-241
Predicate Introduction Under Stable and Well-Founded Semantics....Pages 242-256
Improving the ISO Prolog Standard by Analyzing Compliance Test Results....Pages 257-269
TOAST: Applying Answer Set Programming to Superoptimisation....Pages 270-284
Modelling Biological Networks by Action Languages Via Answer Set Programming....Pages 285-299
Using Answer Set Programming for the Automatic Compilation of Assessment Tests....Pages 300-314
Compositional Semantics for the Procedural Interpretation of Logic....Pages 315-329
Coinductive Logic Programming....Pages 330-345
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic....Pages 346-360
The Semantics of Nominal Logic Programs....Pages 361-375
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming....Pages 376-390
Deductive Spreadsheets Using Tabled Logic Programming....Pages 391-405
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language....Pages 406-420
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming....Pages 421-422
Solving First-Order Constraints in the Theory of the Evaluated Trees....Pages 423-424
Relaxation on Optimization Predicates....Pages 425-426
Handling Incomplete and Complete Tables in Tabled Logic Programs....Pages 427-428
An External Module for Implementing Linear Tabling in Prolog....Pages 429-430
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation....Pages 431-432
Towards Region-Based Memory Management for Mercury Programs....Pages 433-435
Towards Structured Contexts and Modules....Pages 436-438
Towards Temporal Contextual Logic Programming....Pages 439-441
Semantic Property Grammars for Knowledge Extraction from Biomedical Text....Pages 442-443
Natural Language Processing Using Lexical and Logical Combinators....Pages 444-446
Learning Semantic Parsers: A Constraint Handling Rule Approach....Pages 447-448
A Declarative Framework for Security: Secure Concurrent Constraint Programming....Pages 449-450
Logic Programming in Knowledge Domains....Pages 451-452
Logtalk Processing of STEP Part 21 Files....Pages 453-454
Integrating Datalog with OWL: Exploring the AL-log Approach....Pages 455-456
LMNtal as a Unifying Declarative Language: Live Demonstration....Pages 457-458
Declarative Problem Solving Using Answer Set Semantics....Pages 459-460
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages....Pages 461-462
Description Logic Reasoning in Prolog....Pages 463-464
Static Memory Management for Logic Programming Languages....Pages 465-466
Deductive Databases: Implementation, Parallelism and Applications....Pages 467-468
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning....Pages 469-470
Deducing Logic Programs....Pages 471-472
Back Matter....Pages -
