中文
相关论文

相关论文: AGREE -- Algebraic Graph Rewriting with Controlled…

200 篇论文

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…

人工智能 · 计算机科学 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…

社会与信息网络 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

计算与语言 · 计算机科学 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…

组合数学 · 数学 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…

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…

社会与信息网络 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

机器学习 · 计算机科学 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,…

计算机科学中的逻辑 · 计算机科学 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…

符号计算 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算与语言 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

社会与信息网络 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

人工智能 · 计算机科学 2023-01-10 Yinyu Lan , Shizhu He , Kang Liu , Jun Zhao