English
Related papers

Related papers: A Schema-aware Logic Reformulation for Graph Reach…

200 papers

This paper studies the evaluation of routing algorithms from the perspective of reachability routing, where the goal is to determine all paths between a sender and a receiver. Reachability routing is becoming relevant with the changing…

Networking and Internet Architecture · Computer Science 2007-05-23 Srinidhi Varadarajan , Naren Ramakrishnan

Enterprises are creating domain-specific knowledge graphs by curating and integrating their business data from multiple sources. The data in these knowledge graphs can be described using ontologies, which provide a semantic abstraction to…

Databases · Computer Science 2020-10-06 Chuan Lei , Rana Alotaibi , Abdul Quamar , Vasilis Efthymiou , Fatma Özcan

A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available. In this paper, we study how changes of the time labels, corresponding to delays…

Data Structures and Algorithms · Computer Science 2020-11-13 Argyrios Deligkas , Igor Potapov

Graph transformation is the rule-based modification of graphs, and is a discipline dating back to the 1970s. In general, to match the left-hand graph of a fixed rule within a host graph requires polynomial time, but to improve matching…

Logic in Computer Science · Computer Science 2021-01-05 Graham Campbell , Detlef Plump

Dynamic networks are a complex subject. Not only do they inherit the complexity of static networks (as a particular case); they are also sensitive to definitional subtleties that are a frequent source of confusion and incomparability of…

Discrete Mathematics · Computer Science 2024-09-02 Arnaud Casteigts , Timothée Corsini , Writika Sarkar

Semantic search in retrieval-augmented generation (RAG) systems is often insufficient for complex information needs, particularly when relevant evidence is scattered across multiple sources. Prior approaches to this problem include agentic…

Machine Learning · Computer Science 2026-03-27 Ruizhong Miao , Yuying Wang , Rongguang Wang , Chenyang Li , Tao Sheng , Sujith Ravi , Dan Roth

Reasoning paths are reliable information in knowledge graph completion (KGC) in which algorithms can find strong clues of the actual relation between entities. However, in real-world applications, it is difficult to guarantee that…

Information Retrieval · Computer Science 2025-10-08 Yanning Hou , Sihang Zhou , Ke Liang , Lingyuan Meng , Xiaoshu Chen , Ke Xu , Siwei Wang , Xinwang Liu , Jian Huang

Classical path search assumes complete graphs and scalar optimization metrics, yet real infrastructure networks are incomplete and require multi-dimensional evaluation. We introduce the concept of traversal: a generalization of paths that…

Networking and Internet Architecture · Computer Science 2026-02-24 Nicolas Tacheny

Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However, general-purpose methods, such as Hamilton-Jacobi approaches, suffer from the curse of…

Optimization and Control · Mathematics 2022-10-27 Alessandro Alla , Peter M. Dower , Vincent Liu

Network graphs have become a popular tool to represent complex systems composed of many interacting subunits; especially in neuroscience, network graphs are increasingly used to represent and analyze functional interactions between neural…

Information Theory · Computer Science 2015-11-24 Patricia Wollstadt , Ulrich Meyer , Michael Wibral

Graph filters that transform prior node values to posterior scores via edge propagation often support graph mining tasks affecting humans, such as recommendation and ranking. Thus, it is important to make them fair in terms of satisfying…

Machine Learning · Computer Science 2023-03-17 Emmanouil Krasanakis , Symeon Papadopoulos

Graph search is one of the most successful algorithmic trends in near neighbor search. Several of the most popular and empirically successful algorithms are, at their core, a simple walk along a pruned near neighbor graph. Such algorithms…

Data Structures and Algorithms · Computer Science 2021-04-08 Benjamin Coleman , Santiago Segarra , Anshumali Shrivastava , Alex Smola

We propose a new, training-free method, Graph Reasoning via Retrieval Augmented Framework (GRRAF), that harnesses retrieval-augmented generation (RAG) alongside the code-generation capabilities of large language models (LLMs) to address a…

Artificial Intelligence · Computer Science 2025-09-17 Hanqing Li , Kiran Sheena Jyothi , Henry Liang , Sharika Mahadevan , Diego Klabjan

We develop the data structure PReaCH (for Pruned Reachability Contraction Hierarchies) which supports reachability queries in a directed graph, i.e., it supports queries that ask whether two nodes in the graph are connected by a directed…

Data Structures and Algorithms · Computer Science 2014-04-18 Florian Merz , Peter Sanders

Depending on the node ordering, an adjacency matrix can highlight distinct characteristics of a graph. Deriving a "proper" node ordering is thus a critical step in visualizing a graph as an adjacency matrix. Users often try multiple matrix…

Human-Computer Interaction · Computer Science 2022-03-09 Oh-Hyun Kwon , Chiun-How Kao , Chun-houh Chen , Kwan-Liu Ma

We study how we can accelerate the spreading of information in temporal graphs via shifting operations; a problem that captures real-world applications varying from information flows to distribution schedules. In a temporal graph there is a…

Data Structures and Algorithms · Computer Science 2025-10-09 Argyrios Deligkas , Eduard Eiben , George Skretas

Detecting unusual patterns in graph data is a crucial task in data mining. However, existing methods face challenges in consistently achieving satisfactory performance and often lack interpretability, which hinders our understanding of…

Machine Learning · Computer Science 2024-06-28 Yifei Yang , Peng Wang , Xiaofan He , Dongmian Zou

Graph embedding algorithms are used to efficiently represent (encode) a graph in a low-dimensional continuous vector space that preserves the most important properties of the graph. One aspect that is often overlooked is whether the graph…

Machine Learning · Computer Science 2020-01-31 Zekarias T. Kefato , Nasrullah Sheikh , Alberto Montresor

Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically…

Data Structures and Algorithms · Computer Science 2020-08-14 Reyan Ahmed , Felice De Luca , Sabin Devkota , Stephen Kobourov , Mingwei Li

A temporal graph is a graph whose edges only appear at certain points in time. Reachability in these graphs is defined in terms of paths that traverse the edges in chronological order (temporal paths). This form of reachability is neither…

Computational Complexity · Computer Science 2024-07-01 Arnaud Casteigts , Nils Morawietz , Petra Wolf