Sciweavers

9 search results - page 1 / 2
» agp 2010
Sort
View
AGP
2010
IEEE
14 years 3 months ago
Answer Set Programming
Piero A. Bonatti, Francesco Calimeri, Nicola Leone...
AGP
2010
IEEE
13 years 10 months ago
25 Years of Applications of Logic Programming in Italy
In this paper we give a summary of our recent survey of practical applications of Logic Programming in Italy. The survey covers a 25 year time-span. Information was mainly gathere...
Alessandro Dal Palù, Paolo Torroni
AGP
2010
IEEE
14 years 3 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
AGP
2010
IEEE
14 years 2 months ago
The Transformational Approach to Program Development
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...