IJCAI

DEEPMED Search: An Open-Source Agentic Platform for Medical Deep Research with Introspective Verification

DEEPMED Search: 一个具有内省验证功能的开源医学深度研究智能体平台

Maolin Liu, Fanyu Xu, Ruoqing Xu, Jiahang Zhang, Hao Wang, Rui Wang

机构 * School of Computer Science and Software Engineering, Shanghai University（上海大学计算机科学与软件工程学院） ； Department of Computer Science and Engineering, Shanghai Jiao Tong University（上海交通大学计算机科学与工程系） 纠错

AI总结 提出一个开源智能体平台DEEPMED Search，通过源自适应路由和内省验证模块，自动分解复杂医学查询并生成结构化报告，解决异构医疗数据检索中的推理漂移问题。

Comments 5 pages, 2 figures, 2 tables. Accepted to IJCAI-ECAI 2026 Demo Track. Project website: https://www.deepmedsearch.cloud. Demo video: https://youtu.be/4U4aok8yLpk

Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

Langshaw: 基于Sayso和冲突的声明式交互协议

Munindar P. Singh, Samuel H. Christie, Amit K. Chopra

机构 * Department of Computer Science, North Carolina State University（北卡罗来纳州立大学计算机科学系） ； School of Computing and Communications, Lancaster University（兰卡斯特大学计算与通讯学院） 纠错

AI总结 提出Langshaw声明式协议语言，通过sayso、nono和nogo构造平衡灵活性与语义表达，并给出形式语义、安全活性判定及消息协议生成方法。

Comments Appeared in IJCAI 2024

SMaRT: Online Reusable Resource Assignment and an Application to Mediation in the Kenyan Judiciary

SMaRT：在线可重用资源分配及其在肯尼亚司法调解中的应用

Shafkat Farabi, Didac Marti Pinto, Wei Lu, Manuel Ramos-Maqueda, Sanmay Das, Antoine Deeb, Anja Sautmann

机构 * Virginia Tech（弗吉尼亚理工学院） ； University College London（伦敦大学学院） ； The World Bank（世界银行） 纠错

AI总结 本文提出SMaRT算法，解决肯尼亚司法系统中调解员分配问题，通过二次规划和多智能体老虎机框架实现资源分配与学习，提升任务完成率并平衡容量约束与案件解决率。

Comments Accepted for Publication at IJCAI 2026