Przemysław Andrzej Wałęga

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hybrid modal operators for definite descriptions	2024-05-29	Paper
Finite Materialisability of Datalog Programs with Metric Temporal Operators Journal of Artificial Intelligence Research	2023-03-13	Paper
A modal logic for subject-oriented spatial reasoning	2023-02-03	Paper
Computational complexity of hybrid interval temporal logics Annals of Pure and Applied Logic	2022-10-14	Paper
Computational complexity of a core fragment of Halpern-Shoham logic	2022-05-28	Paper
Subject-oriented spatial logic Information and Computation	2021-09-21	Paper
Computational complexity of core fragments of modal logics \(\mathrm{t}\), \(\mathrm{K4}\), and \(\mathrm{S4}\)	2020-02-18	Paper
Hybrid fragments of Halpern-Shoham logic and their expressive power Theoretical Computer Science	2019-11-07	Paper
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic Logic and Its Applications	2019-07-24	Paper
Non-monotonic spatial reasoning with answer set programming modulo theories Theory and Practice of Logic Programming	2017-11-09	Paper
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Doctoral consortium extended abstract: Nonmonotonic qualitative spatial reasoning Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper

Research outcomes over time

This page was built for person: Przemysław Andrzej Wałęga