Abstract of FKI-184-93

Document-Name:  not available
Title:          The TPTP Problem Library 
Authors:        Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis
Revision-Date:  1993/11/11 
Category:       Technical Report (Forschungsberichte Künstliche Intelligenz)
Abstract:       This report provides a detailed description of the
                TPTP library of problems for automated theorem provers.
                This library is available via Internet, and is intended to 
		form a common basis for the development of and experimentation 
		with automated theorem provers. 
                To support this goal, this report provides 
		* the motivations for building the library
		* a discussion of troublesome issues, and how they have been 
		* a description of the library structure including overview 
		* information on each problem contained in the library 
		* descriptions of supplementary utility programs
		* guidelines for obtaining and using the library
Keywords:       problem library, automated theorem proving, evaluation
Size:           97 pages
Language:       English
ISSN:           0941-6358
Copyright:      The ``Forschungsberichte Künstliche Intelligenz''
                series includes primarily preliminary publications,
                specialized partial results, and supplementary
                material. In the interest of a subsequent final
                publication these reports should not be copied. All
                rights and the responsability for the contents of the
                report are with the authors, which would appreciate
                critical comments.

Gerhard Weiss