Przemysław Andrzej Wałęga
Przemysław Andrzej Wałęga
University of Oxford
Bestätigte E-Mail-Adresse bei uw.edu.pl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
ASPMT (QS): non-monotonic spatial reasoning with answer set programming modulo theories
PA Wałęga, M Bhatt, C Schultz
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
362015
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
262018
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
202017
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
182016
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
142019
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
102019
DatalogMTL: computational complexity and expressive power
PA Walega, B Cuenca Grau, M Kaminski, EV Kostylev
International Joint Conferences on Artificial Intelligence, 2019
62019
Answer Set Programming Modulo ‘Space-Time’
C Schultz, M Bhatt, J Suchan, PA Wałęga
International Joint Conference on Rules and Reasoning, 318-326, 2018
62018
Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic
PA Wałęga
Indian Conference on Logic and Its Applications, 224-238, 2017
62017
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
DatalogMTL over the Integer Timeline
PA Wałęga, BC Grau, M Kaminski, EV Kostylev
Proceedings of the International Conference on Principles of Knowledge …, 2020
22020
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course
V Ryzhikov, PA Wałęga, M Zakharyaschev
Reasoning Web International Summer School, 109-148, 2020
22020
A Modal Logic for Subject-Oriented Spatial Reasoning
PA Walega, M Zawidzki
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
22019
Tractable Fragments of Datalog with Metric Temporal Operators
PA Wałega, B Cuenca Grau, M Kaminski, EV Kostylev
Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 1919
21919
Hybrid fragments of Halpern–Shoham logic and their expressive power
PA Wałęga
Theoretical Computer Science 797, 102-128, 2019
12019
Computational complexity of core fragments of modal logics T, K4, and S4
PA Wałęga
European Conference on Logics in Artificial Intelligence, 744-759, 2019
12019
On disallowing punctual intervals in reflexive semantics of Halpern-Shoham logic
PA Wałęga
Publications in Computing 9, 91-106, 2018
12018
On expressiveness of Halpern-Shoham logic and its horn fragments
PA Walega
24th International Symposium on Temporal Representation and Reasoning (TIME …, 2017
12017
Qualitative evaluation of stability in disassembling block structures with robot manipulator
PA Wałega, M Zawidzki, J Mozaryn
12015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20