Luca Pulina and Artificial Intelligence - Free people check

(1 - 7 from 11

)

AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth...

books.google.de

This book constitutes the refereed proceedings of the 11th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2009, held in...

Logic for Programming, Artificial Intelligence, and Reasoning: 15th...

books.google.de

Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings Luca Pulina and Armando Tacchella⋆ DIST, Universit`a di Genova, ...

MICAI 2008: Advances in Artificial Intelligence: 7th Mexican...

books.google.ca

QuBIS: An (In)complete Solver for Quantified Boolean Formulas Luca Pulina and Armando Tacchella⋆ DIST, Universit`a di Genova, Viale Causa, 13 –

AI*IA Advances in Artificial Intelligence: XIVth ...

books.google.co.uk

... Floriana Esposito Testing a Learn-Verify-Repair Approach for Safe Human- Robot Interaction Shashank Pathak, Luca Pulina, and Armando Tacchella ...