231
click to vote
AGP
15 years 8 months ago
2010 IEEE 
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
168
Voted
AGP
15 years 7 months ago
2010 IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
162
Voted
AGP
15 years 8 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...
124
Voted
AGP
15 years 8 months ago
2010 IEEE  185
Voted
AGP
15 years 1 months ago
2010 IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
|
Artificial Intelligence