English
Related papers

Related papers: A graph-based spatial temporal logic for knowledge…

200 papers

Visual reasoning, particularly spatial reasoning, is a challenging cognitive task that requires understanding object relationships and their interactions within complex environments, especially in robotics domain. Existing vision_language…

Robotics · Computer Science 2025-11-03 Simindokht Jahangard , Mehrzad Mohammadi , Abhinav Dhall , Hamid Rezatofighi

Large language models excel at generating fluent text but frequently struggle with structured reasoning involving temporal constraints, causal relationships, and probabilistic reasoning. To address these limitations, we propose Temporal…

Artificial Intelligence · Computer Science 2025-06-24 Hong Qing Yu

This paper presents an iterative approach for heterogeneous multi-agent route planning in environments with unknown resource distributions. We focus on a team of robots with diverse capabilities tasked with executing missions specified…

Robotics · Computer Science 2025-08-28 Gustavo A. Cardona , Kaier Liang , Cristian-Ioan Vasile

Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box deep learning methods, making it hard for humans to understand…

Machine Learning · Computer Science 2025-08-28 Irene Ferfoglia , Simone Silvetti , Gaia Saveri , Laura Nenzi , Luca Bortolussi

Reinforcement learning (RL) depends critically on the choice of reward functions used to capture the de- sired behavior and constraints of a robot. Usually, these are handcrafted by a expert designer and represent heuristics for relatively…

Artificial Intelligence · Computer Science 2017-03-03 Xiao Li , Cristian-Ioan Vasile , Calin Belta

This paper introduces a differentiable semantic reasoner, where rules are presented as a relevant set of graph transformations. These rules can be written manually or inferred by a set of facts and goals presented as a training set. While…

Artificial Intelligence · Computer Science 2021-10-26 Alberto Cetoli

Robot planning in partially observable domains is difficult, because a robot needs to estimate the current state and plan actions at the same time. When the domain includes many objects, reasoning about the objects and their relationships…

Robotics · Computer Science 2022-02-22 Saeid Amiri , Kishan Chandan , Shiqi Zhang

Learning-from-demonstrations is an emerging paradigm to obtain effective robot control policies for complex tasks via reinforcement learning without the need to explicitly design reward functions. However, it is susceptible to imperfections…

Robotics · Computer Science 2021-02-16 Aniruddh G. Puranic , Jyotirmoy V. Deshmukh , Stefanos Nikolaidis

Motion prediction for automated vehicles in complex environments is a difficult task that is to be mastered when automated vehicles are to be used in arbitrary situations. Many factors influence the future motion of traffic participants…

Robotics · Computer Science 2023-06-21 Daniel Grimm , Philip Schörner , Moritz Dreßler , J. -Marius Zöllner

Temporal knowledge graph (TKG) reasoning has two settings: interpolation reasoning and extrapolation reasoning. Both of them draw plenty of research interest and have great significance. Methods of the former de-emphasize the temporal…

Artificial Intelligence · Computer Science 2024-05-29 Kai Chen , Ye Wang , Yitong Li , Aiping Li , Han Yu , Xin Song

Hierarchical Reinforcement Learning algorithms have successfully been applied to temporal credit assignment problems with sparse reward signals. However, state-of-the-art algorithms require manual specification of sub-task structures, a…

Machine Learning · Computer Science 2019-09-24 Robert Tjarko Lange , Aldo Faisal

Modeling time-evolving knowledge graphs (KGs) has recently gained increasing interest. Here, graph representation learning has become the dominant paradigm for link prediction on temporal KGs. However, the embedding-based approaches largely…

Machine Learning · Computer Science 2021-04-02 Zhen Han , Peng Chen , Yunpu Ma , Volker Tresp

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…

Logic in Computer Science · Computer Science 2019-11-19 Fabrizio M. Maggi , Marco Montali , Rafael Peñaloza

Intuitive learning is crucial for developing deep conceptual understanding, especially in STEM education, where students often struggle with abstract and interconnected concepts. Automatic question generation has become an effective…

Artificial Intelligence · Computer Science 2026-01-13 Nicholas X. Wang , Neel V. Parpia , Aaryan D. Parikh , Aggelos K. Katsaggelos

Users interacting with voice assistants today need to phrase their requests in a very specific manner to elicit an appropriate response. This limits the user experience, and is partly due to the lack of reasoning capabilities of dialogue…

Computation and Language · Computer Science 2022-03-22 Yi-Lin Tuan , Sajjad Beygi , Maryam Fazel-Zarandi , Qiaozi Gao , Alessandra Cervone , William Yang Wang

Knowledge graph (KG) reasoning is becoming increasingly popular in both academia and industry. Conventional KG reasoning based on symbolic logic is deterministic, with reasoning results being explainable, while modern embedding-based…

Artificial Intelligence · Computer Science 2022-02-16 Wen Zhang , Jiaoyan Chen , Juan Li , Zezhong Xu , Jeff Z. Pan , Huajun Chen

Compared with static knowledge graphs, temporal knowledge graphs (tKG), which can capture the evolution and change of information over time, are more realistic and general. However, due to the complexity that the notion of time introduces…

Computation and Language · Computer Science 2025-04-07 Siheng Xiong , Yuan Yang , Faramarz Fekri , James Clayton Kerce

Recently, spatiotemporal graphs have emerged as a concise and elegant manner of representing video clips in an object-centric fashion, and have shown to be useful for downstream tasks such as action recognition. In this work, we investigate…

Computer Vision and Pattern Recognition · Computer Science 2023-12-13 Aditya Murali , Deepak Alapatt , Pietro Mascagni , Armine Vardazaryan , Alain Garcia , Nariaki Okamoto , Didier Mutter , Nicolas Padoy

This paper studies knowledge representation in multi-agent environment. We investigate technique for computation truth-values of statements based at a new temporal, agent's-knowledge logic TL. A logical language, mathematical symbolic…

Logic in Computer Science · Computer Science 2014-06-23 Maybin Muyeba , Vladimir Rybakov

Standard approaches to probabilistic reasoning require that one possesses an explicit model of the distribution in question. But, the empirical learning of models of probability distributions from partial observations is a problem for which…

Artificial Intelligence · Computer Science 2018-07-02 Brendan Juba
‹ Prev 1 4 5 6 7 8 10 Next ›