The following pages link to Riccardo Rosati (Q229756):
Displaying 30 items.
- Data complexity of query answering in description logics (Q360130) (← links)
- View-based query answering in description logics: semantics and complexity (Q414845) (← links)
- On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
- Reasoning about minimal knowledge in nonmonotonic modal logics (Q1288175) (← links)
- Minimal belief and negation as failure in multi-agent systems (Q1861897) (← links)
- The what-to-ask problem for ontology-based peers (Q2185466) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- (Q2721209) (← links)
- (Q3047016) (← links)
- On Instance-level Update and Erasure in Description Logic Ontologies (Q3184232) (← links)
- Reconciling description logics and rules (Q3579631) (← links)
- Conceptual Modeling for Data Integration (Q3637334) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- (Q4215601) (← links)
- Ground Nonmonotonic Modal Logics (Q4351800) (← links)
- (Q4518910) (← links)
- (Q4704216) (← links)
- A theory and implementation of cognitive mobile robots (Q4934814) (← links)
- (Q4955345) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty (Q5277823) (← links)
- Linking Data to Ontologies (Q5445729) (← links)
- Database Programming Languages (Q5493334) (← links)
- Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies (Q5504577) (← links)
- Description logics of minimal knowledge and negation as failure (Q5738954) (← links)
- (Q5740438) (← links)
- A sound and complete tableau calculus for reasoning about only knowing and knowing at most (Q5955625) (← links)
- Controlled query evaluation in description logics through consistent query answering (Q6592995) (← links)
