The Logic Programming Paradigm

1. Front Matter

   Pages I-XVI

   PDF

2. Computing and Programming

   1. Front Matter

      Pages 1-1

      PDF

   2. Concurrent and Agent Programming

      1. Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics

         • Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini

         Pages 5-32

      2. Inference and Computation Mobility with Jinni

         • Paul Tarau

         Pages 33-52

      3. Concurrent Logic/Constraint Programming: The Next 10 Years

         • Kazunori Ueda

         Pages 53-71

   3. Program Analysis and Methodology

      1. Formulas as Programs

         • Krzysztof R. Apt, Marc Bezem

         Pages 75-107

      2. Link-time Optimization of Multi-Language Programs

         • Saumya Debray

         Pages 109-126

      3. Horn Logic Denotations and Their Applications

         • Gopal Gupta

         Pages 127-159

      4. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging

         • Manuel Hermenegildo, Germán Puebla, Francisco Bueno

         Pages 161-192

   4. Future of Declarative Programming

      1. Assessment of Some Issues in CL-Theory and Program Development

         • Danny De Schreye, Marc Denecker

         Pages 195-208

      2. How Enterprises Use Functional Languages, and Why They Don’t

         • Philip Wadler

         Pages 209-227

   5. Continuous Mathematics

      1. Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations

         • Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin

         Pages 231-255

      2. The Logic Programming Paradigm in Numerical Computation

         • Maarten H. van Emden

         Pages 257-276

3. Knowledge Representation and Modeling

   1. Front Matter

      Pages 277-277

      PDF

   2. Constraints

      1. Computational Molecular Biology: A Promising Application Using LP and its Extensions

         • Jacques Cohen

         Pages 281-311

      2. Adding Constraints to Logic-based Formalisms

         • Michael J. Maher

         Pages 313-331

   3. Machine Learning

      1. A Perspective on Inductive Logic Programming

         • Luc De Raedt

         Pages 335-346

      2. From Deduction to Induction: Logical Perspective

         • Koichi Furukawa

         Pages 347-354

   4. Answer Set Programming

      1. Action Languages, Answer Sets, and Planning

         • Vladimir Lifschitz

         Pages 357-373

      2. Stable Models and an Alternative Logic Programming Paradigm

         • Victor W. Marek, Miroslaw Truszczyński

         Pages 375-398

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

• Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands

  Krzysztof R. Apt

• Department of Computer Science, University of Kentucky, Lexington, USA

  Victor W. Marek, Mirek Truszczynski

• Computer Science Department, University at Stony Brook, USA

  David S. Warren

Policies and ethics