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

Эта биография живого человека слишком опирается на ссылки на первоисточники . Пожалуйста, помогите, добавив вторичные или третичные источники . Спорные материалы о живых людях, которые не имеют источников или имеют плохие источники, должны быть немедленно удалены , особенно если они потенциально клеветнические или вредные. ( ноябрь 2008 г. ) ( узнайте, как и когда удалять это шаблонное сообщение )

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

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

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

использованная литература

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

внешняя ссылка

Джефф Сатклифф
ТПТП
Программное обеспечение Articulate
OntologyTalk: интервью с профессором Джеффом Сатклиффом на YouTube

[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). «Большие теоретические рассуждения с SUMO в CASC». Коммуникации ИИ . 2–3 : 137–144. doi : 10.3233/AIC-2010-0466 .

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

[1]

Авторитетный контроль
Общий	ВИАФ 1 WorldCat
Национальные библиотеки	Соединенные Штаты Чешская Республика
Научные базы данных	Ассоциация вычислительной техники DBLP (информатика) Google Scholar