AAAI Spring Symposium Series, March 26-28 2007, Stanford University, California

8th International Symposium on Logical Formalizations of Commonsense Reasoning

A special event in honor of John McCarthy

Dear Commonsense 2007 Paper Presenters:

The purpose of this document is to explain how to format and submit the camera-ready copy of your paper for the symposium technical report. Please read these instructions carefully. AAAI technical reports are published from electronic files that you submit. Your cooperation in producing trouble-free files is to your advantage, because incorrectly formatted files will be returned to you for reformatting -- there is also a risk that your paper may not be published at all.

When and What to Submit
The submission deadline is January 26 for receipt of all electronic materials. Permission to distribute forms and audio-visual forms are due at the same time. The following paragraphs discuss what you should submit.

Submit a PDF Version of Your File
Submit a Compressed Archive of your paper (.gz, .zip) Submit your electronic abstract, paper title, and a compressed archive version of your paper (LaTeX users must pay special attention to the instructions). THE ARCHIVE SHOULD COMPRISE ALL SOURCE FILES INCLUDING A PDF VERSION OF YOUR PAPER. Submission instructions are located at This page is also accessible from the "accepted authors" link on the left hand side of the SSS-07 web site (

When you are ready to submit your paper, you will be asked to choose a symposium number. 2007 Symposia numbers are as follows:

SS-01  Control Mechanisms for Spatial Knowledge Processing in Cognitive / Intelligent Systems
SS-02  Game Theoretic and Decision Theoretic Agents
SS-03  Intentions in Intelligent Systems
SS-04  Interaction Challenges for Artificial Assistants
SS-05  Logical Formalizations of Commonsense Reasoning
SS-06  Machine Reading
SS-07  Multidisciplinary Collaboration for Socially Assistive Robotics
SS-08  Quantum Interaction
SS-09  Robots and Robot Venues: Resources for AI Education

The site may be extremely busy on the last day, January 26. If possible, submit your electronic paper in advance of the deadline. If you can't use the submission form, you must send your materials to your symposium organizer who will submit the materials for you.

Please Send us Trouble-free PDFs!
When creating a PDF file, please pay attention to the settings requirements noted in the submission instructions. Additional information on PDF settings is located in the formatting instructions at

Common errors made by authors when making PDFs include improper page size (such as A4), type 3 fonts, improper margins, and low-resolution graphics. Please check your PDF before sending it. It takes only a minute or two to verify every page in the file. By doing so, you avoid having your paper returned to you for correction. You can verify your fonts in Acrobat Reader (File --> Document --> Properties --> Fonts) or by using the PDF fonts utility in the Xpdf package. The document size is given in Acrobat at the bottom of the window. Be certain it says 8.5 x 11 inches.

Sign and Send the AAAI Permission to Distribute Form
The AAAI Permission to Distribute form must be mailed to AAAI SSS-07, 445 Burgess Drive, Menlo Park, CA 94025. Your paper will not be published unless you send us a signed, unaltered copy of this form. No exceptions. This form does not prevent you from publishing your paper elsewhere, but it does allow AAAI to distribute your paper in hardcopy and electronic form. A copy of this form can be downloaded from

Formatting Instructions
Your paper should be formatted in two-column format according to the instructions supplied at the URL above. Please pay careful attention to the margin requirements. Nothing may intrude into the margins. (If you use LaTeX, be especially certain that your tables and equations stay completely within the margins.)

Font Requirements
Your paper should be formatted in Times or Times New Roman. LaTeX users should use the "times package" in their source. Further information about LaTeX is available at

Those who use TeX or LaTeX must pay close attention to the typefaces used, as no Type 3 bitmap fonts may be used when creating your paper. Whenever possible, please use PDFLaTeX instead of straight LaTeX or TeX, as this program will avoid the type 3 font problem. Because it is almost impossible to avoid font problems in LaTeX 209, this old software must be avoided. If you cannot use PDFLaTeX or PDFTeX, you must instruct dvips to use an alternate font map. This can be achieved by the following command:

  dvips -Ppdf -G0 -0 papername.dvi

(Note the zero following the G. This command tells dvips to use the config.pdf file. Scripts such as dvipdf that ostensibly bypass the PostScript intermediary should not be used because they generally do not instruct dvips to use the config.pdf file.

If you use GhostScript, be sure you have version 7.04 or newer. The earlier versions do not create acceptable PDFs.
Finally, if fonts aren't getting embedded, look at the PDFTeX mailing list for hints on configuring PDFTeX. (

Length Requirements
You are allowed to submit up to 6 pages.  No paper longer than 6 pages will be accepted unless you have explicit permission from the symposium co-chairs. (Note to Symposium Organizers: Total page limit cannot exceed 200 pages.)

Page Size
AAAI's technical reports are printed in 8-1/2 x 11 inch format. Your electronic file must be formatted for an 8-1/2 x 11 inch page. Those using RedHat Linux 8.0 and LaTeX should check the papersize setting in "/usr/share/texmf/dvips/" -- it may be that A4 is the default. Change it to letter to avoid incorrect margins.

How to Obtain AAAI Macros and Style Sheets
You may find our sample Word or RTF documents (including style sheets) helpful to you in formatting your paper. We also have LaTeX macros that can be used to format two-column camera copy. (Please read the formatting instructions!) To retrieve the templates, please go to
If you use LaTeX, please note that use of the new aaai.sty macro is required (the old aaai.sty macros and instructions are not the same; note that ijcai.sty macros are not acceptable).  To avoid having your file returned for reformatting, you should download latex-set.tex and you must format your paper using the Times font. Please download "latex-set.tex" and read the new instructions for LaTeX users.

Do not ever use gif files in your paper. This format is suitable for screen use only. It will not print legibly on our printer's equipment.

Naming Your Electronic File
To avoid possible erasure of your file on our site, you should include the following elements in the name of your file (in this order):

1. SS
2. The Symposium Number (01, 02, 03, etc. - -see the list below for
   your symposium file number)
3. Principal Author's Surname and  First Initial (use mixed case)
4. Filetype extension (.gz or .zip or .sit or .z or whatever is the correct suffix for the compression method that you used for your archive)

Thus, a paper by A. Newell for the 2007 Spring Symposium number 02 would be called:


If you are submitting more than one file under the same author's name, number the files 1, 2, etc. and put the number after the author's name. For example:

Symposium File Numbers
SS0701  Control Mechanisms for Spatial Knowledge Processing in Cognitive / Intelligent Systems
SS0702  Game Theoretic and Decision Theoretic Agents
SS0703  Intentions in Intelligent Systems
SS0704  Interaction Challenges for Artificial Assistants
SS0705  Logical Formalizations of Commonsense Reasoning
SS0706  Machine Reading
SS0707  Multidisciplinary Collaboration for Socially Assistive Robotics
SS0708  Quantum Interaction
SS0709  Robots and Robot Venues: Resources for AI Education

Finally, a compressed archive can be submitted at:

We're sorry, we cannot accept e-mail submissions.

If you have any questions regarding the formatting and guidelines of this author kit, please contact

Thank you for reading these instructions.

AAAI Spring Symposium Series
Audio Visual Request Form

All rooms in which the symposia are held will have an LCD projector and screen as standard equipment. Individuals requiring special audio visual needs (e.g., an overhead or a VCR) for their presentations are requested to provide the information below.







SPECIAL A/V NEEDS (please only list what you would like AAAI to provide):

Please note that a/v requests are subject to budget restrictions. Authors are required to provide their own laptop computers, as well as all software needed to operate programs. Connections to the internet are generally unavailable in the session rooms due to budget restrictions.

Please return this to AAAI at by January 26, 2007.

UCL logo   Web site hosted by
  University College London