English
Related papers

Related papers: AGREE -- Algebraic Graph Rewriting with Controlled…

200 papers

Translation-based knowledge graph embedding has been one of the most important branches for knowledge representation learning since TransE came out. Although many translation-based approaches have achieved some progress in recent years, the…

Artificial Intelligence · Computer Science 2022-09-20 Long Yu , Zhicong Luo , Huanyong Liu , Deng Lin , Hongzhu Li , Yafeng Deng

One of the principal goals of graph modeling is to capture the building blocks of network data in order to study various physical and natural phenomena. Recent work at the intersection of formal language theory and graph theory has explored…

Social and Information Networks · Computer Science 2023-01-30 Satyaki Sikdar , Justus Hibshman , Tim Weninger

Can one reduce the size of a graph without significantly altering its basic properties? The graph reduction problem is hereby approached from the perspective of restricted spectral approximation, a modification of the spectral similarity…

Data Structures and Algorithms · Computer Science 2019-01-01 Andreas Loukas

We tackle the problem of simultaneous transformations of networks represented as graphs. Roughly speaking, one may distinguish two kinds of simultaneous or parallel rewrite relations over complex structures such as graphs: (i) those which…

Formal Languages and Automata Theory · Computer Science 2017-01-25 Rachid Echahed , Aude Maignan

Knowledge representation is a major topic in AI, and many studies attempt to represent entities and relations of knowledge base in a continuous vector space. Among these attempts, translation-based methods build entity and relation vectors…

Computation and Language · Computer Science 2015-09-29 Han Xiao , Minlie Huang , Yu Hao , Xiaoyan Zhu

We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in…

Combinatorics · Mathematics 2022-05-02 Somnath Basu , Dhruv Bhasin , Siddhartha Lal , Siddhartha Patra

Graph transformation formalisms have proven to be suitable tools for the modelling of chemical reactions. They are well established in theoretical studies and increasingly also in practical applications in chemistry. The latter is made…

Discrete Mathematics · Computer Science 2022-08-29 Jakob L. Andersen , Rolf Fagerberg , Juri Kolčák , Christophe V. F. P. Laurent , Daniel Merkle , Nikolai Nøjgaard

Representation learning on graphs has been gaining attention due to its wide applicability in predicting missing links, and classifying and recommending nodes. Most embedding methods aim to preserve certain properties of the original graph…

Social and Information Networks · Computer Science 2019-09-13 Palash Goyal , Di Huang , Sujit Rokka Chhetri , Arquimedes Canedo , Jaya Shree , Evan Patterson

Knowledge graph (KG) reasoning is an important problem for knowledge graphs. In this paper, we propose a novel and principled framework called \textbf{RulE} (stands for {Rul}e {E}mbedding) to effectively leverage logical rules to enhance KG…

Artificial Intelligence · Computer Science 2024-05-21 Xiaojuan Tang , Song-Chun Zhu , Yitao Liang , Muhan Zhang

In graph modification problems, one is given a graph G and the goal is to apply a minimum number of modification operations (such as edge deletions) to G such that the resulting graph fulfills a certain property. For example, the Cluster…

Data Structures and Algorithms · Computer Science 2016-06-13 Christian Komusiewicz , André Nichterlein , Rolf Niedermeier

Invertible transformation of large graphs into fixed dimensional vectors (embeddings) remains a challenge. Its overcoming would reduce any operation on graphs to an operation in a vector space. However, most existing methods are limited to…

Machine Learning · Computer Science 2022-07-12 Adam Małkowski , Jakub Grzechociński , Paweł Wawrzyński

Term graph rewriting provides a simple mechanism to finitely represent restricted forms of infinitary term rewriting. The correspondence between infinitary term rewriting and term graph rewriting has been studied to some extent. However,…

Logic in Computer Science · Computer Science 2015-07-01 Patrick Bahr

Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term…

Symbolic Computation · Computer Science 2021-02-04 Patrick Bahr

Events describe the state changes of entities. In a document, multiple events are connected by various relations (e.g., Coreference, Temporal, Causal, and Subevent). Therefore, obtaining the connections between events through Event-Event…

Computation and Language · Computer Science 2024-03-20 Haochen Li , Di Geng

Recently, knowledge graph embedding, which projects symbolic entities and relations into continuous vector space, has become a new, hot topic in artificial intelligence. This paper addresses a new issue of multiple relation semantics that a…

Computation and Language · Computer Science 2017-09-11 Han Xiao , Minlie Huang , Yu Hao , Xiaoyan Zhu

The aim of edge editing or modification problems is to change a given graph by adding and deleting of a small number of edges in order to satisfy a certain property. We consider the Edge Editing to a Connected Graph of Given Degrees problem…

Data Structures and Algorithms · Computer Science 2014-06-05 Petr A. Golovach

Large-scale graphs are widely used to represent object relationships in many real world applications. The occurrence of large-scale graphs presents significant computational challenges to process, analyze, and extract information. Graph…

Social and Information Networks · Computer Science 2019-10-11 Yu Jin , Andreas Loukas , Joseph F. JaJa

We tackle the problem of attributed graph transformations and propose a new algorithmic approach for defining parallel graph transformations allowing overlaps. We start by introducing some abstract operations over graph structures. Then, we…

Logic in Computer Science · Computer Science 2018-08-10 Thierry Boy de la Tour , Rachid Echahed

Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified…

Logic in Computer Science · Computer Science 2009-12-01 Paolo Torrini , Reiko Heckel

Knowledge graphs (KGs) play a crucial role in many applications, such as question answering, but incompleteness is an urgent issue for their broad application. Much research in knowledge graph completion (KGC) has been performed to resolve…

Artificial Intelligence · Computer Science 2023-01-10 Yinyu Lan , Shizhu He , Kang Liu , Jun Zhao