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
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
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
2005 Rosati, Riccardo; Gottlob, G.
Autoepistemic Description Logics
1998 Rosati, Riccardo
Autoepistemic Description Logics
1997 F. M., Donini; Nardi, Daniele; Rosati, Riccardo
Boosting information integration: The INFOMIX system
2005 Leone, Nicola; Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Gottlob, Georg; Greco, Gianluigi; Kalka, Edyta; Ianni, Giovambattista; Lembo, Domenico; Lio, Vincenzino; Nowicki, Bartosz; Rosati, Riccardo; Ruzzi, Marco; Smetannikov, Alexei; Soloviev, Eugene N.; Staniszkis, Witold; Terracina, Giorgio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| !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 | |
| 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 | |
| Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic | 2005 | Rosati, Riccardo; Gottlob, G. | |
| Autoepistemic Description Logics | 1998 | Rosati, Riccardo | |
| Autoepistemic Description Logics | 1997 | F. M., Donini; Nardi, Daniele; Rosati, Riccardo | |
| Boosting information integration: The INFOMIX system | 2005 | Leone, Nicola; Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Gottlob, Georg; Greco, Gianluigi; Kalka, Edyta; Ianni, Giovambattista; Lembo, Domenico; Lio, Vincenzino; Nowicki, Bartosz; Rosati, Riccardo; Ruzzi, Marco; Smetannikov, Alexei; Soloviev, Eugene N.; Staniszkis, Witold; Terracina, Giorgio |