Reasoning for Moving Blocks Problem: Formal Representation and Implementation. - Przemyslaw Andrzej Walega (CoRR, 2013)

Overfitting Problem in a Virtual Sensor Obtained with W-M Method. - Przemyslaw Andrzej Walega (KES, 2014)

Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. - Przemyslaw Andrzej Walega (LPNMR, 2015)

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. - Przemyslaw Andrzej Walega; Mehul Bhatt; Carl Schultz 001 (LPNMR, 2015)

A Movement Control System Based on Qualitative Reasoning. - Przemyslaw Andrzej Walega; Emilio Muñoz-Velasco (SOCO, 2015)

Reasoning about Space and Change with Answer Set Programming Modulo Theories. - Przemyslaw Andrzej Walega (IJCAI, 2016)

Qualitative Physics in Angry Birds. - Przemyslaw Andrzej Walega; Michal Zawidzki; Tomasz Lechowski (IEEE Trans. Comput. Intell. AI Games, 2016)

Hybridizing Interval Temporal Logics: The First Step. - Przemyslaw Andrzej Walega (AAAI, 2017)

Human-Like Spatial Reasoning Formalisms. - Przemyslaw Andrzej Walega (AAAI, 2017)

Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. - Przemyslaw Andrzej Walega (ICLA, 2017)

Searching for Well-Behaved Fragments of Halpern-Shoham Logic. - Przemyslaw Andrzej Walega (IJCAI, 2017)

On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. - Przemyslaw Andrzej Walega (TIME, 2017)

Declarative Spatial Reasoning for Intelligent Cinematography. - Mehul Bhatt; Carl Schultz 001; Jakob Suchan; Przemyslaw Andrzej Walega (WICED@Eurographics, 2017)

Non-monotonic spatial reasoning with answer set programming modulo theories. - Przemyslaw Andrzej Walega; Carl Schultz 001; Mehul Bhatt (Theory Pract. Log. Program., 2017)

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

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. - Stanislav Kikot; Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (Description Logics, 2018)

On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. - Przemyslaw Andrzej Walega (LPAR (Workshop and Short Papers), 2018)

Answer Set Programming Modulo 'Space-Time'. - Carl Schultz 001; Mehul Bhatt; Jakob Suchan; Przemyslaw Andrzej Walega (RuleML+RR, 2018)

Computational Complexity of a Core Fragment of Halpern-Shoham Logic. - Przemyslaw Andrzej Walega (TIME, 2018)

Reasoning over Streaming Data in Metric Temporal Datalog. - Przemyslaw Andrzej Walega; Mark Kaminski; Bernardo Cuenca Grau (AAAI, 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 (IJCAI, 2019)

Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. - Przemyslaw Andrzej Walega (JELIA, 2019)

A Modal Logic for Subject-Oriented Spatial Reasoning. - Przemyslaw Andrzej Walega; Michal Zawidzki (TIME, 2019)

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (CoRR, 2019)

A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. - Przemyslaw Andrzej Walega; Emilio Muñoz-Velasco (J. Multiple Valued Log. Soft Comput., 2019)

Hybrid fragments of Halpern-Shoham logic and their expressive power. - Przemyslaw Andrzej Walega (Theor. Comput. Sci., 2019)

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

DatalogMTL over the Integer Timeline. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (KR, 2020)

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (RW, 2020)

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

DatalogMTL with Negation Under Stable Models Semantics. - Przemyslaw Andrzej Walega; David J. Tena Cucala; Egor V. Kostylev; Bernardo Cuenca Grau (KR, 2021)

Finitely Materialisable Datalog Programs with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (KR, 2021)

Subject-oriented spatial logic. - Przemyslaw Andrzej Walega; Michal Zawidzki (Inf. Comput., 2021)

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. - Dingmin Wang; Pan Hu 001; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau (AAAI, 2022)

Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). - Matthias Lanzinger; Przemyslaw Andrzej Walega (Datalog, 2022)

Reasoning Techniques in DatalogMTL. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (Datalog, 2022)

Seminaïve Materialisation in DatalogMTL. - Dingmin Wang; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau (RuleML+RR, 2022)

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

Temporal Datalog with Existential Quantification. - Matthias Lanzinger; Markus Nissl; Emanuel Sallinger; Przemyslaw Andrzej Walega (IJCAI, 2023)

Hybrid Modal Operators for Definite Descriptions. - Przemyslaw Andrzej Walega; Michal Zawidzki (JELIA, 2023)

Computing All Facts Entailed By An LTL Specification. - Przemyslaw Andrzej Walega; Michal Zawidzki; Christoph Haase (KR, 2023)

Computational complexity of hybrid interval temporal logics. - Przemyslaw Andrzej Walega (Ann. Pure Appl. Log., 2023)

Finite Materialisability of Datalog Programs with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (J. Artif. Intell. Res., 2023)

Stream reasoning with DatalogMTL. - Przemyslaw Andrzej Walega; Mark Kaminski; Dingmin Wang; Bernardo Cuenca Grau (J. Web Semant., 2023)

DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract). - Przemyslaw Andrzej Walega (Datalog, 2024)

Computational Complexity of Standpoint LTL. - Stéphane Demri; Przemyslaw Andrzej Walega (ECAI, 2024)

Expressive Power of Definite Descriptions in Modal Logics. - Przemyslaw Andrzej Walega (KR, 2024)

MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. - Dingmin Wang; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau (KR, 2024)

Fuzzy Datalog∃ over Arbitrary t-Norms. - Matthias Lanzinger; Stefano Sferrazza; Przemyslaw Andrzej Walega; Georg Gottlob (LPAR, 2024)

Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). - Przemyslaw Andrzej Walega (TIME, 2024)

Fuzzy Datalog∃ over Arbitrary t-Norms. - Matthias Lanzinger; Stefano Sferrazza; Przemyslaw Andrzej Walega; Georg Gottlob (CoRR, 2024)

The Stable Model Semantics of Datalog with Metric Temporal Operators. - Przemyslaw Andrzej Walega; David J. Tena Cucala; Bernardo Cuenca Grau; Egor V. Kostylev (Theory Pract. Log. Program., 2024)

Expressive Power of Temporal Message Passing. - Przemyslaw Andrzej Walega; Michael Rawson 001 (AAAI, 2025)

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

On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. - Andrzej Indrzejczak; Przemyslaw Andrzej Walega; Michal Zawidzki (JELIA (2), 2025)

Practical Reasoning in DatalogMTL. - Dingmin Wang; Bernardo Cuenca Grau; Przemyslaw Andrzej Walega; Pan Hu 001 (Theory Pract. Log. Program., 2025)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. - Bernardo Cuenca Grau; Przemyslaw Andrzej Walega (CoRR, 2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics. - Marco Sälzer; Przemyslaw Andrzej Walega; Martin Lange (CoRR, 2025)

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2. - Stan P. Hauke; Przemyslaw Andrzej Walega (CoRR, 2025)