A 25-Year Perspective on Logic Programming

A 25-Year Perspective on Logic Programming

4.11 - 1251 ratings - Source

This book celebrates the 25th anniversary of GULP---the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The topics discussed are: theoretical foundations of logic programming, program transformations, non-monotonic reasoning, constraint logic programming, concurrent logic programming, program verification, applications of logic programming, answer set programming, databases and web, agents and multi-agent systems, functional logic programming, higher order programming, and automated theorem proving. The book closes with a chapter reviewing in detail the main applications of logic programming developed in Italy and/or by Italian researchers in the last 25 years, illustrating successful work done and potential directions for future developments.PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 18a€“48. Springer, Heidelberg ... Springer, Heidelberg 63. Finger, M., McBrien, P., Owens, R.: Databases and ... Forgy, C.: Ops5 usera#39;s manual. Technical Report CMU-CS-81-135, Carnegie- Mellonanbsp;...

Title:A 25-Year Perspective on Logic Programming
Author:Agostino Dovier
Publisher:Springer Science & Business Media - 2010-06-30


You Must CONTINUE and create a free account to access unlimited downloads & streaming