Follow
Przemysław Andrzej Wałęga
Przemysław Andrzej Wałęga
University of Oxford
Verified email at uw.edu.pl - Homepage
Title
Cited by
Cited by
Year
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
522019
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
492015
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
442019
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
432018
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
372017
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
312022
DatalogMTL over integer timeline
PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev
IJCAI Organization, 2020
292020
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
272020
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
262021
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
222019
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
212016
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
202018
DatalogMTL with negation under stable models semantics
PA Wałęga, DJ Tena Cucala, EV Kostylev, B Cuenca Grau
IJCAI Organization, 2021
182021
Finitely materialisable Datalog programs with metric temporal operators
PA Wałęga, M Zawidzki, B Cuenca Grau
IJCAI Organization, 2021
152021
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
152018
Stream reasoning with DatalogMTL
PA Wałęga, M Kaminski, D Wang, BC Grau
Journal of Web Semantics 76, 100776, 2023
112023
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
62023
A modal logic for subject-oriented spatial reasoning
PA Walega, M Zawidzki
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
62019
Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic
PA Wałęga
Indian Conference on Logic and Its Applications, 224-238, 2016
62016
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
52020
The system can't perform the operation now. Try again later.
Articles 1–20