English
Related papers

Related papers: Context Graphs for Legal Reasoning and Argumentati…

200 papers

Justification theory is a unifying semantic framework. While it has its roots in non-monotonic logics, it can be applied to various areas in computer science, especially in explainable reasoning; its most central concept is a justification:…

Artificial Intelligence · Computer Science 2020-09-23 Simon Marynissen , Bart Bogaerts , Marc Denecker

Knowledge graph embedding, which projects symbolic entities and relations into continuous vector spaces, is gaining increasing attention. Previous methods allow a single static embedding for each entity or relation, ignoring their intrinsic…

Artificial Intelligence · Computer Science 2020-04-07 Quan Wang , Pingping Huang , Haifeng Wang , Songtai Dai , Wenbin Jiang , Jing Liu , Yajuan Lyu , Yong Zhu , Hua Wu

In the following writing we discuss a conceptual framework for representing events and scenarios from the perspective of a novel form of causal analysis. This causal analysis is applied to the events and scenarios so as to determine…

Artificial Intelligence · Computer Science 2018-07-06 Anton Kolonin

We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…

Logic in Computer Science · Computer Science 2023-08-01 Leo Lobski , Fabio Zanasi

In this paper we provide a comprehensive introduction to knowledge graphs, which have recently garnered significant attention from both industry and academia in scenarios that require exploiting diverse, dynamic, large-scale collections of…

This guideline proposes a systematic and operational annotation framework for representing the structure of legal argumentation in judicial decisions. Grounded in theories of legal reasoning and argumentation, the framework aims to reveal…

Computation and Language · Computer Science 2026-03-06 Kun Chen , Xianglei Liao , Kaixue Fei , Yi Xing , Xinrui Li

Reasoning is a fundamental capability for harnessing valuable insight, knowledge and patterns from knowledge graphs. Existing work has primarily been focusing on point-wise reasoning, including search, link predication, entity prediction,…

Artificial Intelligence · Computer Science 2020-11-09 Lihui Liu , Boxin Du , Heng Ji , Hanghang Tong

The use of symbolic knowledge representation and reasoning as a way to resolve the lack of transparency of machine learning classifiers is a research area that lately attracts many researchers. In this work, we use knowledge graphs as the…

Artificial Intelligence · Computer Science 2022-02-09 Edmund Dervakos , Orfeas Menis-Mastromichalakis , Alexandros Chortaras , Giorgos Stamou

Interpretability or explainability is an emerging research field in NLP. From a user-centric point of view, the goal is to build models that provide proper justification for their decisions, similar to those of humans, by requiring the…

The purpose of this paper is to introduce justification logics based on conditional logics. We introduce a new family of logics, called conditional justification logics, which incorporates a counterfactual conditional in its language. For…

Logic · Mathematics 2025-01-17 Meghdad Ghari

This paper describes a new kind of knowledge representation and mining system which we are calling the Semantic Knowledge Graph. At its heart, the Semantic Knowledge Graph leverages an inverted index, along with a complementary uninverted…

Information Retrieval · Computer Science 2016-09-06 Trey Grainger , Khalifeh AlJadda , Mohammed Korayem , Andries Smith

In this paper, we propose a novel method for question answering over knowledge graphs based on graph-to-segment mapping, designed to improve the understanding of natural language questions. Our approach is grounded in semantic parsing, a…

Computation and Language · Computer Science 2025-09-03 Sijia Wei , Wenwen Zhang , Qisong Li , Jiang Zhao

Modern large language model-based reasoning systems frequently recompute similar reasoning steps across tasks, wasting computational resources, inflating inference latency, and limiting reproducibility. These inefficiencies underscore the…

Artificial Intelligence · Computer Science 2025-11-21 Yash Raj Singh

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

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

Artificial Intelligence · Computer Science 2022-09-20 Zhe Yu , Yiwei Lu

The connections among natural language processing and argumentation theory are becoming stronger in the latest years, with a growing amount of works going in this direction, in different scenarios and applying heterogeneous techniques. In…

Artificial Intelligence · Computer Science 2014-05-06 Elena Cabrio , Serena Villata

Structured information about entities is critical for many semantic parsing tasks. We present an approach that uses a Graph Neural Network (GNN) architecture to incorporate information about relevant entities and their relations during…

Computation and Language · Computer Science 2019-09-27 Peter Shaw , Philip Massey , Angelica Chen , Francesco Piccinno , Yasemin Altun

This paper proposes a framework for representing and reasoning causality between geographic events by introducing the notion of Geo-Situation. This concept links to observational snapshots that represent sets of conditions, and either acts…

Artificial Intelligence · Computer Science 2022-06-29 Shirly Stephen , Wenwen Li , Torsten Hahmann

Textual logical reasoning, especially question-answering (QA) tasks with logical reasoning, requires awareness of particular logical structures. The passage-level logical relations represent entailment or contradiction between propositional…

Computation and Language · Computer Science 2023-04-20 Yinya Huang , Lemao Liu , Kun Xu , Meng Fang , Liang Lin , Xiaodan Liang

In modern mathematics, graphs figure as one of the better-investigated class of mathematical objects. Various properties of graphs, as well as graph-processing algorithms, can be useful if graphs of a certain kind are used as denotations…

Logic in Computer Science · Computer Science 2007-05-23 Alex Shkotin