位置：成果数据库 > 会议 > 会议详情页
Multi-agent Knowledge and Belief Change in the Situation Calculus
  • 所属机构名称：中山大学
  • 会议名称：In Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI-13)
  • 时间：2013.7.7
  • 成果类型：会议
  • 相关项目：情景演算中的关键推理技术及其应用研究
作者： Fang Liangda|Liu Yongmei|
同会议论文项目
情景演算中的关键推理技术及其应用研究
会议论文 5
同项目会议论文
On the Progression of Knowledge in the Situation Calculus
A first-order interpreter for knowledge-based Golog with sensing based on exact progression and limi
Multi-agent Epistemic Explanatory Diagnosis via Reasoning about Actions
Reasoning about State Constraints in the Situation Calculus