Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Logic Programming

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

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)

Conference series link(s): ICLP: International Conference on Logic Programming

Conference proceedings info: ICLP 2007.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (48 papers)

  1. Front Matter

    PDF

  3. Invited Tutorials

    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

      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

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Search

Navigation