English
Related papers

Related papers: Knowledge bases over algebraic models. Some notes …

200 papers

During the past few decades, knowledge bases (KBs) have experienced rapid growth. Nevertheless, most KBs still suffer from serious incompletion. Researchers proposed many tasks such as knowledge base completion and relation prediction to…

Computation and Language · Computer Science 2019-04-23 Zihao Fu , Yankai Lin , Zhiyuan Liu , Wai Lam

Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic model checking technology may be applied to discover and…

Logic in Computer Science · Computer Science 2016-10-05 Omar I. Al-Bataineh , Ron van der Meyden

Pre-trained Language Models (PLMs) are trained on vast unlabeled data, rich in world knowledge. This fact has sparked the interest of the community in quantifying the amount of factual knowledge present in PLMs, as this explains their…

Computation and Language · Computer Science 2023-12-06 Paul Youssef , Osman Alperen Koraş , Meijie Li , Jörg Schlötterer , Christin Seifert

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…

Artificial Intelligence · Computer Science 2013-03-08 Salem Benferhat , Didier Dubois , Henri Prade

We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable…

Artificial Intelligence · Computer Science 2017-12-27 Daniel Borchmann , Tom Hanika , Sergei Obiedkov

Recent work in entity disambiguation (ED) has typically neglected structured knowledge base (KB) facts, and instead relied on a limited subset of KB information, such as entity descriptions or types. This limits the range of contexts in…

Computation and Language · Computer Science 2022-07-12 Tom Ayoola , Joseph Fisher , Andrea Pierleoni

Knowledge constitutes the accumulated understanding and experience that humans use to gain insight into the world. In deep learning, prior knowledge is essential for mitigating shortcomings of data-driven models, such as data dependence,…

Machine Learning · Computer Science 2023-07-04 Hao Xu , Yuntian Chen , Dongxiao Zhang

Knowledge-based program are programs with explicit tests for knowledge. They have been used successfully in a number of applications. Sanders has pointed out what seem to be a counterintuitive property of knowledge-based programs. Roughly…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Joseph Y. Halpern

Evaluating the factual consistency of automatically generated summaries is essential for the progress and adoption of reliable summarization systems. Despite recent advances, existing factuality evaluation models are not robust, being…

Computation and Language · Computer Science 2023-10-20 Shangbin Feng , Vidhisha Balachandran , Yuyang Bai , Yulia Tsvetkov

Model editing has been gaining increasing attention over the past few years. For Knowledge Editing in particular, more challenging evaluation datasets have recently been released. These datasets use different methodologies to score the…

Computation and Language · Computer Science 2025-07-09 Sebastian Pohl , Max Ploner , Alan Akbik

In artificial intelligence (AI), knowledge is the information required by an intelligent system to accomplish tasks. While traditional knowledge bases use discrete, symbolic representations, detecting knowledge encoded in the continuous…

Computation and Language · Computer Science 2021-04-20 Gang Chen , Maosong Sun , Yang Liu

Previous literature has proved that Pretrained Language Models (PLMs) can store factual knowledge. However, we find that facts stored in the PLMs are not always correct. It motivates us to explore a fundamental question: How do we calibrate…

Computation and Language · Computer Science 2022-10-19 Qingxiu Dong , Damai Dai , Yifan Song , Jingjing Xu , Zhifang Sui , Lei Li

In this paper, we delve into the study of epistemic logics, interpreted through similarity models based on weighted graphs. We explore eight languages that extend the traditional epistemic language by incorporating modalities of common,…

Logic in Computer Science · Computer Science 2023-10-03 Xiaolong Liang , Yì N. Wáng

Recognizing similarities among entities is central to both human cognition and computational intelligence. Within this broader landscape, Entity Set Expansion is one prominent task aimed at taking an initial set of (tuples of) entities and…

Artificial Intelligence · Computer Science 2026-01-08 Giovanni Amendola , Pietro Cofone , Marco Manna , Aldo Ricioppo

Entity alignment seeks to find entities in different knowledge graphs (KGs) that refer to the same real-world object. Recent advancement in KG embedding impels the advent of embedding-based entity alignment, which encodes entities in a…

Computation and Language · Computer Science 2020-07-21 Zequn Sun , Qingheng Zhang , Wei Hu , Chengming Wang , Muhao Chen , Farahnaz Akrami , Chengkai Li

Software has been developed for knowledge discovery, prediction and management for over 30 years. However, there are still unresolved pain points when using existing project development and artifact management methodologies. Historically,…

Artificial Intelligence · Computer Science 2022-11-21 Mingwu , Gao , Samer Haidar

Understanding searchers' queries is an essential component of semantic search systems. In many cases, search queries involve specific attributes of an entity in a knowledge base (KB), which can be further used to find query answers. In this…

Information Retrieval · Computer Science 2018-09-25 Arash Dargahi Nobari , Arian Askari , Faegheh Hasibi , Mahmood Neshati

We initiate an investigation how the fundamental concept of independence can be represented effectively in the presence of incomplete information in relational databases. The concepts of possible and certain independence are proposed, and…

Databases · Computer Science 2025-10-10 Miika Hannula , Minna Hirvonen , Juha Kontinen , Sebastian Link

Large, heterogeneous datasets are characterized by missing or even erroneous information. This is more evident when they are the product of community effort or automatic fact extraction methods from external sources, such as text. A special…

Databases · Computer Science 2021-02-24 Ruud van Bakel , Teodor Aleksiev , Daniel Daza , Dimitrios Alivanistos , Michael Cochez

Similarities between entities occur frequently in many real-world scenarios. For over a century, researchers in different fields have proposed a range of approaches to measure the similarity between entities. More recently, inspired by…

Artificial Intelligence · Computer Science 2023-03-21 Giovanni Amendola , Marco Manna , Aldo Ricioppo