Results 281 to 290 of about 67,345 (316)

Visual Specifications for Temporal Reasoning

Journal of Visual Languages & Computing, 1994
Abstract Graphical interval logic (GIL) is a visual temporal logic in which formulas resemble the informal timing diagrams familiar to system designers and software engineers. It provides an intuitive and natural visual notation in which to express specifications for concurrent systems and retains the benefits of a formal notation.
Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna   +4 more
openaire   +1 more source

Trends in temporal representation and reasoning

The Knowledge Engineering Review, 1996
Time is one of the most relevant topics in AI. It plays a major role in several of AI research areas, ranging from logical foundations to applications of knowledge-based systems. Despite the ubiquity of time in AI, researchers tend to specialise and focus on time in particular contexts or applications, overlooking meaningful connections between ...
CHITTARO, Luca, MONTANARI, Angelo
openaire   +1 more source

Cost-based temporal reasoning

Information Sciences, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Scalable Distributed Temporal Reasoning

2017
In this paper, we propose the design and implementation of a large-scale qualitative temporal reasoner, MRQUTER, which can perform reasoning over large Web-scale knowledge bases. This temporal reasoner is built on a Hadoop cluster system using the MapReduce parallel programming framework.
Jonghoon Kim, Incheol Kim
openaire   +1 more source

Temporal reasoning in TRAM

Proceedings of the second international conference on Industrial and engineering applications of artificial intelligence and expert systems - IEA/AIE '89, 1989
Anne Koenig, Elisabeth Crochon
openaire   +1 more source

Temporal Reasoning on Incomplete Paths

2018
Semantics of temporal logic over truncated paths (i.e. finite paths that correspond to prefixes of computations of the system at hand) have been found useful in incomplete verification methods (such as bounded model checking and dynamic verification), in modeling hardware resets, and clock shifts and in online and offline monitoring of cyber-physical ...
Dana Fisman, Hillel Kugler
openaire   +1 more source

Temporal representation and reasoning

Data & Knowledge Engineering, 2003
Claudio Bettini, Angelo Montanari
openaire   +1 more source

Multi-hop reasoning over paths in temporal knowledge graphs using reinforcement learning

Applied Soft Computing Journal, 2021
Luyi Bai
exaly  

An improving reasoning network for complex question answering over temporal knowledge graphs

Applied Intelligence, 2022
Zhenfang Zhu, Wenqing Wu, Songlin Jiao   +2 more
exaly  

Temporal reasoning

Proceedings of the 18th conference on Winter simulation - WSC '86, 1986
openaire   +1 more source