Results 211 to 220 of about 4,294,534 (298)
Some of the next articles are maybe not open access.
Knowledge and Information Systems, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan Carlos Augusto +1 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan Carlos Augusto +1 more
openaire +2 more sources
Temporal Representation and Reasoning
The Knowledge Engineering Review, 1997Artificial intelligence research in temporal reasoning focuses on designing automated solutions to complex problems in computation involving time. TIME-97, the 4th International Workshop on Temporal Representation and Reasoning, held in Daytona Beach, Florida — like the three workshops that preceded it — had the objective of creating an international ...
Robert A. Morris 0001, Lina Khatib
openaire +2 more sources
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
We present the first method for reasoning about temporal logic properties of higher-order, infinite-data programs. By distinguishing between the finite traces and infinite traces in the specification, we obtain rules that permit us to reason about the temporal behavior of program parts via a type-and-effect system, which is then able to compose these ...
Eric Koskinen, Tachio Terauchi
openaire +1 more source
We present the first method for reasoning about temporal logic properties of higher-order, infinite-data programs. By distinguishing between the finite traces and infinite traces in the specification, we obtain rules that permit us to reason about the temporal behavior of program parts via a type-and-effect system, which is then able to compose these ...
Eric Koskinen, Tachio Terauchi
openaire +1 more source
TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models
Annual Meeting of the Association for Computational Linguistics, 2023Grasping the concept of time is a fundamental facet of human cognition, indispensable for truly comprehending the intricacies of the world. Previous studies typically focus on specific aspects of time, lacking a comprehensive temporal reasoning benchmark.
Zheng Chu +6 more
semanticscholar +1 more source
Spatial and Temporal Reasoning
Spatial Cognition & Computation, 2008In the last few decades significant progress has been made in the area of spatial and temporal reasoning.
Hans W. Guesgen +3 more
openaire +3 more sources
Annual Meeting of the Association for Computational Linguistics, 2023
Knowledge in the real world is being updated constantly. However, it is costly to frequently update large language models (LLMs). Therefore, it is crucial for LLMs to understand the concept of temporal knowledge. However, prior works on temporal question
Qingyu Tan, Hwee Tou Ng, Lidong Bing
semanticscholar +1 more source
Knowledge in the real world is being updated constantly. However, it is costly to frequently update large language models (LLMs). Therefore, it is crucial for LLMs to understand the concept of temporal knowledge. However, prior works on temporal question
Qingyu Tan, Hwee Tou Ng, Lidong Bing
semanticscholar +1 more source
V-STaR: Benchmarking Video-LLMs on Video Spatio-Temporal Reasoning
arXiv.orgHuman processes video reasoning in a sequential spatio-temporal reasoning logic, we first identify the relevant frames ("when") and then analyse the spatial relationships ("where") between key objects, and finally leverage these relationships to draw ...
Zixu Cheng +5 more
semanticscholar +1 more source
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
C. Bettini, X. S. Wang, S. Jajodia
openaire +1 more source
ReKep: Spatio-Temporal Reasoning of Relational Keypoint Constraints for Robotic Manipulation
Conference on Robot LearningRepresenting robotic manipulation tasks as constraints that associate the robot and the environment is a promising way to encode desired robot behaviors.
Wenlong Huang +4 more
semanticscholar +1 more source
Abduction in temporal reasoning
2005Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temporal extent of facts and their sequencing becomes complex due to this inherent partiality.
Cristina Ribeiro 0001, António Porto
openaire +1 more source