A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dovier, Agostino. (Editor), Pontelli, Enrico. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6125
• Subjects: Computer science.; Information theory.; Logic design.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Mathematics of Computing.; Theory of Computation.; Artificial Intelligence (incl. Robotics).
• Online Access: View fulltext via EzAccess

This book celebrates the 25th anniversary of GULPthe 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...

Table of Contents:

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