Skip to main content
  • Conference proceedings
  • © 2007

Logic Programming

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

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.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (48 papers)

  1. Front Matter

  2. Invited Tutorials

    1. Coinductive Logic Programming and Its Applications

      • Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
      Pages 27-44
    2. Multi-paradigm Declarative Languages

      • Michael Hanus
      Pages 45-75
    3. Logic Programming for Knowledge Representation

      • Mirosław Truszczyński
      Pages 76-88
  3. 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. A Logic Programming Framework for Combinational Circuit Synthesis
        • Paul Tarau, Brenda Luderman
        Pages 180-194
      2. 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

Other Volumes

  1. Logic Programming

Keywords

  • Fuzzy
  • algorithm
  • algorithms
  • answer sets
  • deduction
  • formal verification
  • inductive logic programming
  • knowledge base
  • logic programming
  • mathematical logic
  • program analysis
  • programming
  • semantic web
  • semantics
  • verification

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions