The Logic Programming Paradigm : A 25 Year Perspective

Narek, V.W. (EDT)/ Apt, Krzysztof R. (EDT)/ Warren, D.S. (EDT)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K（1999/05発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 472 p.
言語 ENG
商品コード 9783540654636
DDC分類 005.115

Full 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.

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