The biggest business process management problems to solve before we die I Beerepoot, C Di Ciccio, HA Reijers, S Rinderle-Ma, W Bandara, ... Computers in Industry 146, 103837, 2023 | 153 | 2023 |
Resilient logic programs: answer set programs challenged by ontologies S Lukumbuzya, M Ortiz, M Šimkus Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2917-2924, 2020 | 11 | 2020 |
Datalog rewritability and data complexity of ALCHOIF with closed predicates T Gogacz, S Lukumbuzya, M Ortiz, M Šimkus Proceedings of the International Conference on Principles of Knowledge …, 2020 | 9 | 2020 |
Process mining with common sense D Calvanese, S Lukumbuzya, M Montali, M Simkus Proceedings of the International Workshop on BPM Problems to Solve Before We …, 2021 | 6 | 2021 |
Bounded Predicates in Description Logics with Counting. S Lukumbuzya, M Simkus IJCAI, 1966-1972, 2021 | 3 | 2021 |
Datalog rewritability and data complexity of ALCHOIQ with closed predicates S Lukumbuzya, M Ortiz, M Šimkus Artificial Intelligence 330, 104099, 2024 | 1 | 2024 |
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP S Lukumbuzya, MM Ortiz de la Fuente, M Simkus # PLACEHOLDER_PARENT_METADATA_VALUE# 3515, 2023 | 1 | 2023 |
Ontology-Enriched Data Management with Partially Complete Data. S Pavlovic RuleML+ RR (Supplement), 2019 | 1 | 2019 |
Answer Set Programs Challenged by Ontologies. M Ortiz, S Pavlovic, M Simkus Description Logics, 2019 | 1 | 2019 |
Reasoning in Very Expressive Description Logics with Varying Information Completeness S Lukumbuzya Technische Universität Wien, 2025 | | 2025 |
Ontology-Enriched Data Management with Partially Complete Data S Lukumbuzya Proceedings of the 13th RuleML+ RR 2019 Doctoral Consortium and Rule …, 2019 | | 2019 |
A tableau calculus for a multi-modal logic of dishonesty S Pavlović, H Tompits International Conference of the Italian Association for Artificial …, 2018 | | 2018 |