| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Riccardo Rosati Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006 : 260-270 Riccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR 2006 : 68-78 Diego Calvanese , Luigi Dragone , Daniele Nardi , Riccardo Rosati, Stefano Trisolini : Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31 (1): 1-32 (2006) Andrea Acciarri , Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Mattia Palmieri , Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005 : 1670-1671 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005 : 602-607 Luca Grieco , Domenico Lembo , Riccardo Rosati, Marco Ruzzi : Consistent query answering under key and exclusion dependencies: algorithms and experiments. CIKM 2005 : 792-799 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005 : 90-105 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005 Riccardo Rosati, Georg Gottlob : Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005 : 1378-1383 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. LPNMR 2005 : 379-383 Riccardo Rosati: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. PPSWR 2005 : 50-64 Luca Grieco , Domenico Lembo , Riccardo Rosati, Marco Ruzzi : Experimenting efficient query answering over inconsistent databases (extended abstract). SEBD 2005 : 300-307 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. SIGMOD Conference 2005 : 915-917 Andrea Calì , Domenico Lembo , Riccardo Rosati: A comprehensive semantic framework for data integration systems. J. Applied Logic 3 (1): 308-328 (2005) Andrea Calì , Domenico Lembo , Riccardo Rosati, Marco Ruzzi : Experimenting Data Integration with DIS@DIS. CAiSE 2004 : 51-66 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati, Guido Vetere : DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 Luca Iocchi , Thomas Lukasiewicz , Daniele Nardi , Riccardo Rosati: Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004 : 818-822 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati, Guido Vetere : Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004 : 144-157 Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004 : 27-34 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004 : 469-478 Luca Iocchi , Thomas Lukasiewicz , Daniele Nardi , Riccardo Rosati: Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004 : 240-248 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004 : 241-251 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004 : 418-425 Diego Calvanese , Elio Damaggio , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003 : 77-90 Alexander Borgida , Maurizio Lenzerini , Riccardo Rosati: Description Logics for Databases. Description Logic Handbook 2003 : 462-484 Andrea Calì , Domenico Lembo , Riccardo Rosati: Query rewriting and answering under constraints in data integration systems. IJCAI 2003 : 16-21 Diego Calvanese , Riccardo Rosati: Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003 Andrea Calì , Domenico Lembo , Riccardo Rosati: On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS 2003 : 260-271 Andrea Calì , Domenico Lembo , Riccardo Rosati: Intensional query processing in data integration systems under integrity constraints. SEBD 2003 : 475-482 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à. SEBD 2003 : 537-544 Andrea Calì , Saverio De Nigris , Domenico Lembo , Gabriele Messineo , Riccardo Rosati, Marco Ruzzi : DIS@DIS: A System for Semantic Data Integration under Integrity Constraints. WISE 2003 : 335-338 Andrea Calì , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Source Integration for Data Warehousing. Multidimensional Databases 2003 : 361-392 Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. 37 (1-2): 5-32 (2003) Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Source inconsistency and incompleteness in data integration. Description Logics 2002 Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Source inconsistency and incompleteness in data integration. KRDB 2002 Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Integrating Inconsistent and Incomplete Data Sources. SEBD 2002 : 299-306 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3 (2): 177-225 (2002) Claudio Castelpietra , A. Guidotti , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001 : 312-318 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10 (3): 237-271 (2001) Riccardo Rosati: A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Studia Logica 69 (1): 171-191 (2001) Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent System. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000 : 7-16 Luca Iocchi , Daniele Nardi , Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000 : 678-689 Riccardo Rosati: Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX 2000 : 383-397 Riccardo Rosati: On the decidability and complexity of reasoning about only knowing. Artif. Intell. 116 (1-2): 193-215 (2000) Daniele Nardi , Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999 : 1-12 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999 : 16 Riccardo Rosati: Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics 1999 Riccardo Rosati: Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999 : 76-83 Riccardo Rosati: Towards First-Order Nonmonotonic Reasoning. LPNMR 1999 : 332-346 Giuseppe De Giacomo , Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3 (C): 1-18 (1999) Riccardo Rosati: Reasoning about Minimal Belief and Negation as Failure. J. Artif. Intell. Res. (JAIR) 11 : 277-300 (1999) Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9 (5): 759-785 (1999) Riccardo Rosati: Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2): 187-203 (1999) Diego Calvanese , Giuseppe De Giacomo , Riccardo Rosati: Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Networking and Information Systems 2 (4): 413-432 (1999) Riccardo Rosati: Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI 1998 : 853-858 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 Diego Calvanese , Giuseppe De Giacomo , Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 Riccardo Rosati: Embedding Minimal Knowledge into Negation as Failure. ECAI 1998 : 28-32 Riccardo Rosati: Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998 : 47-48 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998 : 2-13 Riccardo Rosati: Autoepistemic Description Logics. AI Commun. 11 (3-4): 219-221 (1998) Riccardo Rosati: Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI 1997 : 430-435 Riccardo Rosati: Embedding Minimal Knowledge into Autoepistemic Logic. AI*IA 1997 : 231-241 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997 : 156-168 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997 : 136-141 Riccardo Rosati: Complexity of Only Knowing: The Propositional Case. LPNMR 1997 : 76-91 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7 (4): 523-548 (1997) Riccardo Rosati: On the Complexity of Reasoning with Negation as Failure. DDLP 1996 : 107-118 Riccardo Rosati: On the Semantics of Epistemic Description Logics. Description Logics 1996 : 185-188 Francesco M. Donini , Fabio Massacci , Daniele Nardi , Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996 : 87-103 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996 : 198-209 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995 : 91-102 Daniele Nardi , Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995 : 223-235 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995 : 133-144 Daniele Nardi , Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992 : 15-29 1 [ 74 ] 2 [ 53 ] 3 [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 63 ] [ 64 ] 4 [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 32 ] [ 39 ] [ 51 ] [ 54 ] [ 55 ] [ 56 ] [ 58 ] [ 60 ] [ 62 ] [ 70 ] [ 71 ] [ 73 ] [ 74 ] [ 75 ] [ 77 ] 5 [ 40 ] 6 [ 54 ] 7 [ 2 ] [ 4 ] [ 6 ] [ 9 ] [ 11 ] [ 41 ] 8 [ 75 ] 9 [ 65 ] [ 68 ] 10 [ 65 ] [ 68 ] 11 [ 65 ] [ 68 ] 12 [ 5 ] [ 12 ] [ 13 ] [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 28 ] [ 32 ] [ 39 ] [ 54 ] [ 55 ] [ 56 ] [ 58 ] [ 59 ] [ 60 ] [ 62 ] [ 70 ] [ 71 ] [ 73 ] [ 74 ] [ 77 ] 13 [ 65 ] [ 68 ] [ 69 ] 14 [ 68 ] 15 [ 65 ] [ 68 ] 16 [ 66 ] [ 72 ] 17 [ 40 ] 18 [ 65 ] [ 68 ] 19 [ 5 ] [ 12 ] [ 13 ] [ 26 ] [ 36 ] [ 40 ] [ 57 ] [ 61 ] 20 [ 65 ] [ 68 ] 21 [ 42 ] [ 43 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 55 ] [ 58 ] [ 59 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ] [ 68 ] [ 70 ] [ 71 ] [ 72 ] [ 73 ] [ 74 ] [ 77 ] 22 [ 17 ] [ 21 ] [ 22 ] [ 32 ] [ 39 ] [ 42 ] [ 43 ] [ 44 ] [ 46 ] [ 53 ] [ 54 ] [ 55 ] [ 56 ] [ 58 ] [ 59 ] [ 60 ] [ 62 ] [ 65 ] [ 68 ] [ 70 ] [ 71 ] [ 73 ] [ 74 ] [ 77 ] 23 [ 65 ] [ 68 ] 24 [ 65 ] [ 68 ] 25 [ 57 ] [ 61 ] 26 [ 6 ] 27 [ 47 ] [ 48 ] 28 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 9 ] [ 11 ] [ 12 ] [ 13 ] [ 17 ] [ 21 ] [ 22 ] [ 26 ] [ 32 ] [ 33 ] [ 36 ] [ 39 ] [ 40 ] [ 41 ] [ 57 ] [ 61 ] [ 75 ] 29 [ 47 ] [ 48 ] 30 [ 65 ] [ 68 ] 31 [ 74 ] 32 [ 47 ] [ 48 ] [ 63 ] [ 65 ] [ 66 ] [ 68 ] [ 72 ] 33 [ 65 ] [ 68 ] 34 [ 65 ] [ 68 ] 35 [ 75 ] 36 [ 60 ] [ 62 ]  ©2006 Association for Computing Machinery |
