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