Джефф Сатклифф

Джефф Сатклифф
Джефф Сатклифф
	Джефф Сатклифф
Рожденный	28 октября 1961 г. (62 года) ; Ндола , Замбия
Национальность	австралийский , британский
Альма-матер	Университет Натала ; Университет Западной Австралии ;
Известный	ТПТП , КАСК
	Научная карьера
Поля	Автоматизированное доказательство теорем (АТП) ; Оценка систем СПС ; Распределенные и параллельные системы ATP ;
Учреждения	Университет Натала ; Университет Дурбан-Вествилля ; Университет Эдит Коуэн ; Университет Джеймса Кука ; Университет Майами ;

Джефф Сатклифф — американский учёный-компьютерщик, работающий в области автоматизированного рассуждения . Он родился в бывшей британской колонии Северной Родезии (ныне Замбия ),вырос в Южной Африке и получил докторскую степень в Австралии . Сатклифф в настоящее время работает в Университете Майами и имеет британское и австралийское гражданство. ^[1]

Джефф Сатклифф — разработчик библиотеки задач «Тысячи задач для средств доказательства теорем » (TPTP), а также языка TPTP для формальной спецификации задач и решений автоматического доказательства теорем . С 1996 года он занимается организацией ежегодных соревнований по системе CADE ATP (CASC), связанных с Конференцией по автоматизированному дедукции и Международной совместной конференцией по автоматизированному рассуждению . Он был соорганизатором нескольких задач по автоматическому рассуждению , в том числе конкурса Modal Logic стоимостью 100 долларов США. ^[2] вызовы MPTP на 100 долларов, ^[3] и испытания СУМО на 100 долларов. ^[4]^: 139 Вместе со Стефаном Шульцем Сатклифф основал и организует серию семинаров ES* Workshop. ^[5] место для презентации и публикации практически ориентированных исследований в области автоматизированного мышления.

Ссылки

^ «Биографическая справка, Джефф Сатклифф» . Кафедра компьютерных наук Университета Майами . 2021 . Проверено 10 февраля 2021 г.
^ Сатклифф, Джефф (2007). «Вызов модальной логики за 100 долларов» . Библиотека задач TPTP для автоматического доказательства теорем . Архивировано из оригинала 4 марта 2007 года . Проверено 2 апреля 2021 г.
^ Урбан, Йозеф; Сатклифф, Джефф (16 июля 2007 г.). «Вызовы MPTP на 100 долларов» . Библиотека задач TPTP для автоматического доказательства теорем . Проверено 2 апреля 2021 г.
^ Адам, Пиз; Джефф, Сатклифф ; Ник, Сигел; Стивен, Трэк (2010). «Большие теоретические рассуждения о СУМО в CASC». AI-коммуникации . 2–3 (2–3): 137–144. дои : 10.3233/AIC-2010-0466 .
^ «Эмпирически успешные темы в серии семинаров по автоматизированной дедукции» . Архивировано из оригинала 6 февраля 2010 года . Проверено 10 декабря 2009 г.

Внешние ссылки

[cv-1] «Биографическая справка, Джефф Сатклифф» . Кафедра компьютерных наук Университета Майами . 2021 . Проверено 10 февраля 2021 г.

[sut07-2] Сатклифф, Джефф (2007). «Вызов модальной логики за 100 долларов» . Библиотека задач TPTP для автоматического доказательства теорем . Архивировано из оригинала 4 марта 2007 года . Проверено 2 апреля 2021 г.

[ursu07-3] Урбан, Йозеф; Сатклифф, Джефф (16 июля 2007 г.). «Вызовы MPTP на 100 долларов» . Библиотека задач TPTP для автоматического доказательства теорем . Проверено 2 апреля 2021 г.

[adsu10-4] Адам, Пиз; Джефф, Сатклифф ; Ник, Сигел; Стивен, Трэк (2010). «Большие теоретические рассуждения о СУМО в CASC». AI-коммуникации . 2–3 (2–3): 137–144. дои : 10.3233/AIC-2010-0466 .

[5] «Эмпирически успешные темы в серии семинаров по автоматизированной дедукции» . Архивировано из оригинала 6 февраля 2010 года . Проверено 10 декабря 2009 г.

[1]

[2]

[3]

[4]

[5]

Базы данных авторитетного контроля
Международный	ВИАФ WorldCat
Национальный	Израиль Соединенные Штаты Чешская Республика
академики	Ассоциация вычислительной техники ДБЛП Google Академика
Другой	ИдРеф