PULINA, Luca
PULINA, Luca
SCIENZE UMANISTICHE E SOCIALI
A case for robust AI in robotics
2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
A Domain Ontology for Historical Research Documents
2016-01-01 Adorni, Giovanni; Maratea, Marco; Mura, Salvatore; Pandolfo, Laura; Pulina, Luca; Soddu, Francesco Mario
A framework for automatic population of ontology-based digital libraries
2016-01-01 Pandolfo, Laura; Pulina, Luca; Adorni, Giovanni
A Multi-Engine approach to Answer Set Programming
2014-01-01 Maratea, M; Pulina, Luca; Ricca, F.
A Multi-engine Solver for Quantified Boolean Formulas
2007-01-01 Pulina, Luca; Tacchella, A.
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences
2013-01-01 Bourguet, Jean Rémi; Maratea, M; Pulina, Luca
A self-adaptive multi-engine solver for quantified Boolean formulas
2009-01-01 Pulina, Luca; Tacchella, A.
A structural approach to reasoning with quantified Boolean formulas
2009-01-01 Pulina, Luca; Tacchella, A.
A survey on applications of quantified boolean formulas
2019-01-01 Shukla, A.; Biere, A.; Pulina, L.; Seidl, M.
A Swarm intelligence approach for biometrics verification and identification
2012-01-01 Pulina, Luca
A user model ontology for adaptive systems in cultural tourism domain
2018-01-01 Pandolfo, L.; Pulina, L.; Grosso, E.
ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents
2017-01-01 Pandolfo, Laura; Pulina, Luca
Advances in multi-engine ASP solving
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
AI and videogames: a “drosophila” for declarative methods
2022-01-01 Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L.
Algorithm Selection for Paracoherent Answer Set Computation
2019-01-01 Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Pulina, Luca; Ricca, Francesco
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
2010-01-01 Pulina, Luca; Tacchella, A.
An empirical perspective on ten years of QBF solving
2015-01-01 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing
2010-01-01 Pulina, Luca; Tacchella, A.
An Ontology for Container Terminal Operations
2014-01-01 Pulina, Luca
An Ontology-Based Archive for Historical Research
2015-01-01 Giovanni, Adorni; Marco, Maratea; Pandolfo, Laura; Pulina, Luca