Querying Circumscribed Description Logic Knowledge BasesInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2023 |
Reasoning on with Defeasibility in ASPTheory and Practice of Logic Programming (TPLP), 2021 |
Defeasible reasoning in Description Logics: an overview on DL^NApplications and Practices in Ontology Design, Extraction, and Reasoning (PODER), 2020 |
A framework for a modular multi-concept lexicographic closure semanticsItalian Conference on Computational Logic (CILC), 2020 |
Optimizing the computation of overridingInternational Workshop on the Semantic Web (SW), 2015 |