Przemyslaw Andrzej Walega

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 50

Top Topics

Stable Model Semantics

Spatial Reasoning

Answer Set Programming

Top Venues

Publications

Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau
Practical Reasoning in DatalogMTL. CoRR (2024)
Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
Fuzzy Datalog∃ over Arbitrary t-Norms. LPAR (2024)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
The Stable Model Semantics of Datalog with Metric Temporal Operators. Theory Pract. Log. Program. 24 (1) (2024)
Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
over Arbitrary t-Norms. CoRR (2024)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
The Stable Model Semantics of Datalog with Metric Temporal Operators. CoRR (2023)
Przemyslaw Andrzej Walega
Computational complexity of hybrid interval temporal logics. Ann. Pure Appl. Log. 174 (1) (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. 76 (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki
Hybrid Modal Operators for Definite Descriptions. JELIA (2023)
Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau
Stream reasoning with DatalogMTL. J. Web Semant. 76 (2023)
Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega
Temporal Datalog with Existential Quantification. IJCAI (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase
Computing All Facts Entailed By An LTL Specification. KR (2023)
Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
Seminaïve Materialisation in DatalogMTL. RuleML+RR (2022)
Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
Seminaive Materialisation in DatalogMTL. CoRR (2022)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Reasoning Techniques in DatalogMTL. Datalog (2022)
Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. CoRR (2022)
Matthias Lanzinger, Przemyslaw Andrzej Walega
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). Datalog (2022)
Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI (2022)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR (2021)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
DatalogMTL with Negation Under Stable Models Semantics. KR (2021)
David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
Stratified Negation in Datalog with Metric Temporal Operators. AAAI (2021)
Przemyslaw Andrzej Walega, Michal Zawidzki
Subject-oriented spatial logic. Inf. Comput. 280 (2021)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. Reasoning Web (2020)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL over the Integer Timeline. KR (2020)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI (2020)
Przemyslaw Andrzej Walega, Michal Zawidzki
A Modal Logic for Subject-Oriented Spatial Reasoning. TIME (2019)
Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
Reasoning over Streaming Data in Metric Temporal Datalog. AAAI (2019)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR (2019)
Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco
A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. J. Multiple Valued Log. Soft Comput. 32 (3-4) (2019)
Przemyslaw Andrzej Walega
Hybrid fragments of Halpern-Shoham logic and their expressive power. Theor. Comput. Sci. 797 (2019)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL: Computational Complexity and Expressive Power. IJCAI (2019)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI (2019)
Przemyslaw Andrzej Walega
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. JELIA (2019)
Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
Answer Set Programming Modulo 'Space-Time'. CoRR (2018)
Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics (2018)
Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
Answer Set Programming Modulo 'Space-Time'. RuleML+RR (2018)
Przemyslaw Andrzej Walega
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. LPAR (Workshop and Short Papers) (2018)
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. AAAI (2018)
Przemyslaw Andrzej Walega
Computational Complexity of a Core Fragment of Halpern-Shoham Logic. TIME (2018)
Przemyslaw Andrzej Walega
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. ICLA (2017)
Przemyslaw Andrzej Walega
On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. TIME (2017)
Mehul Bhatt, Carl P. L. Schultz, Jakob Suchan, Przemyslaw Andrzej Walega
Declarative Spatial Reasoning for Intelligent Cinematography. WICED@Eurographics (2017)
Przemyslaw Andrzej Walega
Hybridizing Interval Temporal Logics: The First Step. AAAI (2017)
Przemyslaw Andrzej Walega
Searching for Well-Behaved Fragments of Halpern-Shoham Logic. IJCAI (2017)
Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects. CoRR (2017)
Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt
Non-monotonic spatial reasoning with answer set programming modulo theories. Theory Pract. Log. Program. 17 (2) (2017)
Przemyslaw Andrzej Walega
Human-Like Spatial Reasoning Formalisms. AAAI (2017)
Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski
Qualitative Physics in Angry Birds. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)
Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR (2016)
Przemyslaw Andrzej Walega
Reasoning about Space and Change with Answer Set Programming Modulo Theories. IJCAI (2016)
Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco
A Movement Control System Based on Qualitative Reasoning. SOCO (2015)
Przemyslaw Andrzej Walega
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. LPNMR (2015)
Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. LPNMR (2015)
Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR (2015)
Przemyslaw Andrzej Walega
Overfitting Problem in a Virtual Sensor Obtained with W-M Method. KES (2014)
Przemyslaw Andrzej Walega
Reasoning for Moving Blocks Problem: Formal Representation and Implementation. CoRR (2013)