A 25-Year Perspective on Logic Programming

Achievements of the Italian Association for Logic Programming, GULP

Editors:

ISBN: 978-3-642-14308-3 (Print) 978-3-642-14309-0 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages -

  2. Twenty-Five Years of Logic Programming in Italy

    1. No Access

      Book Chapter

      Pages 1-14

      Logic Programming in Italy: A Historical Perspective

    2. No Access

      Book Chapter

      Pages 15-36

      Theoretical Foundations and Semantics of Logic Programming

    3. No Access

      Book Chapter

      Pages 37-63

      Theory-Specific Automated Reasoning

    4. No Access

      Book Chapter

      Pages 64-86

      Constraint Logic Programming

    5. No Access

      Book Chapter

      Pages 87-111

      Knowledge Representation and Non-monotonic Reasoning

    6. No Access

      Book Chapter

      Pages 112-135

      The Transformational Approach to Program Development

    7. No Access

      Book Chapter

      Pages 136-158

      Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

    8. No Access

      Book Chapter

      Pages 159-182

      Answer Set Programming

    9. No Access

      Book Chapter

      Pages 183-203

      Logic Programming Languages for Databases and the Web

    10. No Access

      Book Chapter

      Pages 204-230

      Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?

    11. No Access

      Book Chapter

      Pages 231-253

      Concurrent and Reactive Constraint Programming

    12. No Access

      Book Chapter

      Pages 254-270

      Proof-Theoretic and Higher-Order Extensions of Logic Programming

    13. No Access

      Book Chapter

      Pages 271-299

      Transformation and Debugging of Functional Logic Programs

    14. No Access

      Book Chapter

      Pages 300-328

      25 Years of Applications of Logic Programming in Italy

  3. Back Matter

    Pages -