Scholar
Alessandro Artale
Google Scholar ID: _6G7Vb4AAAAJ
Associate Professor of Computer Science, Free University of Bozen-Bolzano
Artificial Intelligence
Knowledge Representation
Applied Ontology
Description Logics
Temporal Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,405
H-index
31
i10-index
61
Publications
20
Co-authors
20
list available
Publications
2 items
First-Order Temporal Logic Tensor Networks
2026
Cited
0
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
2025
Cited
0
Co-authors
14 total
Roman Kontchakov
Reader, Birkbeck, University of London
Michael Zakharyaschev
Birkbeck, University of London
Enrico Franconi
Professor of Computer Science, KRDB, Free University of Bozen-Bolzano
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.
Frank Wolter
Department of Computer Science, University of Liverpool
Andrea Mazzullo
Free University of Bozen-Bolzano
Ana Ozaki
University of Oslo & University of Bergen
Carsten Lutz
Professor of Computer Science, University of Leipzig
