English
Related papers

Related papers: A Minimal Deductive System for RDFS with Negative …

200 papers

Word Sense Disambiguation (WSD) remains a key challenge in Natural Language Processing (NLP), especially when dealing with rare or domain-specific senses that are often misinterpreted. While modern high-parameter Large Language Models…

Computation and Language · Computer Science 2026-03-06 Deshan Sumanathilaka , Nicholas Micallef , Julian Hough

Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Description Framework (RDF). One of the primary purposes of a…

Logic in Computer Science · Computer Science 2009-05-13 Marko A. Rodriguez , Joe Geldart

Self-improvement via RL often fails on complex reasoning tasks because GRPO-style post-training methods rely on the model's initial ability to generate positive samples. Without guided exploration, these approaches merely reinforce what the…

Machine Learning · Computer Science 2026-01-28 Ruiyang Zhou , Shuozhe Li , Amy Zhang , Liu Leqi

When asked a question in a language less seen in its training data, current reasoning large language models (RLMs) often exhibit dramatically lower performance than when asked the same question in English. In response, we introduce…

Computation and Language · Computer Science 2026-01-27 Lintang Sutawika , Gokul Swamy , Zhiwei Steven Wu , Graham Neubig

Enhancing reasoning capabilities in small language models is critical for specialized applications such as medical question answering, particularly in underrepresented languages like Persian. In this study, we employ Reinforcement Learning…

Computation and Language · Computer Science 2026-01-07 Mehrdad Ghassabi , Sadra Hakim , Hamidreza Baradaran Kashani , Pedram Rostami

Semantic knowledge graphs are foundational to implementing the FAIR Principles, yet RDF/OWL representations often lack the semantic flexibility and cognitive interoperability required in scientific domains. We present a novel framework for…

Databases · Computer Science 2025-06-09 Lars Vogt

Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a…

Artificial Intelligence · Computer Science 2019-07-24 João Alcântara , Samy Sá , Juan Acosta-Guadarrama

The semantic web has received many contributions of researchers as ontologies which, in this context, i.e. within RDF linked data, are formalized conceptualizations that might use different protocols, such as RDFS, OWL DL and OWL FULL. In…

Artificial Intelligence · Computer Science 2017-10-30 Renato Fabbri

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can…

Artificial Intelligence · Computer Science 2007-05-23 Gerhard Brewka

Diffusion language models (DLMs) enable parallel, order-agnostic generation with iterative refinement, offering a flexible alternative to autoregressive large language models (LLMs). However, adapting reinforcement learning (RL) fine-tuning…

Machine Learning · Computer Science 2026-02-12 Kevin Rojas , Jiahe Lin , Kashif Rasul , Anderson Schneider , Yuriy Nevmyvaka , Molei Tao , Wei Deng

A deterministic finite automaton (DFA) separates two strings $w$ and $x$ if it accepts $w$ and rejects $x$. The minimum number of states required for a DFA to separate $w$ and $x$ is denoted by $sep(w,x)$. The present paper shows that the…

Formal Languages and Automata Theory · Computer Science 2018-02-13 Farzam Ebrahimnejad

This paper develops a new approach to computational argumentation that is informed by philosophical and linguistic views. Namely, it takes into account two ideas that have received little attention in the literature on computational…

Artificial Intelligence · Computer Science 2026-02-04 Michael A. Müller , Srdjan Vesic , Bruno Yun

The adoption of machine learning in health care hinges on the transparency of the used algorithms, necessitating the need for explanation methods. However, despite a growing literature on explaining neural networks, no consensus has been…

Computer Vision and Pattern Recognition · Computer Science 2020-03-20 Laura Rieger , Lars Kai Hansen

DPO and related algorithms align language models by directly optimizing the RLHF objective: find a policy that maximizes the Bradley-Terry reward while staying close to a reference policy through a KL divergence penalty. Previous work…

Machine Learning · Computer Science 2026-02-09 Idan Pipano , Shoham Sabach , Kavosh Asadi , Mohammad Ghavamzadeh

Backreference is a well-known practical extension of regular expressions and most modern programming languages, such as Java, Python, JavaScript and more, support regular expressions with backreferences (rewb) in their standard libraries…

Formal Languages and Automata Theory · Computer Science 2024-06-28 Taisei Nogami , Tachio Terauchi

Diagnosis-Related Group (DRG) codes are essential for hospital reimbursement and operations but require labor-intensive assignment. Large Language Models (LLMs) struggle with DRG coding due to the out-of-distribution (OOD) nature of the…

Machine Learning · Computer Science 2025-10-16 Hanyin Wang , Zhenbang Wu , Gururaj Kolar , Hariprasad Korsapati , Brian Bartlett , Bryan Hull , Jimeng Sun

The generated responses of large language models (LLMs) are often fine-tuned to human preferences through a process called reinforcement learning from human feedback (RLHF). As RLHF relies on a challenging training sequence, whereby a…

Machine Learning · Computer Science 2025-06-10 Xiangkun Hu , Lemin Kong , Tong He , David Wipf

One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their…

Artificial Intelligence · Computer Science 2014-05-05 Sylwia Polberg

Paraphrasing re-expresses meaning to enhance applications like text simplification, machine translation, and question-answering. Specific paraphrase types facilitate accurate semantic analysis and robust language models. However, existing…

Computation and Language · Computer Science 2025-06-04 Christopher Lee Lübbers

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance…

Artificial Intelligence · Computer Science 2018-09-10 Gerhard Brewka , Jörg Pührer , Hannes Strass , Johannes P. Wallner , Stefan Woltran