Results 11 to 20 of about 67,345 (316)
Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk) [PDF]
, 2022 Visual Analytics as the science of analytical reasoning facilitated by interactive visual interfaces aims to enable the exploration and the understanding of large, heterogeneous, and complex data sets.
Miksch, Silvia; orcid:, Miksch, Silvia
core +1 more source
Temporal Data Modeling and Reasoning for Information Systems [PDF]
, 2006 Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research.
Spranger, Stephanie, Bry, François
core +1 more source
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +1 more source
Reasoning about XML with temporal logics and automata [PDF]
, 2010 We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin +3 more
core +1 more source
Temporal reasoning : a three-way analysis [PDF]
, 2000 The study of Temporal Representation and Reasoning is a core area of research in Linguistics, Philosophy and Artificial Intelligence. However, very little work has been done in analysing the principles common to these three areas. This paper attempts
Sattar, Abdul +7 more
core +1 more source
The Calculus of Temporal Influence [PDF]
, 2023 We present the Calculus of Temporal Influence, a simple logical calculus that allows reasoning about the behaviour of real-valued functions over time by making assertions that bound their values or the values of their derivatives.
Kastaun, Marit +3 more
core +1 more source
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models [PDF]
, 2016 Integrating logical and probabilistic reasoning and integrating reasoning over observations and predictions are two important challenges in AI. In this paper we propose P-MTL as an extension to Metric Temporal Logic supporting temporal logical reasoning ...
Heintz, Fredrik +5 more
core +2 more sources
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Ryzhikov, Vladislav +4 more
core +1 more source
Temporal updating, temporal reasoning, and the domain of time [PDF]
Behavioral and Brain Sciences, 2019 AbstractWe focus on three main sets of topics emerging from the commentaries on our target article. First, we discuss several types of animal behavior that commentators cite as evidence against our claim that animals are restricted to temporal updating and cannot engage in temporal reasoning.
Christoph Hoerl, Teresa McCormack
openaire +3 more sources
Decision Support System for Mitigating Athletic Injuries
International Journal of Computer Science in Sport, 2019 The purpose of the present study was to demonstrate an inductive approach for dynamically modelling sport-related injuries with a probabilistic graphical model.
Peterson K.D., Evans L.C.
doaj +1 more source