| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Riccardo Rosati 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) 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 Belief and Negation as Failure. JAIR 11 : 277-300 (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 [ 53 ] 2 [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] 3 [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 32 ] [ 39 ] [ 51 ] [ 54 ] 4 [ 40 ] 5 [ 54 ] 6 [ 2 ] [ 4 ] [ 6 ] [ 9 ] [ 11 ] [ 41 ] 7 [ 5 ] [ 12 ] [ 13 ] [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 27 ] [ 28 ] [ 32 ] [ 39 ] [ 54 ] 8 [ 40 ] 9 [ 5 ] [ 12 ] [ 13 ] [ 27 ] [ 36 ] [ 40 ] 10 [ 42 ] [ 43 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] 11 [ 17 ] [ 21 ] [ 22 ] [ 32 ] [ 39 ] [ 42 ] [ 43 ] [ 44 ] [ 46 ] [ 53 ] [ 54 ] 12 [ 6 ] 13 [ 47 ] [ 48 ] 14 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 9 ] [ 11 ] [ 12 ] [ 13 ] [ 17 ] [ 21 ] [ 22 ] [ 27 ] [ 32 ] [ 33 ] [ 36 ] [ 39 ] [ 40 ] [ 41 ] 15 [ 47 ] [ 48 ] 16 [ 47 ] [ 48 ]  ©2004 Association for Computing Machinery |
