Przemyslaw Andrzej Walega

81 papers A* 24A 1B 8C 5Journal 31Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2. AAAI Stan P. Hauke, Przemyslaw Andrzej Walega
2026	A*	`conf`	Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction. AAAI Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki
2026	J	`jnl`	Parity, Sensitivity, and Transformers. CoRR Alexander Kozachinskiy, Tomasz Steifer, Przemyslaw Andrzej Walega
2026	J	`jnl`	Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks. CoRR Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2026	A*	`conf`	The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. AAAI Bernardo Cuenca Grau, Eva Feng, Przemyslaw Andrzej Walega
2025	C	`ed.`	32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025 TIME Thierry Vidal, Przemyslaw Andrzej Walega
2025	J	`jnl`	Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2. CoRR Stan P. Hauke, Przemyslaw Andrzej Walega
2025	J	`jnl`	Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction. CoRR Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki
2025	A*	`conf`	Expressive Power of Temporal Message Passing. AAAI Przemyslaw Andrzej Walega, Michael Rawson
2025	A*	`conf`	Goal-Driven Reasoning in DatalogMTL with Magic Sets. AAAI Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemyslaw Andrzej Walega, Dingmin Wang, Hongming Cai, Pan Hu
2025	—	`conf`	On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. JELIA (2) Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki
2025	J	`jnl`	Practical Reasoning in DatalogMTL. Theory Pract. Log. Program. Dingmin Wang, Bernardo Cuenca Grau, Przemyslaw Andrzej Walega, Pan Hu
2025	—	`conf`	Reasoning About Time in DatalogMTL: Course Notes (Invited Paper). RW Przemyslaw Andrzej Walega
2025	J	`jnl`	The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. CoRR Bernardo Cuenca Grau, Przemyslaw Andrzej Walega
2025	J	`jnl`	The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics. CoRR Marco Sälzer, Przemyslaw Andrzej Walega, Martin Lange
2024	A	`conf`	Computational Complexity of Standpoint LTL. ECAI Stéphane Demri, Przemyslaw Andrzej Walega
2024	J	`jnl`	Computational Complexity of Standpoint LTL. CoRR Stéphane Demri, Przemyslaw Andrzej Walega
2024	—	`conf`	DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract). Datalog Przemyslaw Andrzej Walega
2024	A*	`conf`	Expressive Power of Definite Descriptions in Modal Logics. KR Przemyslaw Andrzej Walega
2024	J	`jnl`	Expressive Power of Temporal Message Passing. CoRR Przemyslaw Andrzej Walega, Michael Rawson
2024	J	`jnl`	Fuzzy Datalog CoRR Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
2024	B	`conf`	Fuzzy Datalog∃ over Arbitrary t-Norms. LPAR Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
2024	J	`jnl`	Goal-Driven Reasoning in DatalogMTL with Magic Sets. CoRR Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemyslaw Andrzej Walega, Dingmin Wang, Hongming Cai, Pan Hu
2024	J	`jnl`	Hybrid Modal Operators for Definite Descriptions. CoRR Przemyslaw Andrzej Walega, Michal Zawidzki
2024	A*	`conf`	MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. KR Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2024	J	`jnl`	Practical Reasoning in DatalogMTL. CoRR Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau
2024	C	`conf`	Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). TIME Przemyslaw Andrzej Walega
2024	J	`jnl`	The Stable Model Semantics of Datalog with Metric Temporal Operators. Theory Pract. Log. Program. Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2023	J	`jnl`	Computational complexity of hybrid interval temporal logics. Ann. Pure Appl. Log. Przemyslaw Andrzej Walega
2023	A*	`conf`	Computing All Facts Entailed By An LTL Specification. KR Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase
2023	J	`jnl`	Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2023	B	`conf`	Hybrid Modal Operators for Definite Descriptions. JELIA Przemyslaw Andrzej Walega, Michal Zawidzki
2023	A*	`conf`	Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
2023	J	`jnl`	Stream reasoning with DatalogMTL. J. Web Semant. Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau
2023	A*	`conf`	Temporal Datalog with Existential Quantification. IJCAI Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega
2023	J	`jnl`	The Stable Model Semantics of Datalog with Metric Temporal Operators. CoRR Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2022	—	`conf`	Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). Datalog Matthias Lanzinger, Przemyslaw Andrzej Walega
2022	A*	`conf`	MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	J	`jnl`	MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. CoRR Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	—	`conf`	Reasoning Techniques in DatalogMTL. Datalog Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2022	J	`jnl`	Seminaive Materialisation in DatalogMTL. CoRR Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	B	`conf`	Seminaïve Materialisation in DatalogMTL. RuleML+RR Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2021	A*	`conf`	DatalogMTL with Negation Under Stable Models Semantics. KR Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
2021	A*	`conf`	Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2021	A*	`conf`	Stratified Negation in Datalog with Metric Temporal Operators. AAAI David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
2021	J	`jnl`	Subject-oriented spatial logic. Inf. Comput. Przemyslaw Andrzej Walega, Michal Zawidzki
2020	A*	`conf`	DatalogMTL over the Integer Timeline. KR Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2020	—	`conf`	Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. RW Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2020	A*	`conf`	Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019	C	`conf`	A Modal Logic for Subject-Oriented Spatial Reasoning. TIME Przemyslaw Andrzej Walega, Michal Zawidzki
2019	J	`jnl`	A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. J. Multiple Valued Log. Soft Comput. Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco
2019	B	`conf`	Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. JELIA Przemyslaw Andrzej Walega
2019	J	`jnl`	Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019	A*	`conf`	Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019	A*	`conf`	DatalogMTL: Computational Complexity and Expressive Power. IJCAI Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019	J	`jnl`	Hybrid fragments of Halpern-Shoham logic and their expressive power. Theor. Comput. Sci. Przemyslaw Andrzej Walega
2019	A*	`conf`	Reasoning over Streaming Data in Metric Temporal Datalog. AAAI Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
2018	B	`conf`	Answer Set Programming Modulo 'Space-Time'. RuleML+RR Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
2018	J	`jnl`	Answer Set Programming Modulo 'Space-Time'. CoRR Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
2018	C	`conf`	Computational Complexity of a Core Fragment of Halpern-Shoham Logic. TIME Przemyslaw Andrzej Walega
2018	—	`conf`	On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. LPAR (Workshop and Short Papers) Przemyslaw Andrzej Walega
2018	—	`conf`	On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2018	A*	`conf`	Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. AAAI Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz
2017	—	`conf`	Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. ICLA Przemyslaw Andrzej Walega
2017	—	`conf`	Declarative Spatial Reasoning for Intelligent Cinematography. WICED@Eurographics Mehul Bhatt, Carl Schultz, Jakob Suchan, Przemyslaw Andrzej Walega
2017	A*	`conf`	Human-Like Spatial Reasoning Formalisms. AAAI Przemyslaw Andrzej Walega
2017	A*	`conf`	Hybridizing Interval Temporal Logics: The First Step. AAAI Przemyslaw Andrzej Walega
2017	J	`jnl`	Non-monotonic spatial reasoning with answer set programming modulo theories. Theory Pract. Log. Program. Przemyslaw Andrzej Walega, Carl Schultz, Mehul Bhatt
2017	C	`conf`	On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. TIME Przemyslaw Andrzej Walega
2017	A*	`conf`	Searching for Well-Behaved Fragments of Halpern-Shoham Logic. IJCAI Przemyslaw Andrzej Walega
2017	J	`jnl`	Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects. CoRR Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz
2016	J	`jnl`	Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR Przemyslaw Andrzej Walega, Carl Schultz, Mehul Bhatt
2016	J	`jnl`	Qualitative Physics in Angry Birds. IEEE Trans. Comput. Intell. AI Games Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski
2016	A*	`conf`	Reasoning about Space and Change with Answer Set Programming Modulo Theories. IJCAI Przemyslaw Andrzej Walega
2015	—	`conf`	A Movement Control System Based on Qualitative Reasoning. SOCO Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco
2015	B	`conf`	ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. LPNMR Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz
2015	J	`jnl`	ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz
2015	B	`conf`	Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. LPNMR Przemyslaw Andrzej Walega
2015	—	`ed.`	Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), Lódz, Poland, September 13-16, 2015 LQMR@FedCSIS Tomasz Lechowski, Przemyslaw Andrzej Walega, Michal Zawidzki
2014	B	`conf`	Overfitting Problem in a Virtual Sensor Obtained with W-M Method. KES Przemyslaw Andrzej Walega
2013	J	`jnl`	Reasoning for Moving Blocks Problem: Formal Representation and Implementation. CoRR Przemyslaw Andrzej Walega