ijcai09_latex/0000700000767700234470000000000011114756453013214 5ustar ceblyceblygrpijcai09_latex/ijcai09.tex0000600000767700234470000003003511114756053015165 0ustar ceblyceblygrp%%%% ijcai09.tex \typeout{IJCAI-09 Instructions for Authors} % These are the instructions for authors for IJCAI-09. % They are the same as the ones for IJCAI-07 with superficical wording % changes only. \documentclass{article} % The file ijcai09.sty is the style file for IJCAI-09 (same as ijcai07.sty). \usepackage{ijcai09} % Use the postscript times font! \usepackage{times} % the following package is optional: %\usepackage{latexsym} % Following comment is from ijcai97-submit.tex: % The preparation of these files was supported by Schlumberger Palo Alto % Research, AT\&T Bell Laboratories, and Morgan Kaufmann Publishers. % Shirley Jowell, of Morgan Kaufmann Publishers, and Peter F. % Patel-Schneider, of AT\&T Bell Laboratories collaborated on their % preparation. % These instructions can be modified and used in other conferences as long % as credit to the authors and supporting agencies is retained, this notice % is not changed, and further modification or reuse is not restricted. % Neither Shirley Jowell nor Peter F. Patel-Schneider can be listed as % contacts for providing assistance without their prior permission. % To use for other conferences, change references to files and the % conference appropriate and use other authors, contacts, publishers, and % organizations. % Also change the deadline and address for returning papers and the length and % page charge instructions. % Put where the files are available in the appropriate places. \title{IJCAI--09 Formatting Instructions\thanks{These match the formatting instructions of IJCAI-07. The support of IJCAI, Inc. is acknowledged.}} \author{Craig Boutilier \\ Department of Computer Science\\ University of Toronto \\ pcchair09@ijcai.org} \begin{document} \maketitle \begin{abstract} The {\it IJCAI--09 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. \end{abstract} \section{Introduction} The {\it IJCAI--09 Proceedings} will be printed from electronic manuscripts submitted by the authors. These must be PDF ({\em Portable Document Format}) files formatted for 8-1/2$''$ $\times$ 11$''$ paper. \subsection{Length of Papers} Each accepted full paper is allocated six pages in the conference proceedings. Up to two additional pages may be purchased at a price of \$275 per page for any accepted paper. However, all {\em submissions} must be a maximum of six pages in length. \subsection{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. \section{Style and Format} \LaTeX{} and Word style files that implement these instructions can be retrieved electronically. (See Appendix~\ref{stylefiles} for instructions on how to obtain these files.) \subsection{Layout} Print manuscripts two columns to a page, in the manner in which these instructions are printed. The exact dimensions for pages are: \begin{itemize} \item left and right margins: .75$''$ \item column width: 3.375$''$ \item gap between columns: .25$''$ \item top margin---first page: 1.375$''$ \item top margin---other pages: .75$''$ \item bottom margin: 1.25$''$ \item column height---first page: 6.625$''$ \item column height---other pages: 9$''$ \end{itemize} All measurements assume an 8-1/2$''$ $\times$ 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. \subsection{Format of Electronic Manuscript} For the production of the electronic manuscript, you must use Adobe's {\em Portable Document Format} (PDF). A PDF file can be generated, for instance, on Unix systems using {\tt ps2pdf} or on Windows systems using Adobe's Distiller. There is also a website with free software and conversion services: {\tt http://www.ps2pdf.com/}. For reasons of uniformity, use of Adobe's {\em Times Roman} font is strongly suggested. In \LaTeX2e{}, this is accomplished by putting \begin{quote} \mbox{\tt $\backslash$usepackage\{times\}} \end{quote} in the preamble.\footnote{You may want also to use the package {\tt latexsym}, which defines all symbols known from the old \LaTeX{} version.} Additionally, it is of utmost importance to specify the American {\bf letter} format (corresponding to 8-1/2$''$ $\times$ 11$''$) when formatting the paper. When working with {\tt dvips}, for instance, one should specify {\tt -t letter}. \subsection{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. \subsubsection{Blind Review} In order to make blind reviewing possible, authors must 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 one's own work, use the third person rather than the first person. For example, say, ``Previously, Gottlob~\shortcite{gottlob:nonmon} has shown that\ldots'', rather than, ``In our previous work~\cite{gottlob:nonmon}, we have shown that\ldots'' 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. \subsection{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. \subsection{Text} The main body of the text immediately follows the abstract. Use 10-point type in a clear, readable font with 1-point leading (10 on 11). Indent when starting a new paragraph, except after major headings. \subsection{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.) \subsubsection{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. \subsubsection{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{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. \subsubsection{Special Sections} You may include an unnumbered acknowledgments 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 that provided by Bib\TeX{}. The reference list should not include unpublished work. \subsection{Citations} Citations within the text should include the author's last name and the year of publication, for example~\cite{gottlob:nonmon}. Append lowercase letters to the year in cases of ambiguity. Treat multiple authors as in the following examples:~\cite{abelson-et-al:scheme} or~\cite{bgf:Lixto} (for more than two authors) and \cite{brachman-schmolze:kl-one} (for two authors). If the author portion of a citation is obvious, omit it, e.g., Nebel~\shortcite{nebel:jair-2000}. Collapse multiple citations as follows:~\cite{gls:hypertrees,levesque:functional-foundations}. \nocite{abelson-et-al:scheme} \nocite{bgf:Lixto} \nocite{brachman-schmolze:kl-one} \nocite{gottlob:nonmon} \nocite{gls:hypertrees} \nocite{levesque:functional-foundations} \nocite{levesque:belief} \nocite{nebel:jair-2000} \subsection{Footnotes} Place footnotes at the bottom of the page in a 9-point font. Refer to them with superscript numbers.\footnote{This is how your footnotes should appear.} Separate them from the text by a short line.\footnote{Note the line separating these footnotes from the text.} Avoid footnotes as much as possible; they interrupt the flow of the text. \section{Illustrations} Place all 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 color 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. \section*{Acknowledgments} The preparation of these instructions and the \LaTeX{} and Bib\TeX{} 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. These instructions are the same as the ones for IJCAI--05, prepared by Kurt Steinkraus, Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Lab. \appendix \section{\LaTeX{} and Word Style Files}\label{stylefiles} The \LaTeX{} and Word style files are available on the IJCAI--09 website, {\tt http://www.ijcai-09.org/}. These style files implement the formatting instructions in this document. The \LaTeX{} files are {\tt ijcai09.sty} and {\tt ijcai09.tex}, and the Bib\TeX{} files are {\tt named.bst} and {\tt ijcai09.bib}. The \LaTeX{} style file is for version 2e of \LaTeX{}, and the Bib\TeX{} style file is for version 0.99c of Bib\TeX{} ({\em not} version 0.98i). The {\tt ijcai09.sty} file is the same as the {\tt ijcai07.sty} file used for IJCAI--07. The Microsoft Word style file consists of a single template file, {\tt ijcai09.dot}. This template is the same as the one used for IJCAI--07. These Microsoft Word and \LaTeX{} files contain the source of the present document and may serve as a formatting sample. Further information on using these styles for the preparation of papers for IJCAI--09 can be obtained by contacting {\tt ijcai09@aaai.org}. %% The file named.bst is a bibliography style file for BibTeX 0.99c \bibliographystyle{named} \bibliography{ijcai09} \end{document} ijcai09_latex/named.bst0000600000767700234470000005552511111043544015013 0ustar ceblyceblygrp% BibTeX `named' style file for BibTeX version 0.99c, LaTeX version 2.09 % Place it in a file called named.bst in the BibTeX search path. (Placing it % in the same directory as the LaTeX document should also work.) % Support for named citations is provided by named.sty % This version was made by modifying the master file made by % Oren Patashnik (PATASHNIK@SCORE.STANFORD.EDU) % Copyright (C) 1985, all rights reserved. % Modifications Copyright (C) 1988, 1989, Peter F. Patel-Schneider % Copying of this file is authorized only if either % (1) you make absolutely no changes to your copy, including name, or % (2) if you do make changes, you name it something other than % btxbst.doc, plain.bst, unsrt.bst, alpha.bst, and abbrv.bst. % This restriction helps ensure that all standard styles are identical. % This style is NOT guaranteed to work. It is provided in the hope % that it will make the preparation of papers easier. % % There are undoubtably bugs in this style. If you make bug fixes, % improvements, etc. please let me know. My e-mail address is: % pfps@research.att.com % The preparation of this modified file was supported by Schlumberger Palo % Alto Research and AT\&T Bell Laboratories. % This file can be used in other conferences as long as credit to the % authors and supporting agencies is retained, this notice is not changed, % and further modification or reuse is not restricted. % Citation format: [author-last-name, year] % [author-last-name and author-last-name, year] % [author-last-name {\em et al.}, year] % % Reference list ordering: alphabetical by author or whatever passes % for author in the absence of one. % % This BibTeX style has support for short (year only) citations. This % is done by having the citations actually look like % \citeauthoryear{author-info}{year} % The LaTeX style has to have the following (or similar) % \let\@internalcite\cite % \def\cite{\def\citeauthoryear##1##2{##1, ##2}\@internalcite} % \def\shortcite{\def\citeauthoryear##1{##2}\@internalcite} % \def\@biblabel#1{\def\citeauthoryear##1##2{##1, ##2}[#1]\hfill} % which makes \shortcite the macro for short citations. ENTRY { address author booktitle chapter edition editor howpublished institution journal key month note number organization pages publisher school series title type volume year } {} { label extra.label sort.label } INTEGERS { output.state before.all mid.sentence after.sentence after.block } FUNCTION {init.state.consts} { #0 'before.all := #1 'mid.sentence := #2 'after.sentence := #3 'after.block := } STRINGS { s t } FUNCTION {output.nonnull} { 's := output.state mid.sentence = { ", " * write$ } { output.state after.block = { add.period$ write$ newline$ "\newblock " write$ } { output.state before.all = 'write$ { add.period$ " " * write$ } if$ } if$ mid.sentence 'output.state := } if$ s } FUNCTION {output} { duplicate$ empty$ 'pop$ 'output.nonnull if$ } FUNCTION {output.check} { 't := duplicate$ empty$ { pop$ "empty " t * " in " * cite$ * warning$ } 'output.nonnull if$ } FUNCTION {output.bibitem} { newline$ "\bibitem[" write$ label write$ "]{" write$ cite$ write$ "}" write$ newline$ "" before.all 'output.state := } FUNCTION {fin.entry} { add.period$ write$ newline$ } FUNCTION {new.block} { output.state before.all = 'skip$ { after.block 'output.state := } if$ } FUNCTION {new.sentence} { output.state after.block = 'skip$ { output.state before.all = 'skip$ { after.sentence 'output.state := } if$ } if$ } FUNCTION {not} { { #0 } { #1 } if$ } FUNCTION {and} { 'skip$ { pop$ #0 } if$ } FUNCTION {or} { { pop$ #1 } 'skip$ if$ } FUNCTION {new.block.checka} { empty$ 'skip$ 'new.block if$ } FUNCTION {new.block.checkb} { empty$ swap$ empty$ and 'skip$ 'new.block if$ } FUNCTION {new.sentence.checka} { empty$ 'skip$ 'new.sentence if$ } FUNCTION {new.sentence.checkb} { empty$ swap$ empty$ and 'skip$ 'new.sentence if$ } FUNCTION {field.or.null} { duplicate$ empty$ { pop$ "" } 'skip$ if$ } FUNCTION {emphasize} { duplicate$ empty$ { pop$ "" } { "{\em " swap$ * "}" * } if$ } INTEGERS { nameptr namesleft numnames } FUNCTION {format.names} { 's := #1 'nameptr := s num.names$ 'numnames := numnames 'namesleft := { namesleft #0 > } { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't := nameptr #1 > { namesleft #1 > { ", " * t * } { numnames #2 > { "," * } 'skip$ if$ t "others" = { " et~al." * } { " and " * t * } if$ } if$ } 't if$ nameptr #1 + 'nameptr := namesleft #1 - 'namesleft := } while$ } FUNCTION {format.authors} { author empty$ { "" } { author format.names } if$ } FUNCTION {format.editors} { editor empty$ { "" } { editor format.names editor num.names$ #1 > { ", editors" * } { ", editor" * } if$ } if$ } FUNCTION {format.title} { title empty$ { "" } { title "t" change.case$ } if$ } FUNCTION {n.dashify} { 't := "" { t empty$ not } { t #1 #1 substring$ "-" = { t #1 #2 substring$ "--" = not { "--" * t #2 global.max$ substring$ 't := } { { t #1 #1 substring$ "-" = } { "-" * t #2 global.max$ substring$ 't := } while$ } if$ } { t #1 #1 substring$ * t #2 global.max$ substring$ 't := } if$ } while$ } FUNCTION {format.date} { year empty$ { month empty$ { "" } { "there's a month but no year in " cite$ * warning$ month } if$ } { month empty$ 'year { month " " * year * } if$ } if$ } FUNCTION {format.btitle} { title emphasize } FUNCTION {tie.or.space.connect} { duplicate$ text.length$ #3 < { "~" } { " " } if$ swap$ * * } FUNCTION {either.or.check} { empty$ 'pop$ { "can't use both " swap$ * " fields in " * cite$ * warning$ } if$ } FUNCTION {format.bvolume} { volume empty$ { "" } { "volume" volume tie.or.space.connect series empty$ 'skip$ { " of " * series emphasize * } if$ "volume and number" number either.or.check } if$ } FUNCTION {format.number.series} { volume empty$ { number empty$ { series field.or.null } { output.state mid.sentence = { "number" } { "Number" } if$ number tie.or.space.connect series empty$ { "there's a number but no series in " cite$ * warning$ } { " in " * series * } if$ } if$ } { "" } if$ } FUNCTION {format.edition} { edition empty$ { "" } { output.state mid.sentence = { edition "l" change.case$ " edition" * } { edition "t" change.case$ " edition" * } if$ } if$ } INTEGERS { multiresult } FUNCTION {multi.page.check} { 't := #0 'multiresult := { multiresult not t empty$ not and } { t #1 #1 substring$ duplicate$ "-" = swap$ duplicate$ "," = swap$ "+" = or or { #1 'multiresult := } { t #2 global.max$ substring$ 't := } if$ } while$ multiresult } FUNCTION {format.pages} { pages empty$ { "" } { pages multi.page.check { "pages" pages n.dashify tie.or.space.connect } { "page" pages tie.or.space.connect } if$ } if$ } FUNCTION {format.vol.num.pages} { volume field.or.null number empty$ 'skip$ { "(" number * ")" * * volume empty$ { "there's a number but no volume in " cite$ * warning$ } 'skip$ if$ } if$ pages empty$ 'skip$ { duplicate$ empty$ { pop$ format.pages } { ":" * pages n.dashify * } if$ } if$ } FUNCTION {format.chapter.pages} { chapter empty$ 'format.pages { type empty$ { "chapter" } { type "l" change.case$ } if$ chapter tie.or.space.connect pages empty$ 'skip$ { ", " * format.pages * } if$ } if$ } FUNCTION {format.in.ed.booktitle} { booktitle empty$ { "" } { editor empty$ { "In " booktitle emphasize * } { "In " format.editors * ", " * booktitle emphasize * } if$ } if$ } FUNCTION {empty.misc.check} { author empty$ title empty$ howpublished empty$ month empty$ year empty$ note empty$ and and and and and key empty$ not and { "all relevant fields are empty in " cite$ * warning$ } 'skip$ if$ } FUNCTION {format.thesis.type} { type empty$ 'skip$ { pop$ type "t" change.case$ } if$ } FUNCTION {format.tr.number} { type empty$ { "Technical Report" } 'type if$ number empty$ { "t" change.case$ } { number tie.or.space.connect } if$ } FUNCTION {format.article.crossref} { key empty$ { journal empty$ { "need key or journal for " cite$ * " to crossref " * crossref * warning$ "" } { "In {\em " journal * "\/}" * } if$ } { "In " key * } if$ " \shortcite{" * crossref * "}" * } FUNCTION {format.crossref.editor} { editor #1 "{vv~}{ll}" format.name$ editor num.names$ duplicate$ #2 > { pop$ " et~al." * } { #2 < 'skip$ { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" = { " et~al." * } { " and " * editor #2 "{vv~}{ll}" format.name$ * } if$ } if$ } if$ } FUNCTION {format.book.crossref} { volume empty$ { "empty volume in " cite$ * "'s crossref of " * crossref * warning$ "In " } { "Volume" volume tie.or.space.connect " of " * } if$ editor empty$ editor field.or.null author field.or.null = or { key empty$ { series empty$ { "need editor, key, or series for " cite$ * " to crossref " * crossref * warning$ "" * } { "{\em " * series * "\/}" * } if$ } { key * } if$ } { format.crossref.editor * } if$ " \shortcite{" * crossref * "}" * } FUNCTION {format.incoll.inproc.crossref} { editor empty$ editor field.or.null author field.or.null = or { key empty$ { booktitle empty$ { "need editor, key, or booktitle for " cite$ * " to crossref " * crossref * warning$ "" } { "In {\em " booktitle * "\/}" * } if$ } { "In " key * } if$ } { "In " format.crossref.editor * } if$ " \shortcite{" * crossref * "}" * } FUNCTION {article} { output.bibitem format.authors "author" output.check new.block format.title "title" output.check new.block crossref missing$ { journal emphasize "journal" output.check format.vol.num.pages output format.date "year" output.check } { format.article.crossref output.nonnull format.pages output } if$ new.block note output fin.entry } FUNCTION {book} { output.bibitem author empty$ { format.editors "author and editor" output.check } { format.authors output.nonnull crossref missing$ { "author and editor" editor either.or.check } 'skip$ if$ } if$ new.block format.btitle "title" output.check crossref missing$ { format.bvolume output new.block format.number.series output new.sentence publisher "publisher" output.check address output } { new.block format.book.crossref output.nonnull } if$ format.edition output format.date "year" output.check new.block note output fin.entry } FUNCTION {booklet} { output.bibitem format.authors output new.block format.title "title" output.check howpublished address new.block.checkb howpublished output address output format.date output new.block note output fin.entry } FUNCTION {inbook} { output.bibitem author empty$ { format.editors "author and editor" output.check } { format.authors output.nonnull crossref missing$ { "author and editor" editor either.or.check } 'skip$ if$ } if$ new.block format.btitle "title" output.check crossref missing$ { format.bvolume output format.chapter.pages "chapter and pages" output.check new.block format.number.series output new.sentence publisher "publisher" output.check address output } { format.chapter.pages "chapter and pages" output.check new.block format.book.crossref output.nonnull } if$ format.edition output format.date "year" output.check new.block note output fin.entry } FUNCTION {incollection} { output.bibitem format.authors "author" output.check new.block format.title "title" output.check new.block crossref missing$ { format.in.ed.booktitle "booktitle" output.check format.bvolume output format.number.series output format.chapter.pages output new.sentence publisher "publisher" output.check address output format.edition output format.date "year" output.check } { format.incoll.inproc.crossref output.nonnull format.chapter.pages output } if$ new.block note output fin.entry } FUNCTION {inproceedings} { output.bibitem format.authors "author" output.check new.block format.title "title" output.check new.block crossref missing$ { format.in.ed.booktitle "booktitle" output.check format.bvolume output format.number.series output format.pages output address empty$ { organization publisher new.sentence.checkb organization output publisher output format.date "year" output.check } { address output.nonnull format.date "year" output.check new.sentence organization output publisher output } if$ } { format.incoll.inproc.crossref output.nonnull format.pages output } if$ new.block note output fin.entry } FUNCTION {conference} { inproceedings } FUNCTION {manual} { output.bibitem author empty$ { organization empty$ 'skip$ { organization output.nonnull address output } if$ } { format.authors output.nonnull } if$ new.block format.btitle "title" output.check author empty$ { organization empty$ { address new.block.checka address output } 'skip$ if$ } { organization address new.block.checkb organization output address output } if$ format.edition output format.date output new.block note output fin.entry } FUNCTION {mastersthesis} { output.bibitem format.authors "author" output.check new.block format.title "title" output.check new.block "Master's thesis" format.thesis.type output.nonnull school "school" output.check address output format.date "year" output.check new.block note output fin.entry } FUNCTION {misc} { output.bibitem format.authors output title howpublished new.block.checkb format.title output howpublished new.block.checka howpublished output format.date output new.block note output fin.entry empty.misc.check } FUNCTION {phdthesis} { output.bibitem format.authors "author" output.check new.block format.btitle "title" output.check new.block "PhD thesis" format.thesis.type output.nonnull school "school" output.check address output format.date "year" output.check new.block note output fin.entry } FUNCTION {proceedings} { output.bibitem editor empty$ { organization output } { format.editors output.nonnull } if$ new.block format.btitle "title" output.check format.bvolume output format.number.series output address empty$ { editor empty$ { publisher new.sentence.checka } { organization publisher new.sentence.checkb organization output } if$ publisher output format.date "year" output.check } { address output.nonnull format.date "year" output.check new.sentence editor empty$ 'skip$ { organization output } if$ publisher output } if$ new.block note output fin.entry } FUNCTION {techreport} { output.bibitem format.authors "author" output.check new.block format.title "title" output.check new.block format.tr.number output.nonnull institution "institution" output.check address output format.date "year" output.check new.block note output fin.entry } FUNCTION {unpublished} { output.bibitem format.authors "author" output.check new.block format.title "title" output.check new.block note "note" output.check format.date output fin.entry } FUNCTION {default.type} { misc } MACRO {jan} {"January"} MACRO {feb} {"February"} MACRO {mar} {"March"} MACRO {apr} {"April"} MACRO {may} {"May"} MACRO {jun} {"June"} MACRO {jul} {"July"} MACRO {aug} {"August"} MACRO {sep} {"September"} MACRO {oct} {"October"} MACRO {nov} {"November"} MACRO {dec} {"December"} MACRO {acmcs} {"ACM Computing Surveys"} MACRO {acta} {"Acta Informatica"} MACRO {cacm} {"Communications of the ACM"} MACRO {ibmjrd} {"IBM Journal of Research and Development"} MACRO {ibmsj} {"IBM Systems Journal"} MACRO {ieeese} {"IEEE Transactions on Software Engineering"} MACRO {ieeetc} {"IEEE Transactions on Computers"} MACRO {ieeetcad} {"IEEE Transactions on Computer-Aided Design of Integrated Circuits"} MACRO {ipl} {"Information Processing Letters"} MACRO {jacm} {"Journal of the ACM"} MACRO {jcss} {"Journal of Computer and System Sciences"} MACRO {scp} {"Science of Computer Programming"} MACRO {sicomp} {"SIAM Journal on Computing"} MACRO {tocs} {"ACM Transactions on Computer Systems"} MACRO {tods} {"ACM Transactions on Database Systems"} MACRO {tog} {"ACM Transactions on Graphics"} MACRO {toms} {"ACM Transactions on Mathematical Software"} MACRO {toois} {"ACM Transactions on Office Information Systems"} MACRO {toplas} {"ACM Transactions on Programming Languages and Systems"} MACRO {tcs} {"Theoretical Computer Science"} READ FUNCTION {sortify} { purify$ "l" change.case$ } INTEGERS { len } FUNCTION {chop.word} { 's := 'len := s #1 len substring$ = { s len #1 + global.max$ substring$ } 's if$ } INTEGERS { et.al.char.used } FUNCTION {initialize.et.al.char.used} { #0 'et.al.char.used := } EXECUTE {initialize.et.al.char.used} FUNCTION {format.lab.names} { 's := s num.names$ 'numnames := numnames #1 = { s #1 "{vv }{ll}" format.name$ } { numnames #2 = { s #1 "{vv }{ll }and " format.name$ s #2 "{vv }{ll}" format.name$ * } { s #1 "{vv }{ll }\bgroup \em et al.\egroup " format.name$ } if$ } if$ } FUNCTION {author.key.label} { author empty$ { key empty$ { cite$ #1 #3 substring$ } { key } if$ } { author format.lab.names } if$ } FUNCTION {author.editor.key.label} { author empty$ { editor empty$ { key empty$ { cite$ #1 #3 substring$ } { key } if$ } { editor format.lab.names } if$ } { author format.lab.names } if$ } FUNCTION {author.key.organization.label} { author empty$ { key empty$ { organization empty$ { cite$ #1 #3 substring$ } { "The " #4 organization chop.word #3 text.prefix$ } if$ } { key } if$ } { author format.lab.names } if$ } FUNCTION {editor.key.organization.label} { editor empty$ { key empty$ { organization empty$ { cite$ #1 #3 substring$ } { "The " #4 organization chop.word #3 text.prefix$ } if$ } { key } if$ } { editor format.lab.names } if$ } FUNCTION {calc.label} { type$ "book" = type$ "inbook" = or 'author.editor.key.label { type$ "proceedings" = 'editor.key.organization.label { type$ "manual" = 'author.key.organization.label 'author.key.label if$ } if$ } if$ duplicate$ "\protect\citeauthoryear{" swap$ * "}{" * year field.or.null purify$ * % CHANGED - pfps - 15 Feb 1989 'label := year field.or.null purify$ * sortify 'sort.label := } FUNCTION {sort.format.names} { 's := #1 'nameptr := "" s num.names$ 'numnames := numnames 'namesleft := { namesleft #0 > } { nameptr #1 > { " " * } 'skip$ if$ s nameptr "{vv{ } }{ll{ }}{ ff{ }}{ jj{ }}" format.name$ 't := nameptr numnames = t "others" = and { "et al" * } { t sortify * } if$ nameptr #1 + 'nameptr := namesleft #1 - 'namesleft := } while$ } FUNCTION {sort.format.title} { 't := "A " #2 "An " #3 "The " #4 t chop.word chop.word chop.word sortify #1 global.max$ substring$ } FUNCTION {author.sort} { author empty$ { key empty$ { "to sort, need author or key in " cite$ * warning$ "" } { key sortify } if$ } { author sort.format.names } if$ } FUNCTION {author.editor.sort} { author empty$ { editor empty$ { key empty$ { "to sort, need author, editor, or key in " cite$ * warning$ "" } { key sortify } if$ } { editor sort.format.names } if$ } { author sort.format.names } if$ } FUNCTION {author.organization.sort} { author empty$ { organization empty$ { key empty$ { "to sort, need author, organization, or key in " cite$ * warning$ "" } { key sortify } if$ } { "The " #4 organization chop.word sortify } if$ } { author sort.format.names } if$ } FUNCTION {editor.organization.sort} { editor empty$ { organization empty$ { key empty$ { "to sort, need editor, organization, or key in " cite$ * warning$ "" } { key sortify } if$ } { "The " #4 organization chop.word sortify } if$ } { editor sort.format.names } if$ } FUNCTION {presort} { calc.label sort.label " " * type$ "book" = type$ "inbook" = or 'author.editor.sort { type$ "proceedings" = 'editor.organization.sort { type$ "manual" = 'author.organization.sort 'author.sort if$ } if$ } if$ * " " * year field.or.null sortify * " " * title field.or.null sort.format.title * #1 entry.max$ substring$ 'sort.key$ := } ITERATE {presort} SORT STRINGS { longest.label last.sort.label next.extra } INTEGERS { longest.label.width last.extra.num } FUNCTION {initialize.longest.label} { "" 'longest.label := #0 int.to.chr$ 'last.sort.label := "" 'next.extra := #0 'longest.label.width := #0 'last.extra.num := } FUNCTION {forward.pass} { last.sort.label sort.label = { last.extra.num #1 + 'last.extra.num := last.extra.num int.to.chr$ 'extra.label := } { "a" chr.to.int$ 'last.extra.num := "" 'extra.label := sort.label 'last.sort.label := } if$ } FUNCTION {reverse.pass} { next.extra "b" = { "a" 'extra.label := } 'skip$ if$ label extra.label * "}" * 'label := % CHANGED - pfps 15 Feb 1989 label width$ longest.label.width > { label 'longest.label := label width$ 'longest.label.width := } 'skip$ if$ extra.label 'next.extra := } EXECUTE {initialize.longest.label} ITERATE {forward.pass} REVERSE {reverse.pass} FUNCTION {begin.bib} { et.al.char.used { "\newcommand{\etalchar}[1]{$^{#1}$}" write$ newline$ } 'skip$ if$ preamble$ empty$ 'skip$ { preamble$ write$ newline$ } if$ "\begin{thebibliography}{}" write$ newline$ } EXECUTE {begin.bib} EXECUTE {init.state.consts} ITERATE {call.type$} FUNCTION {end.bib} { newline$ "\end{thebibliography}" write$ newline$ } EXECUTE {end.bib} ijcai09_latex/ijcai09.sty0000600000767700234470000003234510410261345015203 0ustar ceblyceblygrp\typeout{Conference Style, version of 6 September 1995 (revised Nov 2000)} % All bug reports should be directed to kek@cs.brown.edu % The following comments are from the original ijcai97.sty % The current two-column conference style. % Originally used for IJCAI-89. % Fixes from various people incorporated up to the IJCAI-95 style. % To use, place in a file called conference.sty, or whatever your conference % is called, in the TeX search path. (Placing it in the same directory as % the paper should also work.) % Prepared by Peter F. Patel-Schneider, % liberally using the ideas of % other style hackers, including Barbara Beeton. % This style is NOT guaranteed to work. It is provided in the hope % that it will make the preparation of papers easier. % % The preparation of this file was supported by Schlumberger Palo Alto % Research, AT\&T Bell Laboratories, AAAI, and Morgan Kaufmann Publishers. % \pubnote added by J. Scott Penberthy % These instructions can be modified and used in other conferences as long % as credit to the authors and supporting agencies is retained, this notice % is not changed, and further modification or reuse is not restricted. % % If you are organizing a conference, and want to use this file, you should % appoint a contact person to handle any problems! % % If you are using this file for the preparation of papers for a % conference that supplied you with this file, you should contact the % organizers of the conference if you have any problems. They should have % much more information than I have. % There are undoubtably bugs in this style. If you make bug fixes, % improvements, etc. please let me know. My e-mail address is: % pfps@research.bell-labs.com % Papers are to be prepared using the ``named'' bibliography style, % included in this file, which implements long and short citations. % % \documentstyle[conference]{article} % \title{Title} % \author{Author 1 \and Author 2 \\ Address line \\ Address line \And % Author 3 \\ Address line \\ Address line} % \pubnote{\em To appear, AAAI-94} % optional, remove for submission % \begin{document} % \maketitle % ... % \bibliography{bibliography-file} % \bibliographystyle{named} % \end{document} % % \pubnote is for printing the paper yourself, and should not be used in % submitted versions!!!! % Author information can be set in various styles: % For several authors from the same institution: % \author{Author 1 \and ... \and Author n \\ % Address line \\ ... \\ Address line} % if the names do not fit well on one line use % \author{Author 1 \\ {\bf Author 2} \\ ... \\ {\bf Author n} \\ % Address line \\ ... \\ Address line} % For authors from different institutions: % \author{Author 1 \\ Address line \\ ... \\ Address line % \And ... \And % Author n \\ Address line \\ ... \\ Address line} % To start a separate ``row'' of authors use \AND, as in % \author{Author 1 \\ Address line \\ ... \\ Address line % \AND % Author 2 \\ Address line \\ ... \\ Address line \And % Author 3 \\ Address line \\ ... \\ Address line} % If the title and author information does not fit in the area allocated, % place \setlength\titlebox{} after the \documentstyle line % where is something like 2.5in % NOTE: Some laser printers have a serious problem printing TeX output. % These printing devices, commonly known as ``write-white'' laser % printers, tend to make characters too light. To get around this % problem, a darker set of fonts must be created for these devices. % Physical page layout \twocolumn \flushbottom \sloppy % Note that TeX has built-in 1-inch top and left margins. \setlength\topmargin{-0.25in} \setlength\oddsidemargin{-0.25in} \setlength\evensidemargin{-0.25in} \setlength\textheight{9.0in} \setlength\textwidth{7.0in} \setlength\columnsep{0.25in} \newlength\titlebox \setlength\titlebox{2.25in} % No pages numbers or other headers or footers \setlength\headheight{0pt} \setlength\headsep{0pt} %\setlength\footheight{0pt} \setlength\footskip{0pt} \thispagestyle{empty} \pagestyle{empty} % jsp added: \def\pubnote#1{\thispagestyle{myheadings} \markboth{#1}{#1} \def\thepage{} } % Less leading in most fonts (due to the narrow columns) % The choices were between 1-pt and 1.5-pt leading % \def\@normalsize{\@setsize\normalsize{11pt}\xpt\@xpt} % 10 point on 11 % \def\small{\@setsize\small{10pt}\ixpt\@ixpt} % 9 point on 10 % \def\footnotesize{\@setsize\footnotesize{10pt}\ixpt\@ixpt} % 9 point on 10 % \def\scriptsize{\@setsize\scriptsize{8pt}\viipt\@viipt} % 7 point on 8 % \def\tiny{\@setsize\tiny{7pt}\vipt\@vipt} % 6 point on 7 % \def\large{\@setsize\large{12pt}\xipt\@xipt} % 11 point on 12 % \def\Large{\@setsize\Large{14pt}\xiipt\@xiipt} % 12 point on 14 % \def\LARGE{\@setsize\LARGE{16pt}\xivpt\@xivpt} % 14 point on 16 % \def\huge{\@setsize\huge{20pt}\xviipt\@xviipt} % 17 point on 20 % \def\Huge{\@setsize\Huge{23pt}\xxpt\@xxpt} % 20 point on 23 % latex2e compatibility mode hack - kek@cs.brown.edu 11/10/98 \def\@normalsize{\@setsize\normalsize{11pt}\xpt\@xpt} % 10 point on 11 \def\normalsize{\@setsize\normalsize{11pt}\xpt\@xpt} % 10 point on 11 \def\small{\@setsize\small{10pt}\ixpt\@ixpt} % 9 point on 10 \def\footnotesize{\@setsize\footnotesize{10pt}\ixpt\@ixpt} % 9 point on 10 \def\scriptsize{\@setsize\scriptsize{8pt}\viipt\@viipt} % 7 point on 8 \def\tiny{\@setsize\tiny{7pt}\vipt\@vipt} % 6 point on 7 \def\large{\@setsize\large{12pt}\xipt\@xipt} % 11 point on 12 \def\Large{\@setsize\Large{14pt}\xiipt\@xiipt} % 12 point on 14 \def\LARGE{\@setsize\LARGE{16pt}\xivpt\@xivpt} % 14 point on 16 \def\huge{\@setsize\huge{20pt}\xviipt\@xviipt} % 17 point on 20 \def\Huge{\@setsize\Huge{23pt}\xxpt\@xxpt} % 20 point on 23 % Paragraphs \parindent 1em \parskip 0pt plus 1pt % Title stuff, taken from deproc. \def\maketitle{\par \begingroup % to make the footnote style local to the title \def\thefootnote{\fnsymbol{footnote}} \def\@makefnmark{$^{\@thefnmark}$} \twocolumn[\@maketitle] \@thanks \endgroup \setcounter{footnote}{0} \let\maketitle\relax \let\@maketitle\relax \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax} \def\@maketitle{\vbox to \titlebox{\hsize\textwidth \linewidth\hsize \vskip 0.625in minus 0.125in \centering {\LARGE\bf \@title \par} \vskip 0.2in plus 1fil minus 0.1in {\def\and{\unskip\enspace{\rm and}\enspace}% \def\And{\end{tabular}\hss \egroup \hskip 1in plus 2fil \hbox to 0pt\bgroup\hss \begin{tabular}[t]{c}\Large\bf}% \def\AND{\end{tabular}\hss\egroup \hfil\hfil\egroup \vskip 0.25in plus 1fil minus 0.125in \hbox to \linewidth\bgroup\Large \hfil\hfil \hbox to 0pt\bgroup\hss \begin{tabular}[t]{c}\Large\bf} \hbox to \linewidth\bgroup\Large \hfil\hfil \hbox to 0pt\bgroup\hss \begin{tabular}[t]{c}\Large\bf\@author \end{tabular}\hss\egroup \hfil\hfil\egroup} \vskip 0.3in plus 2fil minus 0.1in }} \renewenvironment{abstract}{\centerline{\Large\bf Abstract}\vspace{0.5ex}\begin{quote}}{\par\end{quote}\vskip 1ex} % Sections with less space \def\section{\@startsection{section}{1}{\z@}{-10pt plus -3pt minus -2pt}{4pt plus 2pt minus 1pt}{\Large\bf\raggedright}} \def\subsection{\@startsection{subsection}{2}{\z@}{-8pt plus -2pt minus -2pt}{3pt plus 2pt minus 1pt}{\large\bf\raggedright}} \def\subsubsection{\@startsection{subparagraph}{3}{\z@}{-6pt plus -2pt minus -1pt}{1pt plus 1pt minus 1pt}{\normalsize\bf\raggedright}} \setcounter{secnumdepth}{2} % Don't number subsubsections % Footnotes \footnotesep 6.65pt \skip\footins 9pt plus 4pt minus 2pt \def\footnoterule{\kern-3pt \hrule width 5pc \kern 2.6pt } \setcounter{footnote}{0} % Illustrations (floats) \floatsep 12pt plus 2pt minus 2pt \textfloatsep 16pt plus 2pt minus 4pt \intextsep 12pt plus 2pt minus 2pt \dblfloatsep 12pt plus 2pt minus 2pt \dbltextfloatsep 18pt plus 2pt minus 4pt % Displays \abovedisplayskip 7pt plus2pt minus5pt% \belowdisplayskip \abovedisplayskip \abovedisplayshortskip 0pt plus3pt% \belowdisplayshortskip 4pt plus3pt minus3pt% % Lists \leftmargini 2em \leftmarginii 2em \leftmarginiii 1em \leftmarginiv 0.5em \leftmarginv 0.5em \leftmarginvi 0.5em \leftmargin\leftmargini \labelsep 5pt \labelwidth\leftmargini\advance\labelwidth-\labelsep \def\@listI{\leftmargin\leftmargini \parsep 2pt plus 1pt minus 0.5pt% \topsep 4pt plus 1pt minus 2pt% \itemsep 2pt plus 1pt minus 0.5pt% \partopsep 1pt plus 0.5pt minus 0.5pt} \let\@listi\@listI \@listi \def\@listii{\leftmargin\leftmarginii \labelwidth\leftmarginii\advance\labelwidth-\labelsep \parsep 1pt plus 0.5pt minus 0.5pt \topsep 2pt plus 1pt minus 0.5pt \itemsep \parsep} \def\@listiii{\leftmargin\leftmarginiii \labelwidth\leftmarginiii\advance\labelwidth-\labelsep \parsep 0pt plus 1pt \partopsep 0.5pt plus 0pt minus 0.5pt \topsep 1pt plus 0.5pt minus 0.5pt \itemsep \topsep} \def\@listiv{\leftmargin\leftmarginiv \labelwidth\leftmarginiv\advance\labelwidth-\labelsep} \def\@listv{\leftmargin\leftmarginv \labelwidth\leftmarginv\advance\labelwidth-\labelsep} \def\@listvi{\leftmargin\leftmarginvi \labelwidth\leftmarginvi\advance\labelwidth-\labelsep} % We're never going to need a table of contents, so just flush it to % save space --- suggested by drstrip@sandia-2 %\def\addcontentsline#1#2#3{} %%%% named.sty \typeout{Named Citation Style, version of 30 November 1994} % This file implements citations for the ``named'' bibliography style. % Place it in a file called named.sty in the TeX search path. (Placing it % in the same directory as the LaTeX document should also work.) % Prepared by Peter F. Patel-Schneider, with the assistance of several, % since forgotten, LaTeX hackers. % This style is NOT guaranteed to work. It is provided in the hope % that it will make the preparation of papers easier. % % There are undoubtably bugs in this style. If you make bug fixes, % improvements, etc. please let me know. My e-mail address is: % pfps@research.att.com % The preparation of this file was supported by Schlumberger Palo Alto % Research and AT\&T Bell Laboratories. % This file can be modified and used in other conferences as long % as credit to the authors and supporting agencies is retained, this notice % is not changed, and further modification or reuse is not restricted. % The ``named'' bibliography style creates citations with labels like % \citeauthoryear{author-info}{year} % these labels are processed by the following commands: % \cite{keylist} % which produces citations with both author and year, % enclosed in square brackets % \shortcite{keylist} % which produces citations with year only, % enclosed in square brackets % \citeauthor{key} % which produces the author information only % \citeyear{key} % which produces the year information only \def\leftcite{\@up[}\def\rightcite{\@up]} \def\cite{\def\citeauthoryear##1##2{\def\@thisauthor{##1}% \ifx \@lastauthor \@thisauthor \relax \else##1, \fi ##2}\@icite} \def\shortcite{\def\citeauthoryear##1##2{##2}\@icite} \def\citeauthor{\def\citeauthoryear##1##2{##1}\@nbcite} \def\citeyear{\def\citeauthoryear##1##2{##2}\@nbcite} % internal macro for citations with [] and with breaks between citations % used in \cite and \shortcite \def\@icite{\leavevmode\def\@citeseppen{-1000}% \def\@cite##1##2{\leftcite\nobreak\hskip 0in{##1\if@tempswa , ##2\fi}\rightcite}% \@ifnextchar [{\@tempswatrue\@citex}{\@tempswafalse\@citex[]}} % internal macro for citations without [] and with no breaks % used in \citeauthor and \citeyear \def\@nbcite{\leavevmode\def\@citeseppen{1000}% \def\@cite##1##2{{##1\if@tempswa , ##2\fi}}% \@ifnextchar [{\@tempswatrue\@citex}{\@tempswafalse\@citex[]}} % don't box citations, separate with ; and a space % also, make the penalty between citations a parameter, % it may be a good place to break \def\@citex[#1]#2{% \def\@lastauthor{}\def\@citea{}% \@cite{\@for\@citeb:=#2\do {\@citea\def\@citea{;\penalty\@citeseppen\ }% \if@filesw\immediate\write\@auxout{\string\citation{\@citeb}}\fi \@ifundefined{b@\@citeb}{\def\@thisauthor{}{\bf ?}\@warning {Citation `\@citeb' on page \thepage \space undefined}}% {\csname b@\@citeb\endcsname}\let\@lastauthor\@thisauthor}}{#1}} % raise the brackets in bibliography labels \def\@biblabel#1{\def\citeauthoryear##1##2{##1, ##2}\@up{[}#1\@up{]}\hfill} \def\@up#1{\leavevmode\raise.2ex\hbox{#1}} % Optional changes %%%% use parentheses in the reference list and citations %\def\leftcite{(}\def\rightcite{)} %\def\@biblabel#1{\def\citeauthoryear##1##2{##1, ##2}(#1)\hfill} %%%% no key in the reference list %\def\@lbibitem[#1]#2{\item\if@filesw % { \def\protect##1{\string ##1\space}\immediate % \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces} %\def\thebibliography#1{\section*{References\@mkboth % {REFERENCES}{REFERENCES}}\list % {}{\labelwidth 0pt\leftmargin\labelwidth \itemsep 0.5ex} % \def\newblock{\hskip .11em plus .33em minus .07em} % \sloppy\clubpenalty4000\widowpenalty4000 % \sfcode`\.=1000\relax} ijcai09_latex/ijcai09.bib0000600000767700234470000000450610410261313015111 0ustar ceblyceblygrp @book{ abelson-et-al:scheme, author = "Harold Abelson and Gerald~Jay Sussman and Julie Sussman", title = "Structure and Interpretation of Computer Programs", publisher = "MIT Press", address = "Cambridge, Massachusetts", year = "1985" } @inproceedings{ bgf:Lixto, author = "Robert Baumgartner and Georg Gottlob and Sergio Flesca", title = "Visual Information Extraction with {Lixto}", booktitle = "Proceedings of the 27th International Conference on Very Large Databases", pages = "119--128", publisher = "Morgan Kaufmann", address = "Rome, Italy", month = "September", year = "2001" } @article{ brachman-schmolze:kl-one, author = "Ronald~J. Brachman and James~G. Schmolze", title = "An overview of the {KL-ONE} knowledge representation system", journal = "Cognitive Science", volume = "9", number = "2", pages = "171--216", month = "April--June", year = "1985" } @article{ gottlob:nonmon, author = "Georg Gottlob", title = "Complexity results for nonmonotonic logics", journal = "Journal of Logic and Computation", volume = "2", number = "3", pages = "397--425", month = "June", year = "1992" } @article{ gls:hypertrees, author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", title = "Hypertree Decompositions and Tractable Queries", journal = "Journal of Computer and System Sciences", volume = "64", number = "3", pages = "579--627", month = "May", year = "2002" } @article{ levesque:functional-foundations, author = "Hector~J. Levesque", title = "Foundations of a functional approach to knowledge representation", journal = "Artificial Intelligence", volume = "23", number = "2", pages = "155--212", month = "July", year = "1984" } @inproceedings{ levesque:belief, author = "Hector~J. Levesque", title = "A logic of implicit and explicit belief", booktitle = "Proceedings of the Fourth National Conference on Artificial Intelligence", publisher = "American Association for Artificial Intelligence", pages = "198--202", address = "Austin, Texas", month = "August", year = "1984" } @article{ nebel:jair-2000, author = "Bernhard Nebel", title = "On the compilability and expressive power of propositional planning formalisms", journal = "Journal of Artificial Intelligence Research", volume = "12", pages = "271--315", year = "2000" }