روبرت کوالسکی
روبرت کوالسکی یا رابرت کوالسکی (به انگلیسی: Robert Kowalski) با نام کامل روبرت آنتونی باب کوالسکی , منطق دان و دانشمند علوم کامپیوتر است که بیشتر عمر خود را در بریتانیا سپری کردهاست.
| باب کوالسکی | |
|---|---|
 | |
| زادهٔ | ۱۵ مهٔ ۱۹۴۱ (۸۰ سال) بریجپورت, کنتیکت, ایالات متحده |
| ملیت | بریتانیایی |
| شهروندی | Naturalised British Citizen |
| محل تحصیل | دانشگاه شیکاگو دانشگاه بریجپورت دانشگاه استنفورد دانشگاه ورشو دانشگاه ادینبورگ |
| شناختهشده برای | برنامهنویسی منطقی Event calculus |
| جایزه(ها) | IJCAI Award for Research Excellence (۲۰۱۱) |
| پیشینه علمی | |
| رشته(های) فعالیت | منطق علوم کامپیوتر |
| محل کار | دانشگاه ادینبورگ امپریال کالج لندن |
| پایاننامه | Studies in the Completeness and Efficiency of Theorem-Proving by Resolution (۱۹۷۰) |
| استاد راهنما | برنارد ملتزر |
| دانشجویان دکتری | David H. D. Warren Christopher Hogger Keith Clark Marek Sergot George Pollard کریستوفر موس فریبا صدری کاوه عشقی Jin-Sang Kim David Frost Suryanarayana Sripada Francis McCabe فرانسوا تونی Tze Ho Fung جرالد وتزل Jacinto Davila Christopher Preist Yongyuth Permpoontanalarp |
روبرت بیشتر به دلیل خدماتش به برنامه نویسی منطقی و ابداع هورن کلازها شناخته میشود.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.