The Logic Programming Paradigm
Subtitle: A 25-Year Perspective
By: edited by Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren
Contributors: Marek, Victor W.; Truszczynski, Mirek; Warren, David S.
Series: Artificial Intelligence; Artificial intelligence
Publisher: Springer Berlin Heidelberg
Published: 1999
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 456
ISBN-13: 9783642642494; 9783642600852
Subjects: Computer science; Artificial intelligence; Database management
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Preface; title: Part I. Computing and Programming: Concurrent and Agent Programming. Program Analysis and Methodology. Future of Declarative Programming. Continuous Mathematics; title: Part II. Knowledge Representation and Modeling: Constraints; Machine Learning; Answer Set Programming; Database Systems; Natural Language Processing.