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

2017

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.

Abstract | Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

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

Applied Intelligence, pp. 1-23, 2017.

Abstract | Links | BibTeX

2016

Leofante, F; Pulina, L; Tacchella, A

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

1745 , 2016.

Abstract | Links | BibTeX

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.

Abstract | Links | BibTeX

Pulina, L

The ninth QBF solvers evaluation-preliminary report Conference

1719 , 2016.

Abstract | 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.

Abstract | 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.

Abstract | 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 , 2016.

Abstract | 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.

Abstract | Links | BibTeX

2015

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

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

An ontology-based archive for historical research Conference

1350 , 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 , 2015.

Links | BibTeX