The TPTP problem library is now available in KIF.
"Vishal I. Sikka" <vishal@CS.Stanford.EDU>
Date: Thu, 15 Jun 95 13:05:24 PDT
From: "Vishal I. Sikka" <vishal@CS.Stanford.EDU>
To: interlingua@isi.edu, srkb@cs.umbc.edu
Cc: vishal@CS.Stanford.EDU, genesereth@CS.Stanford.EDU
Subject: The TPTP problem library is now available in KIF.
Message-id: <CMM.0.90.4.803246724.vishal@Xenon.Stanford.EDU>
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk
The TPTP (Thousands of Problems for Theorem Provers) problem library
for testing automated theorem provers is now also available in KIF.
This library, which is a brainchild of Dr. Geoff Sutcliffe of James
Cook University, Australia, and Dr. Christian Suttner of Technische
Universitat Munchen, has widely been used as a standard for performing
evaluations and comparisons of automated reasoning systems.
For more information, or to obtain a copy of the TPTP library,
navigate on the Web to:
http://www.cs.jcu.edu.au/ftp/users/GSutcliffe/TPTP.HTML. Copies of the
library can be obtained by anonymous ftp from
ftp://www.cs.jcu.edu.au/pub/research/tptp-library/
or from the homepage directly.
Alternatively, Chris Suttner's homepage in Germany also has the same;
his homepage is
http://wwwjessen.informatik.tu-muenchen.de/~suttner/tptp.html
which has information on how to get it from there.
The Stanford Encyclopedia of Logic Technology
(http://logic.stanford.edu/SELT/) also has more information on TPTP.
The kif homepage at Stanford (http://logic.stanford.edu/kif.html) has
more information on KIF.
I apologize if this message gets to you twice.
Thanks,
Vishal.
***********************************************************************
Vishal Sikka vishal@cs.stanford.edu
The Logic Group Phone: 415-725-2602
Computer Science Department Fax: 415-725-7411
Stanford University Stanford, CA - 94305
Web: http://logic.stanford.edu/People/vishal.html
***********************************************************************