Przemyslaw Andrzej Walega

According to our database, Przemyslaw Andrzej Walega authored at least 48 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

Fuzzy Datalog^∃ over Arbitrary t-Norms.

Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob

CoRR, 2024

Practical Reasoning in DatalogMTL.

Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau

CoRR, 2024

2023

Stream reasoning with DatalogMTL.

Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau

J. Web Semant., April, 2023

Finite Materialisability of Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

J. Artif. Intell. Res., 2023

Computational complexity of hybrid interval temporal logics.

Przemyslaw Andrzej Walega

Ann. Pure Appl. Log., 2023

Computing All Facts Entailed By An LTL Specification.

Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Hybrid Modal Operators for Definite Descriptions.

Przemyslaw Andrzej Walega, Michal Zawidzki

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Temporal Datalog with Existential Quantification.

Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Seminaïve Materialisation in DatalogMTL.

Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau

Proceedings of the Rules and Reasoning, 2022

Reasoning Techniques in DatalogMTL.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract).

Matthias Lanzinger, Przemyslaw Andrzej Walega

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.

Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Subject-oriented spatial logic.

Przemyslaw Andrzej Walega, Michal Zawidzki

Inf. Comput., 2021

Finitely Materialisable Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

DatalogMTL with Negation Under Stable Models Semantics.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Stratified Negation in Datalog with Metric Temporal Operators.

David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.

Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

DatalogMTL over the Integer Timeline.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Tractable Fragments of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Hybrid fragments of Halpern-Shoham logic and their expressive power.

Przemyslaw Andrzej Walega

Theor. Comput. Sci., 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

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 Modal Logic for Subject-Oriented Spatial Reasoning.

Przemyslaw Andrzej Walega, Michal Zawidzki

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Computational Complexity of Core Fragments of Modal Logics T, K4, and S4.

Przemyslaw Andrzej Walega

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

DatalogMTL: Computational Complexity and Expressive Power.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 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

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Reasoning over Streaming Data in Metric Temporal Datalog.

Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Computational Complexity of a Core Fragment of Halpern-Shoham Logic.

Przemyslaw Andrzej Walega

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Answer Set Programming Modulo 'Space-Time'.

Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic.

Przemyslaw Andrzej Walega

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.

Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 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

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Non-monotonic spatial reasoning with answer set programming modulo theories.

Przemyslaw Andrzej Walega, Carl Schultz, Mehul Bhatt

Theory Pract. Log. Program., 2017

Declarative Spatial Reasoning for Intelligent Cinematography.

Mehul Bhatt, Carl Schultz, Jakob Suchan, Przemyslaw Andrzej Walega

Proceedings of the 6th Workshop on Intelligent Cinematography and Editing, 2017

On Expressiveness of Halpern-Shoham Logic and its Horn Fragments.

Przemyslaw Andrzej Walega

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Searching for Well-Behaved Fragments of Halpern-Shoham Logic.

Przemyslaw Andrzej Walega

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.

Przemyslaw Andrzej Walega

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

Human-Like Spatial Reasoning Formalisms.

Przemyslaw Andrzej Walega

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Hybridizing Interval Temporal Logics: The First Step.

Przemyslaw Andrzej Walega

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Qualitative Physics in Angry Birds.

Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski

IEEE Trans. Comput. Intell. AI Games, 2016

Reasoning about Space and Change with Answer Set Programming Modulo Theories.

Przemyslaw Andrzej Walega

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

A Movement Control System Based on Qualitative Reasoning.

Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco

Proceedings of the 10th International Conference on Soft Computing Models in Industrial and Environmental Applications, 2015

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.

Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning.

Przemyslaw Andrzej Walega

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014

Overfitting Problem in a Virtual Sensor Obtained with W-M Method.

Przemyslaw Andrzej Walega

Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

2013

Reasoning for Moving Blocks Problem: Formal Representation and Implementation.

Przemyslaw Andrzej Walega

CoRR, 2013