Equational logic

Related papers: 1

Top Researchers

Hector J. Levesque

Institution: —

Raymond Reiter

Institution: —

Yves Lespérance

Institution: —

Fangzhen Lin

Institution: —

Richard B. Scherl

Institution: —

Top Cited Papers

GOLOG: A logic programming language for dynamic domains

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

Citations: 1039 • 1997

Related Technologies

Computer science Mathematics Theoretical computer science Programming language State (computer science)Abstraction Logic programming Situation calculus Axiom Prolog