The Logic Programming Paradigm

A 25-Year Perspective

  • Krzysztof R. Apt
  • Victor W. Marek
  • Mirek Truszczynski
  • David S. Warren

Part of the Artificial Intelligence book series (AI)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Computing and Programming

    1. Front Matter
      Pages 1-1
    2. Concurrent and Agent Programming

      1. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
        Pages 5-32
    3. Program Analysis and Methodology

      1. Krzysztof R. Apt, Marc Bezem
        Pages 75-107
    4. Future of Declarative Programming

    5. Continuous Mathematics

      1. Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin
        Pages 231-255
      2. Maarten H. van Emden
        Pages 257-276
  3. Knowledge Representation and Modeling

    1. Front Matter
      Pages 277-277
    2. Constraints

    3. Machine Learning

    4. Answer Set Programming

      1. Vladimir Lifschitz
        Pages 357-373
      2. Victor W. Marek, Miroslaw Truszczyński
        Pages 375-398
    5. Database Systems

    6. Database Systems

      1. Veronica Dahl
        Pages 429-456

About this book


Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.


database database system dynamical systems evolution knowledge representation learning logic logic programming machine learning modeling multi-agent system natural language natural language processing programming semantics

Editors and affiliations

  • Krzysztof R. Apt
    • 1
  • Victor W. Marek
    • 2
  • Mirek Truszczynski
    • 2
  • David S. Warren
    • 3
  1. 1.Stichting Mathematisch CentrumCentrum voor Wiskunde en InformaticaAmsterdamThe Netherlands
  2. 2.Department of Computer ScienceUniversity of KentuckyLexingtonUSA
  3. 3.Computer Science DepartmentUniversity at Stony BrookUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-64249-4
  • Online ISBN 978-3-642-60085-2
  • Series Print ISSN 1431-0066
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences