AI Agent

Search for Choquet-optimal paths under uncertainty

Lucie Galand, Patrice Perny

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence (UAI2007)

Deterministic POMDPs Revisited

Blai Bonet

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI2009)

Generating Optimal Plans in Highly-Dynamic Domains

Christian Fritz, Sheila McIlraith

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI2009)

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

Danel Ahman, Marko Kääramees

专题命中 工具调用 ：planning(abstract)；分类 cs.SE

Comments In Proceedings MBT 2012, arXiv:1202.5826

Journal ref EPTCS 80, 2012, pp. 115-129

Anytime Heuristic Search

E. A. Hansen, R. Zhou

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 28, pages 267-297, 2007

FluCaP: A Heuristic Search Planner for First-Order MDPs

S. Hoelldobler, E. Karabaev, O. Skvortsova

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 27, pages 419-439, 2006

Semantic annotation of requirements for automatic UML class diagram generation

Soumaya Amdouni, Wahiba Ben Abdessalem Karaa, Sondes Bouabid

专题命中 工具调用 ：tool use(abstract)；分类 cs.SE

AltAltp: Online Parallelization of Plans with Heuristic State Search

S. Kambhampati, R. Sanchez

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 19, pages 631-657, 2003

Constructing Conditional Plans by a Theorem-Prover

J. Rintanen

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 10, pages 323-352, 1999

Adaptive Parallel Iterative Deepening Search

D. J. Cook, R. C. Varnell

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 9, pages 139-165, 1998

The Ariadne's Clew Algorithm

J. M. Ahuactzin, P. Bessiere, E. Mazer

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 9, pages 295-316, 1998

Cost Based Satisficing Search Considered Harmful

William Cushing, J. Benton, Subbarao Kambhampati

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Comments Longer version of an extended abstract from SOCS 2010

Reinforcement Learning via AIXI Approximation

Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver

专题命中 工具调用 ：agent(abstract)；分类 cs.LG

Comments 8 LaTeX pages, 1 figure

Journal ref Proc. 24th AAAI Conference on Artificial Intelligence (AAAI 2010) pages 605-611

On Backtracking in Real-time Heuristic Search

Valeriy K. Bulitko, Vadim Bulitko

专题命中 工具调用 ：agent(abstract)；分类 cs.AI

Sum of Us: Strategyproof Selection from the Selectors

Noga Alon, Felix Fischer, Ariel D. Procaccia, Moshe Tennenholtz

专题命中 工具调用 ：agent(abstract)；分类 cs.AI

Network Topology and Time Criticality Effects in the Modularised Fleet Mix Problem

James M. Whitacre, Axel Bender, Stephen Baker, Qi Fan, Ruhul A. Sarker, Hussein Abbass

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref SimTecT 2007 conference, Melbourne Australia

Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning

A. Gerevini, L. Schubert

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Comments See http://www.jair.org/ for an online appendix and other files accompanying this article

Journal ref Journal of Artificial Intelligence Research, Vol 5, (1996), 95-137

'Computing' as Information Compression by Multiple Alignment, Unification and Search

J Gerard Wolff

专题命中 工具调用 ：planning(abstract)；分类 cs.AI

Journal ref Journal of Universal Computer Science 5(11), 776--815, 1999

Steady State Resource Allocation Analysis of the Stochastic Diffusion Search

Slawomir J. Nasuto, Mark J. Bishop

专题命中 工具调用 ：agent(abstract)；分类 cs.AI

Comments 25 pages, 7 figures

Constraint Exploration and Envelope of Simulation Trajectories

Oswaldo Teran, Bruce Edmonds, Steve Wallis

专题命中 工具调用 ：agent(abstract)；分类 cs.AI

Comments 15 pages, To be presented at the First Workshop on Rule-Based Constraint Reasoning and Programming at the First International Conference on Computational Logic, London, UK, 24th to 28th July, 2000

DocArena: Turning Raw Documents into Controllable Training Environments for Document Search Agents

DocArena：将原始文档转化为可控的训练环境用于文档搜索代理

Jiamian Wang, Ruiyi Zhang, Tong Yu, Jing Shi, Samyadeep Basu, Rajiv Jain, Zhiqiang Tao, Tong Sun

机构 * Rochester Institute of Technology（罗切斯特理工学院） ； Adobe Research（Adobe研究院） 纠错

专题命中 工具调用 ：agent(abstract,comments)

AI总结 提出DocArena自动化流程，通过多模态文档结构化、推理型QA对构建和质量控制，生成可控训练环境，使基于文本LLM的搜索代理在多模态文档检索和问答中取得最佳性能。

Comments search agent for documents

Competitive Information Design for Pandora's Box

Bolin Ding, Yiding Feng, Chien-Ju Ho, Wei Tang, Haifeng Xu

专题命中 工具调用 ：agent(abstract,comments)

Comments add new section for agent's optimal strategy, strengthen the results for agent's payoff and Blackwell's informativeness, etc

Stochastic project management: Multiple projects with multi-skilled human resources

Thomas Felberbauer, Walter Gutjahr, Karl Doerner

专题命中 工具调用 ：planning(abstract,comments)

Comments Stochastic optimization, Project scheduling, Personnel planning, Heterogeneous skills, Iterated local search

JANUS: Online Jacobian-Aligned Infill for Black-Box Optimization

JANUS：用于黑箱优化的在线雅可比对齐填充

Hongyuan Yu, Pufan Xu, Jiaojiao Yi, Yiding Tian, Mingrui Sun, Jiayuan Lu, Changyuan Wen

专题命中 工具调用 ：planning(abstract)

AI总结 JANUS是即插即用的黑箱优化填充模块，实时估计局部雅可比引导搜索，提升了CMA-ES等宿主优化器在BBOB、多目标等任务上的性能，无需离线训练。

Comments 27 pages, BBO method

SARCLIP: A Scalable CLIP-Based Retrieval System for Seventeenth-Century Spanish American Notary Records

SARCLIP：用于17世纪西班牙美洲公证记录的可扩展CLIP检索系统

Chandrasekhar Syamala, Parshad Suthar, Hulayyil Alshammari, Viviana Grieco, Praveen Rao

专题命中 工具调用 ：workflow(abstract)

AI总结 该研究针对历史手稿档案检索难题，构建了基于CLIP的SARCLIP系统，结合FAISS索引、伪相关反馈等人在回路功能，可在大规模17世纪西班牙美洲公证记录语料库上实现完整交互式检索。

Comments 4 pages, 2 figures. To appear

Scalable PII Discovery in Mobile App Databases via Hypothesis-Driven Search

基于假设驱动搜索的移动应用数据库中可扩展个人身份信息（PII）发现

Jeel Piyushkumar Khatiwala, Samad Afolabi, Ruoyao Xiao, Yu Luo, Dianxiang Xu, Weifeng Xu

专题命中 工具调用 ：agent(abstract)

AI总结 该研究针对移动应用数据库中PII发现的难题，提出假设驱动框架，在25个SQLite数据库上验证，Gemini 2.5 Pro取得94.5% F1，可缩减79.9%有效搜索空间，且模型性能受其能力影响显著。

Comments X pages, Y figures. Accepted at IDFC 2026 (Trento, Italy). To appear in Frontiers in Artificial Intelligence and Applications, IOS Press

Exact versus unique nondeterministic automatic complexity

精确非确定性自动机复杂度与唯一非确定性自动机复杂度

Bjørn Kjos-Hanssen, Travis Rivera Petit

专题命中 工具调用 ：agent(abstract)

AI总结 该研究证明精确非确定性自动机复杂度$A_{Ne}$与唯一非确定性自动机复杂度$A_N$存在差异，找到二进制分离单词w，经穷举搜索和SAT求解器验证，分离结果由AI智能体发现。

AI-Assisted Extraction of Follow-up Observations from GCN Circulars in Astro-COLIBRI

AI辅助从Astro-COLIBRI中的GCN Circulars提取后续观测数据

Fabian Schüssler, S. Bisero, M. Cellier, A. Ciric, B. Cornejo, I. Jaroschewski, A. Kaan Alkan, W. Kiendrébéogo, A. Saint-Paul

专题命中 工具调用 ：workflow(abstract)

AI总结 该研究开发了Astro-COLIBRI的AI辅助组件，可将GCN Circulars转换为结构化后续记录，经评估准确率达99.80%，已实时处理新Circulars并发布开源解析管道。

Building atomistic models of heterointerfaces with optimal transport

基于最优传输构建异质界面的原子模型

Yuxuan Tang, Keith T. Butler

专题命中 工具调用 ：workflow(abstract)

AI总结 本文提出融合格罗莫夫-瓦瑟斯坦（FGW）距离结合贝叶斯优化的工作流，构建异质界面原子模型，可高效筛选界面晶格匹配关系，性能优于随机搜索及预训练MACE能量引导方法。

A proof of Esterle's conjecture on negative powers of Hilbert-space contractions

关于Hilbert空间收缩算子负幂的Esterle猜想的证明

Thomas Ransford

专题命中 工具调用 ：tool use(abstract)

AI总结 本文证明了Esterle关于Hilbert空间收缩算子负幂的猜想，通过构造正序列验证了在特定条件下的算子为单位算子。

Comments 8 pages