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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dovier, Agostino (Επιμελητής έκδοσης), Pontelli, Enrico (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6125
• Θέματα: 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...

Πίνακας περιεχομένων:

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