CADE-13 ATP System Competition Description Schema
We have suggested topics to be covered in each section, those topics marked
with * are mandatory, the others are optional. You may have further topics
specific to your system that you wish to add.
- Introduction
- * Motivation (for building the system, and for the way it built)
- Relationship to other ATP systems (preceeding/succeeding versions
of the same system, and other similar systems)
- Applications (domains where system has been applied; usage by other
users)
- Architecture
- * Calculus
- Inference rules
- * Control
- * Any tuning of the ATP system specifically for the competition
- Implementation
- * Language and software requirements
- * Hardware requirements
- Data structures
- User interface
- Performance
- * Comments on performance in the competition
- Experimental results outside the competition
- Conclusion
- * Strengths and weaknesses of the system
- Future plans
Your submission must be sent to Geoff Sutcliffe (geoff@cs.jcu.edu.au) by
30/9/96. Prepare your description using LaTeX, according to the JAR style
(available on the WWW). Individual
system descriptions may be up to 6 pages, and combined descriptions up to 10
pages. All descriptions will be reviewed, and will be accepted only if they
meet JAR standards. In particular, you will be asked to review at least one
description (from someone who is not reviewing your description, so you can
critisize without fear :-).
Geoff Sutcliffe, Christian Suttner 27.8.96