Alessio Fiorentino
Title
Cited by
Cited by
Year
Enhancing DLV for large-scale reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
72019
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
3rd International Workshop on the Resurgence of Datalog in Academia and …, 2019
72019
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
A Fiorentino, J Zangari, M Manna
Theory and Practice of Logic Programming 20 (6), 958-973, 2020
22020
Memory-saving evaluation plans for datalog
C Allocca, R Costabile, A Fiorentino, S Perri, J Zangari
European Conference on Logics in Artificial Intelligence, 453-461, 2019
22019
Large scale DLV: preliminary results
N Leone, A Carlo, M Alviano, F Calimeri, C Cristina, R Costabile, B Cuteri, ...
the 34th Italian Conference on Computational Logic 2396, 2019
12019
Role-Based Access Control via JASP
R Costabile, A Fiorentino, N Leone, M Manna, K Reale, F Ricca
LPOP: Challenges and Advances in Logic and Practice of Programming, 24, 2020
2020
Precomputing Datalog evaluation plans in large-scale scenarios
A Fiorentino, N Leone, M Manna, S Perri, J Zangari
arXiv preprint arXiv:1907.12495, 2019
2019
An ASP-based Approach for Optimizing DLV Evaluation.
C Allocca, F Calimeri, R Costabile, A Fiorentino, N Leone, M Manna, ...
CILC, 2019
2019
Querying Large Expressive Horn Ontologies.
C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ...
SEBD, 2019
2019
Reasoning over Ontologies with DLV
C Allocca, M Alviano, F Calimeri, R Costabile, A Fiorentino, D Fuscą, ...
International Joint Conference on Knowledge Discovery, Knowledge Engineering …, 2018
2018
DaRLing: a Datalog OWL 2 RL Rewriter
A Fiorentino, M Manna, J Zangari
Large-Scale Reasoning on Expressive
H Ontologies
The system can't perform the operation now. Try again later.
Articles 1–12