Skip to content

Riccardo Rosati

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

66

Venues

23

Active years

1992–2025

Best venue rank

A*

Where they publish

Papers

66 indexed papers, newest first.

YearVenueTitleAuthors
2025AAAIConsistent Query Answering over Existential Rules with Open and Closed Predicates.Lorenzo Marconi, Riccardo Rosati
2025IJCAIAssessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies.Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2024IJCAIEnhancing Controlled Query Evaluation through Epistemic Policies.Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2022WEBISTKnowledge-based Confidentiality-preserving Query Answering.Riccardo Rosati
2020ICPR3D Human Pose Estimation Based on Multi-Input Multi-Output Convolutional Neural Network and Event Cameras: A Proof of Concept on the DHP19 Dataset.Alessandro Manilii, Leonardo Lucarelli, Riccardo Rosati, Luca Romeo, Adriano Mancini, Emanuele Frontoni
2020ICPRA Deep Learning-Based Approach for Automatic Leather Classification in Industry 4.0.Giulia Pazzaglia, Massimo Martini, Riccardo Rosati, Luca Romeo, Emanuele Frontoni
2020ICPRBias from the Wild Industry 4.0: Are We Really Classifying the Quality or Shotgun Series?Riccardo Rosati, Luca Romeo, Gianalberto Cecchini, Flavio Tonetto, Luca Perugini, Luca Ruggeri, Paolo Viti, Emanuele Frontoni
2020IJCAIControlled Query Evaluation in Description Logics Through Instance Indistinguishability.Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2019IJCAIRevisiting Controlled Query Evaluation in Description Logics.Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2018IJCAIOntology-Based Data Access: A Survey.Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
2018KRA Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics.Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2017IJCAIMapping Repair in Ontology-based Data Access Evolving Systems.Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen
2016KRQuery-Based Comparison of Mappings in Ontology-Based Data Access.Meghyn Bienvenu, Riccardo Rosati
2015IJCAIData Complexity of Query Answering in Description Logics (Extended Abstract).Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2014KRTutorials.Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
2013EDBTOptimizing query rewriting in ontology-based data access.Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2013IJCAITractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.Meghyn Bienvenu, Riccardo Rosati
2012AAAIOntology-Based Data Access with Dynamic TBoxes in DL-Lite.Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2012KRGeneralized Ontology-Based Production Systems.Riccardo Rosati, Enrico Franconi
2011AAAIHigher-Order Description Logics for Domain Metamodeling.Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011IJCAIOn the Complexity of Dealing with Inconsistency in Description Logic Ontologies.Riccardo Rosati
2010ICSOCConjunctive Artifact-Centric Services.Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
2010KRImproving Query Answering over DL-Lite Ontologies.Riccardo Rosati, Alessandro Almatelli
2008KRPath-Based Identification Constraints in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008KRView-Based Query Answering over Description Logic Ontologies.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007AAAIOn the Approximation of Instance Level Update and Erasure in Description Logics.Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2007ICDTThe Limits of Querying Ontologies.Riccardo Rosati
2007IJCAIEQL-Lite: Effective First-Order Query Processing in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007IJCAIA Faithful Integration of Description Logics with Logic Programming.Boris Motik, Riccardo Rosati
2007PODSOn reconciling data exchange, data integration, and peer data management.Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006AAAIOn the Update of Description Logic Ontologies at the Instance Level.Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2006ISAIMMultimodal Nonmonotonic Logics of Minimal Knowledge.Riccardo Rosati
2006KRData Complexity of Query Answering in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006KRDL+log: Tight Integration of Description Logics and Disjunctive Datalog.Riccardo Rosati
2006PODSOn the decidability and finite controllability of query processing in databases with incomplete information.Riccardo Rosati
2005AAAIQuOnto: Querying Ontologies.Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati
2005AAAIDL-Lite: Tractable Description Logics for Ontologies.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005CIKMConsistent query answering under key and exclusion dependencies: algorithms and experiments.Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi
2005IJCAIAsymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic.Riccardo Rosati, Georg Gottlob
2005LPNMRData 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
2005SIGMODThe 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
2004CaiSEExperimenting Data Integration with DIS@DIS.Andrea Cal, Domenico Lembo, Riccardo Rosati, Marco Ruzzi
2004ECAIReasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty.Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati
2004KRWhat to Ask to a Peer: Ontolgoy-based Query Reformulation.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004PODSLogical Foundations of Peer-To-Peer Data Integration.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2003IJCAIQuery rewriting and answering under constraints in data integration systems.Andrea Cal, Domenico Lembo, Riccardo Rosati
2003PODSOn the decidability and complexity of query answering over inconsistent and incomplete databases.Andrea Cal, Domenico Lembo, Riccardo Rosati
2003WISEDIS@DIS: A System for Semantic Data Integration under Integrity Constraints.Andrea Cal, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi
2001RoboCupDesign and Implementation of Cognitive Soccer Robots.Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati
2000KRPlanning with sensing, concurrency, and exogenous events: logical framework and implementation.Luca Iocchi, Daniele Nardi, Riccardo Rosati
2000TABLEAUXTableau Calculus for Only Knowing and Knowing at Most.Riccardo Rosati
1999IJCAIModel Checking for Nonmonotonic Logics: Algorithms and Complexity.Riccardo Rosati
1999LPNMRTowards First-Order Nonmonotonic Reasoning.Riccardo Rosati
1998AAAIReducing Query Answering to Satisfiability in Nonmonotonic Logics.Riccardo Rosati
1998CoopISInformation Integration: Conceptual Modeling and Reasoning Support.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998ECAIEmbedding Minimal Knowledge into Negation as Failure.Riccardo Rosati
1998ECAIExpressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case.Riccardo Rosati
1998KRDescription Logic Framework for Information Integration.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1997AAAIReasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity.Riccardo Rosati
1997IJCAIAutoepistemic Description Logics.Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1997LPNMRComplexity of Only Knowing: The Propositional Case.Riccardo Rosati
1996AiMLMinimal Knowledge States in Nonmonotonic Modal Logics.Riccardo Rosati
1996JELIAA Uniform Tableaux Method for Nonmonotonic Modal Logics.Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati
1996KRMoving a Robot: The KR&R Approach at Work.Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1995EPIAA Preference Semantics for Ground Nonmonotonic Modal Logics.Daniele Nardi, Riccardo Rosati
1992LOPSTRDeductive Synthesis of Programs for Query Answering.Daniele Nardi, Riccardo Rosati