\documentstyle[reduced]{aaai}

\title{Instructions to Authors}
\author{Ken Forbus \and Howie Shrobe \\
	Program Co-Chairs \\ AAAI-87 Conference
	\And
	Todd Armstrong \\
	Morgan Kaufmann Publishers \\
	Los Altos, California
}

\begin{document}

\maketitle

\begin{abstract}
The {\em Proceedings of AAAI-87}, the published presentations of
    the National Conference on Artificial Intelligence, will be
    printed using the photo-offset print process directly from 
    camera-ready copy furnished by the authors.
    To ensure that all papers in the {\em Proceedings} have a uniform
    appearance, authors are asked to adhere to the following
    instructions.
\end{abstract}


\section{Printing the Manuscript}

\subsection{General Instructions}

Manuscripts must be printed two columns to a page on the master forms
supplied.
The light blue guidelines on the forms (which will not reproduce in
the printing process) outline the printing area.
Do not print anything outside of these lines.

Use only one side of the master forms.

If absolutely necessary, the forms may be folded lengthwise between
the two columns and printed one at a time.
{\em Do not fold the sheets elsewhere.}

The printer will photographically reproduce your masters.
{\em Do not\/} send material that has already been reduced.
It will be returned as unusable and can prevent publication of your
paper.

\subsection{Type Quality}

Use a printing method that produces crisp black output of high
quality, such as a good laser or other letter-quality printer or an
electric typewriter with a carbon ribbon.
As poor quality (e.g., light or gray type) output will be rendered
unreadable in the printing process,
such papers will not be included in the proceedings.

{\em Do not use line printer or dot matrix printer output.}
Send originals only, not copies.

If necessary, output may be printed on heavy bond paper and pasted onto
the model forms using a glue stick, spray adhesive, or rubber cement.
The pasted area should be flat and free from creases, 
and there should be no excess glue anywhere on the forms.

\subsection{Corrections}

Avoid smears and erasure marks.
When correcting errors, use either white correction paint or print
corrections on a separate piece of white paper and paste it neatly over
the error, using a glue stick, spray adhesive, or rubber cement.
You will obtain far better results by correcting entire paragraphs
rather than single lines. 

\subsection{Using \LaTeX{}}

A \LaTeX{} style that implements these instructions has been prepared,
as well as
a Bib\TeX{} style that implements the citation and reference style in
these instructions.
Both of these will be placed in the \LaTeX{} style collection at
Rochester.
Further information can be obtained by writing:
\begin{quote}
Peter F. Patel-Schneider \\
Schlumberger Palo Alto Research \\
3340 Hillview Avenue \\
Palo Alto, California \hspace{1em} 94304 \\
decwrl!spar!pfps \hspace{1em} pfps@SRI-KL.ARPA
\end{quote}

These instructions have been prepared in \LaTeX{}, using these styles.

\section{Style and Format}

\subsection{General Instructions}

Start all pages (except the first) directly under the top margin, as
indicated.
See next section regarding how to format the first page.

Use 12-point type in a clear, readable font (pica or 10 characters per
inch for typewriters) and single spacing.

{\em Indent\/} when starting a new paragraph, except after major
headings. 

\subsection{Title Page}

When typing the title page, type the title information across both
columns.
Begin the two-column format when you come to the abstract.

\subsubsection{Title}

The title appears at the top of the first page
in a large (about 17-point), bold font (CAPITAL LETTERS for typewriters).

\subsubsection{Author Information}

The name(s) of the author(s) appear on the first page, along with
affiliation(s) and complete address(es) in a large (about 14-point)
font (Mixed Case for typewriters), in the designated areas below the
title of the paper.
This information should be arranged to fit above the line indicated on
the master form.

\subsubsection{Abstract}

The Abstract appears at the beginning of the first column, using a
slightly smaller width than the body of the paper.
The title ``Abstract'' appears above the body of the abstract in
a bold font (Mixed Case for typewriters).
The Abstract should be no longer than 200 words.

\subsubsection{Credits}

Any credit to a sponsoring agency should appear in a footnote at the
bottom of the left column of the first page.
See example below.\footnote{This report describes work done in the
Department of Computer and Information Science  at the University of
Massachusetts.
It was supported in part by National Science Foundation grant IST
8104984.}

\subsubsection{Text}

The main body of the text follows the Abstract, observing the blue
guidelines for the two-column format.

\subsection{Sections}

Section and subsection headings should be printed in the style shown
in these instructions.
For typewriters, use underlined capitals for sections, underlined
mixed case for subsections, and mixed case for subsubsections.

Special sections should be arranged and headed as follows:

\begin{description}
\item[Acknowledgments:] The Acknowledgments section, if included,
		       follows the main body of the text and is headed
		       ``Acknowledgments,'' printed in the same style
		       as a section heading, but without a number.
\item[Appendices:] Any Appendices follow the Acknowledgments 
		  (or directly follow the text) and look like
		  sections, except that they are numbered
		  ``Appendix I.,'' ``Appendix II.,'' etc.
\item[References:]
The Reference section is headed ``References,'' printed in the same
style as a section heading, but without a number.
A sample list of references is given at the end of these
instructions.
Use a consistent format for references, such as one of the
Bib\TeX{} formats.

\end{description}

\subsection{Citations}

Citations within the text should include the author's last name and
year, for example \cite{cheeseman:probability}.
Multiple authors should be treated as in the following examples,
\cite{bobrow-winograd:krl-perspective} and
\cite{abelson-et-al:scheme}.

\nocite{bobrow-winograd:krl-perspective}
\nocite{haugeland:mind-design}
\nocite{cheeseman:probability}
\nocite{frisch-allen:kr-and-r}
\nocite{moore:procedural-reasoning}
\nocite{brachman-schmolze:kl-one}
\nocite{etherington-reiter:exceptions}
\nocite{fahlman:netl}

\subsection{Footnotes}

Footnotes should appear at the bottom of the page.
They are referred to by numbers.\footnote{This is how your footnotes
should appear.}
Footnotes should be separated from the text by a short (five-character
for typewriters) line.\footnote{Note the line separating these
footnotes from the text.}

\section{Figures, Drawings, Tables, and Photographs}

\subsection{General Instructions}

Figures, drawings, tables, and photographs should be placed throughout
the paper at the places where they are first discussed, rather than at
the end of the paper.
If placed at the bottom of a page, illustrations may run across
both columns.
Attach them to the master form with glue stick, spray adhesive
rubber cement, or transparent tape.
Number them sequentially.
The references should be in the following form:
Figure 1, Table 1, etc.

The illustration number and caption should appear under the
illustration. 
Leave a margin of 12mm (1/2-inch) around the area covered by the
figure and caption.

Captions, labels, and other text in illustrations
be at least 2.5mm (1/8-inch) high (12-point type).

\subsection{Drawings}

\begin{figure}
\vspace{1.6in}
\caption{Sample line drawing}
\end{figure}

Original line drawings should be drawn in {\em black\/} ink, not pencil.
Do not color in drawings.
Lines should be heavy enough to reproduce well.

\subsection{Tables}

{\em Line printer printouts should not be used in tables.}

\subsection{Photographs}

Photographs should be glossy black and white.
Do not pre-halftone photographs.
Color photographs do not produce well.
(Red will reproduce as black, for example.)
Photographs incur extra expense, so
please use them judiciously.

\section{Length of Papers}

Papers should not exceed {\em five\/} pages, including illustrations and
tables.
One additional page may be included by accompanying the paper with a
check for \$200, payable to the American Association for Artificial
Intelligence.
Papers over six pages will not be accepted for publication.

\section{Identification}

Make certain that your name is typed or written on the {\em back\/} of
every page of the masters, and number the pages sequentially.
Failure to do this may result in some pages of your paper being
misplaced or, worse, inserted in another paper.
This information is for identification only (final page numbers will
be assigned by the Publisher).

\section{Mailing}

{\em Make a photocopy of your final paper.}
Keep the photocopy in your files for reference or in case the original
is lost in the mail.

Your paper should be {\em received\/} by April 20, 1987.
{\em Papers received later than April 20 will not be
included in the proceedings.}

Do not fold the master forms for mailing.
Use the enclosed cardboard backing and envelope for mailing.
If you use a separate envelope, clearly mark on the envelope:
{\bf Do Not Fold or Bend}.

Send to:
\begin{quote}
Todd Armstrong \\
Attn: AAAI-87 Conference \\
Morgan Kaufmann Publishers \\
95 First Street, Suite 120 \\
Los Altos, CA 94022 \\
U. S. A.
\end{quote}

\section{Inquiries}

If you have any questions about the preparation or submission of your
paper as instructed in this package, please contact:
\begin{quote}
Todd Armstrong \\
Morgan Kaufmann Publishers \\
(415) 941--4960
\end{quote}

% This section was initially prepared using BibTeX.  The .bbl file was
% placed here later
%\bibliography{publications}
%\bibliographystyle{aaai-named}

\begin{thebibliography}{xx}
% The newblock command here creates a `closed' format
% and the sfcode command affects the spacing after a period;
% for more details please ask a style designer.
\def\newblock{\hskip .11em plus .33em minus -.07em}\sfcode`\.=1000\relax

\bibitem[\protect\citename{Abelson \bgroup \em et al.\egroup ,
  }1985]{abelson-et-al:scheme}
Harold Abelson, Gerald~Jay Sussman, and Julie Sussman.
\newblock {\it Structure and Interpretation of Computer Programs}.
\newblock MIT Press, Cambridge, Massachusetts, 1985.

\bibitem[\protect\citename{Bobrow and Winograd,
  }1979]{bobrow-winograd:krl-perspective}
Daniel~G. Bobrow and Terry Winograd.
\newblock {KRL}, another perspective.
\newblock {\it Cognitive Science}, 3(1):29--42, January-March 1979.

\bibitem[\protect\citename{Brachman and Schmolze,
  }1985]{brachman-schmolze:kl-one}
Ronald~J. Brachman and James~G. Schmolze.
\newblock An overview of the {KL-ONE} knowledge representation system.
\newblock {\it Cognitive Science}, 9(2):171--216, April-June 1985.

\bibitem[\protect\citename{Cheeseman, }1985]{cheeseman:probability}
Peter Cheeseman.
\newblock In defense of probability.
\newblock In {\it Proceedings IJCAI-85}, pages~1002--1009, Los Angeles,
  California, International Joint Committee for Artificial Intelligence, August
  1985.

\bibitem[\protect\citename{Etherington and Reiter,
  }1983]{etherington-reiter:exceptions}
David~W. Etherington and Raymond Reiter.
\newblock On inheritance hierarchies with exceptions.
\newblock In {\it Proceedings AAAI-83}, pages~104--108, Washington, D. C.,
  American Association for Artificial Intelligence, August 1983.

\bibitem[\protect\citename{Fahlman, }1979]{fahlman:netl}
Scott~E. Fahlman.
\newblock {\it {NETL}: A System for Representing and Using Real-World
  Knowledge}.
\newblock MIT Press, Cambridge, Massachusetts, 1979.

\bibitem[\protect\citename{Frisch and Allen, }1982]{frisch-allen:kr-and-r}
Alan~M. Frisch and James~F. Allen.
\newblock {\it Knowledge Representation and Retrieval for Natural Language
  Processing}.
\newblock Technical Report~TR104, Computer Science Department, University of
  Rochester, December 1982.

\bibitem[\protect\citename{Haugeland, }1981]{haugeland:mind-design}
John Haugeland, editor.
\newblock {\it Mind Design}.
\newblock Bradford Books, Montgomery, Vermont, 1981.

\bibitem[\protect\citename{Moore, }1975]{moore:procedural-reasoning}
Robert~C. Moore.
\newblock {\it Reasoning from Incomplete Knowledge in a Procedural Deduction
  System}.
\newblock Technical Report~AI-TR-347, Artificial Intelligence Laboratory,
  Massachusetts Institute of Technology, October 1975.

\end{thebibliography}


\end{document}
