Luca Pulina
Associate Professor
lpulina@uniss.it
About Me

He is Associate Professor of Computer Science. He received a Ph.D. in Computer Engineering and Robotics from the University of Genoa, Italy, in 2009. His research activities focus on Automated Reasoning, Formal Verification and Knowledge Representation. He served in the organizing and technical program committee of several international conferences. He has (co-)authored more than fifty publications in peer-reviewed journals, international conferences, and workshops. He was involved as principal investigator of a regional project, while he participated in European and national projects.

Research Interests

Formal Methods, Knoweldge Representation, Artificial Intelligence

Publications
79 entries « 1 of 2 »

2019

Pulina, L; Seidl, M

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) Journal Article

Artificial Intelligence, 274 , pp. 224-248, 2019.

Links | BibTeX

Narizzano, M; Pulina, L; Tacchella, A; Vuotto, S

Property specification patterns at work: verification and inconsistency explanation Journal Article

Innovations in Systems and Software Engineering, 15 (3-4), pp. 307-323, 2019.

Links | BibTeX

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Automata based test generation with SpecPro Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Pulina, L; Raffo, L; Masin, M; Shindin, E; Rojas, P S D; Desnos, K; Pelcat, M; Rodríguez, A; Juárez, E; Regazzoni, F; Meloni, G; Zedda, K; Myrhaug, H; Kaliciak, L; Andriaanse, J; Filho, J O; Munõz, P; Toffetti, A

CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments Conference

Association for Computing Machinery, Inc, 2019.

Links | BibTeX

Vuotto, S; Narizzano, M; Pulina, L; Tacchella, A

Poster: Automatic consistency checking of requirements with ReqV Conference

Institute of Electrical and Electronics Engineers Inc., 2019.

Links | BibTeX

Pulina, L

Preface Conference

2457 , CEUR-WS, 2019.

Links | BibTeX

Pandolfo, L; Pulina, L; Zieliński, M

Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America Journal Article

Communications in Computer and Information Science, 988 , pp. 107-121, 2019.

Links | BibTeX

Guidotti, D; Leofante, F; Pulina, L; Tacchella, A

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11946 LNAI , pp. 405-417, 2019.

Links | BibTeX

Bit-Monnot, A; Leofante, F; Pulina, L; Tacchella, A

SMT-based planning for robots in smart factories Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11606 LNAI , pp. 674-686, 2019.

Links | BibTeX

Amendola, G; Dodaro, C; Faber, W; Pulina, L; Ricca, F

Algorithm Selection for Paracoherent Answer Set Computation Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11468 LNAI , pp. 479-489, 2019.

Links | BibTeX

2018

Giunchiglia, E; Maratea, M; Pulina, L

Translation-based approaches for solving disjunctive temporal problems with preferences Journal Article

Constraints, 23 (4), pp. 383-402, 2018.

Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

Verification and repair of control policies for safe reinforcement learning Journal Article

Applied Intelligence, 48 (4), pp. 886-908, 2018.

Links | BibTeX

Pandolfo, L; Pulina, L; Grosso, E

A user model ontology for adaptive systems in cultural tourism domain Journal Article

Frontiers in Artificial Intelligence and Applications, 310 , pp. 212-219, 2018.

Links | BibTeX

Pandolfo, L; Pulina, L; Zielinski, M

ARKIVO: An ontology for describing archival resources Conference

2214 , CEUR-WS, 2018.

Links | BibTeX

Khellat-Kihel, S; Pandolfo, L; Pulina, L; Grosso, E

On leveraging facial emotion recognition techniques in personalized recommendations Journal Article

Frontiers in Artificial Intelligence and Applications, 310 , pp. 220-230, 2018.

Links | BibTeX

Palumbo, F; Pilato, C; Pulina, L; Sau, C

Preface Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

Narizzano, M; Pulina, L; Tacchella, A; Vuotto, S

Consistency of property specification patterns with boolean and constrained numerical signals Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10811 LNCS , pp. 383-398, 2018.

Links | BibTeX

Korneev, S; Narodytska, N; Pulina, L; Tacchella, A; Bjorner, N; Sagiv, M

Constrained image generation using binarized neural networks with decision procedures Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10929 LNCS , pp. 438-449, 2018.

Links | BibTeX

Palumbo, F; Pilato, C; Pulina, L; Sau, C

Preface Conference

2208 , CEUR-WS, 2018.

Links | BibTeX

2017

Pulina, L; Tacchella, A

More adaptive does not imply less safe (with formal verification) Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10629 LNCS , pp. 237-240, 2017.

Links | BibTeX

Pandolfo, L; Pulina, L

ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10350 LNCS , pp. 495-501, 2017.

Links | BibTeX

Pandolfo, L; Pulina, L; Zieliński, M

Towards an ontology for describing archival resources Conference

2014 , CEUR-WS, 2017.

Links | BibTeX

2016

Pathak, S; Pulina, L; Tacchella, A

Evaluating probabilistic model checking tools for verification of robot control policies Journal Article

AI Communications, 29 (2), pp. 287-299, 2016.

Links | BibTeX

Pulina, L

The ninth QBF solvers evaluation-preliminary report Conference

1719 , CEUR-WS, 2016.

Links | BibTeX

Leofante, F; Pulina, L; Tacchella, A

Learning with safety requirements: State of the art and open questions Conference

1745 , CEUR-WS, 2016.

Links | BibTeX

Pandolfo, L; Pulina, L; Adorni, G

A framework for automatic population of ontology-based digital libraries Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10037 LNAI , pp. 406-417, 2016.

Links | BibTeX

Marin, P; Narizzano, M; Pulina, L; Tacchella, A; Giunchiglia, E

Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows Journal Article

Fundamenta Informaticae, 149 (1-2), pp. 133-158, 2016.

Links | BibTeX

Kontchakov, R; Pandolfo, L; Pulina, L; Ryzhikov, V; Zakharyaschev, M

Temporal and spatial OBDA with many-dimensional halpern-shoham logic Conference

2016-January , International Joint Conferences on Artificial Intelligence, 2016.

Links | BibTeX

Cicala, G; Khalili, A; Metta, G; Natale, L; Pathak, S; Pulina, L; Tacchella, A

Engineering approaches and methods to verify software in autonomous systems Journal Article

Advances in Intelligent Systems and Computing, 302 , pp. 1683-1700, 2016.

Links | BibTeX

2015

Lorusso, L; Pulina, L; Grosso, E

The Measure of Perceived Similarity Between Faces: Old Issues for a New Method Journal Article

Review of Philosophy and Psychology, 6 (2), pp. 317-339, 2015.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

Advances in multi-engine ASP solving Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9336 LNCS , pp. 179-190, 2015.

Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

Testing a learn-verify-repair approach for safe human-robot interaction Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9336 LNCS , pp. 260-273, 2015.

Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

A case for robust AI in robotics Conference

1544 , CEUR-WS, 2015.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

Multi-engine ASP solving with policy adaptation Journal Article

Journal of Logic and Computation, 25 (6), pp. 1285-1306, 2015.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

Multi-level algorithm selection for ASP Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9345 , pp. 439-445, 2015.

Links | BibTeX

Adorni, G; Maratea, M; Pandolfo, L; Pulina, L

An ontology-based archive for historical research Conference

1350 , CEUR-WS, 2015.

Links | BibTeX

Adorni, G; Maratea, M; Pandolfo, L; Pulina, L

An ontology for historical research documents Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9209 , pp. 11-18, 2015.

Links | BibTeX

Marin, P; Narizzano, M; Pulina, L; Tacchella, A; Giunchiglia, E

An empirical perspective on ten years of QBF solving Conference

1451 , CEUR-WS, 2015.

Links | BibTeX

Pulina, L; Mazzette, A; Pandolfo, L; Piga, E; Ruiu, M L; Tidore, C

Leveraging semantic web technologies for analysis of crime in social science Conference

1459 , CEUR-WS, 2015.

Links | BibTeX

2014

Pulina, L

An ontology for container terminal operations Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8741 , pp. 224-229, 2014.

Links | BibTeX

Bourguet, J -R; Pulina, L

TROvE: A graphical tool to evaluate OWL reasoners Conference

1207 , CEUR-WS, 2014.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

A multi-engine approach to answer-set programming Journal Article

Theory and Practice of Logic Programming, 14 (6), pp. 841-868, 2014.

Links | BibTeX

Grosso, E; Lagorio, A; Pulina, L; Tistarelli, M

Towards practical space-variant based face recognition and authentication Conference

Institute of Electrical and Electronics Engineers Inc., 2014.

Links | BibTeX

2013

Maratea, M; Pulina, L; Ricca, F

Automated selection of grounding algorithm in Answer Set Programming Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8249 LNAI , pp. 73-84, 2013.

Links | BibTeX

Bourguet, J -R; Maratea, M; Pulina, L

A reduction-based approach for solving Disjunctive Temporal Problems with Preferences Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8249 LNAI , pp. 445-456, 2013.

Links | BibTeX

Pathak, S; Pulina, L; Metta, G; Tacchella, A

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub Conference

2013.

Links | BibTeX

Bourguet, J -R; Cicala, G; Pulina, L; Tacchella, A

OBDA and intermodal logistics: Active projects and applications Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7994 LNCS , pp. 210-215, 2013.

Links | BibTeX

Bourguet, J -R; Pulina, L

FRaQuE: A framework for rapid query processing evaluation Conference

1015 , CEUR-WS, 2013.

Links | BibTeX

Pathak, S; Pulina, L; Metta, G; Tacchella, A

How to abstract intelligence? If verification is in order Conference

FS-13-02 , AI Access Foundation, 2013.

Links | BibTeX

2012

Maratea, M; Pulina, L; Ricca, F

Applying machine learning techniques to ASP solving Conference

17 , 2012.

Links | BibTeX

79 entries « 1 of 2 »