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 | 52 | 2019 |
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 | 49 | 2015 |
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 | 44 | 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 | 43 | 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 | 37 | 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 | 31 | 2022 |
DatalogMTL over integer timeline PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev IJCAI Organization, 2020 | 29 | 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 | 27 | 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 | 26 | 2021 |
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 | 22 | 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 |
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 | 20 | 2018 |
DatalogMTL with negation under stable models semantics PA Wałęga, DJ Tena Cucala, EV Kostylev, B Cuenca Grau IJCAI Organization, 2021 | 18 | 2021 |
Finitely materialisable Datalog programs with metric temporal operators PA Wałęga, M Zawidzki, B Cuenca Grau IJCAI Organization, 2021 | 15 | 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 | 15 | 2018 |
Stream reasoning with DatalogMTL PA Wałęga, M Kaminski, D Wang, BC Grau Journal of Web Semantics 76, 100776, 2023 | 11 | 2023 |
Finite materialisability of Datalog programs with metric temporal operators P Wałęga, M Zawidzki, BC Grau Journal of Artificial Intelligence Research 76, 471521-471521, 2023 | 6 | 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 |
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 |