| 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 | 43 | 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 | 36 | 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 | 31 | 2018 |
| 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 | 28 | 2017 |
| DatalogMTL: Computational complexity and expressive power PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev International Joint Conferences on Artificial Intelligence, 2019 | 23 | 2019 |
| 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 | 21 | 2016 |
| Tractable fragments of datalog with metric temporal operators PA Wał ęga, BC Grau, M Kaminski, EV Kostylev Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 19 | 2021 |
| DatalogMTL over integer timeline PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev IJCAI Organization, 2020 | 19 | 2020 |
| 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 | 19 | 2019 |
| 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 | 16 | 2021 |
| 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 | 14 | 2018 |
| 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 | 11 | 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 | 11 | 2018 |
| DatalogMTL with negation under stable models semantics PA Wałęga, DJ Tena Cucala, EV Kostylev, B Cuenca Grau IJCAI Organization, 2021 | 9 | 2021 |
| 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 | 8 | 2022 |
| Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic PA Wałęga Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2016 | 7 | 2016 |
| Qualitative physics in angry birds: first results P Wałega, T Lechowski, M Zawidzki | 6 | 2014 |
| 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 | 4 | 2020 |
| A modal logic for subject-oriented spatial reasoning PA Walega, M Zawidzki 26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019 | 4 | 2019 |
| Overfitting problem in a virtual sensor obtained with W–M method PA Wałęga Procedia Computer Science 35, 54-62, 2014 | 4 | 2014 |
