Programming and Software Engineering

A 25-Year Perspective on Logic Programming

Achievements of the Italian Association for Logic Programming, GULP

Editors: Dovier, Agostino, Pontelli, Enrico (Eds.)

  • Celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming
  • Authored by Italian researchers at the leading edge of their fields
  • A state-of-the-art survey of logic programming
see more benefits

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-642-14309-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-14308-3
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
About this book

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding distinguished disser- tions. WeintheinternationallogicprogrammingcommunitylookuponGULPwith a combination of envy, admiration and gratitude. We are pleased to attend its conferences and summer schools, where we can learn about scienti?c advances, catch up with old friends and meet young students. It is an honour for me to acknowledge our appreciation to GULP for its outstanding contributions to our ?eld and to express our best wishes for its continuing prosperity in the future. March 2010 Robert Kowalski Imperial College London Preface On June 18, 1985, a group of pioneering researchers, including representatives from industry, national research labs, and academia, attended the constituent assembly of the Group of researchers and Users of Logic Programming (GULP) association. That was the starting point of a long adventure in science, that 1 we are still experiencing 25 years later. This volume celebrates this important event.

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)


Table of contents (14 chapters)

  • Logic Programming in Italy: A Historical Perspective

    Rossi, Gianfranco

    Pages 1-14

  • Theoretical Foundations and Semantics of Logic Programming

    Bossi, Annalisa (et al.)

    Pages 15-36

  • Theory-Specific Automated Reasoning

    Formisano, Andrea (et al.)

    Pages 37-63

  • Constraint Logic Programming

    Gavanelli, Marco (et al.)

    Pages 64-86

  • Knowledge Representation and Non-monotonic Reasoning

    Giordano, Laura (et al.)

    Pages 87-111

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-642-14309-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-14308-3
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A 25-Year Perspective on Logic Programming
Book Subtitle
Achievements of the Italian Association for Logic Programming, GULP
Editors
  • Agostino Dovier
  • Enrico Pontelli
Series Title
Programming and Software Engineering
Series Volume
6125
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14309-0
DOI
10.1007/978-3-642-14309-0
Softcover ISBN
978-3-642-14308-3
Edition Number
1
Number of Pages
XIV, 329
Number of Illustrations and Tables
21 b/w illustrations
Topics