Pubblicazioni

Controlled Query Evaluation in Description Logic Ontologies

2025 - Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic. 19th International Summer School 2023 Oslo, Norway, September 21â24, 2023, Tutorial Lectures

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies

2024 - SN COMPUTER SCIENCE

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

DEPTH LOWER BOUNDS IN STABBING PLANES FOR COMBINATORIAL PRINCIPLESâ

2024 - LOGICAL METHODS IN COMPUTER SCIENCE

Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.

Coordinating "7 Billion Humans" is hard

2024 - Proceedings of the 12th International Conference on Fun with Algorithms

Panconesi, Alessandro; Posta, PIETRO MARIA; Giacchini, Mirko

The notion of Abstraction in Ontology-based Data Management

2023 - ARTIFICIAL INTELLIGENCE

Cima, G; Poggi, A; Lenzerini, M

Epistemic Disjunctive Datalog for Querying Knowledge Bases

2023 - Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023

Cima, G.; Console, M.; Lenzerini, M.; Poggi, A.

Depth Lower Bounds in Stabbing Planes for Combinatorial Principles

2022 - Leibniz International Proceedings in Informatics, LIPIcs

Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.

Efficient implementation of characteristic-based schemes on unstructured triangular grids

2022 - COMPUTATIONAL & APPLIED MATHEMATICS

Cacace, S.; Ferretti, R.

Efficient machine learning algorithm for embedded tactile data processing

2021 - Proceedings - IEEE International Symposium on Circuits and Systems

Saleh, Moustafa; Ibrahim, Ali; Menichelli, Francesco; Mohanna, Yasser; Valle, Maurizio

Ontology-based Document Spanning Systems for Information Extraction

2020 - INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING

Lembo, Domenico; Scafoglieri, Federico

On variants of Vertex Geography on undirected graphs

2018 - DISCRETE APPLIED MATHEMATICS

Monti, A.; Sinaimeri, B.

Trainyard is NP-Hard

2018 - THEORETICAL COMPUTER SCIENCE

Almanza, M.; Leucci, S.; Panconesi, A.

Variance Allocation and Shapley Value

2017 - METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY

COLINI BALDESCHI, Riccardo; Scarsini, Marco; Vaccari, Stefano

Mapping Repair in Ontology-based Data Access Evolving Systems

2017 - IJCAI

Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Evgenij, Thorstensen

Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity

2015 - The Semantic Web - ISWC 2015

Lembo, Domenico; Mora, Jose; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij

Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)

2015 - Proceedings of the 28th International Workshop on Description Logics. DL 2015

Mapping analysis in ontology-based data access: Algorithms and complexity (Discussion paper)

2015 - 23rd Italian Symposium on Advanced Database Systems, SEBD 2015