Equational logic

相关论文数: 1

顶级研究者

Hector J. Levesque

研究机构: —

Raymond Reiter

研究机构: —

Yves Lespérance

研究机构: —

Fangzhen Lin

研究机构: —

Richard B. Scherl

研究机构: —

最高引用论文

GOLOG: A logic programming language for dynamic domains

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

引用数: 1039 • 1997

相关技术

Computer scienceMathematicsTheoretical computer scienceProgramming languageState (computer science)AbstractionLogic programmingSituation calculusAxiomProlog