27 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo The MASTRO system for ontology-based data access Semantic Web, vol. 2, num. 1, pages 43-53, 2011. abstract and bibtex entry |
26 | Riccardo Rosati On the finite controllability of conjunctive query answering in databases under open-world assumption Journal of Computer and System Sciences, vol. 77, num. 3, pages 572-594, 2011. abstract and bibtex entry |
25 | Boris Motik, Riccardo Rosati Reconciling Description Logics and Rules Journal of the ACM, vol. 57, num. 5, 2010. abstract and bibtex entry |
24 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati On Instance-Level Update and Erasure in Description Logic Ontologies Journal of Logic and Computation, vol. 19, num. 5, pages 745-770, 2009. abstract and bibtex entry |
23 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty ACM Transactions on Computational Logic, vol. 10, num. 1, 2009. abstract and bibtex entry |
22 | Antonella Poggi, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Linking data to ontologies Journal of Data Semantics, vol. X, pages 133-173, 2008. abstract and bibtex entry |
21 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach Information Systems, vol. 33, num. 4-5, pages 360-384, 2008. abstract and bibtex entry |
20 | Riccardo Rosati Multi-modal Nonmonotonic Logics of Minimal Knowledge Annals of Mathematics and Artificial Intelligence, vol. 48, num. 3-4, pages 169-185, 2007. abstract and bibtex entry |
19 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite family Journal of Automated Reasoning, vol. 39, num. 3, pages 385-429, 2007. abstract and bibtex entry |
18 | Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano M. Trisolini Enterprise Modeling and Data Warehousing in Telecom Italia Information Systems, vol. 31, num. 1, pages 1-32, 2006. abstract and bibtex entry |
17 | Luca Iocchi, Daniele Nardi, Riccardo Rosati Generation of Strong Cyclic Plans with Incomplete Information and Sensing Intelligenza Artificiale, vol. 2, num. 4, pages 58-65, 2005. abstract and bibtex entry |
16 | Riccardo Rosati On the decidability and complexity of integrating ontologies and rules Web Semantics, vol. 3, num. 1, pages 41-60, 2005. abstract and bibtex entry |
15 | Andrea Calì, Domenico Lembo, Riccardo Rosati A Comprehensive Semantic Framework for Data Integration Systems Journal of Applied Logic, vol. 3, num. 2, pages 308-328, 2005. abstract and bibtex entry |
14 | Riccardo Rosati Minimal belief and negation as failure in multi-agent systems Annals of Mathematics and Artificial Intelligence, vol. 37, pages 5-32, 2003. abstract and bibtex entry |
13 | Luigi Dragone, Daniele Nardi, Riccardo Rosati Tecniche di Analisi degli Utenti di Portali Web Adattativi AI*IA Notizie, vol. 15, num. 2, pages 30-41, 2002. abstract and bibtex entry |
12 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati Description Logics of Minimal Knowledge and Negation as Failure ACM Transactions on Computational Logic, vol. 3, num. 2, pages 177-225, 2002. abstract and bibtex entry |
11 | Riccardo Rosati A sound and complete tableau calculus for reasoning about only knowing and knowing at most Studia Logica, vol. 69, pages 171-191, 2001. abstract and bibtex entry |
10 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Data Integration in Data Warehousing International Journal of Cooperative Information Systems, vol. 10, num. 3, pages 237-271, 2001. abstract and bibtex entry |
9 | Riccardo Rosati On the decidability and complexity of reasoning about only knowing Artificial Intelligence, vol. 116, pages 193-215, 2000. abstract and bibtex entry |
8 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati, Laura Tosco Modellazione e Qualità dei Dati in Sistemi di Data Warehouse AI*IA Notizie, vol. 13, num. 2, pages 68-75, 2000. abstract and bibtex entry |
7 | Riccardo Rosati Reasoning about minimal belief and negation as failure Journal of Artificial Intelligence Research, vol. 11, pages 277-300, 1999. abstract and bibtex entry |
6 | Riccardo Rosati Reasoning about minimal knowledge in nonmonotonic modal logics Journal of Logic, Language and Information, vol. 8, num. 2, pages 187-203, 1999. abstract and bibtex entry |
5 | Giuseppe De Giacomo, Riccardo Rosati Minimal knowledge approach to reasoning about actions and sensing Electronic Transactions on Artificial Intelligence, vol. Vol. 3, Section C, pages 1-18, 1999. abstract and bibtex entry |
4 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati A Theory and Implementation of Cognitive Mobile Robots Journal of Logic and Computation, vol. 9, num. 5, pages 759-785, 1999. abstract and bibtex entry |
3 | Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati Data Integration and Reconciliation in Data Warehousing: Conceptual Modeling and Reasoning Support Networking and Information Systems, vol. 4, num. 2, pages 413-432, 1999. abstract and bibtex entry |
2 | Riccardo Rosati Autoepistemic Description Logics AI Communications---The European Journal on Artificial Intelligence, vol. 11, num. 3-4, pages 219-221, 1998. abstract and bibtex entry |
1 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati Ground Nonmonotonic Modal Logics Journal of Logic and Computation, vol. 7, num. 4, pages 523-548, 1997. abstract and bibtex entry |
8 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati Ontologies and Databases: The DL-Lite Approach In Reasoning Web 2009, pages 255-356, 2009. abstract and bibtex entry |
7 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi Using OWL in Data Integration In R. De Virgilio, F. Giunchiglia, L. Tanca ed., Semantic Web Information Management -- a Model Based Perspective, chapter 17, pages 397-424, 2009. abstract and bibtex entry |
6 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Conceptual Modeling for Data Integration In Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu ed., Conceptual Modeling: Foundations and Applications, pages 173-197, 2009. abstract and bibtex entry |
5 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Data management in peer-to-peer data integration systems In Global data management, pages 177-201, 2006. abstract and bibtex entry |
4 | Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Source Integration for Data Warehousing In Maurizio Rafanelli ed., Multidimensional databases: problems and solutions, chapter 12, pages 361-392, 2003. abstract and bibtex entry |
3 | Alex Borgida, Maurizio Lenzerini, Riccardo Rosati Description Logics for Databases In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider ed., The Description Logic Handbook, chapter 16, pages 462-484, 2003. abstract and bibtex entry |
2 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Source Integration In Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, Panos Vassiliadis ed., Fundamentals of Data Warehouses, chapter 3, 1999. abstract and bibtex entry |
1 | Riccardo Rosati Minimal knowledge states in nonmonotonic modal logics In Advances in Modal Logic, chapter 12, 1998. abstract and bibtex entry |
117 | Riccardo Rosati On the Complexity of Dealing with Inconsistency in Description Logic Ontologies In Proceedings of the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011), pages 1057-1062, 2011. abstract and bibtex entry |
116 | Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Mapping Data to Higher-Order Description Logic Knowledge Bases In Proceedings of the 2011 International Workshop on Description Logic (DL 2011), 2011. abstract and bibtex entry |
115 | Giulia Masotti, Riccardo Rosati, Marco Ruzzi Practical ABox Cleaning in DL-Lite (progress report) In Proceedings of the 2011 International Workshop on Description Logic (DL 2011), 2011. abstract and bibtex entry |
114 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Higher-Order Description Logics for Domain Metamodeling In Proceedings of the Twenty-fifth Conference of the American Association for Artificial Intelligence (AAAI 2011), 2011. abstract and bibtex entry |
113 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo Query Rewriting for Inconsistent DL-Lite Ontologies In Proceedings of the Fifth International Conference on Web Reasoning and Rule Systems (RR 2011), 2011. abstract and bibtex entry |
112 | Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati Conjunctive Artifact-Centric Services In Proceedings of the Eighth International Conference on Service Oriented Computing (ICSOC 2010), 2010. abstract and bibtex entry |
111 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo Inconsistency-Tolerant Semantics for Description Logics In Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR 2010), 2010. abstract and bibtex entry |
110 | Riccardo Rosati, Alessandro Almatelli Improving Query Answering over DL-Lite Ontologies In Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010. abstract and bibtex entry |
109 | Riccardo Rosati Effective Ontology-Based Data Integration In Proceedings of the 2009 Workshop on Ambient Data Integration (ADI 2009), pages 18, 2009. abstract and bibtex entry |
108 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati On Higher-Order Description Logics In Proceedings of the 2009 International Workshop on Description Logic (DL 2009), 2009. abstract and bibtex entry |
107 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi Data Integration through DL-Lite-A Ontologies In Proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), pages 26-47, 2008. abstract and bibtex entry |
106 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati View-based Query Answering over Description Logic Ontologies In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pages 242-251, 2008. abstract and bibtex entry |
105 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Path-based Identification Constraints in Description Logics In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pages 231-241, 2008. abstract and bibtex entry |
104 | Riccardo Rosati On Combining Description Logic Ontologies and Nonrecursive Datalog Rules In Proceedings of the Second International Conference on Web Reasoning and Rule Systems (RR 2008), pages 13-27, 2008. abstract and bibtex entry |
103 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Towards higher-order DL-Lite (preliminary report) In Proceedings of the 2008 International Workshop on Description Logic (DL 2008), 2008. abstract and bibtex entry |
102 | Riccardo Rosati Finite model reasoning in DL-Lite In Proceedings of the Fifth European Semantic Web Conference (ESWC 2008), pages 215-229, 2008. abstract and bibtex entry |
101 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati On the Approximation of Instance Level Update and Erasure in Description Logics In Proceedings of the Twenty-second Conference of the American Association for Artificial Intelligence (AAAI 2007), pages 403-408, 2007. abstract and bibtex entry |
100 | Riccardo Rosati On conjunctive query answering in EL In Proceedings of the 2007 International Workshop on Description Logic (DL 2007), 2007. abstract and bibtex entry |
99 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Actions and programs over description logic ontologies In Proceedings of the 2007 International Workshop on Description Logic (DL 2007), 2007. abstract and bibtex entry |
98 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati MASTRO-I: Efficient integration of relational data through DL ontologies In Proceedings of the 2007 International Workshop on Description Logic (DL 2007), 2007. abstract and bibtex entry |
97 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Can OWL model football leagues? In Proceedings of the 2007 International Workshop on OWL: Experiences and directions (OWLED 2007), 2007. abstract and bibtex entry |
96 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati Ontology-based database access In Proceedings of the Fifteenth Italian Symposium on Database Systems (SEBD 2007), pages 324-331, 2007. abstract and bibtex entry |
95 | Luigi Dragone, Riccardo Rosati Checking e-service consistency using Description Logics In 2007 IEEE International Conference on Services Computing (SCC 2007), pages 162-169, 2007. abstract and bibtex entry |
94 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati On reconciling data integration, data exchange, and peer data management In Proceedings of the Twentysixth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2007), pages 133-142, 2007. abstract and bibtex entry |
93 | Riccardo Rosati The limits of querying ontologies In Proceedings of the Eleventh International Conference on Database Theory (ICDT 2007), pages 164-178, 2007. abstract and bibtex entry |
92 | Boris Motik, Riccardo Rosati A faithful integration of Description Logics with Logic Programming In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 477-482, 2007. abstract and bibtex entry |
91 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati EQL-Lite: Effective First-Order Query Processing in Description Logics In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 274-279, 2007. abstract and bibtex entry |
90 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Linking Data to Ontologies: The Description Logic DL-Lite-A In Proceedings of the 2006 International Workshop on OWL: Experiences and directions (OWLED 2006), 2006. abstract and bibtex entry |
89 | Riccardo Rosati The limits and possibilities of combining Description Logics and Datalog In Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), 2006. abstract and bibtex entry |
88 | Ian Horrocks, Boris Motik, Riccardo Rosati, Ulrike Sattler Can OWL and logic programming live together happily ever after? In Proceedings of the Fifth International Semantic Web Conference (ISWC 2006), pages 501-514, 2006. abstract and bibtex entry |
87 | Riccardo Rosati Integrating ontologies and rules: semantic and computational issues In Reasoning Web 2006, pages 128-151, 2006. abstract and bibtex entry |
86 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Epistemic First-Order Queries over Description Logic Knowledge Bases In Proceedings of the 2006 International Workshop on Description Logics (DL 2006), 2006. abstract and bibtex entry |
85 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati Dealing with inconsistencies and incompleteness in database update (position paper) In Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB 2006), 2006. abstract and bibtex entry |
84 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati On the Update of Description Logic Ontologies at the Instance Level In Proceedings of the Twenty-first Conference of the American Association for Artificial Intelligence (AAAI 2006), 2006. abstract and bibtex entry |
83 | Domenico Lembo, Riccardo Rosati, Marco Ruzzi On the first-order reducibility of unions of conjunctive queries over inconsistent databases In Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB 2006), 2006. abstract and bibtex entry |
82 | Riccardo Rosati On the decidability and finite controllability of query processing in databases with incomplete information In Proceedings of the Twentyfifth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2006), pages 356-365, 2006. abstract and bibtex entry |
81 | Riccardo Rosati DL+log: Tight Integration of Description Logics and Disjunctive Datalog In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pages 68-78, 2006. abstract and bibtex entry |
80 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Data Complexity of Query Answering in Description Logics In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pages 260-270, 2006. abstract and bibtex entry |
79 | Riccardo Rosati Multi-modal Nonmonotonic Logics of Minimal Knowledge In Ninth International Symposium on Artificial Intelligence and Mathematics (AI&MATH 2006), 2006. abstract and bibtex entry |
78 | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina Data Integration: a Challenging ASP Application In Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), pages 379-383, 2005. abstract and bibtex entry |
77 | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data In Proceedings of the Thirteenth Italian Symposium on Database Systems (SEBD 2005), 2005. abstract and bibtex entry |
76 | Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati QuOnto: Querying Ontologies In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), pages 1670-1671, 2005. abstract and bibtex entry |
75 | Riccardo Rosati Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules In Proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005), pages 50-64, 2005. abstract and bibtex entry |
74 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach In Proc. of the Tenth International Symposium on Database Programming Languages (DBPL 2005), pages 90-105, 2005. abstract and bibtex entry |
73 | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis The INFOMIX system for advanced integration of incomplete and inconsistent data In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD 2005), pages 915-917, 2005. abstract and bibtex entry |
72 | Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi Consistent query answering under key and exclusion dependencies: algorithms and experiments In Proceedings of the Fourteenth International Conference on Information and Knowledge Management (CIKM 2005), 2005. abstract and bibtex entry |
71 | Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi Experimenting efficient query answering over inconsistent databases In Proceedings of the Thirteenth Italian Symposium on Database Systems (SEBD 2005), pages 300-307, 2005. abstract and bibtex entry |
70 | Riccardo Rosati, Georg Gottlob Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pages 1378-1383, 2005. abstract and bibtex entry |
69 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Data complexity of query answering in Description Logics In Proceedings of the 2005 Description Logic Workshop (DL 2005), 2005. abstract and bibtex entry |
68 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati DL-Lite: Tractable Description Logics for Ontologies In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), pages 602-607, 2005. abstract and bibtex entry |
67 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Query Reformulation over Ontology-based Peers In Proceedings of the Twelfth Italian Symposium on Database Systems (SEBD 2004), pages 418-425, 2004. abstract and bibtex entry |
66 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Hyper: A Framework for Peer-to-Peer Data Integration on Grids In First International IFIP Conference on Semantics of a Networked World (ICSNW 2004), pages 144-157, 2004. abstract and bibtex entry |
65 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Tackling Inconsistencies in Data Integration through Source Preferences In Proceedings of the International Workshop on Information Quality in Information Systems (IQIS 2004), pages 27-34, 2004. abstract and bibtex entry |
64 | Luca Iocchi, Daniele Nardi, Riccardo Rosati Strong cyclic planning with incomplete information and sensing In Fourth International Workshop on Planning and Scheduling for Space, 2004. abstract and bibtex entry |
63 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty In Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI 2004), pages 818-822, 2004. abstract and bibtex entry |
62 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing In Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning (NMR 2004), pages 240-248, 2004. abstract and bibtex entry |
61 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Logical Foundations of Peer-To-Peer Data Integration In Proceedings of the Twentythird ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2004), pages 241-251, 2004. abstract and bibtex entry |
60 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere DL-Lite: Practical Reasoning for Rich DLs In Proceedings of the 2004 Description Logic Workshop (DL 2004), 2004. abstract and bibtex entry |
59 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati What to Ask to a Peer: Ontology-based Query Reformulation In Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pages 469-478, 2004. abstract and bibtex entry |
58 | Andrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi Experimenting data integration with DIS@DIS In Proceedings of the Sixteenth International Conference on Advanced Information Systems Engineering (CAiSE 2004), pages 51-66, 2004. abstract and bibtex entry |
57 | Diego Calvanese, Riccardo Rosati Answering recursive queries under keys and foreign keys is undecidable In Proceedings of the Tenth International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003. abstract and bibtex entry |
56 | Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Semantic Data Integration in P2P Systems In VLDB 2003 International Workshop on Databases, Information Systems and Peer-to-Peer Computing, pages 77-90, 2003. abstract and bibtex entry |
55 | Andrea Calì, Domenico Lembo, Riccardo Rosati Intensional query processing in data integration systems under integrity constraints In Proceedings of the Eleventh Italian Symposium on Database Systems (SEBD 2003), pages 475-482, 2003. abstract and bibtex entry |
54 | Andrea Calì, Domenico Lembo, Riccardo Rosati Query rewriting and answering under constraints in data integration systems In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pages 16-21, 2003. abstract and bibtex entry |
53 | Andrea Calì, Domenico Lembo, Riccardo Rosati On the decidability and complexity of query answering over inconsistent and incomplete databases In Proceedings of the Twentysecond ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2003), pages 260-271, 2003. abstract and bibtex entry |
52 | Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi DIS@DIS: a System for Semantic Data Integration under Integrity Constraints In Proceedings of the Fourth International Conference on Web Information Systems Engineering (WISE 2003), pages 335-338, 2003. abstract and bibtex entry |
51 | Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi DIS@DIS: un sistema per l'integrazione semantica dei dati in presenza di vincoli di integrità In Proceedings of the Eleventh Italian Symposium on Database Systems (SEBD 2003), pages 537-544, 2003. abstract and bibtex entry |
50 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Integrating Inconsistent and Incomplete Data Sources In Proceedings of the Tenth Italian Symposium on Database Systems (SEBD 2002), pages 299-306, 2002. abstract and bibtex entry |
49 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Source Inconsistency and Incompleteness in Data Integration In Proceedings of the Ninth International Workshop on Knowledge Representation meets Databases (KRDB 2002), 2002. abstract and bibtex entry |
48 | Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Daniele Nardi, Riccardo Rosati Generation and execution of partially correct plans in dynamic environments In Proceedings of the Third International Workshop on Cognitive Robotics (COGROB 2002), 2002. abstract and bibtex entry |
47 | Nicola Leone, Riccardo Rosati, Francesco Scarcello Enhancing Answer Set Planning In Proc. of the IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information, 2001. abstract and bibtex entry |
46 | Claudio Castelpietra, Alice Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati Design and Implementation of Cognitive Soccer Robots In Proceedings of the RoboCup 2001 International Symposium, pages 312-318, 2001. abstract and bibtex entry |
45 | Riccardo Rosati Minimal belief and negation as failure in multi-agent systems In CL-00 Workshop on computational logic in multi-agent systems (CLIMA-00), pages 7-16, 2000. abstract and bibtex entry |
44 | Riccardo Rosati Tableau calculus for only knowing and knowing at most In Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000), pages 383-397, 2000. abstract and bibtex entry |
43 | Luca Iocchi, Daniele Nardi, Riccardo Rosati Planning with Sensing, Concurrency, and Exogenous Events: Logical Framework and Implementation In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pages 678-689, 2000. abstract and bibtex entry |
42 | Claudio Castelpietra, Luca Iocchi, Daniele Nardi, Riccardo Rosati Coordination in Multi-Agent Autonomous Cognitive Systems In Proceedings of the Second International Workshop on Cognitive Robotics (COGROB 2000), 2000. abstract and bibtex entry |
41 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati, Laura Tosco Integrazione e Qualità dei Dati per Data Warehouse In Proceedings of the Thirtyeighth Annual Conference of the Italian Computing Association (AICA 2000), 2000. abstract and bibtex entry |
40 | Riccardo Rosati Model checking for nonmonotonic logics: Algorithms and complexity In Proceedings of the FLoC'99 Workshop on Complexity-theoretic and Recursion-theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory, 1999. abstract and bibtex entry |
39 | Riccardo Rosati Towards first-order nonmonotonic reasoning In Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), pages 332-346, 1999. abstract and bibtex entry |
38 | Riccardo Rosati Towards expressive KR systems integrating datalog and Description Logics: preliminary report In Proceedings of the 1999 Description Logic Workshop (DL'99), pages 160-164, 1999. abstract and bibtex entry |
37 | Riccardo Rosati Model checking for nonmonotonic logics: Algorithms and complexity In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), pages 76-81, 1999. abstract and bibtex entry |
36 | Daniele Nardi, Riccardo Rosati Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled In Proceedings of the Sixth Conference of the Italian Association for Artificial Intelligence (AI*IA'99), pages 1-12, 1999. abstract and bibtex entry |
35 | Luca Iocchi, Daniele Nardi, Riccardo Rosati Reasoning about action on a robotic mobile base In Atti del Primo Convegno del Progetto RAMSETE, 1999. abstract and bibtex entry |
34 | Giuseppe De Giacomo, Riccardo Rosati Minimal knowledge approach to reasoning about actions and sensing In Proceedings of the Workshop on nonmonotonic reasoning, action and change (NRAC'99), 1999. abstract and bibtex entry |
33 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati A Principled Approach to Data Integration and Reconciliation in Data Warehousing In Proc. of the Int. Workshop on Design and Management of Data Warehouses (DMDW'99), 1999. abstract and bibtex entry |
32 | Riccardo Rosati From query answering to satisfiability in nonmonotonic logics In Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 80-87, 1998. abstract and bibtex entry |
31 | Riccardo Rosati Expressiveness vs. complexity in nonmonotonic knowledge bases: propositional case In Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI'98), pages 47-48, 1998. abstract and bibtex entry |
30 | Riccardo Rosati Embedding negation as failure into minimal knowledge In Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI'98), pages 28-32, 1998. abstract and bibtex entry |
29 | Riccardo Rosati Reducing Query Answering to Satisfiability in Nonmonotonic Logics In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI'98), pages 853-858, 1998. abstract and bibtex entry |
28 | Daniele Nardi, Riccardo Rosati Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled In Proceedings of the Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning, pages 35-41, 1998. abstract and bibtex entry |
27 | Giuseppe De Giacomo, Riccardo Rosati Reasoning about high-level robot programs by model checking and local validity tests In Proceedings of the AAAI 1998 Fall Symposium on Cognitive Robotics, 1998. abstract and bibtex entry |
26 | Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases In Proceedings of the 1998 Description Logic Workshop (DL'98), pages 69-71, 1998. abstract and bibtex entry |
25 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Information Integration: Conceptual Modeling and Reasoning Support In Proceedings of the Sixth International Conference on Cooperative Information Systems (CoopIS'98), pages 280-291, 1998. abstract and bibtex entry |
24 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Source Integration in Data Warehousing In Proc. of the 9th Int. Workshop on Database and Expert Systems Applications (DEXA'98), pages 192-197, 1998. abstract and bibtex entry |
23 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Knowledge Representation Approach to Information Integration In Proc. of AAAI Workshop on AI and Information Integration, pages 58-65, 1998. abstract and bibtex entry |
22 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Description Logic Framework for Information Integration In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 2-13, 1998. abstract and bibtex entry |
21 | Riccardo Rosati Embedding Minimal Knowledge into Autoepistemic Logic In Proceedings of the Fifth Conference of the Italian Association for Artificial Intelligence (AI*IA'97), pages 231-241, 1997. abstract and bibtex entry |
20 | Riccardo Rosati Complexity of Only Knowing: The Propositional Case In Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), pages 76-91, 1997. abstract and bibtex entry |
19 | Riccardo Rosati Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI'97), pages 430-435, 1997. abstract and bibtex entry |
18 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati Autoepistemic Description Logics In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), pages 136-141, 1997. abstract and bibtex entry |
17 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Robot-TINO advancements In Proceedings of the AAAI'97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997. abstract and bibtex entry |
16 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Description logic-based framework for planning with sensing actions. In Proceedings of the 1997 Description Logic Workshop (DL'97), pages 39-43, 1997. abstract and bibtex entry |
15 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Planning with Sensing for a Mobile Robot In Proceedings of the Fourth European Conference on Planning (ECP'97), pages 156-168, 1997. abstract and bibtex entry |
14 | Riccardo Rosati On the complexity of reasoning with negation as failure In Proceedings of the IJCSLP-96 Workshop on Deductive Databases and Logic Programming (DDLP-96), pages 107-118, 1996. abstract and bibtex entry |
13 | Riccardo Rosati On the semantics of Epistemic Description Logics In Proceedings of the 1996 Description Logic Workshop (DL'96), pages 185-188, 1996. Technical report WS-96-05. abstract and bibtex entry |
12 | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati A Uniform Tableaux Method for Nonmonotonic Modal Logics In Proceedings of the Fifth European Workshop on Logics in Artificial Intelligence (JELIA'96), pages 87-103, 1996. abstract and bibtex entry |
11 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Classic Planning for Mobile Robots In Proceedings of the FAPR-96 Workshop on Planning in Complex Environments, 1996. Technical report AIDA-96-11, Technische Hochschule Darmstadt. abstract and bibtex entry |
10 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili In Proceedings of the Fifth AI*IA Symposium, pages 249-252, 1996. In Italian. abstract and bibtex entry |
9 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Moving a Robot from a Theory of Actions In Proc. of the AAAI'96 Workshop on Reasoning about Actions, Planning and Control: Bridging the Gap, 1996. abstract and bibtex entry |
8 | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati Moving a Robot: the KR&R Approach at Work In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pages 198-209, 1996. abstract and bibtex entry |
7 | Daniele Nardi, Riccardo Rosati A Preference Semantics for Ground Nonmonotonic Modal Logics In Proceedings of the Seventh Portuguese Conference on Artificial Intelligence (EPIA'95), pages 225-236, 1995. abstract and bibtex entry |
6 | Bruno Errico, Riccardo Rosati Minimal Models in Propositional Logics: Approximation Results In Proceedings of the Fifth Italian Conference on Theoretical Computer Science (ICTCS-95), pages 547-562, 1995. abstract and bibtex entry |
5 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati Epistemic ALC-knowledge bases In Proceedings of the 1995 Description Logic Workshop (DL'95), pages 13-18, 1995. Technical report 07.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza". abstract and bibtex entry |
4 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati Non-first-order Features in Concept Languages In Proceedings of the Fourth Conference of the Italian Association for Artificial Intelligence (AI*IA'95), pages 91-102, 1995. abstract and bibtex entry |
3 | Francesco M Donini, Daniele Nardi, Riccardo Rosati Ground Nonmonotonic Modal Logics for Knowledge Representation In Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI'95), pages 133-144, 1995. abstract and bibtex entry |
2 | Daniele Nardi, Riccardo Rosati Nonmonotonic modal logics of minimal knowledge In Atti della giornata di lavoro AIIA su ragionamento non monotono, 1994. abstract and bibtex entry |
1 | Daniele Nardi, Riccardo Rosati Deductive synthesis of programs for query answering In Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'92), pages 15-29, 1992. abstract and bibtex entry |
21 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Methods and techniques for query rewriting Technical report D5.2, INFOMIX Consortium, 2004. abstract and bibtex entry |
20 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Methods and techniques for query answering Technical report D5.1, INFOMIX Consortium, 2003. abstract and bibtex entry |
19 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Techniques for handling inconsistency and incompleteness in the Information Integration Model Technical report D3.3, INFOMIX Consortium, 2003. abstract and bibtex entry |
18 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Formalisms for IIM specification Technical report D3.1, INFOMIX Consortium, 2003. abstract and bibtex entry |
17 | Luca Iocchi, Daniele Nardi, Riccardo Rosati Strong cyclic planning with incomplete information and sensing Technical report 16.03, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2003. abstract and bibtex entry |
16 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati Probabilistic conditional planning: Epistemic reasoning about actions with sensing and probabilities Technical report 1843-03-06, Institut für Informationssysteme -- Abteilung Databanken und Artificial Intelligence, Technische Universität Wien, 2003. abstract and bibtex entry |
15 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Functional Specification of the INFOMIX System Technical report D2.1, INFOMIX Consortium, 2002. abstract and bibtex entry |
14 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Review on Models and Systems for Information Integration Technical report D1.1, INFOMIX Consortium, 2002. abstract and bibtex entry |
13 | Luigi Dragone, Daniele Nardi, Riccardo Rosati Tecniche di Analisi degli Utenti di Portali Web Adattativi: Metodologie, Tecniche e Applicazioni per l'e-commerce Technical report, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2002. abstract and bibtex entry |
12 | Nicola Leone, Riccardo Rosati, Francesco Scarcello Enhancing answer set planning Technical report DBAI-TR-2000-37, Institut für Informationssysteme -- Abteilung Databanken und Artificial Intelligence, Technische Universität Wien, 2000. abstract and bibtex entry |
11 | Riccardo Rosati On the decidability and complexity of reasoning about only knowing Technical report 14.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999. abstract and bibtex entry |
10 | Riccardo Rosati Reasoning about minimal belief and negation as failure Technical report 13.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999. abstract and bibtex entry |
9 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati Autoepistemic Description Logics Technical report 21.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999. abstract and bibtex entry |
8 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Use of the Reconciliation Tool at Telecom Italia Technical report DWQ-UNIROMA-007, DWQ Consortium, 1999. abstract and bibtex entry |
7 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Experimental Prototype Supporting Data Reconciliation Technical report DWQ-UNIROMA-006, DWQ Consortium, 1999. abstract and bibtex entry |
6 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Schema and Data Integration Methodology for DWQ Technical report DWQ-UNIROMA-004, DWQ Consortium, 1998. abstract and bibtex entry |
5 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Experimentation with the Incremental View Integration Technical report DWQ-UNIROMA-003, DWQ Consortium, 1998. abstract and bibtex entry |
4 | Riccardo Rosati Reasoning about minimal knowledge in nonmonotonic modal logics Technical report 37.97, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1997. abstract and bibtex entry |
3 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Source Integration in Data Warehousing Technical report DWQ-UNIROMA-002, DWQ Consortium, 1997. abstract and bibtex entry |
2 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati Database Integration for Datawarehousing Technical report DWQ-UNIROMA-001, DWQ Consortium, 1997. abstract and bibtex entry |
1 | Francesco M Donini, Daniele Nardi, Riccardo Rosati Ground Nonmonotonic Modal Logics Technical report 19.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1995. Appeared in Journal of Logic and Computation, 7:4, 1997. abstract and bibtex entry |