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