English
Related papers

Related papers: Graph Rewriting and Relabeling with PBPO+

200 papers

Graph transformation is the rule-based modification of graphs, and is a discipline dating back to the 1970s. The declarative nature of graph rewriting rules comes at a cost. In general, to match the left-hand graph of a fixed rule within a…

Logic in Computer Science · Computer Science 2021-01-05 Graham Campbell

The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-hand sides from abstract graphs, a central concept in…

Logic in Computer Science · Computer Science 2019-02-14 Andrea Corradini , Tobias Heindel , Barbara König , Dennis Nolte , Arend Rensink

We introduce probabilistic embeddings using Laplacian priors (PELP). The proposed model enables incorporating graph side-information into static word embeddings. We theoretically show that the model unifies several previously proposed…

Computation and Language · Computer Science 2022-04-06 Väinö Yrjänäinen , Måns Magnusson

Node embedding learns low-dimensional vectors for nodes in the graph. Recent state-of-the-art embedding approaches take Personalized PageRank (PPR) as the proximity measure and factorize the PPR matrix or its adaptation to generate…

Machine Learning · Computer Science 2024-05-31 Xingyi Zhang , Zixuan Weng , Sibo Wang

In this paper, we study how graph transformations based on sesqui-pushout rewriting can be reversed and how the composition of rewrites can be constructed. We illustrate how such reversibility and composition can be used to design an audit…

Logic in Computer Science · Computer Science 2020-12-04 Russ Harmer , Eugenia Oshurko

A scalable semi-supervised node classification method on graph-structured data, called GraphHop, is proposed in this work. The graph contains attributes of all nodes but labels of a few nodes. The classical label propagation (LP) method and…

Machine Learning · Computer Science 2021-01-08 Tian Xie , Bin Wang , C. -C. Jay Kuo

This paper introduces a new term rewriting system that is similar to the embedded read-back mechanism for interaction nets presented in our previous work, but is easier to follow than in the original setting and thus to analyze its…

Logic in Computer Science · Computer Science 2018-08-21 Anton Salikhmetov

We generalize the problem of reconstructing strings from their substring compositions first introduced by Acharya et al. in 2015 motivated by polymer-based advanced data storage systems utilizing mass spectrometry. Namely, we see strings as…

Combinatorics · Mathematics 2025-04-02 Antoine Dailly , Tuomo Lehtilä

With growing emphasis on privacy regulations, machine unlearning has become increasingly critical in real-world applications such as social networks and recommender systems, many of which are naturally represented as graphs. However,…

Machine Learning · Computer Science 2026-01-19 Ziheng Chen , Jiali Cheng , Hadi Amiri , Kaushiki Nag , Lu Lin , Sijia Liu , Xiangguo Sun , Gabriele Tolomei

We propose a method, called Label Embedding Network, which can learn label representation (label embedding) during the training process of deep networks. With the proposed method, the label embedding is adaptively and automatically learned…

Machine Learning · Computer Science 2017-10-31 Xu Sun , Bingzhen Wei , Xuancheng Ren , Shuming Ma

I introduce a formalism for representing the syntax of recursively structured graph-like patterns. It does not use production rules, like a conventional graph grammar, but represents the syntactic structure in a more direct and declarative…

Formal Languages and Automata Theory · Computer Science 2025-04-25 Peter Fletcher

The topic of this treatise is a combinatorial technique called Graph Pebbling. We investigate pebbling numbers, weight functions, flow networks, hypercubes, and the zero-sum conjecture of Erd\H{o}s and Lemke. This investigation is a…

Combinatorics · Mathematics 2023-05-01 Herman Bergwerf

Conventional multi-label recognition methods often focus on label confidence, frequently overlooking the pivotal role of partial order relations consistent with human preference. To resolve these issues, we introduce a novel method for…

Computer Vision and Pattern Recognition · Computer Science 2024-07-19 Taian Guo , Taolin Zhang , Haoqian Wu , Hanjun Li , Ruizhi Qiao , Xing Sun

General treebank analyses are graph structured, but parsers are typically restricted to tree structures for efficiency and modeling reasons. We propose a new representation and algorithm for a class of graph structures that is flexible…

Computation and Language · Computer Science 2020-06-05 Jonathan K. Kummerfeld , Dan Klein

We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably,…

Logic in Computer Science · Computer Science 2023-06-22 Nicolas Behr , Pawel Sobocinski

In order to manage massive graphs in practice, it is often necessary to resort to graph compression, which aims at reducing the memory used when storing and processing the graph. Efficient compression methods have been proposed in the…

Social and Information Networks · Computer Science 2023-01-12 Maximilien Danisch , Ioannis Panagiotas , Lionel Tabourier

Label propagation is a powerful and flexible semi-supervised learning technique on graphs. Neural networks, on the other hand, have proven track records in many supervised learning tasks. In this work, we propose a training framework with a…

Machine Learning · Computer Science 2017-03-16 Thang D. Bui , Sujith Ravi , Vivek Ramavajjala

Graph embedding techniques are pivotal in real-world machine learning tasks that operate on graph-structured data, such as social recommendation and protein structure modeling. Embeddings are mostly performed on the node level for learning…

Machine Learning · Computer Science 2022-04-26 Nan Wang , Lu Lin , Jundong Li , Hongning Wang

Contracts are complex documents featuring detailed formal structures, explicit and implicit dependencies and rich semantic content. Given these document properties, contract drafting and manual examination of contracts have proven to be…

Artificial Intelligence · Computer Science 2025-11-11 Moriya Dechtiar , Daniel Martin Katz , Mari Sundaresan , Sylvain Jaume , Hongming Wang

Graph reachability is the task of understanding whether two distinct points in a graph are interconnected by arcs to which in general a semantic is attached. Reachability has plenty of applications, ranging from motion planning to routing.…

Artificial Intelligence · Computer Science 2025-03-26 Davide Di Pierro , Stephan Mennicke , Stefano Ferilli