Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Geoff_Sutcliffe> ?p ?o. }
Showing items 1 to 72 of
72
with 100 items per page.
- Geoff_Sutcliffe abstract "Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning.He is of both British and Australian nationality.He was born in the former British colony of Northern Rhodesia (now Zambia),grew up in South Africa, and earned his Ph.D. in Australia. He works at the University of Miami.He is the developer of the Thousands of Problems for Theorem Provers (TPTP) problem library, and of the TPTP language for formal specification of Automated theorem proving problems and solutions. Since 1996 he has been organizing the annual CADE ATP System Competition (CASC), associated with the Conference on Automated Deduction and International Joint Conference on Automated Reasoning. He has been a co-organizer of several Automated reasoning challenges, including The Modal Logic $100 Challenge, The MPTP $100 Challenges, and The SUMO $100 Challenges. Together with Stephan Schulz, Sutcliffe founded and has been organizing the ES* Workshop series, a venue for presentation and publishing of practically oriented Automated Reasoning research.".
- Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
- Geoff_Sutcliffe knownFor Thousands_of_Problems_for_Theorem_Provers.
- Geoff_Sutcliffe nationality Australians.
- Geoff_Sutcliffe nationality United_Kingdom.
- Geoff_Sutcliffe thumbnail GeoffSutcliffe_LPAR2004_Montevideo.jpg?width=300.
- Geoff_Sutcliffe wikiPageExternalLink ~geoff.
- Geoff_Sutcliffe wikiPageExternalLink www.tptp.org.
- Geoff_Sutcliffe wikiPageExternalLink HHDC.
- Geoff_Sutcliffe wikiPageExternalLink MPTPChallenge.
- Geoff_Sutcliffe wikiPageExternalLink SUMOChallenge.
- Geoff_Sutcliffe wikiPageID "19336649".
- Geoff_Sutcliffe wikiPageRevisionID "574519239".
- Geoff_Sutcliffe caption "Geoff Sutcliffe".
- Geoff_Sutcliffe field "Computer Technology".
- Geoff_Sutcliffe hasPhotoCollection Geoff_Sutcliffe.
- Geoff_Sutcliffe imageSize "200".
- Geoff_Sutcliffe knownFor CADE_ATP_System_Competition.
- Geoff_Sutcliffe knownFor Thousands_of_Problems_for_Theorem_Provers.
- Geoff_Sutcliffe name "Geoff Sutcliffe".
- Geoff_Sutcliffe name "Sutcliffe, Geoff".
- Geoff_Sutcliffe nationality "Australian, British".
- Geoff_Sutcliffe residence "USA".
- Geoff_Sutcliffe shortDescription "Australian computer scientist".
- Geoff_Sutcliffe workInstitution University_of_Miami.
- Geoff_Sutcliffe description "Australian computer scientist".
- Geoff_Sutcliffe description "Australian computer scientist".
- Geoff_Sutcliffe subject Category:Australian_expatriates_in_the_United_States.
- Geoff_Sutcliffe subject Category:Living_people.
- Geoff_Sutcliffe subject Category:Zambian_emigrants_to_Australia.
- Geoff_Sutcliffe subject Category:Zambian_emigrants_to_South_Africa.
- Geoff_Sutcliffe subject Category:Zambian_people_of_British_descent.
- Geoff_Sutcliffe subject Category:Zambian_people_of_English_descent.
- Geoff_Sutcliffe type Absentee109757653.
- Geoff_Sutcliffe type AustralianExpatriatesInTheUnitedStates.
- Geoff_Sutcliffe type CausalAgent100007347.
- Geoff_Sutcliffe type Exile110071332.
- Geoff_Sutcliffe type LivingPeople.
- Geoff_Sutcliffe type LivingThing100004258.
- Geoff_Sutcliffe type Object100002684.
- Geoff_Sutcliffe type Organism100004475.
- Geoff_Sutcliffe type Person100007846.
- Geoff_Sutcliffe type PhysicalEntity100001930.
- Geoff_Sutcliffe type Scientist110560637.
- Geoff_Sutcliffe type Traveler109629752.
- Geoff_Sutcliffe type Whole100003553.
- Geoff_Sutcliffe type YagoLegalActor.
- Geoff_Sutcliffe type YagoLegalActorGeo.
- Geoff_Sutcliffe type Agent.
- Geoff_Sutcliffe type Person.
- Geoff_Sutcliffe type Scientist.
- Geoff_Sutcliffe type Person.
- Geoff_Sutcliffe type Scientist.
- Geoff_Sutcliffe type Q215627.
- Geoff_Sutcliffe type Q5.
- Geoff_Sutcliffe type Agent.
- Geoff_Sutcliffe type NaturalPerson.
- Geoff_Sutcliffe type Thing.
- Geoff_Sutcliffe type Person.
- Geoff_Sutcliffe comment "Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning.He is of both British and Australian nationality.He was born in the former British colony of Northern Rhodesia (now Zambia),grew up in South Africa, and earned his Ph.D. in Australia.".
- Geoff_Sutcliffe label "Geoff Sutcliffe".
- Geoff_Sutcliffe sameAs m.04m_v7w.
- Geoff_Sutcliffe sameAs Q5534338.
- Geoff_Sutcliffe sameAs Q5534338.
- Geoff_Sutcliffe sameAs Geoff_Sutcliffe.
- Geoff_Sutcliffe wasDerivedFrom Geoff_Sutcliffe?oldid=574519239.
- Geoff_Sutcliffe depiction GeoffSutcliffe_LPAR2004_Montevideo.jpg.
- Geoff_Sutcliffe givenName "Geoff".
- Geoff_Sutcliffe isPrimaryTopicOf Geoff_Sutcliffe.
- Geoff_Sutcliffe name "Geoff Sutcliffe".
- Geoff_Sutcliffe name "Sutcliffe, Geoff".
- Geoff_Sutcliffe surname "Sutcliffe".