Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Riccardo Rosati
2010 – today
- 2013
[j29]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013)- [j28]Cristina Civili, Marco Console, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo: MASTRO STUDIO: Managing Ontology-Based Data Access applications. PVLDB 6(12): 1314-1317 (2013)
- [c122]Meghyn Bienvenu, Riccardo Rosati: New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. Description Logics 2013: 53-64
- [c121]Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi: Synthesizing Extensional Constraints in Ontology-Based Data Access. Description Logics 2013: 628-639
- [c120]Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Optimizing query rewriting in ontology-based data access. EDBT 2013: 561-572
- [c119]Peter Haase, Ian Horrocks, Dag Hovland, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Johan W. Klüwer, Christoph Pinkel, Riccardo Rosati, Valerio Santarelli, Ahmet Soylu, Dmitriy Zheleznyakov: Optique System: towards ontology and mapping management in OBDA solutions. WoDOOM 2013: 21-32
- [c118]Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler: Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140
- [c117]Meghyn Bienvenu, Riccardo Rosati: Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. IJCAI 2013
- [c116]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Giuseppe Pirrò, Riccardo Rosati: The Logic of Extensional RDFS. International Semantic Web Conference (1) 2013: 101-116
- 2012
- [j27]Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati: Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21(2): 111-140 (2012)
- [j26]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012)
- [c115]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012
- [c114]Cristina Civili, Riccardo Rosati: A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. Datalog 2012: 68-80
- [c113]Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati: Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics 2012
- [c112]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. Description Logics 2012
- [c111]
- [c110]Riccardo Rosati: Prexto: Query Rewriting under Extensional Constraints in DL - Lite. ESWC 2012: 360-374
- [c109]
- [c108]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE 2012
- [c107]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668
- [c106]
- [c105]Riccardo Rosati, Marco Ruzzi, Mirko Graziosi, Giulia Masotti: Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies. International Semantic Web Conference (2) 2012: 337-349
- 2011
- [j25]Riccardo Rosati: On the finite controllability of conjunctive query answering in databases under open-world assumption. J. Comput. Syst. Sci. 77(3): 572-594 (2011)
- [j24]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 2(1): 43-53 (2011)
- [c104]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Higher-Order Description Logics for Domain Metamodeling. AAAI 2011
- [c103]Giulia Masotti, Riccardo Rosati, Marco Ruzzi: Practical ABox Cleaning in DL-Lite (progress report). Description Logics 2011
- [c102]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011
- [c101]Riccardo Rosati: On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. IJCAI 2011: 1057-1062
- [c100]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Query Rewriting for Inconsistent DL-Lite Ontologies. RR 2011: 155-169
- [c99]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract). SEBD 2011: 287-294
- [e1]Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (Eds.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011
- [i1]
- 2010
- [j23]
- [c98]Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati: Conjunctive Artifact-Centric Services. ICSOC 2010: 318-333
- [c97]
- [c96]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant Semantics for Description Logics. RR 2010: 103-117
2000 – 2009
- 2009
- [j22]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009)
- [j21]Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. 10(1) (2009)
- [c95]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197
- [c94]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: On Higher-Order Description Logics. Description Logics 2009
- [c93]
- [c92]Diego 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
- [p2]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi: Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424
- 2008
- [j20]Diego 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)
- [j19]Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Linking Data to Ontologies. J. Data Semantics 10: 133-173 (2008)
- [c91]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Towards Higher-Order DL-Lite. Description Logics 2008
- [c90]
- [c89]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Path-Based Identification Constraints in Description Logics. KR 2008: 231-241
- [c88]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251
- [c87]Riccardo Rosati: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. RR 2008: 13-27
- [c86]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi: Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47
- 2007
- [j18]Diego 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)
- [c85]Luigi Dragone, Riccardo Rosati: Checking e-service consistency using Description Logics. IEEE SCC 2007: 162-169
- [c84]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408
- [c83]Diego 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
- [c82]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007
- [c81]
- [c80]
- [c79]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
- [c78]Boris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482
- [c77]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Can OWL Model Football Leagues? OWLED 2007
- [c76]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142
- [c75]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Ontology-based Database Access. SEBD 2007: 324-331
- 2006
- [j17]Riccardo Rosati: Multi-modal nonmonotonic logics of minimal knowledge. Ann. Math. Artif. Intell. 48(3-4): 169-185 (2006)
- [j16]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)
- [c74]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276
- [c73]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
- [c72]Domenico Lembo, Riccardo Rosati, Marco Ruzzi: On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. EDBT Workshops 2006: 358-374
- [c71]
- [c70]Riccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR 2006: 68-78
- [c69]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006: 260-270
- [c68]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006
- [c67]Carsten 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
- [c66]Riccardo Rosati: On the decidability and finite controllability of query processing in databases with incomplete information. PODS 2006: 356-365
- [c65]Riccardo Rosati: The limits and possibilities of combining Description Logics and Datalog. RuleML 2006: 3-4
- [c64]Riccardo Rosati: Integrating Ontologies and Rules: Semantic and Computational Issues. Reasoning Web 2006: 128-151
- [c63]Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
- 2005
- [j15]Luca Iocchi, Daniele Nardi, Riccardo Rosati: Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale 2(4): 58-65 (2005)
- [j14]Andrea Calì, Domenico Lembo, Riccardo Rosati: A comprehensive semantic framework for data integration systems. J. Applied Logic 3(1): 308-328 (2005)
- [j13]Riccardo Rosati: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1): 61-73 (2005)
- [c62]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607
- [c61]Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005: 1670-1671
- [c60]Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Consistent query answering under key and exclusion dependencies: algorithms and experiments. CIKM 2005: 792-799
- [c59]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
- [c58]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005
- [c57]Riccardo Rosati, Georg Gottlob: Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005: 1378-1383
- [c56]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
- [c55]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tailoring OWL for Data Intensive Ontologies. OWLED 2005
- [c54]Riccardo Rosati: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. PPSWR 2005: 50-64
- [c53]Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Experimenting efficient query answering over inconsistent databases (extended abstract). SEBD 2005: 300-307
- [c52]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
- [c51]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005
- 2004
- [c50]Andrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi: Experimenting Data Integration with DIS@DIS. CAiSE 2004: 51-66
- [c49]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
- [c48]Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822
- [c47]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
- [c46]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34
- [c45]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
- [c44]Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati: Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004: 240-248
- [c43]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251
- [c42]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425
- 2003
- [j12]Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 5-32 (2003)
- [c41]Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90
- [c40]Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati: Description Logics for Databases. Description Logic Handbook 2003: 462-484
- [c39]Andrea Calì, Domenico Lembo, Riccardo Rosati: Query rewriting and answering under constraints in data integration systems. IJCAI 2003: 16-21
- [c38]Diego Calvanese, Riccardo Rosati: Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003
- [c37]Andrea Calì, Domenico Lembo, Riccardo Rosati: On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS 2003: 260-271
- [c36]Andrea Calì, Domenico Lembo, Riccardo Rosati: Intensional query processing in data integration systems under integrity constraints. SEBD 2003: 475-482
- [c35]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
- [c34]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
- [p1]Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source Integration for Data Warehousing. Multidimensional Databases 2003: 361-392
- 2002
- [j11]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)
- [c33]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source inconsistency and incompleteness in data integration. Description Logics 2002
- [c32]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Source inconsistency and incompleteness in data integration. KRDB 2002
- [c31]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Integrating Inconsistent and Incomplete Data Sources. SEBD 2002: 299-306
- 2001
- [j10]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)
- [j9]Riccardo Rosati: A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Studia Logica 69(1): 171-191 (2001)
- [c30]Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Design and Implementation of Cognitive Soccer Robots. RoboCup 2001: 312-318
- 2000
- [j8]Riccardo Rosati: On the decidability and complexity of reasoning about only knowing. Artif. Intell. 116(1-2): 193-215 (2000)
- [c29]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
- [c28]Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689
- [c27]
1990 – 1999
- 1999
- [j7]Giuseppe De Giacomo, Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999)
- [j6]Riccardo Rosati: Reasoning about Minimal Belief and Negation as Failure. J. Artif. Intell. Res. (JAIR) 11: 277-300 (1999)
- [j5]Riccardo Rosati: Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8(2): 187-203 (1999)
- [j4]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)
- [j3]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)
- [c26]Daniele Nardi, Riccardo Rosati: Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999: 1-12
- [c25]Riccardo Rosati: Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics 1999
- [c24]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
- [c23]Riccardo Rosati: Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999: 76-83
- [c22]
- 1998
- [j2]
- [c21]Riccardo Rosati: Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI 1998: 853-858
- [c20]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
- [c19]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
- [c18]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
- [c17]
- [c16]Riccardo Rosati: Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998: 47-48
- [c15]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13
- 1997
- [j1]Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997)
- [c14]Riccardo Rosati: Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI 1997: 430-435
- [c13]
- [c12]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997
- [c11]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168
- [c10]Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
- [c9]
- 1996
- [c8]
- [c7]
- [c6]Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
- [c5]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
- 1995
- [c4]Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102
- [c3]Daniele Nardi, Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995: 223-235
- [c2]Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144
- 1992
- [c1]Daniele Nardi, Riccardo Rosati: Deductive Synthesis of Programs for Query Answering. LOPSTR 1992: 15-29
Coauthor Index
[j29] [j28] [j27] [j26] [c115] [c108] [c107] [j24] [c104] [c102] [c98] [j22] [c95] [c94] [c92] [p2] [j20] [j19] [c91] [c89] [c88] [c86] [j18] [c84] [c83] [c82] [c79] [c77] [c76] [c75] [c74] [c73] [c69] [c68] [c62] [c61] [c59] [c58] [c55] [c51] [c49] [c47] [c46] [c45] [c43] [c42] [c41] [j10] [j7] [j4] [j3] [c24] [c20] [c19] [c18] [c15] [c12] [c11] [c5]
[j29] [j28] [c120] [c112] [c108] [c107] [j24] [c100] [c99] [c96] [c95] [c92] [p2] [j20] [j19] [c89] [c86] [j18] [c83] [c79] [c77] [c76] [c75] [c73] [c72] [c69] [c68] [c67] [j14] [c62] [c61] [c60] [c59] [c58] [c56] [c55] [c53] [c52] [c51] [c50] [c46] [c45] [c42] [c39] [c37] [c36] [c35] [c34] [p1] [c33] [c32] [c31]
[j29] [j28] [c121] [c120] [j26] [c115] [c112] [c108] [c107] [j24] [c104] [c102] [c100] [c99] [c96] [j22] [c95] [c94] [c92] [p2] [j20] [j19] [c91] [c89] [c88] [c86] [j18] [c84] [c83] [c82] [c79] [c77] [c76] [c75] [c74] [c73] [c69] [c68] [c62] [c61] [c59] [c58] [c56] [c55] [c52] [c51] [c49] [c47] [c46] [c45] [c43] [c42] [c41] [c40] [p1] [c33] [c32] [c31] [j10] [c24] [c20] [c19] [c15]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team