ࡱ> IKH!` 3bjbj\\ 9J>>)      & 846$& ffffffA"c oEGGGGGG$, h"k wAAwwk  ffw f fEwE:fw   fZ %wr E0 #|## Hwwwkkedwwwwwww& & & & & & & & &        IJCAI07 Formatting Instructions( Authors Names Affiliation Mailing address email address Abstract The IJCAI07 Proceedings will be printed from electronic manuscripts submitted by the authors. The electronic manuscript will also be included in a CD-ROM version of the proceedings. This paper provides the style instructions. 1 Introduction The IJCAI07 Proceedings will be printed from electronic manuscripts submitted by the authors. These must be PDF (Portable Document Format) files formatted for 8-1/2" ( 11" paper. 1.1 Length of Papers Full Papers: Each accepted full paper is allowed six pages in the proceedings. Up to two additional pages may be purchased at a price of $250 per page. Poster Papers: Each accepted poster paper is allowed six pages in the proceedings. 1.2 Word Processing Software As detailed below, IJCAI has prepared and made available a set of LATEX macros and a Microsoft Word template for use in formatting your paper. If you are using some other word processing software (such as WordPerfect, etc.), please follow the format instructions given below and ensure that your final paper looks as much like this sample as possible. 2 Style and Format LATEX and Word style files that implement these instructions can be retrieved electronically. (See AppendixA for instructions on how to obtain these files.) 2.1 Layout Print manuscripts two columns to a page, in the manner in which these instructions are printed. The exact dimensions for pages are: left and right margins: .75" column width: 3.375" gap between columns: .25" top marginfirst page: 1.375" top marginother pages: .75" bottom margin: 1.25" column heightfirst page: 6.625" column heightother pages: 9" All measurements assume an 8-1/2" ( 11" page size. For A4-size paper, use the given top and left margins, column width, height, and gap, and modify the bottom and right margins as necessary. 2.2 Format of Electronic Manuscript For the production of the electronic manuscript, you must use Adobes Portable Document Format (PDF). A PDF file can be generated, for instance, on Unix systems using ps2pdf or on Windows systems using Adobes Distiller. There is also a website with free software and conversion services: http://www.ps2pdf.com/. For reasons of uniformity, Adobes Times Roman font is strongly suggested. In LATEX2e, this is accomplished by putting \usepackage{times} in the preamble. Additionally, it is of the utmost importance to specify the American letter format (corresponding to 8-1/2" ( 11") when formatting the paper. When working with dvips, for instance, one should specify t letter. 2.3 Title and Author Information Center the title on the entire width of the page in a 14-point bold font. Below it, center the author name(s) in a 12-point bold font, and then center the address(es) in a 12-point regular font. Credit to a sponsoring agency can appear on the first page as a footnote. Blind Reviews In order to make blind reviewing possible, authors should omit their names and affiliations when submitting the paper for review. In place of names and affiliations, provide a list of content areas. When referring to ones own work, use the third person rather than the first person. For example, say, Previously, Gottlob [1992] has shown that, rather than, In our previous work [Gottlob, 1992], we have shown that Try to avoid including any information in the body of the paper or references that would identify the authors or their institutions. Such information can be added to the final camera-ready version for publication. 2.4 Abstract Place the abstract at the beginning of the first column 3'' from the top of the page, unless that does not leave enough room for the title and author information. Use a slightly smaller width than in the body of the paper. Head the abstract with Abstract centered above the body of the abstract in a 12-point bold font. The body of the abstract should be in the same font as the body of the paper. The abstract should be a concise, one-paragraph summary describing the general thesis and conclusion of your paper. A reader should be able to learn the purpose of the paper and the reason for its importance from the abstract. The abstract should be no more than 200 words long. 2.5 Text The main body of the text immediately follows the abstract. Use 10-point type in a clear, readable font with 1point leading (10 on 11). Indent when starting a new paragraph, except after major headings. 2.6 Headings and Sections When necessary, headings should be used to separate major sections of your paper. (These instructions use many headings to demonstrate their appearance; your paper should have fewer headings.) Section Headings Print section headings in 12-point bold type in the style shown in these instructions. Leave a blank space of approximately 10 points above and 4 points below section headings. Number sections with arabic numerals. Subsection Headings Print subsection headings in 11-point bold type. Leave a blank space of approximately 8 points above and 3 points below subsection headings. Number subsections with the section number and the subsection number (in arabic numerals) separated by a period. Subsubsection Headings Print subsubsection headings in 10-point bold type. Leave a blank space of approximately 6 points above subsubsection headings. Do not number subsubsections. Special Sections You may include an unnumbered acknowledgements section, including acknowledgments of help from colleagues, financial support, and permission to publish. Any appendices directly follow the text and look like sections, except that they are numbered with capital letters instead of arabic numerals. The references 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 provided by BibTEX. The reference list should not include unpublished work. 2.7 Citations Citations within the text should include the authors last name and the year of publication, for example [Gottlob, 1992]. Append lowercase letters to the year in cases of ambiguity. Treat multiple authors as in the following examples: [Abelson et al., 1985] or [Baumgartner et al., 2001] (for more than two authors) and [Brachman and Schmolze, 1985] (for two authors). If the author portion of a citation is obvious, omit it, e.g., Nebel [2000]. Collapse multiple citations as follows: [Gottlob et al., 2002; Levesque, 1984a]. 2.8 Footnotes Place footnotes at the bottom of the page in a 9-point font. Refer to them with superscript numbers. Separate them from the text by a short line. Avoid footnotes as much as possible; they interrupt the flow of the text. 3 Illustrations Place illustrations (figures, drawings, tables, and photographs) throughout the paper at the places where they are first discussed, rather than at the end of the paper. If placed at the bottom or top of a page, illustrations may run across both columns. Illustrations must be rendered electronically or scanned and placed directly in your document. All illustrations should be in black and white, as colored illustrations may cause problems. Line weights should be 1/2-point or thicker. Avoid screens and superimposing type on patterns, as these effects may not reproduce well. Number illustrations sequentially. Use references of the following form: Figure 1, Table 2, etc. Place illustration numbers and captions under illustrations. Leave a margin of 1/4-inch around the area covered by the illustration and caption. Use 9-point type for captions, labels, and other text in illustrations. Acknowledgments The preparation of these instructions and the LATEX and BibTEX files that implement them was supported by Schlumberger Palo Alto Research, AT&T Bell Laboratories, and Morgan Kaufmann Publishers. Preparation of the Microsoft Word file was supported by IJCAI. An early version of this document was created by Shirley Jowell and Peter F. Patel-Schneider. It was subsequently modified by Jennifer Ballentine and Thomas Dean, Bernhard Nebel, and Daniel Pagenstecher before arriving at its current form. A LATEX and Word Style Files The LATEX and Word style files are available on the IJCAI07 website, http://www.ijcai-07.org/, on the Documents page. These style files implement the formatting instructions in this document. The LATEX files are ijcai07.sty and ijcai07.tex, and the BibTEX files are named.bst and ijcai07.bib. The LATEX style file is for version 2e of LATEX, and the BibTEX style file is for version 0.99c of BibTEX (not version 0.98i). The ijcai07.sty file is the same as the ijcai05-final.sty file used for IJCAI05. The Microsoft Word style file consists of a single template file, ijcai07.dot. This template has changed slightly from that used for IJCAI05. These Microsoft Word and LATEX files contain the source of the present document and may serve as a formatting sample. Note that the required document layout is the same as for IJCAI03. Further information on using these styles for the preparation of papers for IJCAI07 can be obtained by contacting pcchair07@ijcai.org. References [Abelson et al., 1985] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985. [Baumgartner et al., 2001] Robert Baumgartner, Georg Gottlob, and Sergio Flesca. Visual information extraction with Lixto. In Proceedings of the 27th International Conference on Very Large Databases, pages 119128, Rome, Italy, September 2001. Morgan Kaufmann. [Brachman and Schmolze, 1985] Ronald J. Brachman and James G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171216, April-June 1985. [Gottlob et al., 2002] Georg Gottlob, Nicola Leone, and Francesco Scarcello. Hypertree decompositions and tractable queries. Journal of Computer and System Sciences, 64(3):579627, May 2002. [Gottlob, 1992] Georg Gottlob. Complexity results for non-monotonic logics. Journal of Logic and Computation, 2(3):397425, June 1992. [Levesque, 1984a] Hector J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23(2):155212, July 1984. [Levesque, 1984b] Hector J. Levesque. A logic of implicit and explicit belief. In Proceedings of the Fourth National Conference on Artificial Intelligence, pages 198202, Austin, Texas, August 1984. American Association for Artificial Intelligence. [Nebel, 2000] Bernhard Nebel. On the compilability and expressive power of propositional planning formalisms. Journal of Artificial Intelligence Research, 12:271315, 2000. ( The support of IJCAI, Inc. is acknowledged.  You may want also to use the package latexsym, which defines all symbols known from the old LATEX version.  This is how your footnotes should appear.  Note the line separating these footnotes from the text.      !"/0<=MN[iq}[ d o   , k l m n o   w x   34PQefŻŻ heMlNHheMl@EH heMl@heMl@CJEH heMl@h<- heMlNH heMl5 jheMl heMl6 h3j66hq_ j*heMl0JheMlh[7B"0=N\eH W ) : F 5Rg `'&#$+D' `'&#$+D123e9L^1R_m/sN_7KI` `069L\]%/  .0no)*@A'(û heMl5jheMl0JB*UphheMl@EH heMl@heMl@CJEH heMl@ heMlNHheMlOJQJheMlOJQJ jheMlheMl heMl6B9r!!}""#$&&(-(('**s++,,-m.,//O0H11(`(456`a- . u { T!U!p!v!""0"1"""$%%%%%L&M&N&O&P&X&Y&Z&[&&&''''(((((1(2(3(4(5(g(i(s((((((((((( heMlNHh #OJQJheMlOJQJh #heMl@CJEH heMl@jheMl0JU heMl6 heMlNHheMl@EH heMl@heMlE((() )))) )-).)/);)D)I)P)T)Z)[)\)])^))))))))))))))))))))**%*]*^*j*o*q*u********)+*+++++++++,,U,w,޻޷޻޻h #h #OJQJ heMl6 heMlNHheMl@CJEH heMl@heMlOJQJhqOJQJheMlheMl@EH heMl@Fw,x,,--1-y--.;.L.... / //x//0!0"0300000"1#11111#2$2J2R2[2\222222222222222ǽǵǯǩǽǽǍjhd<^`>CJVO2V Abstract Text$hhd$]h^ha$CJROR Extract&$hhd$<<]h^ha$CJdObd Bulleted List/ & F d<^`^O^ Heading: Subsubsection$$xa$5@B@B Footnote Text `CJHOH Title: Content AreasCJ\O\ Affiliation and Address$d5JO1J Abstract Title $xa$5CJLOL Heading: Acknowledgments>O> Heading: AppendixBOB Heading: References@&@@ Footnote ReferenceH*HOH Verbatim ((^ @OJQJFOF Captions and Labels!CJTO"T Description Item"Pxx^`P0U@10 Hyperlink>*B*>'@A> Comment ReferenceCJ4@R4 Comment Text%@V@a@ FollowedHyperlink>*B* FOF Author'$`'&#$+DLOL Reference text(P^` \ 0+.+J"0=N\eHW   ):F5Rge9 L ^ 1 R _ m /sN_7KI`9r} - '""s##$$%m&,''O(H))#**********++++0@'0@0@0@0@0@0@0@0@0@00@0@0@0@0@0@0@ 0@ 0@ 0@ 0@ 0@ 0@ 0@ 0@0@0@0@ 0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@0@00@0@0@0@0@(0@(0@(0@(0@(0@(0@(0(0@0@0@0@000@000@000@000@00000 ((w,23 !"$13#38@0(  B S  ? _Hlt487176122 +@ +==N[pqbd  g i ! !!!O!P!!!""$"%"o"q"""####))J*R**+NS 9L N %+!'(.$T$U$$$$$%%-%%&:&&&&&'(u(|()G)V)e)f)))*********++++3333333333333333333333  )))*********++++  )*********++++vllr><* hh^h`OJQJo( r   ^`OJQJo(   #3j6[7iy9c\q_eMlEv?ABCDEFGJRoot Entry F%L1Table&#WordDocument9JSummaryInformation(8DocumentSummaryInformation8@CompObjq  FMicrosoft Office Word Document MSWordDocWord.Document.89q