Overview

Full Product Details

Author:   Agostino Dovier ,  Enrico Pontelli
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2010 ed.
Volume:   6125
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.10cm
Weight:   0.521kg
ISBN:  

9783642143083

ISBN 10:   3642143083
Pages:   329
Publication Date:   30 June 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Twenty-Five Years of Logic Programming in Italy.- Logic Programming in Italy: A Historical Perspective.- Theoretical Foundations and Semantics of Logic Programming.- Theory-Specific Automated Reasoning.- Constraint Logic Programming.- Knowledge Representation and Non-monotonic Reasoning.- The Transformational Approach to Program Development.- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.- Answer Set Programming.- Logic Programming Languages for Databases and the Web.- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?.- Concurrent and Reactive Constraint Programming.- Proof-Theoretic and Higher-Order Extensions of Logic Programming.- Transformation and Debugging of Functional Logic Programs.- 25 Years of Applications of Logic Programming in Italy.

Reviews

From the reviews: Chapters reviews a logic programming (LP) topic of current interest, and the progress made during the last 25 years, with special attention given to the accomplishments of Italian researchers. ... Each chapter offers directions for future research in the given area. The chapters are well written, and the uniform style is unusual for a book of this kind. This book should be of interest to seasoned researchers as well as novices. ... list of references at the end of each chapter should be especially helpful. (D. Bollman, ACM Computing Reviews, April, 2011)

From the reviews: Chapters reviews a logic programming (LP) topic of current interest, and the progress made during the last 25 years, with special attention given to the accomplishments of Italian researchers. ... Each chapter offers directions for future research in the given area. The chapters are well written, and the uniform style is unusual for a book of this kind. This book should be of interest to seasoned researchers as well as novices. ... list of references at the end of each chapter should be especially helpful. (D. Bollman, ACM Computing Reviews, April, 2011)

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions