Publications

Conference: International Conference on the Principles of Knowledge Representation and Reasoning

2025

• Emanuel Kieroński, Vincent Michielini , Oskar Fiuk, Two-variable logic for hierarchically partitioned and ordered data, 22nd International Conference on Principles of Knowledge Representation and Reasoning, November 11-17, 2025 - Melbourne, Australia, Melbourne, Australia, 10 November 2025 - 16 November 2025. See in PBN

2022

• Víctor Gutiérrez-Basulto, Albert Gutowski , Yazmín Ibáñez-García, Filip Murlak , Finite Entailment of UCRPQs over ALC Ontologies, 19th International Conference on Principles of Knowledge Representation and Reasoning, Haifa, Israel, 31 July 2022 - 5 August 2022. See in PBN

2020

• Tomasz Gogacz , Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus, Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates, 17th International Conference on Principles of Knowledge Representation and Reasoning, Rende, Italy, 12 September 2020 - 18 September 2020. See in PBN
• Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak , Albert Gutowski , Tomasz Gogacz , On Finite Entailment of Non-Local Queries in Description Logics, 17th International Conference on Principles of Knowledge Representation and Reasoning, Rende, Italy, 12 September 2020 - 18 September 2020. See in PBN

2018

• Tomasz Gogacz , Yazmin Angélica Ibáñez-García, Filip Murlak , Finite Query Answering in Expressive Description Logics with Transitive Roles, 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, the United States of America, 27 October 2018 - 2 November 2018. See in PBN