| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Riccardo Rosati 44 Andrea Calì , Domenico Lembo , Riccardo Rosati: On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS 2003 : 260-271 43 Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 37 (1-2): 5-32 (2003) 42 Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Source inconsistency and incompleteness in data integration. Description Logics 2002 41 Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Source inconsistency and incompleteness in data integration. KRDB 2002 40 Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati: Integrating Inconsistent and Incomplete Data Sources. SEBD 2002 : 299-306 39 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Description logics of minimal knowledge and negation as failure. TOCL 3 (2): 177-225 (2002) 38 Claudio Castelpietra , A. Guidotti , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001 : 312-318 37 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Data Integration in Data Warehousing. IJCIS 10 (3): 237-271 (2001) 36 Riccardo Rosati: A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Studia Logica 69 (1): 171-191 (2001) 35 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 34 Luca Iocchi , Daniele Nardi , Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000 : 678-689 33 M. Ferraresso , Carlo Ferrari , Enrico Pagello , Roberto Polesel , Riccardo Rosati, A. Speranzon , W. Zanette : Collaborative Emergent Actions between Real Soccer Robots. RoboCup 2000 : 297-302 32 Riccardo Rosati: Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX 2000 : 383-397 31 Riccardo Rosati: On the decidability and complexity of reasoning about only knowing. Artificial Intelligence 116 (1-2): 193-215 (2000) 30 Daniele Nardi , Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999 : 1-12 29 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 28 Riccardo Rosati: Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics 1999 27 Riccardo Rosati: Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999 : 76-83 26 Riccardo Rosati: Towards First-Order Nonmonotonic Reasoning. LPNMR 1999 : 332-346 25 Riccardo Rosati: Reasoning about Minimal Belief and Negation as Failure. JAIR 11 : 277-300 (1999) 24 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: A Theory and Implementation of Cognitive Mobile Robots. Journal of Logic and Computation 9 (5): 759-785 (1999) 23 Riccardo Rosati: Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2): 187-203 (1999) 22 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) 21 Riccardo Rosati: Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI 1998 : 853-858 20 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 19 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 18 Diego Calvanese , Giuseppe De Giacomo , Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 17 Riccardo Rosati: Embedding Minimal Knowledge into Negation as Failure. ECAI 1998 : 28-32 16 Riccardo Rosati: Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998 : 47-48 15 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998 : 2-13 14 Riccardo Rosati: Autoepistemic Description Logics. AI Communications 11 (3-4): 219-221 (1998) 13 Riccardo Rosati: Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI 1997 : 430-435 12 Riccardo Rosati: Embedding Minimal Knowledge into Autoepistemic Logic. AI*IA 1997 : 231-241 11 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997 : 156-168 10 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997 : 136-141 9 Riccardo Rosati: Complexity of Only Knowing: The Propositional Case. LPNMR 1997 : 76-91 8 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Ground Nonmonotonic Modal Logics. Journal of Logic and Computation 7 (4): 523-548 (1997) 7 Riccardo Rosati: On the Complexity of Reasoning with Negation as Failure. DDLP 1996 : 107-118 6 Francesco M. Donini , Fabio Massacci , Daniele Nardi , Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996 : 87-103 5 Giuseppe De Giacomo , Luca Iocchi , Daniele Nardi , Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996 : 198-209 4 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995 : 91-102 3 Daniele Nardi , Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995 : 223-235 2 Francesco M. Donini , Daniele Nardi , Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995 : 133-144 1 Daniele Nardi , Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992 : 15-29  DiSC'03 © 2003 Association for Computing Machinery |
