大模型推理能力

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

Francesco Belardinelli, Alessio Lomuscio

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 45, pages 1-45, 2012

Computational Logic Foundations of KGP Agents

Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 33, pages 285-348, 2008

Towards a General-Purpose Belief Maintenance System

Brian Falkenhainer

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (UAI1986)

The Relationship between Knowledge, Belief and Certainty

Joseph Y. Halpern

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Time, Chance, and Action

Peter Haddawy

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Symbolic Decision Theory and Autonomous Systems

John Fox, Paul J. Krause

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI1991)

Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?"

Thomas Schiex

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (UAI1992)

Nonparametric Bayesian Logic

Peter Carbonetto, Jacek Kisynski, Nando de Freitas, David L Poole

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Breaking Instance-Independent Symmetries In Exact Graph Coloring

F. A. Aloul, I. L. Markov, A. Ramani, K. A. Sakallah

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 26, pages 289-322, 2006

Limits of Preprocessing

Stefan Szeider

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments This is a slightly longer version of a paper that appeared in the proceedings of AAAI 2011

Deductive Algorithmic Knowledge

Riccardo Pucella

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 28 pages. A preliminary version of this paper appeared in the Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics, AI&M 22-2004, 2004

Journal ref Journal of Logic and Computation 16 (2), pp. 287-309, 2006

Knowledge And The Action Description Language A

Jorge Lobo, Gisela Mendez, Stuart R. Taylor

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

Journal ref Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

Set-Theoretic Completeness for Epistemic and Conditional Logic

Joseph Y. Halpern

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments This is an expanded version of a paper that appeared in AI and Mathematics, 1998

Journal ref Annals of Mathematics and Artificial Intelligence, vol. 26, 1999, pp. 1-27

Qualitative and Quantitative Models of Speech Translation

Hiyan Alshawi

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Appeared in proceedings of the ACL workshop "The Balancing Act, Combining Symbolic and Statistical Approaches to Language", Las Cruces NM, July 1994. LaTeX, 24 pages

Representation Theory for Default Logic

Victor Marek, Jan Treur, Miroslaw Truszczynski

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Annals of Mathematics and Artificial Intelligence, 21 (1997), pp. 343-358

Constraint-based analysis of composite solvers

Evgueni Petrov, Eric Monfroy

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments submitted to AI SAC 2004

Defeasible Logic Programming: An Argumentative Approach

Alejandro Javier Garcia, Guillermo Ricardo Simari

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 43 pages, to appear in the journal "Theory and Practice of Logic Programming"

A Modal Logic Framework for Multi-agent Belief Fusion

Churn-Jung Liau

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments LaTex, 29 pages

Multi-Agent Only Knowing

Joseph Y. Halpern, Gerhard Lakemeyer

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments To appear, Journal of Logic and Computation

GPT in Game Theory Experiments

Fulin Guo

专题命中 逻辑推理 ：reasoning(abstract,comments)

Comments updated to use GPT-4 instead of GPT-3.5 and added reasoning analysis

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

专题命中 逻辑推理 ：reasoning(abstract,journal_ref)

Comments Extended version of a paper accepted at LPAR23

Journal ref LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 73, 2020, pages 32--67

Harness Engineering for Predictable Agentic Systems: An Empirical Study of Deterministic Execution Constraints

利用工程实现可预测的智能体系统：确定性执行约束的实证研究

Saransh Dhage

专题命中 逻辑推理 ：planning(abstract)

AI总结 本研究通过实证探究harness工程中确定性执行约束对LLM智能体的影响，发现添加结构化规划可提升可复现性与任务成功率，但延迟存在模型依赖的成本差异。

Comments 9 pages, 3 tables

Strategy-Aware Parameter-Efficient Adaptation for LLM-based Auto-Bidding

基于大语言模型的自动出价的策略感知参数高效适配

Songyue Cai, Lianyu Wang, Shan Gu, Ziru Xu, Jian Xu, Xiaofeng Zhu, Bo Zheng

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 研究广告自动出价问题，提出SAGE框架，通过位置增强、文本对齐和约束门控LoRA三个组件，实现参数高效多模态对齐，在大规模基准实验中性能卓越，调整参数少，消融研究验证各组件贡献。

DBcover: A White-box SQL Test Generation Framework for Coverage Improvement

DBcover：一种用于提升覆盖率的白盒SQL测试生成框架

Yankai Rong, Shuang Liu, Jinhao Dong, Qiang Yin, Wei Lu, Jianhua Wang, Xiaoyong Du

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 针对RDBMS测试覆盖率提升难题，提出LLM驱动的白盒SQL测试生成框架DBcover，经实验在PostgreSQL、MySQL及KingbaseES上均实现有效覆盖率提升。

Comments Accepted to the ICSE 2026 Industry Challenge Track. 12 pages, 4 figures, 2 tables

Automating Parent Selection Configuration in Genetic Programming with Agentic AI

用智能体人工智能实现遗传编程中父代选择配置的自动化

Jose Guadalupe Hernandez, Jui-Hsuan Chang, Anil Kumar Saini, Xi Li, Jason H. Moore

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 该研究提出智能体AI框架，结合LLM推理与RAG实现遗传编程父代选择配置自动化，经符号回归测试，5 mini--AR配置表现优于锦标赛选择，为进化系统自动化设计提供了新路径。

Comments Updated Benchmarking figure with correct statistical test results

Rethinking Agentic Kernel Generation for Emerging Accelerators

面向新兴加速器的智能体内核生成方法反思

Ruijie Gao, Jirong Yang, Barry Lyu, Haoran Jin, Nathan Bleier

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 针对新兴加速器内核生成的现有方法反复重建无关语义的问题，提出编译器介导的Zomboss框架，将语义编译为可复用接口，在20个Gemmini和36个PLENA工作负载上实现全实例正确，且性能优于基线方法、推理成本更低。

Comments 12 pages, 7 figures

RT-NeuS: Towards Real-Time Neuro-Symbolic Video Understanding via Adaptive Temporal Verification

LE-NeuS: 通过自适应时间验证实现低延迟的神经符号视频理解

Shawn Liang, Sahil Shah, Chengwei Zhou, S P Sharan, Harsh Goel, Arnab Sanyal, Sandeep Chinchali, Gourav Datta

机构 * Case Western Reserve University（凯斯西储大学） ； The University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 LE-NeuS通过自适应时间验证优化，实现低延迟的神经符号视频理解，在保持高准确率的同时大幅减少推理延迟。

Comments Camera-ready version, accepted at NeuS 2026

PowerSlider: Exploiting Phase Asymmetry for LLM Serving under Demand Response

PowerSlider：利用相位不对称性实现需求响应下的大语言模型服务

Yueying Li, Jiayang Chen, Yuanfan Chen, Leo Han, Haoran Qiu, Esha Choukse, Rodrigo Fonseca, Udit Gupta

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 PowerSlider通过分解大语言模型服务阶段并结合KKT在线求解器，在电网需求响应的时变功率上限下，显著提升了服务吞吐量与延迟性能。

Multi-Tier Mentorship with AI-Assisted Development: Authentic Engineering for K-12 and Undergraduates

结合AI辅助开发的多层级指导模式：面向K-12学生与本科生的真实工程实践

Kelly Yuan, Ronald Liu, Daniel Crawford, Weihao Qu

专题命中 逻辑推理 ：reasoning(abstract)

AI总结 本文提出结合AI辅助开发的多层级指导框架，让K-12学生与本科生协作开发LuckyTag系统，试点显示该模式可降低技术障碍、提升架构理解，为跨群体计算协作提供了新方案。

Comments 8 pages, 8 figures, 2 tables. Accepted to IEEE ISEC 2026

TrustMee: Self-Verifying Remote Attestation Evidence

TrustMee: 自验证远程证明证据

Parsa Sadri Sinaki, Zainab Ahmad, Wentao Xie, Merlijn Sebrechts, Jimmy Kjällman, Lachlan J. Gunn

专题命中 逻辑推理 ：verifier(abstract)

AI总结 TrustMee通过自验证远程证明证据机制，实现跨平台的证明验证，无需特定平台代码，利用WebAssembly组件实现验证逻辑的通用性。

Comments 16 pages, 7 figures