Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

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 -