Publications

2024

• M. Lanzinger, S. Sferrazza, P. A. Wałęga, G. Gottlob ,Fuzzy Datalog∃ over Arbitrary t-Norms, LPAR, 2024. (PDF 📄 )

2023

• P. A. Wałęga, M. Zawidzki, Hybrid modal operators for definite descriptions, JELIA, 2023.

• P. A. Wałęga, M.Zawidzki, Christoph Haase, Computing All Facts Entailed By An LTL Specification, KR, 2023. (PDF 📄 )

• M. Lanzinger, N. Markus, E. Sallinger, P. A. Wałęga, Temporal Datalog with Existential Quantification, IJCAI, 2023. (PDF 📄 )

• P. A. Wałęga, D. J. Cucala, B. Cuenca Grau, E.V. Kostylev, The Stable Model Semantics of Datalog with Metric Temporal Operators, Theory and Practice of Logic Programming, 2023. (PDF 📄 )

• P. A. Wałęga, M. Kaminski, D. Wang, B. Cuenca Grau, Stream reasoning with DatalogMTL, Journal of Web Semantics, 2023. (PDF 📄 )

• P. A. Wałęga, M.Zawidzki, D. Wang, B. Cuenca Grau, Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals, AAAI, 2023. (PDF 📄 )

• P. A. Wałęga, M. Zawidzki, B. Cuenca Grau, Finite Materialisability of Datalog Programs with Metric Temporal Operators, Journal of Artificial Intelligence Research, 2023. (PDF 📄 )

2022

• D. Wang, P. A. Wałęga, B. Cuenca Grau, Seminaive Materialisation in DatalogMTL, RuleML+RR, 2022. (PDF 📄  )

• P. A. Wałęga, M. Zawidzki, B. Cuenca Grau, Reasoning Techniques in DatalogMTL, Datalog 2.0, 2022. (PDF 📄  )

• M. Lanzinger, P. A. Wałęga, Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract), Datalog 2.0, 2022. (PDF 📄  )

• P. A. Wałęga, Computational Complexity of Hybrid Interval Temporal Logics, Annals of Pure and Applied Logic, 2022. (PDF 📄  )

• D. Wang, P. Hu, P. A. Wałęga, B. Cuenca Grau, MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators, AAAI, 2022. (PDF 📄  )

2021

• • P. A. Wałęga, M. Zawidzki, B. Cuenca Grau, Finitely Materialisable Datalog Programs with Metric Temporal Operators, KR, 2021. (PDF 📄. ) (Video 🎬  )

  • P. A. Wałęga, D. J. Cucala, E. V. Kostylev, B. Cuenca Grau, DatalogMTL with Negation under Stable Models Semantics, KR, 2021. (PDF 📄. ) (Video 🎬. )

  • D. J. Cucala, P. A. Wałęga, B. Cuenca Grau, E.V. Kostylev, Stratified Negation in Datalog With Metric Temporal Operators, AAAI, 2021. (PDF 📄. )

2020

• • V. Ryzhikov, P. A. Wałęga, M. Zakharyaschev, Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course, Reasoning Web International Summer School, 2020.

  • P. A. Wałęga, M. Zawidzki, Subject-Oriented Spatial Logic, Information and Computation, 2020. (PDF 📄. )

  • P. A. Wałęga, B. Cuenca Grau, M. Kaminski, E. V. Kostylev, DatalogMTL over the Integer Timeline, KR, 2020. (PDF 📄. )

  • P. A. Wałęga, B. Cuenca Grau, M. Kaminski,  E. V. Kostylev, Tractable Fragments of Datalog with Metric Temporal Operators, IJCAI, 2020. (PDF 📄. )

2019

• • P. A. Wałęga, Hybrid Fragments of Halpern–Shoham Logic and Their Expressive Power, Theoretical Computer Science, 2019. (PDF 📄. )

  • P. A. Wałęga, E. Muñoz-Velasco, A Stable Qualitative Movement Control System based on Propositional Dynamic Logic, Journal of Multiple-Valued Logic & Soft Computing, 2019. (PDF 📄  ).

  • P. A. Wałęga, M. Zawidzki, A Modal Logic for Subject-Oriented Spatial Reasoning, TIME, 2019. (PDF 📄. )

  • V. Ryzhikov, P. A. Wałęga, M. Zakharyaschev, Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics, IJCAI, 2019. (PDF 📄  )

  • P. A. Wałęga, B. Cuenca Grau, M. Kaminski, E. V. Kostylev, DatalogMTL: Computational Complexity and Expressive Power, IJCAI, 2019. (PDF 📄. )

  • P. A. Wałęga, Computational Complexity of Core Fragments of Modal Logics T, K4, and S4, JELIA, 2019. (PDF 📄)

  • P. A. Wałęga, M. Kaminski, B. Cuenca Grau, Reasoning over Streaming Data in Metric Temporal Datalog, AAAI, 2019. (PDF 📄  )

2018: 

• • S. Kikot, V. Ryzhikov, P. A. Wałęga, M. Zakharyaschev, On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words, DL, 2018. (PDF 📄. )

  • P. A. Wałęga, On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic, LPAR, 2018, 91–106. (PDF 📄  )

  • P. A. Wałęga, Computational Complexity of a Core Fragment of Halpern-Shoham Logic, TIME, 2018, 23:1–23:18 (PDF 📄. )

  • C. Schultz, M. Bhatt,  J. Suchan, P. A. Wałęga, Answer Set Programming Modulo 'Space-Time', RuleML+RR, 2018, 318–326. (PDF 📄. )

  • J. Suchan, M. Bhatt, P. A. Wałęga, C. Schultz, Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects, AAAI, 2018, 1965–1972. (PDF 📄. )

2017:

• • P. A. Wałęga, On Expressiveness of Halpern-Shoham Logic and its Horn Fragments, TIME, 2017, 22:1–22:18. (PDF 📄. )

  • P. A. Wałęga, M. Zawidzki, J. Możaryn, Qualitative Evaluation of Stability in Disassembling Block Structures with Robot Manipulator, QR, 2017. (PDF 📄. )

  • P. A. Wałęga, Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic, ICLA, 2017, 224–238.

  • P. A. Wałęga, M. Bhatt, C. Schultz, Non-monotonic Spatial Reasoning with Answer Set Programming Modulo Theories, Theory and Practice of Logic Programming, 2017, 17(2), 205–225. (PDF 📄. )

2016:

• P. A. Wałęga, T. Lechowski, M. Zawidzki, Qualitative Physics in Angry Birds, IEEE Transactions on Computational Intelligence and AI in Games, 2016, 8(2), 152–165. (PDF 📄. )

2015:

• P. A. Wałęga, E. Muñoz-Velasco, A Movement Control System Based on Qualitative Reasoning, SOCO, 2015, 179–189.

• P. A. Wałęga, What Does it Mean to Reason Qualitatively? Philosophy of Science, 2015, 1(89), 59–80. (PDF 📄. )

2014:

• P. A. Wałęga, Overfitting Problem in a Virtual Sensor Obtained with W-M Method, KES, 2014, 54–62. (PDF 📄. )