Walega, Przemyslaw Andrzej

16 publications

AAAI 2025 Expressive Power of Temporal Message Passing Przemyslaw Andrzej Walega, Michael Rawson

AAAI 2025 Goal-Driven Reasoning in DatalogMTL with Magic Sets Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemyslaw Andrzej Walega, Dingmin Wang, Hongming Cai, Pan Hu

JAIR 2023 Finite Materialisability of Datalog Programs with Metric Temporal Operators Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

AAAI 2023 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

IJCAI 2023 Temporal Datalog with Existential Quantification Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega

AAAI 2022 METEOR: Practical Reasoning in Datalog with Metric Temporal Operators Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau

AAAI 2021 Stratified Negation in Datalog with Metric Temporal Operators David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev

IJCAI 2020 Tractable Fragments of Datalog with Metric Temporal Operators Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

IJCAI 2019 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic Under the Event-Based Semantics Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

IJCAI 2019 DatalogMTL: Computational Complexity and Expressive Power Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

AAAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau

AAAI 2018 Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz

AAAI 2017 Human-like Spatial Reasoning Formalisms Przemyslaw Andrzej Walega

AAAI 2017 Hybridizing Interval Temporal Logics: The First Step Przemyslaw Andrzej Walega

IJCAI 2017 Searching for Well-Behaved Fragments of Halpern-Shoham Logic Przemyslaw Andrzej Walega

IJCAI 2016 Reasoning About Space and Change with Answer Set Programming Modulo Theories Przemyslaw Andrzej Walega