English
Related papers

Related papers: Knowledge Problems in Protocol Analysis: Extending…

200 papers

Knowledge graph embeddings are now a widely adopted approach to knowledge representation in which entities and relationships are embedded in vector spaces. In this chapter, we introduce the reader to the concept of knowledge graph…

Artificial Intelligence · Computer Science 2020-05-01 Federico Bianchi , Gaetano Rossiello , Luca Costabello , Matteo Palmonari , Pasquale Minervini

Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a challenging task. In this paper we study the graph mining…

Logic in Computer Science · Computer Science 2016-09-01 Matthias van der Hallen , Sergey Paramonov , Michael Leuschel , Gerda Janssens

Despite their success in various domains, the growing dependence on GNNs raises a critical concern about the nature of the combinatorial reasoning underlying their predictions, which is often hidden within their black-box architectures.…

Machine Learning · Computer Science 2026-03-03 Yue Niu , Zhaokai Sun , Jiayi Yang , Xiaofeng Cao , Rui Fan , Xin Sun , Hanli Wang , Wei Ye

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

Knowledge graph is a popular format for representing knowledge, with many applications to semantic search engines, question-answering systems, and recommender systems. Real-world knowledge graphs are usually incomplete, so knowledge graph…

Machine Learning · Computer Science 2023-04-26 Hung Nghiep Tran , Atsuhiro Takasu

Vector representations of graphs and relational structures, whether hand-crafted feature vectors or learned representations, enable us to apply standard data analysis and machine learning techniques to the structures. A wide range of…

Machine Learning · Computer Science 2020-03-31 Martin Grohe

Graph classification is a pivotal challenge in machine learning, especially within the realm of graph-based data, given its importance in numerous real-world applications such as social network analysis, recommendation systems, and…

Machine Learning · Computer Science 2024-07-03 Bowen Zhang , Zhichao Huang , Genan Dai , Guangning Xu , Xiaomao Fan , Hu Huang

As the field of quantum physics evolves, researchers naturally form subgroups focusing on specialized problems. While this encourages in-depth exploration, it can limit the exchange of ideas across structurally similar problems in different…

Machine Learning · Computer Science 2024-11-12 Felix Frohnert , Xuemei Gu , Mario Krenn , Evert van Nieuwenburg

Graph embeddings have become a key and widely used technique within the field of graph mining, proving to be successful across a broad range of domains including social, citation, transportation and biological. Graph embedding techniques…

Machine Learning · Computer Science 2018-06-21 Stephen Bonner , Ibad Kureshi , John Brennan , Georgios Theodoropoulos , Andrew Stephen McGough , Boguslaw Obara

Graph-structured data is ubiquitous in practice and often processed using graph neural networks (GNNs). With the adoption of recent laws ensuring the ``right to be forgotten'', the problem of graph data removal has become of significant…

Machine Learning · Computer Science 2022-11-01 Eli Chien , Chao Pan , Olgica Milenkovic

Embedding knowledge graphs (KGs) into continuous vector spaces is a focus of current research. Early works performed this task via simple models developed over KG triples. Recent attempts focused on either designing more complicated triple…

Artificial Intelligence · Computer Science 2018-06-08 Boyang Ding , Quan Wang , Bin Wang , Li Guo

Knowledge graph embedding involves learning representations of entities -- the vertices of the graph -- and relations -- the edges of the graph -- such that the resulting representations encode the known factual information represented by…

Machine Learning · Computer Science 2023-03-21 Thomas Gebhart , Jakob Hansen , Paul Schrater

Knowledge graph embedding methods learn embeddings of entities and relations in a low dimensional space which can be used for various downstream machine learning tasks such as link prediction and entity matching. Various graph convolutional…

Machine Learning · Computer Science 2021-02-16 Nasrullah Sheikh , Xiao Qin , Berthold Reinwald , Christoph Miksovic , Thomas Gschwind , Paolo Scotton

Graph embedding is a transformation of nodes of a graph into a set of vectors. A~good embedding should capture the graph topology, node-to-node relationship, and other relevant information about the graph, its subgraphs, and nodes. If these…

Social and Information Networks · Computer Science 2022-06-22 Arash Dehghan-Kooshkghazi , Bogumił Kamiński , Łukasz Kraiński , Paweł Prałat , François Théberge

A knowledge graph (KG) is a data structure which represents entities and relations as the vertices and edges of a directed graph with edge types. KGs are an important primitive in modern machine learning and artificial intelligence.…

Artificial Intelligence · Computer Science 2021-10-20 Michael R. Douglas , Michael Simkin , Omri Ben-Eliezer , Tianqi Wu , Peter Chin , Trung V. Dang , Andrew Wood

With the large volume of new information created every day, determining the validity of information in a knowledge graph and filling in its missing parts are crucial tasks for many researchers and practitioners. To address this challenge, a…

Artificial Intelligence · Computer Science 2016-11-17 Baoxu Shi , Tim Weninger

Modeling of relation pattern is the core focus of previous Knowledge Graph Embedding works, which represents how one entity is related to another semantically by some explicit relation. However, there is a more natural and intuitive…

Computation and Language · Computer Science 2021-10-05 Ren Li , Yanan Cao , Qiannan Zhu , Xiaoxue Li , Fang Fang

Node embedding algorithms produce low-dimensional latent representations of nodes in a graph. These embeddings are often used for downstream tasks, such as node classification and link prediction. In this paper, we investigate the following…

Machine Learning · Computer Science 2024-06-13 Zohair Shafi , Ayan Chatterjee , Tina Eliassi-Rad

The reasoning process of Graph Neural Networks is complex and considered opaque, limiting trust in their predictions. To alleviate this issue, prior work has proposed concept-based explanations, extracted from clusters in the model's node…

Machine Learning · Computer Science 2026-04-22 Lucie Charlotte Magister , Alexander Norcliffe , Iulia Duta , Pietro Lio

Given a network and a subset of interesting vertices whose identities are only partially known, the vertex nomination problem seeks to rank the remaining vertices in such a way that the interesting vertices are ranked at the top of the…

Social and Information Networks · Computer Science 2022-03-29 Runbing Zheng , Vince Lyzinski , Carey E. Priebe , Minh Tang