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 eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6125
• Subjects: Computer science.; Software engineering.; Computer programming.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Mathematics of Computing.; Theory of Computation.

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

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.