Robert Kowalski

Robert Kowalski

原名: Robert Kowalski
出生日期: 1965-04-27(61岁)
出生地: Pieńsk, Polska
国家/地区: Polska
Born: (1941-05-15) 15 May 1941 (age 84), Bridgeport, Connecticut, U.S.
Awards: IJCAI Award for Research Excellence (2011)
Fields: Logic, Computer science
Thesis: Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (1970)
Known for: Logic programming, Prolog, Horn clause, Event calculus
Alma mater: University of Chicago, University of Bridgeport (BA), Stanford University (MSc), University of Warsaw, University of Edinburgh (PhD)
Institutions: University of Edinburgh, Imperial College London
Doctoral advisor: Bernard Meltzer
Doctoral students: Keith Clark, , Francesca Toni, , David H. D. Warren

个人简介

暂无 Robert Kowalski 的个人简介。

所有作品

合作演员