位置：成果数据库 > 会议 > 会议详情页
A first-order interpreter for knowledge-based Golog with sensing based on exact progression and limi
  • 所属机构名称：中山大学
  • 会议名称：In Proceedings of the 26th AAAI Conference on Artificial Intelligence(AAAI-12)
  • 时间：2012
  • 成果类型：会议
  • 相关项目：情景演算中的关键推理技术及其应用研究
作者： Fan Yi|Cai Minghui|Li Naiqi|Liu Yongmei|
同会议论文项目
情景演算中的关键推理技术及其应用研究
会议论文 5
同项目会议论文
On the Progression of Knowledge in the Situation Calculus
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