Browse wiki

From Semantic Portal Wiki

Geoff Sutcliffe

Affiliation	University of Miami +
Coauthor	Adam Pease +, Allen Van Gelder +, Bernd Fischer +, Carsten Sch\"urmann +, Christian B. Suttner +, Christoph Benzm\"uller +, Cynthia Chang +, Deborah L. McGuinness +, Diego Belfiore +, Erik T. Mueller +, Florian Rabe +, Jir\'\i Vyskocil +, Josef Urban +, Koen Claessen +, Li Ding +, Nicholas Del Rio +, Nick Siegel +, Paulo Pinheiro da Silva +, Petr Pudl\'ak +, Renate A. Schmidt +, Stephan Schulz +, Steven Trac +, Tanel Tammet +, Weina Shen +, Yi Gao +, Yury Puzis +
Collaborator	C. Benzmuller +, C. Brown +, S. Colton +, P. da Silva +, L. Ding +, P. Hofner +, B. Konev +, D. McGuinness +, A. Pease +, P. Pudlak +, F. Rabe Jacobs +, P. Rudnicki +, R. Schmidt +, S. Schulz +, G. Struth +, S. Trac +, J. Urban +, C.P. Tsang +, A Sartori-Angus +, A. Kakkad +, K. Moynihan +, Y. Puzis +, W. Shen +, A. Yerikalapudi +, Y. Zhang +
First name	Geoff  +
Image	Anonymous.png +
Last name	Sutcliffe  +
Modification dateThis property is a special property in this wiki.	9 July 2009 14:58:59  +
Name	Geoff Sutcliffe  +
Tag	Computer science +
Categories	Person

hide properties that link here

A comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systems +, A general clause theorem prover +, An erratum for some errata to atp problems +, An intelligent document understanding \& reproduction system +, An interactive derivation viewer +, Atp cross-verification of the mizar mptp challenge problems +, Automated generation of interesting theorems +, Automated theorem proving: a review +, Automatic generation of benchmark problems for automated theorem proving systems +, Casc-j3 - the 3rd ijcar atp system competition +, Casc-j4 the 4th ijcar atp system competition +, Compulsory reduction in linear derivation systems +, Conclusions about the cade-13 atp system competition +, Empirically successful automated reasoning: applications issue +, Empirically successful automated reasoning: systems issue +, Empirically successful computerized reasoning +, Evaluating general purpose automated theorem proving systems +, Evaluation of systems for higher-order logic (eshol) +, Extending the tptp language to higher-order logic with automated parser generation +, First order reasoning on a large ontology +, …	Author
Deborah L. McGuinness +, Li Ding +, Paulo Pinheiro da Silva +	Coauthor
Deborah L. McGuinness +, Li Ding +	Collaborator

 

Enter the name of the page to start browsing from.