中文
相关论文

相关论文: A Hybrid Approach to Query Answering under Express…

200 篇论文

We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a…

计算机科学中的逻辑 · 计算机科学 2019-04-02 Tomasz Gogacz , Víctor Gutiérrez-Basulto , Yazmín A. Ibáñez-García , Filip Murlak , Magdalena Ortiz , Mantas Šimkus

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…

人工智能 · 计算机科学 2025-11-17 Meghyn Bienvenu , Quentin Manière

Syntax highlighting is a critical feature in modern software development environments, enhancing code readability and developer productivity. However, delivering accurate highlighting in real time remains challenging for online and…

软件工程 · 计算机科学 2026-05-06 Marco Edoardo Palma , Pooja Rani , Harald C. Gall

Attention, specifically scaled dot-product attention, has proven effective for natural language, but it does not have a mechanism for handling hierarchical patterns of arbitrary nesting depth, which limits its ability to recognize certain…

计算与语言 · 计算机科学 2024-01-25 Brian DuSell , David Chiang

Offline reinforcement learning refers to the process of learning policies from fixed datasets, without requiring additional environment interaction. However, it often relies on well-defined reward functions, which are difficult and…

人工智能 · 计算机科学 2025-10-13 Xiancheng Gao , Yufeng Shi , Wengang Zhou , Houqiang Li

Metamodeling refers to scenarios in ontologies in which classes and roles can be members of classes or occur in roles. This is a desirable modelling feature in several applications, but allowing it without restrictions is problematic for…

计算机科学中的逻辑 · 计算机科学 2025-02-14 Haya Majid Qureshi , Wolfgang Faber

Agentic discovery has shown that LLM-driven search can find novel algorithms, designs, and code under benchmark conditions. Translating the paradigm to multi-system data backends surfaces a harder problem: the search space is heterogeneous,…

人工智能 · 计算机科学 2026-05-27 Shanshan Ye , Duo Lu

Question-answering handwritten documents is a challenging task with numerous real-world applications. This paper proposes a novel recognition-based approach that improves upon the previous state-of-the-art on the HW-SQuAD and BenthamQA…

计算机视觉与模式识别 · 计算机科学 2024-07-16 Aniket Pal , Ajoy Mondal , C. V. Jawahar

There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical language, and their implementation and optimisation are delegated to a general-purpose query engine. Existing…

人工智能 · 计算机科学 2018-04-26 Mark Kaminski , Bernardo Cuenca Grau , Egor V. Kostylev , Boris Motik , Ian Horrocks

An important and difficult task in code-switched speech recognition is to recognize the language, as lots of words in two languages can sound similar, especially in some accents. We focus on improving performance of end-to-end Automatic…

计算与语言 · 计算机科学 2024-03-14 Yash Sharma , Basil Abraham , Preethi Jyothi

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…

计算机科学中的逻辑 · 计算机科学 2022-07-07 Francesco Belardinelli , Ioana Boureanu , Vadim Malvone , Solofomampionona Fortunat Rajaona

Text-to-SQL aims at generating SQL queries for the given natural language questions and thus helping users to query databases. Prompt learning with large language models (LLMs) has emerged as a recent approach, which designs prompts to lead…

信息检索 · 计算机科学 2023-09-06 Chunxi Guo , Zhiliang Tian , Jintao Tang , Shasha Li , Zhihua Wen , Kaixuan Wang , Ting Wang

SQL-to-Text generation aims at translating structured SQL queries into natural language descriptions, thereby facilitating comprehension of complex database operations for non-technical users. Although large language models (LLMs) have…

数据库 · 计算机科学 2025-11-19 Sriom Chakrabarti , Chuangtao Ma , Arijit Khan , Sebastian Link

Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answered by a variant of the chase - a quintessential technique…

计算机科学中的逻辑 · 计算机科学 2022-12-19 Michael Benedikt , Maxime Buron , Stefano Germano , Kevin Kappelmann , Boris Motik

Analytical information needs, such as trend analysis and causal impact assessment, are prevalent across various domains including law, finance, science, and much more. However, existing information retrieval paradigms, whether based on…

信息检索 · 计算机科学 2026-02-13 Yiteng Tu , Shuo Miao , Weihang Su , Yiqun Liu , Qingyao Ai

Syntactic Transformer language models aim to achieve better generalization through simultaneously modeling syntax trees and sentences. While prior work has been focusing on adding constituency-based structures to Transformers, we introduce…

计算与语言 · 计算机科学 2024-07-25 Yida Zhao , Chao Lou , Kewei Tu

Many question answering (QA) tasks only provide weak supervision for how the answer should be computed. For example, TriviaQA answers are entities that can be mentioned multiple times in supporting documents, while DROP answers can be…

计算与语言 · 计算机科学 2019-09-12 Sewon Min , Danqi Chen , Hannaneh Hajishirzi , Luke Zettlemoyer

Modern business applications and scientific databases call for inherently dynamic data storage environments. Such environments are characterized by two challenging features: (a) they have little idle system time to devote on physical…

数据库 · 计算机科学 2012-03-02 Felix Halim , Stratos Idreos , Panagiotis Karras , Roland H. C. Yap

Large Language Models (LLMs) struggle with complex reasoning due to limited diversity and inefficient search. We propose Soft Reasoning, an embedding-based search framework that optimises the embedding of the first token to guide…

计算与语言 · 计算机科学 2025-09-16 Qinglin Zhu , Runcong Zhao , Hanqi Yan , Yulan He , Yudong Chen , Lin Gui

The SPARQL query language is currently being extended by the World Wide Web Consortium (W3C) with so-called entailment regimes. An entailment regime defines how queries are evaluated under more expressive semantics than SPARQLs standard…

数据库 · 计算机科学 2014-02-05 Ilianna Kollia , Birte Glimm