Book Volume 2916 2003

Logic Programming

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

Editors:

ISBN: 978-3-540-20642-2 (Print) 978-3-540-24599-5 (Online)

Table of contents (50 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Chapter

      Pages 1-2

      Achieving Type Safety for Low-Level Code

    2. No Access

      Chapter

      Pages 3-19

      Logic Information Systems for Logic Programmers

    3. No Access

      Chapter

      Pages 20-46

      A Logic Programming View of Authorization in Distributed Systems

    4. No Access

      Chapter

      Pages 47-48

      Compositional Verification of Infinite State Systems

    5. No Access

      Chapter

      Pages 49-71

      A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods

  3. Invited Tutorials

    1. No Access

      Chapter

      Pages 72-101

      Concurrency, Time, and Constraints

    2. No Access

      Chapter

      Pages 102-102

      Symbolic Model-Checking for Biochemical Systems

    3. No Access

      Chapter

      Pages 103-108

      Component-Based Software Development and Logic Programming

    4. No Access

      Chapter

      Pages 109-127

      A Tutorial on Proof Theoretic Foundations of Logic Programming

  4. Regular Papers

    1. No Access

      Chapter

      Pages 128-147

      Objective: In Minimum Context

    2. No Access

      Chapter

      Pages 148-162

      Handling Existential Derived Predicates in View Updating

    3. No Access

      Chapter

      Pages 163-177

      Efficient Evaluation of Logic Programs for Querying Data Integration Systems

    4. No Access

      Chapter

      Pages 178-193

      Argumentation Databases

    5. No Access

      Chapter

      Pages 194-208

      Order and Negation as Failure

    6. No Access

      Chapter

      Pages 209-223

      Computing Minimal Models, Stable Models, and Answer Sets

    7. No Access

      Chapter

      Pages 224-238

      Uniform Equivalence of Logic Programs under the Stable Model Semantics

    8. No Access

      Chapter

      Pages 239-253

      Answer Set Programming Phase Transition: A Study on Randomly Generated Programs

    9. No Access

      Chapter

      Pages 254-268

      Termination Analysis with Types Is More Accurate

    10. No Access

      Chapter

      Pages 269-283

      A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation

    11. No Access

      Chapter

      Pages 284-299

      Intensional Sets in CLP

previous Page of 3