Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Geoff Sutcliffe
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="https://www.cs.miami.edu/home/geoff/">Official website</a> </li> <li><a href="http://www.tptp.org">TPTP</a></li> <li><a href="https://www.articulatesoftware.com/About.html">Articulate Software</a></li> <li><a href="https://www.youtube.com/watch?v=5DiitzdHqTU">OntologyTalk: An Interview with Prof. Geoff Sutcliffe</a> on <a href="/facts/YouTube_video_(identifier)/db276jst">YouTube</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Curriculum Vitae, Geoff Sutcliffe". Department of Computer Science, University of Miami. 2021. Retrieved February 10, 2021. <a href="https://www.cs.miami.edu/home/geoff/CV/CV.shtml" target="_blank">https://www.cs.miami.edu/home/geoff/CV/CV.shtml</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Sutcliffe, Geoff (2007). "The Modal Logic $100 Challenge". The TPTP Problem Library for Automated Theorem Proving. Archived from the original on March 4, 2007. Retrieved April 2, 2021. <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Urban, Josef; Sutcliffe, Geoff (July 16, 2007). "The MPTP $100 Challenges". The TPTP Problem Library for Automated Theorem Proving. Retrieved April 2, 2021. <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Adam, Pease; Geoff, Sutcliffe; Nick, Siegel; Steven, Trac (2010). "Large theory reasoning with SUMO at CASC". AI Communications. 2–3 (2–3): 137–144. doi:10.3233/AIC-2010-0466. <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>"Empirically Successful Topics in Automated Deduction workshop series". Archived from the original on February 6, 2010. Retrieved December 10, 2009. <a href="http://www.eprover.org/EVENTS/es_series.html" target="_blank">http://www.eprover.org/EVENTS/es_series.html</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"TPTP World Tour". Thousands of Problems for Theorem Provers. 2025. Retrieved March 1, 2025. <a href="https://worldtour.tptp.org/#:~:text=24%2D26th%20February%20%2D%20Federal%20University%20of%20Goi%C3%A1s%20%2D%20Daniel%20Ventura" target="_blank">https://worldtour.tptp.org/#:~:text=24%2D26th%20February%20%2D%20Federal%20University%20of%20Goi%C3%A1s%20%2D%20Daniel%20Ventura</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> </ol>