Skip to content
conftrace_

AAAI 2025

3,486 papers

Checking Consistency of CP-Theory Preferences in Polynomial Time

Erik Rauer, Samik Basu, Vasant Honavar

A Logical Analysis of Hanabi

Elise Perrotin

Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs

Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

An And-Sum Circuit with Signed Edges That Is More Succinct than SDD

Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

Probabilistic Strategy Logic with Degrees of Observability

Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan

Consistent Query Answering over Existential Rules with Open and Closed Predicates

Lorenzo Marconi, Riccardo Rosati

Temporal Specification Optimisation for the Event Calculus

Periklis Mantenoglou, Alexander Artikis

Spectra of Cardinality Queries over Description Logic Knowledge Bases

Quentin Manière, Marcin Przybyłko

Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases

Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo

Scalable Knowledge Refactoring Using Constrained Optimisation

Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

On Action Theories with Iterable First-Order Progression

Daxin Liu, Jens Claßen

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships

Spencer Killen, Jia-Huai You, Jesse Heyninck

Reasoning About Actual Causes in Nondeterministic Domains

Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv

A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity

Ruiqi Jin, Yongmei Liu, Liping Xiong

APKGC: Noise-enhanced Multi-Modal Knowledge Graph Completion with Attention Penalty

Yue Jian, Xiangyu Luo, Zhifei Li, Miao Zhang, Yan Zhang

Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming

Yusuf Izmirlioglu

New Compilation Languages Based on Restricted Weak Decomposability

Petr Illner

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments

Till Hofmann, Jens Claßen

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation

Jesse Heyninck

LTLf Synthesis Under Unreliable Input

Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan

First-Order Automata

Luca Geatti, Alessandro Gianola, Nicola Gigante

Argumentative Large Language Models for Explainable and Contestable Claim Verification

Gabriel Freedman, Adam Dejl, Deniz Gorur, Xiang Yin, Antonio Rago

On the Logic of Theory Base Change: Reformulation of Belief Bases

Eduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus

Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui

Solving Epistemic Logic Programs Using Generate-and-Test with Propagation

Jorge Fandinno, Lute Lillo

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence

Jorge Fandinno, Zachary Hansen

Replacing Paths with Connection-Biased Attention for Knowledge Graph Completion

Sharmishtha Dutta, Alex Gittens, Mohammed J. Zaki, Charu C. Aggarwal

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu

Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth

Mateus de Oliveira Oliveira

A Computationally Grounded Framework for Cognitive Attitudes

Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber

Situation Calculus Temporally Lifted Abstractions for Generalized Planning

Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli

Germane Conflicts: Desirable Properties for Localising Inconsistency

Glauber de Bona, Anthony Hunter

A Practical Approach to Causal Inference over Time

Martina Cinquini, Isacco Beretta, Salvatore Ruggieri, Isabel Valera

Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases

Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi

CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework

Wei Chen, Yuting Wu, Shuhan Wu, Zhiyu Zhang, Mengqi Liao

DPCL-Diff：Temporal Knowledge Graph Reasoning Based on Graph Node Diffusion Model with Dual-Domain Periodic Contrastive Learning

Yukun Cao, LIsheng Wang, Luobin Huang

Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks

Stefano Bistarelli, Victor David, Pierre Monnin, Francesco Santini, Carlo Taticchi

An Extension-Based Argument-Ranking Semantics: Social Rankings in Abstract Argumentation

Lars Bengel, Giovanni Buraglio, Jan Maly, Kenneth Skiba

Minimal Change in Modal Logic S5

Carlos Aguilera-Ventura, Jonathan Ben-Naim, Andreas Herzig

ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning

Sebastian Adam, Thomas Eiter

Loosely Synchronized Rule-Based Planning for Multi-Agent Path Finding with Asynchronous Actions

Shuai Zhou, Shizhe Zhao, Zhongqiang Ren

FlowPolicy: Enabling Fast and Robust 3D Flow-Based Policy via Consistency Flow Matching for Robot Manipulation

Qinglun Zhang, Zhen Liu, Haoqiang Fan, Guanghui Liu, Bing Zeng

MapExpert: Online HD Map Construction with Simple and Efficient Sparse Map Element Expert

Dapeng Zhang, Dayu Chen, Peng Zhi, Yinda Chen, Zhenlong Yuan

GMAP: Generalized Manipulation of Articulated Objects in Robotic Using Pre-trained Model

Hongliang Zeng, Ping Zhang, Fang Li, QinPeng Yi, Tingyu Ye

Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding

Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor

Neural Assembler: Learning to Generate Fine-Grained Robotic Assembly Instructions from Multi-View Images

Hongyu Yan, Yadong Mu

NaviFormer: A Spatio-Temporal Context-Aware Transformer for Object Navigation

Wei Xie, Haobo Jiang, Yun Zhu, Jianjun Qian, Jin Xie

BEVSync: Asynchronous Data Alignment for Camera-based Vehicle-Infrastructure Cooperative Perception Under Uncertain Delays

Wentao Wang, Jiaqian Wang, Yuxin Deng, Guang Tan

Instruction-Augmented Long-Horizon Planning: Embedding Grounding Mechanisms in Embodied Mobile Manipulation

Fangyuan Wang, Shipeng Lyu, Peng Zhou, Anqing Duan, Guodong Guo

Discovering Conceptual Knowledge with Analytic Ontology Templates for Articulated Objects

Jianhua Sun, Yuxuan Li, Longfei Xu, Jiude Wei, Liang Chai

Towards Audio-Visual Navigation in Noisy Environments: A Large-Scale Benchmark Dataset and an Architecture Considering Multiple Sound-Sources

Zhanbo Shi, Lin Zhang, Linfei Li, Ying Shen

Enhancing Multi-Robot Semantic Navigation Through Multimodal Chain-of-Thought Score Collaboration

Zhixuan Shen, Haonan Luo, Kexun Chen, Fengmao Lv, Tianrui Li

Evolutionary Reinforcement Learning with Parameterized Action Primitives for Diverse Manipulation Tasks

Xianxu Qiu, Haiming Huang, Weiwei Chen, Qiuzhen Lin, Wei-Neng Chen

Heterogeneous Multi-Robot Graph Coverage with Proximity and Movement Constraints

Dolev Mutzari, Yonatan Aumann, Sarit Kraus

When Should We Prefer State-to-Visual DAgger over Visual Reinforcement Learning?

Tongzhou Mu, Zhaoyang Li, Stanisław Wiktor Strzelecki, Xiu Yuan, Yunchao Yao

ConDo: Continual Domain Expansion for Absolute Pose Regression

Zijun Li, zhipeng cai, Bochun Yang, Xuelun Shen, Siqi Shen

Safe Planner: Empowering Safety Awareness in Large Pre-Trained Models for Robot Task Planning

Siyuan Li, Feifan Liu, Lingfei Cui, Jiani Lu, Qinqin Xiao

FloNa: Floor Plan Guided Embodied Visual Navigation

Jiaxin Li, Weiqi Huang, Zan Wang, Wei Liang, Huijun Di

State-Based Disassembly Planning

Chao Lei, Nir Lipovetzky, Krista A. Ehinger

Multi-fingered Hand Grasps with Visuo-Tactile Fusion via Multi-Agent Deep Reinforcement Learning

Peida Jia, Xuanheng Li, Tianqiang Zhu, Rina Wu, Xiangbo Lin

GNN-Transformer Task Planning Enhanced with Semantic-Driven Data Augmentation

Soojin Jeong, Seongwan Byeon, Sangwoo Kim, Hyeokjun Kwon, Yoonseon Oh

Efficient Language-instructed Skill Acquisition via Reward-Policy Co-Evolution

Changxin Huang, Yanbin Chang, Junfan Lin, Junyang Liang, Runhao Zeng

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method

Mingquan Feng, Zhijie Chen, Yixin Huang, Yizhou Liu, Junchi Yan

Int2Planner: An Intention-based Multi-modal Motion Planner for Integrated Prediction and Planning

Xiaolei Chen, Junchi Yan, Wenlong Liao, Tao He, Pai Peng

MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration

Yishuai Cai, Xinglin Chen, Zhongxuan Cai, Yunxin Mao, Minglong Li

Generating Traffic Scenarios via In-Context Learning to Learn Better Motion Planner

Aizierjiang Aiersilan

Personalized Sleep Staging Leveraging Source-free Unsupervised Domain Adaptation

Yangxuan Zhou, Sha Zhao, Jiquan Wang, Haiteng Jiang, Shijian Li

Integrating Inference and Experimental Design for Contextual Behavioral Model Learning

Gongtao Zhou, Haoran Yu

Hierarchical Multi-Source Uncertainty Aggregation for Interactive Video Captioning

Ervine Zheng, Qi Yu

Learning to Collaborate with Unknown Agents in the Absence of Reward

Zuyuan Zhang, Hanhan Zhou, Mahdi Imani, Taeyoung Lee, Tian Lan

CollageNoter: Real-Time and Adaptive Collage Layout Design for Screenshot-Based E-Note-Taking

Qiuyun Zhang, Bin Guo, Lina Yao, Xiaotian Qiao, Ying Zhang

CognitionCapturer: Decoding Visual Stimuli from Human EEG Signal with Multimodal Information

Kaifan Zhang, Lihuo He, Xin Jiang, Wen Lu, Di Wang

Correcting Large Language Model Behavior via Influence Function

Han Zhang, Zhuo Zhang, Yi Zhang, Yuanzhao Zhai, Hanyang Peng

MindPainter: Efficient Brain-Conditioned Painting of Natural Images via Cross-Modal Self-Supervised Learning

Muzhou Yu, Shuyun Lin, Hongwei Yan, Kaisheng Ma

JEN-1 Composer: A Unified Framework for High-Fidelity Multi-Track Music Generation

Yao Yao, Peike Li, Boyu Chen, Alex Wang

Debiased Multimodal Understanding for Human Language Sequences

Zhi Xu, Dingkang Yang, Mingcheng Li, Yuzheng Wang, Zhaoyu Chen

Decomposing and Fusing Intra- and Inter-Sensor Spatio-Temporal Signal for Multi-Sensor Wearable Human Activity Recognition

Haoyu Xie, Haoxuan Li, Chunyuan Zheng, Haonan Yuan, Guorui Liao

BrainMAP: Learning Multiple Activation Pathways in Brain Networks

Song Wang, Zhenyu Lei, Zhen Tan, Jiaqi Ding, Xinyu Zhao

Manhattan Self-Attention Diffusion Residual Networks with Dynamic Bias Rectification for BCI-based Few-Shot Learning

Hao Wang, Li Xu, Yuntao Yu, Weiyue Ding, Yiming Xu

BrainGuard: Privacy-Preserving Multisubject Image Reconstructions from Brain Activities

Zhibo Tian, Ruijie Quan, Fan Ma, Kun Zhan, Yi Yang

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces

Yinxu Tang, Stylianos Loukas Vasileiou, William Yeoh

DeCorrNet: Enhancing Neural Decoding Performance by Eliminating Correlations in Noise

Xianhan Tan, Yu Qi, Yueming Wang

Forward KL Regularized Preference Optimization for Aligning Diffusion Policies

Zhao Shan, Chenyou Fan, Shuang Qiu, Jiyuan Shi, Chenjia Bai

BotSim: LLM-Powered Malicious Social Botnet Simulation

Boyu Qiao, Kun Li, Wei Zhou, Shilong Li, Qianqian Lu

A No Free Lunch Theorem for Human-AI Collaboration

Kenny Peng, Nikhil Garg, Jon Kleinberg

Learning Visually Grounded Domain Ontologies via Embodied Conversation and Explanation

Jonghyuk Park, Alex Lascarides, Subramanian Ramamoorthy

Breaking Data Silos in Parkinson’s Disease Diagnosis: An Adaptive Federated Learning Approach for Privacy-Preserving Facial Expression Analysis

Meng Pang, Houwei Xu, Zheng Huang, Yintao Zhou, Wei Huang

Moonshine: Distilling Game Content Generators into Steerable Generative Models

Yuhe Nie, Michael Middleton, Tim Merino, Nidhushan Kanagaraja, Ashutosh Kumar

Optimal and Efficient Binary Questioning for Accelerated Annotation

Franco Marchesoni-Acland, Jean-Michel Morel, Josselin Kherroubi, Gabriele Facciolo

The Illusion of Empathy: How AI Chatbots Shape Conversation Perception

Tingting Liu, Salvatore Giorgi, Ankit Aich, Allison Lahnala, Brenda Curtis

Human and AI Perceptual Differences in Image Classification Errors

Minghao Liu, Jiaheng Wei, Yang Liu, James Davis

HiPoser: 3D Human Pose Estimation with Hierarchical Shared Learning at Parts-Level Using Inertial Measurement Units

Guorui Liao, Chunyuan Zheng, Li Cheng, Haoyu Xie, Shanshan Huang

Gradient-Guided Credit Assignment and Joint Optimization for Dependency-Aware Spatial Crowdsourcing

Yafei Li, Wei Chen, Jinxing Yan, Huiling Li, Lei Gao

ConSense: Continually Sensing Human Activity with WiFi via Growing and Picking

Rong Li, Tao Deng, Siwei Feng, Mingjie Sun, Juncheng Jia

Label Aggregation for Composite Crowd Tasks by Worker Ability Constraint Satisfaction

Jiyi Li

AnchorInv: Few-Shot Class-Incremental Learning of Physiological Signals via Feature Space-Guided Inversion

Chenqi Li, Boyan Gao, Gabriel Davis Jones, Timothy Denison, Tingting Zhu

Cognitive Fluctuations Enhanced Attention Network for Knowledge Tracing

Mingliang Hou, Xueyi Li, Teng Guo, Zitao Liu, Mi Tian

Mixture of Experts Based Multi-Task Supervise Learning from Crowds

Tao Han, Huaixuan Shi, Xinyi Ding, Xi-Ao Ma, Huamao Gu

MindTuner: Cross-Subject Visual Decoding with Visual Fingerprint and Semantic Correction

Zixuan Gong, Qi Zhang, Guangyin Bao, LEI ZHU, Rongtao Xu