Alessandro Artale
Scholar

Alessandro Artale

Google Scholar ID: _6G7Vb4AAAAJ
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Artificial IntelligenceKnowledge RepresentationApplied OntologyDescription LogicsTemporal Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
980
 
H-index
17
 
i10-index
27
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
1 items
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
2025
Cited
0
Resume (English only)
Co-authors
20 total
Roman Kontchakov
Roman Kontchakov
Reader, Birkbeck, University of London
Michael Zakharyaschev
Michael Zakharyaschev
Birkbeck, University of London
Enrico Franconi
Enrico Franconi
Professor of Computer Science, KRDB, Free University of Bozen-Bolzano
Co-author 4
Co-author 4
Diego Calvanese
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.
Frank Wolter
Frank Wolter
Department of Computer Science, University of Liverpool
Andrea Mazzullo
Andrea Mazzullo
Free University of Bozen-Bolzano
Ana Ozaki
Ana Ozaki
University of Oslo & University of Bergen