9 search results - page 1 / 2 » agp 2010 |
AGP
2010
IEEE
13 years 10 months ago
2010
IEEE
AGP
2010
IEEE
13 years 11 months ago
2010
IEEE
AGP
2010
IEEE
13 years 6 months ago
2010
IEEE
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...
AGP
2010
IEEE
13 years 11 months ago
2010
IEEE
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...
AGP
2010
IEEE
13 years 10 months ago
2010
IEEE
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...