附註:Includes bibliographical references and index.
Invited Talks -- Achieving Type Safety for Low-Level Code -- Logic Information Systems for Logic Programmers -- A Logic Programming View of Authorization in Distributed Systems -- Compositional Verification of Infinite State Systems -- A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods -- Invited Tutorials -- Concurrency, Time, and Constraints -- Symbolic Model-Checking for Biochemical Systems -- Component-Based Software Development and Logic Programming -- A Tutorial on Proof Theoretic Foundations of Logic Programming -- Regular Papers -- Objective: In Minimum Context -- Handling Existential Derived Predicates in View Updating -- Efficient Evaluation of Logic Programs for Querying Data Integration Systems -- Argumentation Databases -- Order and Negation as Failure -- Computing Minimal Models, Stable Models, and Answer Sets -- Uniform Equivalence of Logic Programs under the Stable Model Semantics -- Answer Set Programming Phase Transition: A Study on Randomly Generated Programs -- Termination Analysis with Types Is More Accurate -- A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation -- Intensional Sets in CLP -- Implementing Constraint Propagation by Composition of Reductions -- Forward versus Backward Verification of Logic Programs -- Native Preemptive Threads in SWI-Prolog -- Flow Java: Declarative Concurrency for Java -- On the Complexity of Dependent And-Parallelism in Logic Programming -- Higher-Order Substitution Tree Indexing -- Incremental Evaluation of Tabled Logic Programs -- On Deterministic Computations in the Extended Andorra Model -- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL -- Is There an Optimal Generic Semantics for First-Order Equations? -- Loop Formulas for Disjunctive Logic Programs -- Default Knowledge in Logic Programs with Uncertainty -- Posters -- A Generic Persistence Model for (C)LP S
摘要: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.
