ROSATI, Riccardo
ROSATI, Riccardo
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
!st International Conference on Web Reasoning and Rule Systems
2007 M., Marchiori; J., Pan; Rosati, Riccardo
14th International Workshop on Nonmonotonic Reasoning
2012 Rosati, Riccardo; S., Woltran
A broad class of first-order rewritable tuple-generating dependencies
2012 Civili, Cristina; Rosati, Riccardo
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics
2018 Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio
A comprehensive semantic framework for data integration systems
2005 A., Cali'; Lembo, Domenico; Rosati, Riccardo
A faithful integration of Description Logics with Logic Programming
2007 Motik, B; Rosati, Riccardo
A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies
2024 Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio
A novel approach to controlled query evaluation in DL-Lite
2019 Lembo, D.; Rosati, R.; Savo, D. F.
A preference semantics for ground nonmonotonic modal logics
1995 Nardi, Daniele; Rosati, Riccardo
A sound and complete tableau calculus for reasoning about only knowing and knowing at most
2001 Rosati, Riccardo
A theory and implementation of cognitive mobile robots
1999 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
A uniform tableaux method for nonmonotonic modal logics
1996 Donini, FRANCESCO MARIA; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo
A1C-Based Subgroups of Type 2 Diabetes and Their Association with Microvascular Complications—Cluster Analysis of a Large Italian Cohort
2025 Acitelli, Elisa; Marconi, Lorenzo; Di Teodoro, Giulia; Palagi, Laura; Salvatore, Cecilia; Valentini, Riccardo; Croce, Federico; Grani, Giorgio; Rosati, Riccardo; Maranghi, Marianna
Acquiring Ontology Axioms through Mappings to Data Sources
2019 DI PINTO, Floriana; DE GIACOMO, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
Actions and Programs over Description Logic Knowledge Bases: A Functional Approach
2011 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
Actions and programs over description logic ontologies
2007 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
Approaching OBDA Evolution through Mapping Repair
2016 Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij
Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies
2025 Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
2005 Rosati, Riccardo; Gottlob, G.
Autoepistemic Description Logics
1998 Rosati, Riccardo