Sciweavers

Share
9 search results - page 1 / 2
» agp 2010
Sort
View
AGP
2010
IEEE
10 years 8 months ago
Answer Set Programming
Piero A. Bonatti, Francesco Calimeri, Nicola Leone...
AGP
2010
IEEE
10 years 3 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
10 years 8 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
10 years 6 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...
books