English
Related papers

Related papers: DiscASP: A Graph-based ASP System for Finding Rele…

200 papers

Pragmatic reasoning plays a pivotal role in deciphering implicit meanings that frequently arise in real-life conversations and is essential for the development of communicative social agents. In this paper, we introduce a novel challenge,…

Computation and Language · Computer Science 2023-06-21 Hengli Li , Song-Chun Zhu , Zilong Zheng

Enhancing the reasoning capabilities of language models (LMs) remains a key challenge, especially for tasks that require complex, multi-step decision-making where existing Chain-of-Thought (CoT) approaches struggle with consistency and…

Computation and Language · Computer Science 2025-08-21 Siheng Xiong , Ali Payani , Yuan Yang , Faramarz Fekri

The semantic gap is defined as the difference between the linguistic representations of the same concept, which usually leads to misunderstanding between individuals with different knowledge backgrounds. Since linguistically annotated…

Computer Vision and Pattern Recognition · Computer Science 2022-03-01 Xiaolei Diao

Sentence fusion is the task of joining several independent sentences into a single coherent text. Current datasets for sentence fusion are small and insufficient for training modern neural models. In this paper, we propose a method for…

Computation and Language · Computer Science 2019-03-19 Mor Geva , Eric Malmi , Idan Szpektor , Jonathan Berant

Concept discovery is one of the open problems in the interpretability literature that is important for bridging the gap between non-deep learning experts and model end-users. Among current formulations, concepts defines them by as a…

Machine Learning · Computer Science 2022-02-11 Adrianna Janik , Kris Sankaran

Traditional AI reasoning techniques have been used successfully in many domains, including logistics, scheduling and game playing. This paper is part of a project aimed at investigating how such techniques can be extended to coordinate…

Artificial Intelligence · Computer Science 2014-05-22 Marcello Balduccini , William C. Regli , Duc N. Nguyen

EXplainable AI (XAI) is an essential topic to improve human understanding of deep neural networks (DNNs) given their black-box internals. For computer vision tasks, mainstream pixel-based XAI methods explain DNN decisions by identifying…

Computer Vision and Pattern Recognition · Computer Science 2023-05-18 Ao Sun , Pingchuan Ma , Yuanyuan Yuan , Shuai Wang

Answer Set Programming (ASP) is a purely declarative formalism developed in the field of logic programming and nonmonotonic reasoning: computational problems are encoded by logic programs whose answer sets, corresponding to solutions, are…

Artificial Intelligence · Computer Science 2020-02-19 Francesco Calimeri , Simona Perri , Jessica Zangari

Conversational AI (ConvAI) agents increasingly maintain structured memory to support long-term, task-oriented interactions. In-context memory approaches append the growing history to the model input, which scales poorly under context-window…

Artificial Intelligence · Computer Science 2026-03-03 Yifan Simon Liu , Ruifan Wu , Liam Gallagher , Jiazhou Liang , Armin Toroghi , Scott Sanner

The relations connecting propositions in discourse such as cause (A because B) or concession (A although B) are a subject of intense interest in Computational Linguistics and Pragmatics, but challenging to study and compare across…

Computation and Language · Computer Science 2026-05-18 Amir Zeldes

Generative AI models face the challenge of hallucinations that can undermine users' trust in such systems. We approach the problem of conversational information seeking as a two-step process, where relevant passages in a corpus are…

Information Retrieval · Computer Science 2024-01-23 Weronika Łajewska , Krisztian Balog

Many AI synthesis problems such as planning or scheduling may be modelized as constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all…

Artificial Intelligence · Computer Science 2013-03-25 Thomas Schiex

Answer set programming (ASP) is a form of declarative programming that allows to succinctly formulate and efficiently solve complex problems. An intuitive extension of this formalism is communicating ASP, in which multiple ASP programs…

Logic in Computer Science · Computer Science 2011-09-13 Kim Bauters , Jeroen Janssen , Steven Schockaert , Dirk Vermeir , Martine De Cock

Precise Event Spotting aims to localize fast-paced actions or events in videos with high temporal precision, a key task for applications in sports analytics, robotics, and autonomous systems. Existing methods typically process all frames…

Computer Vision and Pattern Recognition · Computer Science 2026-02-26 Artur Xarles , Sergio Escalera , Thomas B. Moeslund , Albert Clapés

The use of knowledge graphs in recommender systems has become one of the common approaches to addressing data sparsity and cold start problems. Recent advances in large language models (LLMs) offer new possibilities for processing side and…

Information Retrieval · Computer Science 2025-02-13 Minhye Jeon , Seokho Ahn , Young-Duk Seo

Topic segmentation and labeling is often considered a prerequisite for higher-level conversation analysis and has been shown to be useful in many Natural Language Processing (NLP) applications. We present two new corpora of email and blog…

Computation and Language · Computer Science 2014-02-05 Shafiq Rayhan Joty , Giuseppe Carenini , Raymond T Ng

Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm for Knowledge Representation and Reasoning. The attractiveness of ASP builds on an expressive high-level modeling language along with the availability of powerful…

Artificial Intelligence · Computer Science 2021-09-20 Mario Alviano , Wolfgang Faber , Martin Gebser

Knowledge representation and reasoning capacities are vital to cognitive robotics because they provide higher level cognitive functions for reasoning about actions, environments, goals, perception, etc. Although Answer Set Programming (ASP)…

Robotics · Computer Science 2013-07-30 Benjamin Andres , Philipp Obermeier , Orkunt Sabuncu , Torsten Schaub , David Rajaratnam

Grasp detection requires flexibility to handle objects of various shapes without relying on prior knowledge of the object, while also offering intuitive, user-guided control. This paper introduces GraspSAM, an innovative extension of the…

Robotics · Computer Science 2024-09-24 Sangjun Noh , Jongwon Kim , Dongwoo Nam , Seunghyeok Back , Raeyoung Kang , Kyoobin Lee

Many state-of-the-art AI models deployed in cyber-physical systems (CPS), while highly accurate, are simply pattern-matchers.~With limited security guarantees, there are concerns for their reliability in safety-critical and contested…

Artificial Intelligence · Computer Science 2025-05-28 R. Spencer Hallyburton , Miroslav Pajic