default search action
Przemyslaw Andrzej Walega
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
- affiliation: University of Warsaw, Institute of Philosophy,, Poland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Przemyslaw Andrzej Walega
, David J. Tena Cucala, Bernardo Cuenca Grau
The Stable Model Semantics of Datalog with Metric Temporal Operators. Theory Pract. Log. Program. 24(1): 22-56 (2024) - [c41]Przemyslaw Andrzej Walega:
DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract). Datalog 2024: 74 - [c40]Stéphane Demri, Przemyslaw Andrzej Walega:
Computational Complexity of Standpoint LTL. ECAI 2024: 1206-1213 - [c39]Przemyslaw Andrzej Walega:
Expressive Power of Definite Descriptions in Modal Logics. KR 2024 - [c38]Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. KR 2024 - [c37]Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob:
Fuzzy Datalog∃ over Arbitrary t-Norms. LPAR 2024: 426-444 - [c36]Przemyslaw Andrzej Walega:
Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). TIME 2024: 3:1-3:3 - [i14]Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau:
Practical Reasoning in DatalogMTL. CoRR abs/2401.02869 (2024) - [i13]Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob:
Fuzzy Datalog∃ over Arbitrary t-Norms. CoRR abs/2403.02933 (2024) - [i12]Stéphane Demri, Przemyslaw Andrzej Walega:
Computational Complexity of Standpoint LTL. CoRR abs/2408.08557 (2024) - [i11]Przemyslaw Andrzej Walega, Michael Rawson:
Expressive Power of Temporal Message Passing. CoRR abs/2408.09918 (2024) - [i10]Przemyslaw Andrzej Walega, Michal Zawidzki:
Hybrid Modal Operators for Definite Descriptions. CoRR abs/2410.10439 (2024) - 2023
- [j8]Przemyslaw Andrzej Walega:
Computational complexity of hybrid interval temporal logics. Ann. Pure Appl. Log. 174(1): 103165 (2023) - [j7]Przemyslaw Andrzej Walega, Michal Zawidzki
Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. 76 (2023) - [j6]Przemyslaw Andrzej Walega
Stream reasoning with DatalogMTL. J. Web Semant. 76: 100776 (2023) - [c35]Przemyslaw Andrzej Walega, Michal Zawidzki
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI 2023: 6566-6574 - [c34]Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega:
Temporal Datalog with Existential Quantification. IJCAI 2023: 3277-3285 - [c33]Przemyslaw Andrzej Walega
Hybrid Modal Operators for Definite Descriptions. JELIA 2023: 712-726 - [c32]Przemyslaw Andrzej Walega, Michal Zawidzki
Computing All Facts Entailed By An LTL Specification. KR 2023: 679-689 - [i9]Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev:
The Stable Model Semantics of Datalog with Metric Temporal Operators. CoRR abs/2306.07625 (2023) - 2022
- [c31]Dingmin Wang, Pan Hu
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI 2022: 5906-5913 - [c30]Przemyslaw Andrzej Walega, Michal Zawidzki
Reasoning Techniques in DatalogMTL. Datalog 2022: 127-138 - [c29]Matthias Lanzinger, Przemyslaw Andrzej Walega:
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). Datalog 2022: 139-144 - [c28]Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
Seminaïve Materialisation in DatalogMTL. RuleML+RR 2022: 183-197 - [i8]Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. CoRR abs/2201.04596 (2022) - [i7]Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
Seminaive Materialisation in DatalogMTL. CoRR abs/2208.07100 (2022) - 2021
- [j5]Przemyslaw Andrzej Walega, Michal Zawidzki
Subject-oriented spatial logic. Inf. Comput. 280: 104643 (2021) - [c27]David J. Tena Cucala
Stratified Negation in Datalog with Metric Temporal Operators. AAAI 2021: 6488-6495 - [c26]Przemyslaw Andrzej Walega, David J. Tena Cucala
DatalogMTL with Negation Under Stable Models Semantics. KR 2021: 609-618 - [c25]Przemyslaw Andrzej Walega, Michal Zawidzki
Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR 2021: 619-628 - 2020
- [c24]Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI 2020: 1919-1925 - [c23]Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL over the Integer Timeline. KR 2020: 768-777 - [c22]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. RW 2020: 109-148
2010 – 2019
- 2019
- [j4]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): 221-239 (2019) - [j3]Przemyslaw Andrzej Walega:
Hybrid fragments of Halpern-Shoham logic and their expressive power. Theor. Comput. Sci. 797: 102-128 (2019) - [c21]Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau:
Reasoning over Streaming Data in Metric Temporal Datalog. AAAI 2019: 3092-3099 - [c20]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: 1851-1857 - [c19]Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL: Computational Complexity and Expressive Power. IJCAI 2019: 1886-1892 - [c18]Przemyslaw Andrzej Walega:
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. JELIA 2019: 744-759 - [c17]Przemyslaw Andrzej Walega, Michal Zawidzki
A Modal Logic for Subject-Oriented Spatial Reasoning. TIME 2019: 4:1-4:22 - [i6]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 abs/1905.12990 (2019) - 2018
- [c16]Jakob Suchan
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. AAAI 2018: 1965-1972 - [c15]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 - [c14]Przemyslaw Andrzej Walega:
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. LPAR (Workshop and Short Papers) 2018: 91-106 - [c13]Carl Schultz
Answer Set Programming Modulo 'Space-Time'. RuleML+RR 2018: 318-326 - [c12]Przemyslaw Andrzej Walega:
Computational Complexity of a Core Fragment of Halpern-Shoham Logic. TIME 2018: 23:1-23:18 - [i5]Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega:
Answer Set Programming Modulo 'Space-Time'. CoRR abs/1805.06861 (2018) - 2017
- [j2]Przemyslaw Andrzej Walega, Carl Schultz
Non-monotonic spatial reasoning with answer set programming modulo theories. Theory Pract. Log. Program. 17(2): 205-225 (2017) - [c11]Przemyslaw Andrzej Walega:
Hybridizing Interval Temporal Logics: The First Step. AAAI 2017: 4997-4998 - [c10]Przemyslaw Andrzej Walega:
Human-Like Spatial Reasoning Formalisms. AAAI 2017: 5054-5055 - [c9]Przemyslaw Andrzej Walega:
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. ICLA 2017: 224-238 - [c8]Przemyslaw Andrzej Walega:
Searching for Well-Behaved Fragments of Halpern-Shoham Logic. IJCAI 2017: 5219-5220 - [c7]Przemyslaw Andrzej Walega:
On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. TIME 2017: 22:1-22:18 - [c6]Mehul Bhatt
Declarative Spatial Reasoning for Intelligent Cinematography. WICED@Eurographics 2017: 1 - [i4]Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz:
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects. CoRR abs/1712.00840 (2017) - 2016
- [j1]Przemyslaw Andrzej Walega, Michal Zawidzki
Qualitative Physics in Angry Birds. IEEE Trans. Comput. Intell. AI Games 8(2): 152-165 (2016) - [c5]Przemyslaw Andrzej Walega:
Reasoning about Space and Change with Answer Set Programming Modulo Theories. IJCAI 2016: 4038-4039 - [i3]Przemyslaw Andrzej Walega, Carl Schultz, Mehul Bhatt
Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR abs/1606.07860 (2016) - 2015
- [c4]Przemyslaw Andrzej Walega, Mehul Bhatt
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. LPNMR 2015: 488-501 - [c3]Przemyslaw Andrzej Walega:
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. LPNMR 2015: 565-571 - [c2]Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco:
A Movement Control System Based on Qualitative Reasoning. SOCO 2015: 179-189 - [e1]Tomasz Lechowski, Przemyslaw Andrzej Walega, Michal Zawidzki
Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), Lódz, Poland, September 13-16, 2015. Annals of Computer Science and Information Systems 7, 2015, ISBN 978-83-60810-78-1 [contents] - [i2]Przemyslaw Andrzej Walega, Mehul Bhatt
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. CoRR abs/1506.04929 (2015) - 2014
- [c1]Przemyslaw Andrzej Walega:
Overfitting Problem in a Virtual Sensor Obtained with W-M Method. KES 2014: 54-62 - 2013
- [i1]Przemyslaw Andrzej Walega:
Reasoning for Moving Blocks Problem: Formal Representation and Implementation. CoRR abs/1307.7405 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: