TARK 2025汇集跨学科研究，探讨理性与知识的理论基础。
Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
- 聚焦理性、知识与信念的语义模型与逻辑框架。
- 涵盖博弈论、多智能体系统、认知科学等交叉议题。
- 适合逻辑、人工智能与认知科学领域研究者参考。
TARK会议（理性与知识的理论方面）旨在汇聚计算机科学、人工智能、博弈论、决策论、哲学、逻辑学、语言学及认知科学等多个领域的研究者，推动对涉及理性与知识推理的跨学科问题的理解。该会议自1986年起由约瑟夫·哈尔珀恩（康奈尔大学）发起，每两年举办一次。会议关注的主题包括但不限于：知识、信念、不确定性、意识的语义模型，有限理性，常识性认知推理，认知逻辑，认知博弈论，知识与行动的关系，知识及其他心理状态的推理应用，信念修正，计算社会选择，算法博弈论，以及多智能体系统的理论基础。本文集收录了第20届理性与知识理论国际会议（TARK 2025）于2025年7月14日至16日在德国杜塞尔多夫海因里希-海涅大学举行的论文。会议官网为：https://ccc.cs.uni-duesseldorf.de/tark-2025/。
原文摘要 · Abstract (English)
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory, philosophy, logic, linguistics, and cognitive science. Its goal is to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held biennially around the world since 1986, on the initiative of Joe Halpern (Cornell University). Topics of interest include, but are not limited to, semantic models for knowledge, belief, uncertainty, awareness, bounded rationality, common sense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems. Information about TARK is available at http://www.tark.org/. These proceedings contain the papers that have been accepted for presentation at the Twentieth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2025), held July 14--16, 2025, at Heinrich-Heine-Universität, Düsseldorf, Germany. The conference website can be found at https://ccc.cs.uni-duesseldorf.de/tark-2025/.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。