Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Walega, Przemyslaw Andrzej"'
Autor:
Wang, Shaoyu, Zhao, Kaiyue, Wei, Dongliang, Wałęga, Przemysław Andrzej, Wang, Dingmin, Cai, Hongmin, Hu, Pan
DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applications, including tasks from industrial and financial sectors. However,
Externí odkaz:
http://arxiv.org/abs/2412.07259
In this paper, we study computational complexity and expressive power of modal operators for definite descriptions, which correspond to statements `the modal world which satisfies formula \(varphi\)'. We show that adding such operators to the basic (
Externí odkaz:
http://arxiv.org/abs/2410.10439
Graph neural networks (GNNs) have recently been adapted to temporal settings, often employing temporal versions of the message-passing mechanism known from GNNs. We divide temporal message passing mechanisms from literature into two main types: globa
Externí odkaz:
http://arxiv.org/abs/2408.09918
Standpoint linear temporal logic SLTL is a recent formalism able to model possibly conflicting commitments made by distinct agents, taking into account aspects of temporal reasoning. In this paper, we analyse the computational properties of SLTL. Fir
Externí odkaz:
http://arxiv.org/abs/2408.08557
DatalogMTL is an extension of Datalog with metric temporal operators that has found applications in temporal ontology-based data access and query answering, as well as in stream reasoning. Practical algorithms for DatalogMTL are reliant on materialis
Externí odkaz:
http://arxiv.org/abs/2208.07100
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ont
Externí odkaz:
http://arxiv.org/abs/2201.04596
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes of ontolog
Externí odkaz:
http://arxiv.org/abs/1905.12990
Autor:
Wałęga, Przemysław Andrzej
Publikováno v:
In Annals of Pure and Applied Logic January 2023 174(1)
Publikováno v:
In Information and Computation October 2021 280
The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic information systems. We present ASPMT(QS)
Externí odkaz:
http://arxiv.org/abs/1606.07860