TU Wien Informatics

20 Years


  • Circumscription in DL-Lite: Progress Report / Bonatti, P., Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Circumscription in DL-Lite: Progress Report. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning  (KR 2023). CEUR-WS.org. https://doi.org/10.34726/5328
    Download: PDF (1.28 MB)
    Projects: KtoAPP (2018–2025) / OMEGA (2017–2022)
  • Description Logics with Pointwise Circumscription / Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Description Logics with Pointwise Circumscription. In E. Elking (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3167–3175). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/353
    Download: PDF (193 KB)
    Projects: KtoAPP (2018–2025) / OMEGA (2017–2022)