大模型推理能力

Extended Graded Modalities in Strategy Logic

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

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

Comments In Proceedings SR 2016, arXiv:1607.02694

Journal ref EPTCS 218, 2016, pp. 1-14

A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

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

Comments Full version of "A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs" AAAI 2016

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

Max Wisniewski, Alexander Steen, Christoph Benzmüller

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

Comments 6 pages, to appear in the proceedings of CICM'2015 conference

Logics of Temporal-Epistemic Actions

Bryan Renne, Joshua Sack, Audrey Yap

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

Towards a Logic-Based Unifying Framework for Computing

Robert Kowalski, Fariba Sadri

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

Comments An improved version of this paper will be published in the journal, New Generation Computing, with the title "Reactive Computing as Model Generation". In the meanwhile, a copy of the revised paper can be found on http://www.doc.ic.ac.uk/~rak/

Backdoors to Tractable Answer-Set Programming

Johannes Klaus Fichte, Stefan Szeider

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

Comments This paper extends and updates papers that appeared in the proceedings of IJCAI'11 (arXiv:1104.2788) and ESSLLI'11 (arXiv:1205.3663). We provide a higher detail level, full proofs and more examples; present new results on preprocessing, a general method to lift parameters from normal programs to disjunctive programs, and a theoretical comparison of ASP-parameters; and provide some empirical data

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

Autonomous Cyber Defense in Connected Vehicles: A Multi-Agent Approach to V2X Security

网联车辆中的自主网络防御：一种面向V2X安全的多智能体方法

Krishna Teja Medam

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

AI总结 针对网联车辆V2X安全，提出三层多智能体架构，以SAE标准时序为硬性约束，分层处理消息分类、冲突解决与模型优化，解决现有入侵检测系统的安全-安保冲突问题。

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配置表现优于锦标赛选择，为进化系统自动化设计提供了新路径。

Astrobiology and the Transformation of Scientific Epistemology

天体生物学与科学认识论的变革

Kristina Šekrst

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

AI总结 该研究探讨天体生物学因“n=1问题”成为缺乏基础确定性的“暂态科学”，其与AI等新兴领域共同推动科学知识构建方式的变革。

Comments In: Steven J. Dick, Astronomy and Philosophy: Conceptual and Methodological Foundations and Challenges, 2026. Cambridge: Cambridge University Press

Journal ref In: Steven J. Dick, Astronomy and Philosophy: Conceptual and Methodological Foundations and Challenges, 2026. Cambridge: Cambridge University Press