Book Volume 4670 2007

Logic Programming

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

Editors:

ISBN: 978-3-540-74608-9 (Print) 978-3-540-74610-2 (Online)

Table of contents (48 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Chapter

      Pages 1-21

      Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs

    2. No Access

      Chapter

      Pages 22-22

      Preferences, Contexts and Answer Sets

  3. Invited Tutorials

    1. No Access

      Chapter

      Pages 23-26

      Answer Set Programming for the Semantic Web

    2. No Access

      Chapter

      Pages 27-44

      Coinductive Logic Programming and Its Applications

    3. No Access

      Chapter

      Pages 45-75

      Multi-paradigm Declarative Languages

    4. No Access

      Chapter

      Pages 76-88

      Logic Programming for Knowledge Representation

  4. Regular Talks

    1. Answer Set Programming

      1. No Access

        Chapter

        Pages 89-103

        On Finitely Recursive Programs

      2. No Access

        Chapter

        Pages 104-118

        Minimal Logic Programs

      3. No Access

        Chapter

        Pages 119-133

        Generic Tableaux for Answer Set Programming

      4. No Access

        Chapter

        Pages 134-148

        Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

      Applications

      1. No Access

        Chapter

        Pages 149-164

        Querying and Repairing Inconsistent Databases Under Three-Valued Semantics

      2. No Access

        Chapter

        Pages 165-179

        Logic Programming Approach to Automata-Based Decision Procedures

      3. No Access

        Chapter

        Pages 180-194

        A Logic Programming Framework for Combinational Circuit Synthesis

      4. No Access

        Chapter

        Pages 195-208

        Spatial-Yap: A Logic-Based Geographic Information System

      Constraint Logic Programming

      1. No Access

        Chapter

        Pages 209-223

        The Correspondence Between the Logical Algorithms Language and CHR

      2. No Access

        Chapter

        Pages 224-239

        Observable Confluence for Constraint Handling Rules

      3. No Access

        Chapter

        Pages 240-254

        Graph Transformation Systems in CHR

      4. No Access

        Chapter

        Pages 255-270

        Multivalued Action Languages with Constraints in CLP(FD)

      Semantics

      1. No Access

        Chapter

        Pages 271-285

        Declarative Diagnosis of Temporal Concurrent Constraint Programs

      2. No Access

        Chapter

        Pages 286-301

        Logic Programs with Abstract Constraint Atoms: The Role of Computations

previous Page of 3