Person
Independent Continuant
RDF description of GIACOMIN Massimiliano - http://irises.unibs.it/resource/person/3230
Premio rivolto “ad un giovane ricercatore che abbia svolto la propria attività di ricerca in Italia e che abbia apportato un contributo significativo all'Intelligenza Artificiale, sia esso per il suo aspetto di ricerca di base o per quello di ricerca applicata ad alto contenuto innovativo”
Il solver ArgSemSAT (sviluppato in collaborazione con Federico Cerutti, Mauro Vallati e Tobia Zanetti) ottiene il primo posto nella "PR Track" (riguardante la risoluzione di problemi secondo la preferred semantics) su 15 solver partecipanti alla track.
Il solver ArgSemSAT (sviluppato in collaborazione con Federico Cerutti e Mauro Vallati) ottiene il secondo posto su 18 solver partecipanti alla competizione.
Agent
INGEGNERIA INFORMATICA E AUTOMATICA-2012
ARGUMENT & COMPUTATION - ISSN: 1946-2166 - London UK: Taylor & Francis
Universitat de Girona - Attivita' didattica
Universidad Politécnica de Valencia - Attivita' didattica
Universidad Nacional del Sur - Attivita' didattica