Seguir
Przemysław Andrzej Wałęga
Przemysław Andrzej Wałęga
University of Oxford
Dirección de correo verificada de uw.edu.pl - Página principal
Título
Citado por
Citado por
Año
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
452015
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
432019
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
392018
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
332019
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
332017
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
242021
DatalogMTL over integer timeline
PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev
IJCAI Organization, 2020
232020
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
212021
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
212019
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
192018
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
152022
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
132018
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
122021
DatalogMTL with negation under stable models semantics
PA Wałęga, DJ Tena Cucala, EV Kostylev, B Cuenca Grau
IJCAI Organization, 2021
112021
Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic
PA Wałęga
Indian Conference on Logic and Its Applications, 224-238, 2016
72016
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
A modal logic for subject-oriented spatial reasoning
PA Walega, M Zawidzki
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
52019
Qualitative physics in angry birds: first results
P Wałega, T Lechowski, M Zawidzki
42014
Overfitting problem in a virtual sensor obtained with W–M method
PA Wałęga
Procedia Computer Science 35, 54-62, 2014
42014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20