Results 261 to 270 of about 4,294,534 (298)

Mental models and temporal reasoning

Cognition, 1996
We report five experiments investigating reasoning based on temporal relations, such as: "John takes a shower before he drinks coffee". How individuals make temporal inferences has not been studied hitherto, but we conjectured that they construct mental models of events, and we developed a computer program that reasons in this way. As the program shows,
W, Schaeken, P N, Johnson-Laird, G, d'Ydewalle   +2 more
openaire   +2 more sources

Temporal reasoning: A relativistic model

International Journal of Intelligent Systems, 1991
In 1983, Allen presented an ingenious method for the representation and maintenance of temporal information in the presence of imprecise, uncertain, and relative knowledge about time of occurrence. He introduced 13 relations between his primitive “temporal intervals,” providing for the expression of “any relationship which can hold between two ...
Rita V. Rodríguez, Frank D. Anger, Kenneth M. Ford   +2 more
openaire   +2 more sources

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   +2 more sources

Cost-based temporal reasoning

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

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   +2 more sources

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

Video-R1: Reinforcing Video Reasoning in MLLMs

Neural Information Processing Systems
Inspired by DeepSeek-R1's success in eliciting reasoning abilities through rule-based reinforcement learning (RL), we introduce Video-R1 as the first attempt to systematically explore the R1 paradigm for incentivizing video reasoning within multimodal ...
Kai-Tuo Feng, Kaixiong Gong, Bohao Li, Zonghao Guo, Yibing Wang, Tianshuo Peng, Benyou Wang, Xiangyu Yue   +7 more
semanticscholar   +1 more source

Temporal representation and reasoning

Data & Knowledge Engineering, 2003
Claudio Bettini, Angelo Montanari
openaire   +2 more sources

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

Applied Soft Computing Journal, 2021
Luyi Bai, Wenting Yu
exaly  

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

Applied Intelligence, 2022
Zhenfang Zhu, Wenqing Wu, Zicheng Zuo
exaly