Riccardo Rosati Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: On Higher-Order Description Logics. Description Logics 2009
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Effective Ontology-Based Data Integration. OTM Workshops 2009: 18
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati: Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. 10(1): (2009)
2008
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Towards Higher-Order DL-Lite. Description Logics 2008
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Finite Model Reasoning in DL-Lite. ESWC 2008: 215-229
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Path-Based Identification Constraints in Description Logics. KR 2008: 231-241
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. RR 2008: 13-27
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi: Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Linking Data to Ontologies. J. Data Semantics 10: 133-173 (2008)
2007
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati: MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On Conjunctive Query Answering in EL. Description Logics 2007
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: The Limits of Querying Ontologies. ICDT 2007: 164-178
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi Dragone, Riccardo Rosati: Checking e-service consistency using Description Logics. IEEE SCC 2007: 162-169
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Can OWL Model Football Leagues? OWLED 2007
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Ontology-based Database Access. SEBD 2007: 324-331
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reasoning 39(3): 385-429 (2007)
2006
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Lembo, Riccardo Rosati, Marco Ruzzi: On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. EDBT Workshops 2006: 358-374
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006: 260-270
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR 2006: 68-78
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On the decidability and finite controllability of query processing in databases with incomplete information. PODS 2006: 356-365
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Integrating Ontologies and Rules: Semantic and Computational Issues. Reasoning Web 2006: 128-151
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: The limits and possibilities of combining Description Logics and Datalog. RuleML 2006: 3-4
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Multi-modal nonmonotonic logics of minimal knowledge. Ann. Math. Artif. Intell. 48(3-4): 169-185 (2006)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini: Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31(1): 1-32 (2006)
2005
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005: 1670-1671
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Consistent query answering under key and exclusion dependencies: algorithms and experiments. CIKM 2005: 792-799
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati, Georg Gottlob: Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005: 1378-1383
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola 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
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tailoring OWL for Data Intensive Ontologies. OWLED 2005
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. PPSWR 2005: 50-64
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Experimenting efficient query answering over inconsistent databases (extended abstract). SEBD 2005: 300-307
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola 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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi, Riccardo Rosati: Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale 2(4): 58-65 (2005)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Domenico Lembo, Riccardo Rosati: A comprehensive semantic framework for data integration systems. J. Applied Logic 3(1): 308-328 (2005)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1): 61-73 (2005)
2004
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Experimenting Data Integration with DIS@DIS. CAiSE 2004: 51-66
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004: 240-248
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425
2003
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Maurizio Lenzerini, Riccardo Rosati: Description Logics for Databases. Description Logic Handbook 2003: 462-484
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Domenico Lembo, Riccardo Rosati: Query rewriting and answering under constraints in data integration systems. IJCAI 2003: 16-21
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Riccardo Rosati: Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Domenico Lembo, Riccardo Rosati: On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS 2003: 260-271
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Domenico Lembo, Riccardo Rosati: Intensional query processing in data integration systems under integrity constraints. SEBD 2003: 475-482
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source Integration for Data Warehousing. Multidimensional Databases 2003: 361-392
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 5-32 (2003)
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source inconsistency and incompleteness in data integration. Description Logics 2002
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source inconsistency and incompleteness in data integration. KRDB 2002
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Integrating Inconsistent and Incomplete Data Sources. SEBD 2002: 299-306
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002)
2001
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001: 312-318
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Studia Logica 69(1): 171-191 (2001)
2000
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent System. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 7-16
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX 2000: 383-397
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On the decidability and complexity of reasoning about only knowing. Artif. Intell. 116(1-2): 193-215 (2000)
1999
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999: 1-12
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics 1999
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999: 76-83
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Towards First-Order Nonmonotonic Reasoning. LPNMR 1999: 332-346
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Reasoning about Minimal Belief and Negation as Failure. J. Artif. Intell. Res. (JAIR) 11: 277-300 (1999)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9(5): 759-785 (1999)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8(2): 187-203 (1999)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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)
1998
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI 1998: 853-858
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Embedding Minimal Knowledge into Negation as Failure. ECAI 1998: 28-32
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998: 47-48
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Autoepistemic Description Logics. AI Commun. 11(3-4): 219-221 (1998)
1997
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI 1997: 430-435
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Embedding Minimal Knowledge into Autoepistemic Logic. AI*IA 1997: 231-241
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: Complexity of Only Knowing: The Propositional Case. LPNMR 1997: 76-91
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997)
1996
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Rosati: On the Semantics of Epistemic Description Logics. Description Logics 1996: 185-188
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
1995
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995: 223-235
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Nardi, Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992: 15-29

Coauthor Index

1Andrea Acciarri [78]
2Franz Baader [84]
3Alexander Borgida [53]
4Andrea Calì [46] [47] [48] [49] [50] [52] [63] [65]
5Diego Calvanese [17] [20] [21] [22] [24] [32] [39] [51] [54] [55] [56] [58] [60] [62] [67] [74] [75] [77] [78] [79] [85] [87] [90] [92] [93] [95] [97] [101] [102] [104] [105] [106] [108] [109] [113] [116]
6Claudio Castelpietra [40]
7Elio Damaggio [54]
8Francesco M. Donini [2] [4] [6] [9] [11] [41]
9Luigi Dragone [79] [98]
10Thomas Eiter [68] [72]
11Wolfgang Faber [68] [72]
12Michael Fink [68] [72]
13Enrico Franconi [84]
14Giuseppe De Giacomo [5] [12] [13] [17] [20] [21] [22] [24] [26] [28] [32] [39] [54] [55] [56] [58] [59] [60] [62] [67] [71] [74] [75] [77] [78] [85] [87] [90] [91] [92] [93] [94] [95] [97] [101] [102] [103] [104] [105] [106] [108] [109] [111] [113] [115] [116]
15Georg Gottlob [68] [72] [73]
16Luigi Granata [72]
17Gianluigi Greco [68] [72]
18Luca Grieco [69] [76]
19A. Guidotti [40]
20Ian Horrocks [88]
21Giovambattista Ianni [68] [72]
22Luca Iocchi [5] [12] [13] [26] [36] [40] [57] [61] [66] [112]
23Edyta Kalka [68] [72]
24Domenico Lembo [42] [43] [44] [46] [47] [48] [49] [50] [52] [55] [58] [59] [63] [65] [67] [68] [69] [71] [72] [74] [75] [76] [77] [78] [84] [85] [87] [89] [90] [92] [93] [94] [95] [97] [101] [104] [105] [106] [109] [113] [116]
25Maurizio Lenzerini [17] [21] [22] [32] [39] [42] [43] [44] [46] [53] [54] [55] [56] [58] [59] [60] [62] [67] [68] [71] [72] [74] [75] [77] [78] [85] [87] [90] [91] [92] [93] [94] [95] [97] [101] [102] [103] [104] [105] [106] [108] [109] [111] [113] [115] [116]
26Nicola Leone [68] [72]
27Vincenzino Lio [68] [72]
28Thomas Lukasiewicz [57] [61] [112]
29Carsten Lutz [84]
30Fabio Massacci [6]
31Gabriele Messineo [47] [48]
32Ralf Möller [84]
33Boris Motik [88] [96]
34Daniele Nardi [1] [2] [3] [4] [5] [6] [9] [11] [12] [13] [17] [21] [22] [26] [32] [33] [36] [39] [40] [41] [57] [61] [66] [79] [112]
35Saverio De Nigris [47] [48]
36Bartosz Nowicki [68] [72]
37Mattia Palmieri [78]
38Antonella Poggi [85] [91] [93] [101] [103] [104] [106] [113]
39Mariano Rodriguez-Muro (Mariano Rodriguez) [113]
40Marco Ruzzi [47] [48] [63] [68] [69] [72] [76] [89] [106]
41Ulrike Sattler [84] [88]
42Witold Staniszkis [68] [72]
43Boontawee Suntisrivaraporn [84]
44Giorgio Terracina [68] [72]
45Sergio Tessaris [84]
46Stefano Trisolini [79]
47Guido Vetere [60] [62]

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)