PULINA, Luca

PULINA, Luca  

SCIENZE UMANISTICHE E SOCIALI  

Mostra records
Risultati 1 - 20 di 100 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
A case for robust AI in robotics 1-gen-2015 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
A Domain Ontology for Historical Research Documents 1-gen-2016 Adorni, Giovanni; Maratea, Marco; Mura, Salvatore; Pandolfo, Laura; Pulina, Luca; Soddu, Francesco Mario
A framework for automatic population of ontology-based digital libraries 1-gen-2016 Pandolfo, Laura; Pulina, Luca; Adorni, Giovanni
A Multi-Engine approach to Answer Set Programming 1-gen-2014 Maratea, M; Pulina, Luca; Ricca, F.
A Multi-engine Solver for Quantified Boolean Formulas 1-gen-2007 Pulina, Luca; Tacchella, A.
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 1-gen-2013 Bourguet, Jean Rémi; Maratea, M; Pulina, Luca
A self-adaptive multi-engine solver for quantified Boolean formulas 1-gen-2009 Pulina, Luca; Tacchella, A.
A structural approach to reasoning with quantified Boolean formulas 1-gen-2009 Pulina, Luca; Tacchella, A.
A survey on applications of quantified boolean formulas 1-gen-2019 Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.
A Swarm intelligence approach for biometrics verification and identification 1-gen-2012 Pulina, Luca
A user model ontology for adaptive systems in cultural tourism domain 1-gen-2018 Pandolfo, L.; Pulina, L.; Grosso, E.
ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents 1-gen-2017 Pandolfo, Laura; Pulina, Luca
Advances in multi-engine ASP solving 1-gen-2015 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Algorithm Selection for Paracoherent Answer Set Computation 1-gen-2019 Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Pulina, Luca; Ricca, Francesco
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 1-gen-2010 Pulina, Luca; Tacchella, A.
An empirical perspective on ten years of QBF solving 1-gen-2015 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing 1-gen-2010 Pulina, Luca; Tacchella, A.
An Ontology for Container Terminal Operations 1-gen-2014 Pulina, Luca
An Ontology-Based Archive for Historical Research 1-gen-2015 Giovanni, Adorni; Marco, Maratea; Pandolfo, Laura; Pulina, Luca
Applying machine learning techniques to ASP solving 1-gen-2012 Pulina, Luca; Ricca, Francesco; Maratea, Marco