English
Related papers

Related papers: Querying Data Exchange Settings Beyond Positive Qu…

200 papers

Executable semantic parsing is the task of converting natural language utterances into logical forms that can be directly used as queries to get a response. We build a transfer learning framework for executable semantic parsing. We show…

Computation and Language · Computer Science 2019-03-20 Marco Damonte , Rahul Goel , Tagyoung Chung

Recent advances in training multilingual language models on large datasets seem to have shown promising results in knowledge transfer across languages and achieve high performance on downstream tasks. However, we question to what extent the…

Computation and Language · Computer Science 2024-02-06 Sara Rajaee , Christof Monz

In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has…

Logic in Computer Science · Computer Science 2020-02-19 Tom J. Ameloot , Jan Van den Bussche , William R. Marczak , Peter Alvaro , Joseph M. Hellerstein

With the increasing demand of intelligent systems capable of operating in different contexts (e.g. users on the move) the correct interpretation of the user-need by such systems has become crucial to give consistent answers to the user…

Computation and Language · Computer Science 2023-12-18 Lorenzo Massai

Multilingual e-commerce search suffers from severe data imbalance across languages, label noise, and limited supervision for low-resource languages--challenges that impede the cross-lingual generalization of relevance models despite the…

Information Retrieval · Computer Science 2025-10-27 Yabo Yin , Yang Xi , Jialong Wang , Shanqi Wang , Jiateng Hu

Applying dynamic logics to program verifications is a challenge, because their axiomatic rules for regular expressions can be difficult to be adapted to different program models. We present a novel dynamic logic, called DLp, which supports…

Logic in Computer Science · Computer Science 2026-02-11 Yuanrui Zhang

The emerging field semantic communication is driving the research of end-to-end data transmission. By utilizing the powerful representation ability of deep learning models, learned data transmission schemes have exhibited superior…

Information Theory · Computer Science 2023-05-25 Jincheng Dai , Sixian Wang , Ke Yang , Kailin Tan , Xiaoqi Qin , Zhongwei Si , Kai Niu , Ping Zhang

The recent adaptation of deep neural network-based methods to reinforcement learning and planning domains has yielded remarkable progress on individual tasks. Nonetheless, progress on task-to-task transfer remains limited. In pursuit of…

In software system design, one of the purposes of diagrammatic modeling is to explain something (e.g., data tables) to others. Very often, syntax of diagrams is specified while the intended meaning of diagrammatic constructs remains…

Software Engineering · Computer Science 2022-10-05 Sabah Al-Fedaghi

We analyze the problem of defining well-founded semantics for ordered logic programs within a general framework based on alternating fixpoint theory. We start by showing that generalizations of existing answer set approaches to preference…

Artificial Intelligence · Computer Science 2007-05-23 Torsten Schaub , Kewen Wang

In the domain of high-energy physics (HEP), query languages in general and SQL in particular have found limited acceptance. This is surprising since HEP data analysis matches the SQL model well: the data is fully structured and queried…

Databases · Computer Science 2021-11-02 Dan Graur , Ingo Müller , Mason Proffitt , Ghislain Fourny , Gordon T. Watts , Gustavo Alonso

We analysis performance of semantic segmentation models wrt. adversarial attacks, and observe that the adversarial examples generated from a source model fail to attack the target models. i.e The conventional attack methods, such as PGD and…

Computer Vision and Pattern Recognition · Computer Science 2023-08-22 Mengqi He , Jing Zhang , Zhaoyuan Yang , Mingyi He , Nick Barnes , Yuchao Dai

Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge representation tool. Though existing ASP variants enjoy efficient implementations, generating an answer set remains intractable. The goal of this research is to define…

Logic in Computer Science · Computer Science 2020-06-30 Andrzej Szalas

Recent work in cross-lingual semantic parsing has successfully applied machine translation to localize parsers to new languages. However, these advances assume access to high-quality machine translation systems and word alignment tools. We…

Computation and Language · Computer Science 2022-03-08 Tom Sherborne , Mirella Lapata

Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP…

Logic in Computer Science · Computer Science 2020-02-19 Giovanni Amendola , Carmine Dodaro , Francesco Ricca

Recently, deep learning-based language models have significantly enhanced text-to-SQL tasks, with promising applications in retrieving patient records within the medical domain. One notable challenge in such applications is discerning…

Computation and Language · Computer Science 2024-04-26 Sangryul Kim , Donghee Han , Sehyun Kim

Open set domain adaptation aims to diminish the domain shift across domains, with partially shared classes. There exist unknown target samples out of the knowledge of source domain. Compared to the close set setting, how to separate the…

Computer Vision and Pattern Recognition · Computer Science 2019-08-13 Qianyu Feng , Guoliang Kang , Hehe Fan , Yi Yang

Understanding search queries is critical for shopping search engines to deliver a satisfying customer experience. Popular shopping search engines receive billions of unique queries yearly, each of which can depict any of hundreds of user…

Information Retrieval · Computer Science 2020-01-14 Mukul Kumar , Youna Hu , Will Headden , Rahul Goutam , Heran Lin , Bing Yin

Prompt tuning in natural language processing (NLP) has become an increasingly popular method for adapting large language models to specific tasks. However, the transferability of these prompts, especially continuous prompts, between…

Computation and Language · Computer Science 2024-07-15 Zijun Wu , Yongkang Wu , Lili Mou

We address the problem of efficiently evaluating target functional dependencies (fds) in the Data Exchange (DE) process. Target fds naturally occur in many DE scenarios, including the ones in Life Sciences in which multiple source relations…

Databases · Computer Science 2016-04-19 Angela Bonifati , Ioana Ileana , Michele Linardi