PULINA, Luca

PULINA, Luca  

SCIENZE UMANISTICHE E SOCIALI  

Mostra records
Risultati 1 - 20 di 100 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) 1-gen-2019 Pulina, Luca; Seidl, Martina
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.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 1-gen-2010 Pulina, Luca; Tacchella, A.
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 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
Applying machine learning techniques to ASP solving 1-gen-2012 Pulina, Luca; Ricca, Francesco; Maratea, Marco
Applying machine learning techniques to ASP solving 1-gen-2012 Maratea, Marco; Ricca, Francesco; Pulina, Luca
Applying Machine Learning Techniques to ASP Solving 1-gen-2012 Maratea, M; Pulina, Luca; Ricca, F.
AQME’10 System Description 1-gen-2010 Pulina, Luca; Tacchella, A.
ARKIVO: An ontology for describing archival resources 1-gen-2018 Pandolfo, L.; Pulina, L.; Zielinski, M.
Automata based test generation with SpecPro 1-gen-2019 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automated Requirements-Based Testing of Black-Box Reactive Systems 1-gen-2020 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Automated selection of grounding algorithm in Answer Set Programming 1-gen-2013 Maratea, M; Pulina, Luca; Ricca, F.
Automated Verification of Neural Networks: Advances, Challenges and Perspectives 1-gen-2018 Leofante, Francesco; Nina, Narodytska; Pulina, Luca; Armando, Tacchella
Building the semantic layer of the Józef Piłsudski digital archive with an ontology-based approach 1-gen-2021 Pandolfo, L.; Pulina, L.