| ASPMT (QS): non-monotonic spatial reasoning with answer set programming modulo theories PA Wałęga, M Bhatt, C Schultz Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015 | 48 | 2015 |
| Reasoning over streaming data in metric temporal datalog PA Wałęga, M Kaminski, BC Grau Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3092-3099, 2019 | 46 | 2019 |
| Visual explanation by high-level abduction: On answer-set programming driven reasoning about moving objects J Suchan, M Bhatt, P Wałega, C Schultz Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018 | 41 | 2018 |
| DatalogMTL: Computational complexity and expressive power P Walega, B Cuenca Grau, M Kaminski, E Kostylev Proceedings of the Twenty-Eighth International Joint Conference on …, 2019 | 38 | 2019 |
| Non-monotonic spatial reasoning with answer set programming modulo theories PA Wałęga, C Schultz, M Bhatt Theory and Practice of Logic Programming 17 (2), 205-225, 2017 | 35 | 2017 |
| Meteor: Practical reasoning in datalog with metric temporal operators D Wang, P Hu, PA Wałęga, BC Grau Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5906-5913, 2022 | 26 | 2022 |
| DatalogMTL over integer timeline PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev IJCAI Organization, 2020 | 26 | 2020 |
| Tractable fragments of datalog with metric temporal operators PA Wałęga, B Cuenca Grau, M Kaminski, EV Kostylev International Joint Conferences on Artificial Intelligence, 2020 | 25 | 2020 |
| Stratified negation in Datalog with metric temporal operators DJT Cucala, PA Wałęga, BC Grau, E Kostylev Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6488-6495, 2021 | 23 | 2021 |
| Qualitative Physics in Angry Birds PA Wałęga, M Zawidzki, T Lechowski IEEE Transactions on Computational Intelligence and AI in Games 8 (2), 152-165, 2016 | 22 | 2016 |
| Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version) V Ryzhikov, PA Walega, M Zakharyaschev arXiv preprint arXiv:1905.12990, 2019 | 21 | 2019 |
| Answer set programming modulo ‘space-time’ C Schultz, M Bhatt, J Suchan, PA Wałęga Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018 | 19 | 2018 |
| DatalogMTL with negation under stable models semantics PA Wałęga, DJ Tena Cucala, EV Kostylev, B Cuenca Grau IJCAI Organization, 2021 | 16 | 2021 |
| Finitely materialisable Datalog programs with metric temporal operators PA Wałęga, M Zawidzki, BC Grau Proceedings of the International Conference on Principles of Knowledge …, 2021 | 13 | 2021 |
| On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. S Kikot, V Ryzhikov, PA Walega, M Zakharyaschev Description Logics 2211, 2018 | 13 | 2018 |
| Stream reasoning with DatalogMTL PA Wałęga, M Kaminski, D Wang, BC Grau Journal of Web Semantics 76, 100776, 2023 | 8 | 2023 |
| A modal logic for subject-oriented spatial reasoning PA Walega, M Zawidzki 26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019 | 6 | 2019 |
| Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic PA Wałęga Indian Conference on Logic and Its Applications, 224-238, 2016 | 6 | 2016 |
| Finite materialisability of Datalog programs with metric temporal operators P Wałęga, M Zawidzki, BC Grau Journal of Artificial Intelligence Research 76, 471–521-471–521, 2023 | 5 | 2023 |
| Temporal ontology-mediated queries and first-order rewritability: A short course V Ryzhikov, PA Wałęga, M Zakharyaschev Reasoning Web. Declarative Artificial Intelligence: 16th International …, 2020 | 5 | 2020 |
