English
Related papers

Related papers: From Line Knowledge Digraphs to Sheaf Semantics: A…

200 papers

Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graphs are becoming a popular way to represent heterogeneous and…

Artificial Intelligence · Computer Science 2025-01-13 Lauren Nicole DeLong , Ramon Fernández Mir , Jacques D. Fleuriot

Training scene graph classification models requires a large amount of annotated image data. Meanwhile, scene graphs represent relational knowledge that can be modeled with symbolic data from texts or knowledge graphs. While image annotation…

Computer Vision and Pattern Recognition · Computer Science 2021-10-11 Sahand Sharifzadeh , Sina Moayed Baharlou , Martin Schmitt , Hinrich Schütze , Volker Tresp

The integration of knowledge extracted from different models described by domain experts or from models generated by machine learning algorithms is strongly conditioned by the lack of an appropriated framework to specify and integrate…

Logic in Computer Science · Computer Science 2016-04-12 Carlos Leandro

This paper addresses the problems of missing reasoning chains and insufficient entity-level semantic understanding in large language models when dealing with tasks that require structured knowledge. It proposes a fine-tuning algorithm…

Computation and Language · Computer Science 2025-08-21 Wuyang Zhang , Yexin Tian , Xiandong Meng , Mengjie Wang , Junliang Du

Combinatorial and topological structures, such as graphs, simplicial complexes, and cell complexes, form the foundation of geometric and topological deep learning (GDL and TDL) architectures. These models aggregate signals over such…

Machine Learning · Computer Science 2026-05-28 Chuan-Shen Hu

The trends of open science have enabled several open scholarly datasets which include millions of papers and authors. Managing, exploring, and utilizing such large and complicated datasets effectively are challenging. In recent years, the…

Artificial Intelligence · Computer Science 2025-08-19 Hung Nghiep Tran , Atsuhiro Takasu

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

Algebraic Topology · Mathematics 2016-11-04 Michael Robinson

This work introduces an enhanced approach to generating scene graphs by incorporating both a relationship hierarchy and commonsense knowledge. Specifically, we begin by proposing a hierarchical relation head that exploits an informative…

Computer Vision and Pattern Recognition · Computer Science 2024-12-10 Bowen Jiang , Zhijun Zhuang , Shreyas S. Shivakumar , Camillo J. Taylor

Modelling learning objects (LO) within their context enables the learner to advance from a basic, remembering-level, learning objective to a higher-order one, i.e., a level with an application- and analysis objective. While hierarchical…

Information Retrieval · Computer Science 2024-01-25 Hasan Abu-Rasheed , Mareike Dornhöfer , Christian Weber , Gábor Kismihók , Ulrike Buchmann , Madjid Fathi

Extracting structured knowledge from texts has traditionally been used for knowledge base generation. However, other sources of information, such as images can be leveraged into this process to build more complete and richer knowledge…

Computer Vision and Pattern Recognition · Computer Science 2020-09-15 Ashutosh Tiwari , Sandeep Varma

We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…

Logic · Mathematics 2020-07-09 Thierry Coquand , Fabian Ruch , Christian Sattler

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

Knowledge graphs represent concepts (e.g., people, places, events) and their semantic relationships. As a data structure, they underpin a digital information system, support users in resource discovery and retrieval, and are useful for…

Digital Libraries · Computer Science 2018-09-13 Bernhard Haslhofer , Antoine Isaac , Rainer Simon

The recent developments and growing interest in neural-symbolic models has shown that hybrid approaches can offer richer models for Artificial Intelligence. The integration of effective relational learning and reasoning methods is one of…

Machine Learning · Computer Science 2020-05-07 Henrique Lemos , Pedro Avelar , Marcelo Prates , Luís Lamb , Artur Garcez

We present an approach to combining distributional semantic representations induced from text corpora with manually constructed lexical-semantic networks. While both kinds of semantic resources are available with high lexical coverage, our…

Computation and Language · Computer Science 2017-12-27 Chris Biemann , Stefano Faralli , Alexander Panchenko , Simone Paolo Ponzetto

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

Modelling concept representation is a foundational problem in the study of cognition and linguistics. This work builds on the confluence of conceptual tools from G\"ardenfors semantic spaces, categorical compositional linguistics, and…

Computation and Language · Computer Science 2020-08-07 James Hefford , Vincent Wang , Matthew Wilson

We propose a new, structured, logic-based framework for legal reasoning and argumentation: Instead of using a single, unstructured meaning space, theory graphs organize knowledge and inference into collections of modular meaning spaces…

Logic in Computer Science · Computer Science 2020-07-03 Max Rapp , Axel Adrian , Michael Kohlhase

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

Category Theory · Mathematics 2025-09-01 Olivia Caramello , Laurent Lafforgue

Leveraging generative Artificial Intelligence (AI), we have transformed a dataset comprising 1,000 scientific papers into an ontological knowledge graph. Through an in-depth structural analysis, we have calculated node degrees, identified…

Machine Learning · Computer Science 2024-06-12 Markus J. Buehler