Andrea Mazzullo
Scholar

Andrea Mazzullo

Google Scholar ID: _oT65wEAAAAJ
Free University of Bozen-Bolzano
Description LogicsKnowledge Representation and Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
214
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
2 items
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
2025
Cited
0
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI Conference on Artificial Intelligence · 2022
Cited
10
Resume (English only)
Co-authors
19 total
Alessandro Artale
Alessandro Artale
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Ana Ozaki
Ana Ozaki
University of Oslo & University of Bergen
Frank Wolter
Frank Wolter
Department of Computer Science, University of Liverpool
Jean Christoph Jung
Jean Christoph Jung
TU Dortmund University
Luca Geatti
Luca Geatti
University of Udine
Nicola Gigante
Nicola Gigante
Libera Università di Bolzano
Angelo Montanari
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Tiziano Dalmonte
Tiziano Dalmonte
Free University of Bozen-Bolzano