迈克尔·盖尔芬德；弗拉基米尔·利夫希茨 用逻辑程序表示动作和变化。 （英语） Zbl 0783.68024号 J.日志。程序。 17，编号2-4，301-321（1993）。 摘要：我们在逻辑编程语言中表示动作的属性，该语言使用经典否定和否定作为失败。该方法适用于信息不完全的时间投影问题，也适用于对过去的推理。相对于基于状态和转换函数的动作语义，它被证明是合理的。 引用于4评论引用于87文件 MSC公司： 68N17号 逻辑编程 68T99型 人工智能 关键词：时间推理；改变；行动；否定即失败 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gelfond｝和\textit｛V.Lifschitz｝，J.日志。程序。17、编号2--4、301-321（1993；Zbl 0783.68024） 全文： 内政部