Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings
Gavanelli, Marco; Reppy, John     dettagli >>
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     dettagli >>
Springer International Publishing, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9336, No. 1, Anno: 2015

The ICLP 2013 Doctoral Consortium
Marco Gavanelli; Martin Gebser     dettagli >>
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     dettagli >>
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     dettagli >>
Springer, ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 62, No. 3-4, Anno: 2011

RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Gavanelli, Marco; T., Mancini     dettagli >>
IOS Press, FUNDAMENTA INFORMATICAE
Anno: 2010

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

RCRA 05: giornata di lavoro su analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale
M., Cadoli; Gavanelli, Marco; T., Mancini     dettagli >>
Associazione Italiana per L'intelligenza Artificiale, INTELLIGENZA ARTIFICIALE
Anno: 2005