جائزة هيربراند
جائزة هيربراند للإسهامات المتميزة في الاستدلال الآلي هي جائزة تُمنح من قِبل مؤتمر الاستدلال الآلي (CADE)، (مع أنها أقدم من التأسيس الرسمي للمؤتمر) لتكريم الأفراد أو المجموعات لإسهاماتهم الهامة في مجال الاستدلال الآلي . سُميت الجائزة تيمنًا بالعالم الفرنسي جاك هيربراند، وتُمنح مرة واحدة على الأكثر في كل مؤتمر من مؤتمرات CADE أو المؤتمر الدولي المشترك للاستدلال الآلي (IJCAR). وتبلغ قيمة الجائزة 1000 دولار أمريكي . يُمكن لأي شخص الترشح، ويتم منح الجائزة بعد تصويت بين أعضاء مجلس أمناء CADE والفائزين السابقين، وعادةً ما يُؤخذ في الاعتبار رأي اللجنة البرنامجية لمؤتمر CADE/IJCAR.
المستفيدون
الحاصلون على الجائزة سابقاً هم:
التسعينيات
- لاري ووس (1992)
- وودي بليدسو (1994)
- جون آلان روبنسون (1996)
- وو ونجون (1997)
- جيرار هويه (1998)
- روبرت س. بوير وجيه ستروثر مور (1999)
العقد الأول من القرن الحادي والعشرين
- ويليام دبليو. ماكيون (2000)
- دونالد دبليو. لوفلاند (2001)
- مارك إي. ستيكل (2002).
- بيتر ب. أندروز (2003)
- هارالد غانزينغر (2004)
- مارتن ديفيس (2005)
- فولفغانغ بيبل (2006)
- آلان بوندي (2007)
- إدموند إم. كلارك (2008)
- ديباك كابور (2009)
العقد الثاني من القرن الحادي والعشرين
- ديفيد بلايستيد (2010)
- ناحوم ديرشوفيتز (2011)
- ميلفين فيتينغ (2012)
- سي. جريج نيلسون (2013)
- روبرت ل. كونستابل (2014)
- أندريه فورونكوف (2015)
- زوهار مانا وريتشارد والدينجر (2016)
- لورانس سي. بولسون (2017)
- برونو بوتشبيرغر (2018)
- نيكولاي بيورنر وليوناردو دي مورا (2019)
عقد 2020
- فرانز بادر (2020)
- توبياس نيبكو (2021)
- ناتاراجان شانكار (2022)
- موشيه فاردي (2023)
- أرمين بير (2024)
- آرت ميدلدورب (2025)
انظر أيضاً
- قائمة جوائز علوم الحاسوب
- جائزة جاك هيربراند - من الأكاديمية الفرنسية للعلوم، في الرياضيات والفيزياء
مراجع
روابط خارجية
فئات :
- مسابقات الذكاء الاصطناعي
- جوائز علوم الحاسوب
- المنطق في علوم الحاسوب