Skip to main content
Springer Nature Link
Log in

Logic Programming

23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Véronica Dahl
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ilkka Niemelä
    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 4670)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICLP 2007.

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

Access this book

Log in via an institution
Softcover Book USD 54.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

Keywords

Table of contents (48 papers)

  1. Front Matter

    Download chapter PDF

  3. Invited Tutorials

    1. Answer Set Programming for the Semantic Web

      • Thomas Eiter
      Pages 23-26

    2. Coinductive Logic Programming and Its Applications

      • Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
      Pages 27-44

    3. Multi-paradigm Declarative Languages

      • Michael Hanus
      Pages 45-75

    4. Logic Programming for Knowledge Representation

      • Mirosław Truszczyński
      Pages 76-88

  4. Regular Talks

    1. Answer Set Programming

      1. On Finitely Recursive Programs
        • S. Baselice, P. A. Bonatti, G. Criscuolo
        Pages 89-103
      2. Minimal Logic Programs
        • Pedro Cabalar, David Pearce, Agustín Valverde
        Pages 104-118
      3. Generic Tableaux for Answer Set Programming
        • Martin Gebser, Torsten Schaub
        Pages 119-133
      4. Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
        • Matti Järvisalo, Emilia Oikarinen
        Pages 134-148

    2. Applications

      1. Querying and Repairing Inconsistent Databases Under Three-Valued Semantics
        • Sergio Greco, Cristian Molinaro
        Pages 149-164
      2. Logic Programming Approach to Automata-Based Decision Procedures
        • Gulay Unel, David Toman
        Pages 165-179
      3. A Logic Programming Framework for Combinational Circuit Synthesis
        • Paul Tarau, Brenda Luderman
        Pages 180-194
      4. Spatial-Yap: A Logic-Based Geographic Information System
        • David Vaz, Michel Ferreira, Ricardo Lopes
        Pages 195-208

    3. Constraint Logic Programming

      1. The Correspondence Between the Logical Algorithms Language and CHR
        • Leslie De Koninck, Tom Schrijvers, Bart Demoen
        Pages 209-223
      2. Observable Confluence for Constraint Handling Rules
        • Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
        Pages 224-239
      3. Graph Transformation Systems in CHR
        • Frank Raiser
        Pages 240-254
      4. Multivalued Action Languages with Constraints in CLP(FD)
        • Agostino Dovier, Andrea Formisano, Enrico Pontelli
        Pages 255-270

    4. Semantics

      1. Declarative Diagnosis of Temporal Concurrent Constraint Programs
        • M. Falaschi, C. Olarte, C. Palamidessi, F. Valencia
        Pages 271-285
Back to top

Other volumes

  1. Logic Programming

Bibliographic Information

Publish with us

Policies and ethics

Back to top