位置：成果数据库 > 会议 > 会议详情页
Reasoning about State Constraints in the Situation Calculus
  • 所属机构名称：中山大学
  • 会议名称：In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13)
  • 时间：2013.8.8
  • 成果类型：会议
  • 相关项目：情景演算中的关键推理技术及其应用研究
作者： Li Naiqi|Fan Yi|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 Knowledge and Belief Change in the Situation Calculus
Multi-agent Epistemic Explanatory Diagnosis via Reasoning about Actions