This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003.
The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.
Author(s): Greg Morrisett (auth.), Catuscia Palamidessi (eds.)
Series: Lecture Notes in Computer Science 2916
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 524
Tags: Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Achieving Type Safety for Low-Level Code....Pages 1-2
Logic Information Systems for Logic Programmers....Pages 3-19
A Logic Programming View of Authorization in Distributed Systems....Pages 20-46
Compositional Verification of Infinite State Systems....Pages 47-48
A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods....Pages 49-71
Concurrency, Time, and Constraints....Pages 72-101
Symbolic Model-Checking for Biochemical Systems....Pages 102-102
Component-Based Software Development and Logic Programming....Pages 103-108
A Tutorial on Proof Theoretic Foundations of Logic Programming....Pages 109-127
Objective: In Minimum Context....Pages 128-147
Handling Existential Derived Predicates in View Updating....Pages 148-162
Efficient Evaluation of Logic Programs for Querying Data Integration Systems....Pages 163-177
Argumentation Databases....Pages 178-193
Order and Negation as Failure....Pages 194-208
Computing Minimal Models, Stable Models, and Answer Sets....Pages 209-223
Uniform Equivalence of Logic Programs under the Stable Model Semantics....Pages 224-238
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs....Pages 239-253
Termination Analysis with Types Is More Accurate....Pages 254-268
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation....Pages 269-283
Intensional Sets in CLP ....Pages 284-299
Implementing Constraint Propagation by Composition of Reductions....Pages 300-314
Forward versus Backward Verification of Logic Programs....Pages 315-330
Native Preemptive Threads in SWI-Prolog....Pages 331-345
Flow Java: Declarative Concurrency for Java....Pages 346-360
On the Complexity of Dependent And-Parallelism in Logic Programming....Pages 361-376
Higher-Order Substitution Tree Indexing....Pages 377-391
Incremental Evaluation of Tabled Logic Programs....Pages 392-406
On Deterministic Computations in the Extended Andorra Model....Pages 407-421
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL....Pages 422-437
Is There an Optimal Generic Semantics for First-Order Equations?....Pages 438-450
Loop Formulas for Disjunctive Logic Programs....Pages 451-465
Default Knowledge in Logic Programs with Uncertainty....Pages 466-480
A Generic Persistence Model for (C)LP Systems....Pages 481-482
Definitions in Answer Set Programming....Pages 483-484
A New Mode Declaration for Tabled Predicates....Pages 485-486
Adding the Temporal Relations in Semantic Web Ontologies....Pages 487-488
Polynomial-Time Learnability from Entailment....Pages 489-491
Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation....Pages 492-493
Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents....Pages 494-495
A Real Implementation for Constructive Negation....Pages 496-497
Simulating Security Systems Based on Logigrams....Pages 498-499
Online Justification for Tabled Logic Programs....Pages 500-501
Inducing Musical Rules with ILP....Pages 502-504
A Distinct-Head Folding Rule....Pages 505-506
Termination Analysis of Logic Programs....Pages 507-508
Refactoring Logic Programs....Pages 509-510
Termination of Logic Programs for Various Dynamic Selection Rules....Pages 511-512
Adding Preferences to Answer Set Planning....Pages 513-514
Controlling Semi-automatic Systems with FLUX....Pages 515-516
The Language Model LMNtal....Pages 517-518
Back Matter....Pages -
