ACM - Normas
Sofia Panagiotidi
Javier V´zquez-Salceda
2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology
The Language of the Fifth International Planning Competition" in Department of Electronics for Automation, Italy:University of Brescia, 2006
A New Approach to the Application of Theorem Proving to Problem Solving" in Artificial Intelligence 2, Essex, UK:Elsevier Science Publishers Ltd
Towards a formalisation of electronic contracting environments