English
Related papers

Related papers: Weighted Conditional EL{^}bot Knowledge Bases with…

200 papers

Knowledge Bases (KBs) contain a wealth of structured information about entities and predicates. This paper focuses on set-valued predicates, i.e., the relationship between an entity and a set of entities. In KBs, this information is often…

Databases · Computer Science 2020-03-27 Shrestha Ghosh , Simon Razniewski , Gerhard Weikum

In a standard possibilistic logic, prioritized information are encoded by means of weighted knowledge base. This paper proposes an extension of possibilistic logic for dealing with partially ordered information. We Show that all basic…

Artificial Intelligence · Computer Science 2012-12-12 Salem Benferhat , Sylvain Lagrue , Odile Papini

Using attention weights to identify information that is important for models' decision-making is a popular approach to interpret attention-based neural networks. This is commonly realized in practice through the generation of a heat-map for…

Information Retrieval · Computer Science 2021-06-01 Tian Shi , Xuchao Zhang , Ping Wang , Chandan K. Reddy

We give a relational and a weakest precondition semantics for "knowledge-based programs", i.e., programs that restrict observability of variables so as to richly express changes in the knowledge of agents who can or cannot observe said…

Logic in Computer Science · Computer Science 2022-07-07 Francesco Belardinelli , Ioana Boureanu , Vadim Malvone , Solofomampionona Fortunat Rajaona

Text representations using neural word embeddings have proven effective in many NLP applications. Recent researches adapt the traditional word embedding models to learn vectors of multiword expressions (concepts/entities). However, these…

Computation and Language · Computer Science 2018-12-21 Walid Shalaby , Wlodek Zadrozny , Hongxia Jin

Weighted Logic is a powerful tool for the specification of calculations over semirings that depend on qualitative information. Using a novel combination of Weighted Logic and Here-and-There (HT) Logic, in which this dependence is based on…

Artificial Intelligence · Computer Science 2022-11-14 Thomas Eiter , Rafael Kiesel

Contextual word representations, typically trained on unstructured, unlabeled text, do not contain any explicit grounding to real world entities and are often unable to remember facts about those entities. We propose a general method to…

Computation and Language · Computer Science 2019-11-01 Matthew E. Peters , Mark Neumann , Robert L. Logan , Roy Schwartz , Vidur Joshi , Sameer Singh , Noah A. Smith

Extending the popular Answer Set Programming (ASP) paradigm by introspective reasoning capacities has received increasing interest within the last years. Particular attention is given to the formalism of epistemic logic programs (ELPs)…

Artificial Intelligence · Computer Science 2021-08-09 Viktor Besin , Markus Hecher , Stefan Woltran

``Classical'' word embeddings, such as Word2Vec, have been shown to capture the semantics of words based on their distributional properties. However, their ability to represent the different meanings that a word may have is limited. Such…

Computation and Language · Computer Science 2020-04-20 Lea Dieudonat , Kelvin Han , Phyllicia Leavitt , Esteban Marquer

In this paper, we study the data complexity of querying inconsistent weighted description logic (DL) knowledge bases under recently-introduced cost-based semantics. In a nutshell, the idea is to assign each interpretation a cost based upon…

Artificial Intelligence · Computer Science 2025-11-17 Meghyn Bienvenu , Quentin Manière

Recently, there has been a surge of interest in the NLP community on the use of pretrained Language Models (LMs) as Knowledge Bases (KBs). Researchers have shown that LMs trained on a sufficiently large (web) corpus will encode a…

Computation and Language · Computer Science 2022-04-14 Badr AlKhamissi , Millicent Li , Asli Celikyilmaz , Mona Diab , Marjan Ghazvininejad

The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of fuzzy Datalog will be summarized, then its extensions for…

Artificial Intelligence · Computer Science 2010-04-08 Agnes Achs

In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the context of Description Logic, where the base consists of a set…

Logic in Computer Science · Computer Science 2022-02-22 Ricardo Guimarães , Ana Ozaki , Cosimo Persia , Baris Sertkaya

Answer Set Programming (ASP) is a popular framework for modeling combinatorial problems. However, ASP cannot easily be used for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines…

Artificial Intelligence · Computer Science 2020-02-19 Kim Bauters , Steven Schockaert , Martine De Cock , Dirk Vermeir

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

The limits of applicability of vision-and-language models are defined by the coverage of their training data. Tasks like vision question answering (VQA) often require commonsense and factual information beyond what can be learned from…

Computer Vision and Pattern Recognition · Computer Science 2021-01-18 Violetta Shevchenko , Damien Teney , Anthony Dick , Anton van den Hengel

This paper presents an approach for grounding phrases in images which jointly learns multiple text-conditioned embeddings in a single end-to-end model. In order to differentiate text phrases into semantically distinct subspaces, we propose…

Computer Vision and Pattern Recognition · Computer Science 2018-07-31 Bryan A. Plummer , Paige Kordas , M. Hadi Kiapour , Shuai Zheng , Robinson Piramuthu , Svetlana Lazebnik

Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized with respect to a semiring on which the values that weighted…

Logic in Computer Science · Computer Science 2021-04-30 Antonis Achilleos , Mathias Ruggaard Pedersen

The assignment of weights to attacks in a classical Argumentation Framework allows to compute semantics by taking into account the different importance of each argument. We represent a Weighted Argumentation Framework by a non-binary…

Artificial Intelligence · Computer Science 2018-10-04 Stefano Bistarelli , Alessandra Tappini , Carlo Taticchi

Research on knowledge graph embeddings has recently evolved into knowledge base embeddings, where the goal is not only to map facts into vector spaces but also constrain the models so that they take into account the relevant conceptual…

Artificial Intelligence · Computer Science 2024-08-12 Camille Bourgaux , Ricardo Guimarães , Raoul Koudijs , Victor Lacerda , Ana Ozaki