Search

Search Results

• Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

  Giuseppe De Giacomo, Yves Lesperance, Matteo Mancanelli

  19047-19054

  2026-03-14

• Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach

  Qihui Feng, Gerhard Lakemeyer

  19064-19072

  2026-03-14

• Two Heads Are Better than One: Distilling Large Language Model Features into Small Models with Feature Decomposition and Mixture

  Tianhao Fu, Xinxin Xu, Weichen Xu, Jue Chen, Ruilong Ren, Bowen Deng, Xinyu Zhao, Jian Cao, Xixin Cao

  19082-19090

  2026-03-14

• Non-Monotonic S4F Standpoint Logic

  Piotr Gorczyca, Hannes Strass

  19126-19134

  2026-03-14

• The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic

  Bernardo Cuenca Grau, Eva Feng, Przemysław Andrzej Wałęga

  19135-19142

  2026-03-14

• Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures

  MohammadHossein Karimian, Shakil M Khan, Yves Lesperance

  19178-19188

  2026-03-14

• A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference

  Xu Li, Leendert Van der Torre, Liuwen Yu

  19259-19266

  2026-03-14

• From Dialogue to Destination: Geography-Aware Large Language Models with Multimodal Fusion for Conversational Recommendation

  Yeming Li, Chenxi Liu, Jie Zou, Cheng Long, Chaoning Zhang, Peng Wang, Yang Yang

  19267-19275

  2026-03-14

• Structure-Aware Encodings of Argumentation Properties for Clique-width

  Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes K. Fichte

  19294-19302

  2026-03-14

• EchoEdit: Consistent Multi-Hop Question Answering via Ripple Control in Knowledge Editing

  Jinwei Shi, Wenxuan Huang, Yu Xing, Yunhui Liu, Tao Zheng, Bin Chong, Tieke He

  19362-19370

  2026-03-14

• Encode Geometric Diagram as Geo-Graph in Geometry Problem Solving

  Wenjun Wu, Lingling Zhang, Bo Zhao, Bo Li, Xinyu Zhang, Yaqiang Wu

  19424-19432

  2026-03-14

• Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-Based Test Oracles

  Zihao Xu, Junchen Ding, Yiling Lou, Kun Zhang, Dong Gong, Yuekang Li

  19433-19440

  2026-03-14

• Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study

  Yingji Zhang, Marco Valentino, Danilo Carvalho, André Freitas

  19458-19466

  2026-03-14

• DOS: Distilling Observable Softmaps of Zipfian Prototypes for Self-Supervised Point Representation

  Mohamed Abdelsamad, Michael Ulrich, Bin Yang, Miao Zhang, Yakov Miron, Abhinav Valada

  19514-19523

  2026-03-14

• ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

  Rik Adriaensen, Lucas Van Praet, Jessa Bekker, Robin Manhaeve, Pieter Delobelle, Maarten Buyl

  19542-19550

  2026-03-14

• RefiDiff: Progressive Refinement Diffusion for Efficient Missing Data Imputation

  Md Atik Ahamed, Qiang Ye, Qiang Cheng

  19551-19559

  2026-03-14

• InfoQ: Mixed-Precision Quantization via Global Information Flow

  Mehmet Emre Akbulut, Hazem Hesham Yousef Shalby, Fabrizio Pittorino, Manuel Roveri

  19598-19606

  2026-03-14

• Revisiting (Un)Fairness in Recourse by Minimizing Worst-Case Social Burden

  Ainhize Barrainkua, Giovanni De Toni, Jose A. Lozano, Novi Quadrianto

  19693-19701

  2026-03-14

• Deep Clustering Based on Sparse Kolmogorov-Arnold Network and Spectral Constraint

  Zixuan Bi, Yang Zhao, Ganchao Liu

  19720-19727

  2026-03-14

• HyperGOOD: Towards Out-of-Distribution Detection in Hypergraphs

  Tingyi Cai, Yunliang Jiang, Ming Li, Changqin Huang, Yujie Fang, Chengling Gao, Zhonglong Zheng

  19817-19825

  2026-03-14

• Rethinking Explanation Evaluation Under the Retraining Scheme

  Yi Cai, Thibaud Ardoin, Mayank Gulati, Gerhard Wunder

  19826-19834

  2026-03-14

• Stabilizing Self-Consuming Diffusion Models with Latent Space Filtering

  Zhongteng Cai, Yaxuan Wang, Yang Liu, Xueru Zhang

  19844-19852

  2026-03-14

• Causality-Aware Efficient Exploration for Cooperative Multi-Agent Reinforcement Learning

  Hongye Cao, Tianpei Yang, Fan Feng, Hammadi Rafik Ouariachi, Yali Du, Meng Fang, Jing Huo, Yang Gao

  19880-19888

  2026-03-14

• Provably Efficient Multi-Objective Bandit Algorithms Under Preference-Centric Customization

  Linfeng Cao, Ming Shi, Ness B. Shroff

  19889-19897

  2026-03-14

• Enhancing Medical Large Vision-Language Models via Alignment Distillation

  Aofei Chang, Ting Wang, Fenglong Ma

  19952-19960

  2026-03-14