Seuraa
Luca Pulina
Luca Pulina
Vahvistettu sähköpostiosoite verkkotunnuksessa uniss.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
An abstraction-refinement approach to verification of artificial neural networks
L Pulina, A Tacchella
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
3572010
Challenging SMT solvers to verify neural networks
L Pulina, A Tacchella
Ai Communications 25 (2), 117-135, 2012
1572012
A self-adaptive multi-engine solver for quantified Boolean formulas
L Pulina, A Tacchella
Constraints 14, 80-116, 2009
1262009
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ...
IJCAI 9, 836-841, 2009
1022009
A multi-engine solver for quantified boolean formulas
L Pulina, A Tacchella
International Conference on Principles and Practice of Constraint …, 2007
882007
Automated verification of neural networks: Advances, challenges and perspectives
F Leofante, N Narodytska, L Pulina, A Tacchella
arXiv preprint arXiv:1805.09938, 2018
842018
A multi-engine approach to answer-set programming
M Maratea, L Pulina, F Ricca
Theory and Practice of Logic Programming 14 (6), 841-868, 2014
752014
Collaborative expert portfolio management
D Stern, H Samulowitz, R Herbrich, T Graepel, L Pulina, A Tacchella
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 179-184, 2010
70*2010
Report of the third QBF solvers evaluation
M Narizzano, L Pulina, A Tacchella
Journal on Satisfiability, Boolean Modeling and Computation 2, 145-164, 2006
542006
A Survey on Applications of Quantified Boolean Formulas
A Shukla, A Biere, M Seidl, L Pulina
ICTAI 2019, 2019
532019
The seventh QBF solvers evaluation (QBFEVAL’10)
C Peschiera, L Pulina, A Tacchella, U Bubeck, O Kullmann, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010
452010
NeVer: a tool for artificial neural networks verification
L Pulina, A Tacchella
Annals of Mathematics and Artificial Intelligence 62, 403-425, 2011
422011
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
R Kontchakov, L Pandolfo, L Pulina, V Ryzhikov, M Zakharyaschev
IJCAI, 2016
402016
Evaluating and certifying QBFs: A comparison of state-of-the-art tools
M Narizzano, C Peschiera, L Pulina, A Tacchella
AI communications 22 (4), 191-210, 2009
372009
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
L Pulina, M Seidl
Artificial Intelligence 274, 224-248, 2019
352019
Verification and repair of control policies for safe reinforcement learning
S Pathak, L Pulina, A Tacchella
Applied Intelligence 48, 886-908, 2018
342018
Verification of neural networks: Enhancing scalability through pruning
D Guidotti, F Leofante, L Pulina, A Tacchella
arXiv preprint arXiv:2003.07636, 2020
292020
The Ninth QBF Solvers Evaluation–Preliminary Report
L Pulina
Proceedings of the 4th International Workshop on Quantified Boolean Formulas …, 2016
252016
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
P Marin, M Narizzano, L Pulina, A Tacchella, E Giunchiglia
Fundamenta Informaticae 149 (1-2), 133-158, 2016
242016
An ontology for historical research documents
G Adorni, M Maratea, L Pandolfo, L Pulina
Web Reasoning and Rule Systems: 9th International Conference, RR 2015 …, 2015
242015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20