Cargando…
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Programming and Software Engineering,
6125 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.