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