Przemysław Andrzej Wałęga

From MaRDI portal
Person:821567

Available identifiers

zbMath Open walega.przemyslaw-andrzejMaRDI QIDQ821567

List of research outcomes





PublicationDate of PublicationType
Hybrid modal operators for definite descriptions2024-05-29Paper
Finite Materialisability of Datalog Programs with Metric Temporal Operators2023-03-13Paper
A modal logic for subject-oriented spatial reasoning2023-02-03Paper
Computational complexity of hybrid interval temporal logics2022-10-14Paper
https://portal.mardi4nfdi.de/entity/Q50797922022-05-28Paper
Subject-oriented spatial logic2021-09-21Paper
Computational complexity of core fragments of modal logics \(\mathrm{t}\), \(\mathrm{K4}\), and \(\mathrm{S4}\)2020-02-18Paper
Hybrid fragments of Halpern-Shoham logic and their expressive power2019-11-07Paper
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic2019-07-24Paper
Non-monotonic spatial reasoning with answer set programming modulo theories2017-11-09Paper
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories2015-11-04Paper
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning2015-11-04Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:821567&oldid=7251966"
Powered by MediaWiki