]> 2012-05-27T21:09:08-04:00 Geoff Sutcliffe Geoff Sutcliffe Geoff Sutcliffe Presenting tstp proofs with inference web tools Preface User interfaces for portable proofs The annual sumo reasoning prizes at casc The 4th ijcar automated theorem proving system competition - casc-j4 Empirically successful computerized reasoning Solving the \$100 modal logic challenge Malarea sg1- machine learner for automated reasoning with semantic guidance Casc-j4 the 4th ijcar atp system competition Thf0 - the core of the tptp language for higher-order logic The szs ontologies for automated reasoning software Evaluation of systems for higher-order logic (eshol) Integration of the tptpworld into sigmakee The cade-21 automated theorem proving system competition Srass - a semantic relevance axiom selection system Tptp, tstp, casc, etc First order reasoning on a large ontology Atp cross-verification of the mizar mptp challenge problems The 3rd ijcar automated theorem proving competition An interactive derivation viewer Automated generation of interesting theorems Extending the tptp language to higher-order logic with automated parser generation Casc-j3 - the 3rd ijcar atp system competition Using the tptp language for writing derivations and finite interpretations The state of casc The cade-20 automated theorem proving competition Semantic derivation verification: techniques and implementation Empirically successful automated reasoning: systems issue Empirically successful automated reasoning: applications issue Semantic derivation verification Reasoning in the event calculus using first-order automated theorem proving The ijcar-2004 automated theorem proving competition The cade atp system competition The cade-19 atp system competition Proving harder theorems by axiom reduction The cade-18 atp system competition Automatic generation of benchmark problems for automated theorem proving systems Homogeneous sets of atp problems System description: grande 1.0 The development of casc Automated theorem proving: a review The ijcar atp system competition Evaluating general purpose automated theorem proving systems The cade-17 atp system competition System description: systemon tptp System description: pttp+glides: semantically guided pttp The cade-16 atp system competition Pttp+glides: guiding linear deductions with semantics Smart selective competition parallelism atp The cade-15 atp system competition The cade-14 atp system competition The tptp problem library - cnf release v1.2.1 An erratum for some errata to atp problems The cade-13 atp system competition The design of the cade-13 atp system competition The procedures of the cade-13 atp system competition The results - of the cade-13 atp system competition Conclusions about the cade-13 atp system competition Using artificial neural networks for meteor-burst communications trail prediction The tptp problem library An intelligent document understanding \& reproduction system A comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systems Linear-input subset analysis The semantically guided linear deduction system Compulsory reduction in linear derivation systems A general clause theorem prover Parallel linear \& ur-deduction Li Ding Paulo Pinheiro da Silva Deborah L. McGuinness Li Ding Deborah L. McGuinness Author Computer science Tag Name Last name File:Anonymous.png Image First name Y. Zhang A. Yerikalapudi W. Shen Y. Puzis K. Moynihan A. Kakkad A Sartori-Angus C.P. Tsang J. Urban S. Trac G. Struth S. Schulz R. Schmidt P. Rudnicki F. Rabe Jacobs P. Pudlak A. Pease D. McGuinness B. Konev P. Hofner L. Ding P. da Silva S. Colton C. Brown C. Benzmuller Collaborator Yury Puzis Yi Gao Weina Shen Tanel Tammet Steven Trac Stephan Schulz Renate A. Schmidt Petr Pudl\'ak Paulo Pinheiro da Silva Nick Siegel Nicholas Del Rio Li Ding Koen Claessen Josef Urban Jir\'\i Vyskocil Florian Rabe Erik T. Mueller Diego Belfiore Deborah L. McGuinness Cynthia Chang Christoph Benzm\"uller Christian B. Suttner Carsten Sch\"urmann Bernd Fischer Allen Van Gelder Adam Pease Coauthor University of Miami Affiliation Person