Follow
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, ...
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
172019
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
CEUR WORKSHOP PROCEEDINGS 2368, 10-21, 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
62020
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, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, B Cuteri, ...
CEUR WORKSHOP PROCEEDINGS 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
Theory and Practice of Logic Programming 19 (5-6), 1073-1089, 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