Skip to main content
SpringerLink
Log in

Logic Programming

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Catuscia Palamidessi

    1. Ecole Polytechnique, Palaiseau Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2916)

Included in the following conference series:

Conference proceedings info: ICLP 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (50 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Achieving Type Safety for Low-Level Code

      • Greg Morrisett
      Pages 1-2

    2. Logic Information Systems for Logic Programmers

      • Olivier Ridoux
      Pages 3-19

    3. A Logic Programming View of Authorization in Distributed Systems

      • William H. Winsborough
      Pages 20-46

    4. Compositional Verification of Infinite State Systems

      • Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
      Pages 47-48

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

      • Rolf Backofen, Sebastian Will
      Pages 49-71

  3. Invited Tutorials

    1. Concurrency, Time, and Constraints

      • Frank D. Valencia
      Pages 72-101

    2. Symbolic Model-Checking for Biochemical Systems

      • François Fages
      Pages 102-102

    3. Component-Based Software Development and Logic Programming

      • Kung-Kiu Lau
      Pages 103-108

    4. A Tutorial on Proof Theoretic Foundations of Logic Programming

      • Paola Bruscoli, Alessio Guglielmi
      Pages 109-127

  4. Regular Papers

    1. Objective: In Minimum Context

      • Salvador Abreu, Daniel Diaz
      Pages 128-147

    2. Handling Existential Derived Predicates in View Updating

      • Carles Farré, Ernest Teniente, Toni Urpí
      Pages 148-162

    3. Efficient Evaluation of Logic Programs for Querying Data Integration Systems

      • Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
      Pages 163-177

    4. Argumentation Databases

      • Shekhar Pradhan
      Pages 178-193

    5. Order and Negation as Failure

      • Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 194-208

    6. Computing Minimal Models, Stable Models, and Answer Sets

      • Zbigniew Lonc, MirosÅ‚aw TruszczyÅ„ski
      Pages 209-223

    7. Uniform Equivalence of Logic Programs under the Stable Model Semantics

      • Thomas Eiter, Michael Fink
      Pages 224-238

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

      • Yuting Zhao, Fangzhen Lin
      Pages 239-253

    9. Termination Analysis with Types Is More Accurate

      • Vitaly Lagoon, Fred Mesnard, Peter J. Stuckey
      Pages 254-268

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

      • Ludovic Langevine, Mireille Ducassé, Pierre Deransart
      Pages 269-283
Back to top

Other volumes

  1. Logic Programming

Keywords

Editors and Affiliations

  • Ecole Polytechnique, Palaiseau Cedex, France

    Catuscia Palamidessi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation