首页 /研究 /GOLOG: A logic programming language for dynamic domains
OTHER

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

发表年份
1997
引用次数
1,039

关键词

Computer scienceProgramming languageAxiomPrologLogic programmingInterpreterAbstractionEquational logicState (computer science)Event calculus

相关论文

查看 OTHER 分类全部论文