This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=pdflatex 2008.12.28) 1 APR 2011 14:25 entering extended mode \write18 enabled. %&-line parsing enabled. **ijcai09.tex (./ijcai09.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, german-x-2008-06-18, ngerman-x-2008-06-18, ancientgreek, ibycus, ar abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, la tin, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, polish, portuguese, r omanian, russian, sanskrit, serbian, slovak, slovenian, spanish, swedish, turki sh, ukenglish, ukrainian, uppersorbian, welsh, loaded. IJCAI-09 Instructions for Authors (/usr/local/texlive/2008/texmf-dist/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/local/texlive/2008/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (./ijcai09.sty Conference Style, version of 6 September 1995 (revised Nov 2000) \titlebox=\skip43 Named Citation Style, version of 30 November 1994 ) (/usr/local/texlive/2008/texmf-dist/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (./ijcai09.aux) \openout1 = `ijcai09.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Try loading font information for OT1+ptm on input line 45. (/usr/local/texlive/2008/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <14.4> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 47. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <9> on input line 47. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 47. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 57. LaTeX Font Info: Try loading font information for OMS+ptm on input line 74. (/usr/local/texlive/2008/texmf-dist/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 74. [1{/usr/local/texlive/2008/texmf-var/fonts/map/pdftex/updmap/pdftex.map} ] LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 123. LaTeX Warning: Citation `gottlob:nonmon' on page 2 undefined on input line 163. LaTeX Warning: Citation `abelson-et-al:scheme' on page 2 undefined on input lin e 165. LaTeX Warning: Citation `bgf:Lixto' on page 2 undefined on input line 166. LaTeX Warning: Citation `brachman-schmolze:kl-one' on page 2 undefined on input line 167. LaTeX Warning: Citation `nebel:jair-2000' on page 2 undefined on input line 169 . LaTeX Warning: Citation `gls:hypertrees' on page 2 undefined on input line 170. LaTeX Warning: Citation `levesque:functional-foundations' on page 2 undefined o n input line 170. LaTeX Warning: Citation `abelson-et-al:scheme' undefined on input line 171. LaTeX Warning: Citation `bgf:Lixto' undefined on input line 172. LaTeX Warning: Citation `brachman-schmolze:kl-one' undefined on input line 173. LaTeX Warning: Citation `gottlob:nonmon' undefined on input line 174. LaTeX Warning: Citation `gls:hypertrees' undefined on input line 175. LaTeX Warning: Citation `levesque:functional-foundations' undefined on input li ne 176. LaTeX Warning: Citation `levesque:belief' undefined on input line 177. LaTeX Warning: Citation `nebel:jair-2000' undefined on input line 178. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 223. LaTeX Font Info: Try loading font information for OT1+pcr on input line 226. (/usr/local/texlive/2008/texmf-dist/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) No file ijcai09.bbl. [2] (./ijcai09.aux) LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: 399 strings out of 493876 4824 string characters out of 1150567 56901 words of memory out of 3000000 3716 multiletter control sequences out of 10000+50000 27469 words of font info for 55 fonts, out of 3000000 for 5000 714 hyphenation exceptions out of 8191 25i,10n,19p,352b,244s stack positions out of 5000i,500n,10000p,200000b,50000s {/usr/local/texlive/2008/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on ijcai09.pdf (2 pages, 71463 bytes). PDF statistics: 38 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 131072) 1 words of extra memory for PDF output out of 10000 (max. 10000000)