Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Wałęga, Przemysław A."'
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
One of the main challenges in the area of Neuro-Symbolic AI is to perform logical reasoning in the presence of both neural and symbolic data. This requires combining heterogeneous data sources such as knowledge graphs, neural model predictions, struc
Externí odkaz:
http://arxiv.org/abs/2403.02933
DatalogMTL is an extension of Datalog with metric temporal operators that has found an increasing number of applications in recent years. Reasoning in DatalogMTL is, however, of high computational complexity, which makes reasoning in modern data-inte
Externí odkaz:
http://arxiv.org/abs/2401.02869
We introduce negation under the stable model semantics in DatalogMTL - a temporal extension of Datalog with metric temporal operators. As a result, we obtain a rule language which combines the power of answer set programming with the temporal dimensi
Externí odkaz:
http://arxiv.org/abs/2306.07625
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
We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative rea
Externí odkaz:
http://arxiv.org/abs/1805.06861