Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings
Gavanelli, Marco; Reppy, John     details >>
Springer Verlag, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9585, No. 1, Anno: 2016

AI*IA 2015 Advances in Artificial Intelligence
Marco, Gavanelli; Evelina, Lamma; Fabrizio, Riguzzi     details >>
Springer International Publishing, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9336, No. 1, Anno: 2015

The ICLP 2013 Doctoral Consortium
Marco Gavanelli; Martin Gebser     details >>
Cambridge University Press, THEORY AND PRACTICE OF LOGIC PROGRAMMING
Anno: 2013

18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Marco Gavanelli; Toni Mancini     details >>
IOS Press, AI COMMUNICATIONS
Vol. 25, No. 2, Anno: 2012

17th RCRA international workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Marco Gavanelli; Toni Mancini    
Springer, ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 62, No. 3-4, Anno: 2011

Special Issue on the Italian Conference on Computational Logic: CILC 2009
Marco Gavanelli; Fabrizio Riguzzi; Alberto Pettorossi    
IOS Press, FUNDAMENTA INFORMATICAE
Vol. 105, No. 1-2, Anno: 2010