AAAI

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming

朝向单指数时间的时序与空间推理：通过冗余性和动态规划的研究

Victor Lagerkvist, Johanna Groven, Leif Eriksson

AI总结 本文研究了时序与空间推理问题，探讨了通过冗余性和动态规划方法实现单指数时间复杂度的可能性，提出了针对RCC和IA问题的两种算法，分别在不同条件下达到了接近已知时间复杂度的性能。

Comments 14 Pages, 2 Figures, 2 Tables, 3 Algorithms

Journal ref Proceedings of the AAAI Conference on Artificial Intelligence. 40, 17 (Mar. 2026), 14287-14294

From Width-Based Model Checking to Width-Based Automated Theorem Proving

从基于宽度的模型检验到基于宽度的自动定理证明

Mateus de Oliveira Oliveira, Sam Urmian

机构 * Stockholm University（斯德哥尔摩大学） ； University of Bergen（卑尔根大学） 纠错

AI总结 本文提出一个通用框架，将大量基于宽度的模型检验算法转换为用于测试图论猜想在有限宽度图类上有效性的算法，改进了理论上的上界。

Comments A preliminary version of this work was published in the proceedings of AAAI 2023

Spectral bandits for smooth graph functions with applications in recommender systems

图上平滑函数的谱带it问题及其在推荐系统中的应用

Tomáš Kocák, Michal Valko, Rémi Munos, Branislav Kveton, Shipra Agrawal

机构 * SequeL team, Inria France Microsoft Research New England（Inria法国微软新英格兰研究实验室SequeL团队） ； Technicolor Research Center California（Technicolor加州研究中心） ； Microsoft Research New England（微软新英格兰研究实验室） ； Microsoft Research Bangalore India（微软班加罗尔印度研究实验室） 纠错

AI总结 本文研究了图上平滑函数的带it问题，提出了一种在推荐系统中有效学习用户偏好的方法，通过有效维度的定义和线性缩放的算法，实现了低悔的在线学习。

Comments Published at AAAI 2014 - SDMBD

Anti-establishment sentiment on TikTok: Implications for understanding influence(rs) and expertise on social media

TikTok上的反 Establishment 情绪：对社交媒体中影响者和专业知识理解的启示

Tianliang Xu, Ariel Hasell, Sabina Tomkins

AI总结 本文研究了TikTok上反 Establishment 情绪的普遍性，通过计算方法分析了金融、健康和阴谋论等主题内容中反 Establishment 情绪的分布，并探讨了社交媒体环境中反 Establishment 情绪对用户参与和平台激励的影响。

Comments 10 pages excluding references; 14 pages in total; 4 figures; Accepted by the AAAI Conference on Web and Social Media (ICWSM-2026)