Премия Эрбрана
Премия Herbrand Award Описание премии Премия Herbrand Award присуждается за выдающийся вклад в автоматизированное логическое мышление. Награда названа в честь […]
Вики
Artificial intelligence competitions
Вики
Премия Румельхарта
Премия Румелхарта История премии Румельхарта Учреждена в 2001 году в честь Дэвида Румельхарта Присуждается за значительный вклад в теоретические основы
Вики
Конкурсы и призы по искусственному интеллекту
Конкурсы и призы в области искусственного интеллекта История и развитие ИИ ИИ начал развиваться в 1950-х годах, но не достиг
Вики
Соревнования по системе CADE ATP
Соревнования по системе CADE ATP Обзор конкурса CADE ATP (CASC) Ежегодное соревнование для полностью автоматизированных разработчиков теорем по классической логике.
Вики
Премия Netflix
Премия Netflix История и концепция Netflix Prize Netflix Prize – конкурс по прогнозированию результатов фильмов, проводившийся с 2006 по 2010