(original) (raw)

%!PS-Adobe-2.0 %%Creator: dvips, version 5.41 (C) 1986-90 Radical Eye Software %%Title: aaai-94-workshop.dvi %%Pages: 4 1 %%BoundingBox: 0 0 596 843 %%EndComments %%BeginProcSet: tex.pro /TeXDict 200 dict def TeXDict begin /N /def load def /B{bind def}N /S /exch load def /X{S N}B /TR /translate load N /isls false N /vsize 10 N /@rigin{ isls{[0 1 -1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale Resolution VResolution vsize neg mul TR matrix currentmatrix dup dup 4 get round 4 exch put dup dup 5 get round 5 exch put setmatrix}B /@letter{/vsize 10 N}B /@landscape{/isls true N /vsize -1 N}B /@a4{/vsize 10.6929133858 N}B /@a3{ /vsize 15.5531 N}B /@ledger{/vsize 16 N}B /@legal{/vsize 13 N}B /@manualfeed{ statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /df{/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]N df-tail}B /df-tail{/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar {CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /E{pop nn dup definefont setfont}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ ch-data dup length 1 sub get}B /ctr 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put }if put /ctr ctr 1 add N}B /I{cc 1 add D}B /bop{userdict /bop-hook known{ bop-hook}if /SI save N @rigin 0 0 moveto}B /eop{clear SI restore showpage userdict /eop-hook known{eop-hook}if}B /@start{userdict /start-hook known{ start-hook}if /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for}B /p /show load N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /v{/ruley X /rulex X V}B /V{gsave TR -.1 -.1 TR 1 ruley scale rulex 1 false RMat{BDot}imagemask grestore}B /a{moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail} B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{4 M}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w}B /r{p 2 w} B /s{p 3 w}B /t{p 4 w}B /w{0 rmoveto}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos {/SS save N}B /eos{clear SS restore}B end %%EndProcSet TeXDict begin 1000 300 300 @start /Fa 6 119 df45 D<001800001800001800003C00003C00004E00004E00004E000087000087000187800103800103 800201C00201C003FFC00400E00400E00800700800701800703C0078FE01FF18177F961C>97 D105 D110 D<00FE000383800E00E01C00703C007838003878003C70 001CF0001EF0001EF0001EF0001EF0001EF0001EF0001E70001C78003C3800383C00781C00700E 00E003838000FE0017177E961D>I118 D E /Fb 2 63 df<000001C00000078000001E000000780000 01E00000078000000E00000038000000F0000003C000000F0000003C000000F0000000F0000000 3C0000000F00000003C0000000F0000000380000000E0000000780000001E0000000780000001E 0000000780000001C01A1A7C9723>60 D62 D E /Fc 1 16 df<03C00FF01FF83FFC7FFE7FFEFFFFFFFFFFFFFFFF FFFFFFFF7FFE7FFE3FFC1FF80FF003C010127D9317>15 D E /Fd 75 124 df<001F83E000F06E3001C078780380F8780300F0300700700007007000070070000700700007 0070000700700007007000FFFFFF80070070000700700007007000070070000700700007007000 070070000700700007007000070070000700700007007000070070000700700007007000070070 0007007000070070007FE3FF001D20809F1B>11 D<003F0000E0C001C0C00381E00701E00701E0 070000070000070000070000070000070000FFFFE00700E00700E00700E00700E00700E00700E0 0700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E07FC3FE 1720809F19>I<003FE000E0E001C1E00381E00700E00700E00700E00700E00700E00700E00700 E00700E0FFFFE00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700 E00700E00700E00700E00700E00700E00700E00700E07FE7FE1720809F19>I<7038F87CFC7EFC 7E743A0402040204020804080410081008201040200F0E7E9F17>34 D<00200040008001000200 06000C000C00180018003000300030007000600060006000E000E000E000E000E000E000E000E0 00E000E000E000E0006000600060007000300030003000180018000C000C000600020001000080 004000200B2E7DA112>40 D<800040002000100008000C00060006000300030001800180018001 C000C000C000C000E000E000E000E000E000E000E000E000E000E000E000E000C000C000C001C0 01800180018003000300060006000C00080010002000400080000B2E7DA112>I<70F8FCFC7404 0404080810102040060E7C840D>44 DI<70F8F8F87005057C840D>I<00 0100030003000600060006000C000C000C00180018001800300030003000600060006000C000C0 00C00180018001800300030003000600060006000C000C000C0018001800180030003000300060 0060006000C000C000C000102D7DA117>I<03F0000E1C001C0E00180600380700700380700380 700380700380F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003C0 F003C0F003C07003807003807003807807803807001806001C0E000E1C0003F000121F7E9D17> I<018003800F80F380038003800380038003800380038003800380038003800380038003800380 03800380038003800380038003800380038007C0FFFE0F1E7C9D17>I<03F0000C1C00100E0020 0700400780800780F007C0F803C0F803C0F803C02007C00007C0000780000780000F00000E0000 1C0000380000700000600000C0000180000300000600400C00401800401000803FFF807FFF80FF FF80121E7E9D17>I<03F0000C1C00100E00200F00780F80780780780780380F80000F80000F00 000F00000E00001C0000380003F000003C00000E00000F000007800007800007C02007C0F807C0 F807C0F807C0F00780400780400F00200E001C3C0003F000121F7E9D17>I<000600000600000E 00000E00001E00002E00002E00004E00008E00008E00010E00020E00020E00040E00080E00080E 00100E00200E00200E00400E00C00E00FFFFF0000E00000E00000E00000E00000E00000E00000E 0000FFE0141E7F9D17>I<1803001FFE001FFC001FF8001FE00010000010000010000010000010 000010000011F000161C00180E001007001007800003800003800003C00003C00003C07003C0F0 03C0F003C0E00380400380400700200600100E000C380003E000121F7E9D17>I<007C00018200 0701000E03800C07801C0780380300380000780000700000700000F1F000F21C00F40600F80700 F80380F80380F003C0F003C0F003C0F003C0F003C07003C07003C0700380380380380700180700 0C0E00061C0001F000121F7E9D17>I<4000007FFFC07FFF807FFF804001008002008002008004 0000080000080000100000200000200000400000400000C00000C00001C0000180000380000380 00038000038000078000078000078000078000078000078000078000030000121F7D9D17>I<03 F0000C0C001006003003002001806001806001806001807001807803003E03003F06001FC8000F F00003F80007FC000C7E00103F00300F806003804001C0C001C0C000C0C000C0C000C0C0008060 01802001001002000C0C0003F000121F7E9D17>I<03F0000E18001C0C00380600380700700700 700380F00380F00380F003C0F003C0F003C0F003C0F003C07007C07007C03807C0180BC00E13C0 03E3C0000380000380000380000700300700780600780E00700C002018001070000FC000121F7E 9D17>I<70F8F8F8700000000000000000000070F8F8F87005147C930D>I<000100000003800000 038000000380000007C0000007C0000007C0000009E0000009E0000009E0000010F0000010F000 0010F00000207800002078000020780000403C0000403C0000403C0000801E0000801E0000FFFE 0001000F0001000F0001000F00020007800200078002000780040003C00E0003C01F0007E0FFC0 3FFE1F207F9F22>65 DI<000FC040007030C001C009C0038005 C0070003C00E0001C01E0000C01C0000C03C0000C07C0000407C00004078000040F8000000F800 0000F8000000F8000000F8000000F8000000F8000000F8000000F8000000780000007C0000407C 0000403C0000401C0000401E0000800E000080070001000380020001C0040000703800000FC000 1A217D9F21>IIII<000FE0200078186000E004E0038002E0070001E00F0000E01E0000601E 0000603C0000603C0000207C00002078000020F8000000F8000000F8000000F8000000F8000000 F8000000F8000000F8007FFCF80003E0780001E07C0001E03C0001E03C0001E01E0001E01E0001 E00F0001E0070001E0038002E000E0046000781820000FE0001E217D9F24>III<0FFF C0007C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C 00003C00003C00003C00003C00003C00003C00003C00003C00003C00203C00F83C00F83C00F83C 00F0380040780040700030E0000F800012207E9E17>IIIII<001F800000F0F00001C0380007801E000F000F000E0007001E0007803C0003C03C0003C07C00 03E0780001E0780001E0F80001F0F80001F0F80001F0F80001F0F80001F0F80001F0F80001F0F8 0001F0F80001F0780001E07C0003E07C0003E03C0003C03C0003C01E0007800E0007000F000F00 07801E0001C0380000F0F000001F80001C217D9F23>II<001F 800000F0F00001C0380007801E000F000F000E0007001E0007803C0003C03C0003C07C0003E07C 0003E0780001E0F80001F0F80001F0F80001F0F80001F0F80001F0F80001F0F80001F0F80001F0 F80001F0780001E0780001E07C0003E03C0003C03C0F03C01E1087800E2047000F204F0007A03E 0001E0380000F0F010001FB01000003010000038300000387000003FF000001FE000001FE00000 0FC0000007801C297D9F23>II<07E0800C19801007 80300380600180600180E00180E00080E00080E00080F00000F000007800007F00003FF0001FFC 000FFE0003FF00001F800007800003C00003C00001C08001C08001C08001C08001C0C00180C003 80E00300F00600CE0C0081F80012217D9F19>I<7FFFFFE0780F01E0600F0060400F0020400F00 20C00F0030800F0010800F0010800F0010800F0010000F0000000F0000000F0000000F0000000F 0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F000000 0F0000000F0000000F0000000F0000000F0000001F800007FFFE001C1F7E9E21>IIII89 D<7FFFF87C00F87000F06001E04001E0C003C0C003C0800780800F8080 0F00001E00001E00003C00003C0000780000F80000F00001E00001E00003C00403C0040780040F 80040F000C1E000C1E00083C00183C0018780038F801F8FFFFF8161F7D9E1C>II<080410082010201040204020804080408040B85CFC7EFC7E7C3E381C0F0E7B9F 17>II<1FE000303000781800781C00300E00000E00000E00000E 0000FE00078E001E0E00380E00780E00F00E10F00E10F00E10F01E10781E103867200F83C01414 7E9317>97 D<0E0000FE00000E00000E00000E00000E00000E00000E00000E00000E00000E0000 0E00000E3E000EC3800F01C00F00E00E00E00E00700E00700E00780E00780E00780E00780E0078 0E00780E00700E00700E00E00F00E00D01C00CC300083E0015207F9F19>I<03F80E0C1C1E381E 380C70007000F000F000F000F000F000F00070007000380138011C020E0C03F010147E9314>I< 000380003F8000038000038000038000038000038000038000038000038000038000038003E380 061B801C0780380380380380700380700380F00380F00380F00380F00380F00380F00380700380 7003803803803807801C07800E1B8003E3F815207E9F19>I<03F0000E1C001C0E003807003807 00700700700380F00380F00380FFFF80F00000F00000F000007000007000003800801800800C01 0007060001F80011147F9314>I<007C00C6018F038F07060700070007000700070007000700FF F00700070007000700070007000700070007000700070007000700070007000700070007007FF0 1020809F0E>I<0000E003E3300E3C301C1C30380E00780F00780F00780F00780F00780F00380E 001C1C001E380033E0002000002000003000003000003FFE001FFF800FFFC03001E0600070C000 30C00030C00030C000306000603000C01C038003FC00141F7F9417>I<0E0000FE00000E00000E 00000E00000E00000E00000E00000E00000E00000E00000E00000E3E000E43000E81800F01C00F 01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E 01C00E01C0FFE7FC16207F9F19>I<1C001E003E001E001C000000000000000000000000000E00 7E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00FFC00A 1F809E0C>I<0E0000FE00000E00000E00000E00000E00000E00000E00000E00000E00000E0000 0E00000E0FF00E03C00E03000E02000E04000E08000E10000E30000E70000EF8000F38000E1C00 0E1E000E0E000E07000E07800E03800E03C00E03E0FFCFF815207F9F18>107 D<0E00FE000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00 0E000E000E000E000E000E000E000E000E000E000E000E00FFE00B20809F0C>I<0E1F01F000FE 618618000E81C81C000F00F00E000F00F00E000E00E00E000E00E00E000E00E00E000E00E00E00 0E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E 000E00E00E000E00E00E00FFE7FE7FE023147F9326>I<0E3E00FE43000E81800F01C00F01C00E 01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E 01C0FFE7FC16147F9319>I<01F800070E001C03803801C03801C07000E07000E0F000F0F000F0 F000F0F000F0F000F0F000F07000E07000E03801C03801C01C0380070E0001F80014147F9317> I<0E3E00FEC3800F01C00F00E00E00E00E00F00E00700E00780E00780E00780E00780E00780E00 780E00700E00F00E00E00F01E00F01C00EC3000E3E000E00000E00000E00000E00000E00000E00 000E00000E0000FFE000151D7F9319>I<03E0800619801C05803C0780380380780380700380F0 0380F00380F00380F00380F00380F003807003807803803803803807801C0B800E138003E38000 0380000380000380000380000380000380000380000380003FF8151D7E9318>I<0E78FE8C0F1E 0F1E0F0C0E000E000E000E000E000E000E000E000E000E000E000E000E000E00FFE00F147F9312 >I<1F9030704030C010C010C010E00078007F803FE00FF00070803880188018C018C018E030D0 608F800D147E9312>I<020002000200060006000E000E003E00FFF80E000E000E000E000E000E 000E000E000E000E000E000E080E080E080E080E080610031001E00D1C7F9B12>I<0E01C0FE1F C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01 C00E01C00E03C00603C0030DC001F1FC16147F9319>III<7FC3FC0F01E00701C007018003810001C200 00E40000EC00007800003800003C00007C00004E000087000107000303800201C00601E01E01E0 FF07FE1714809318>II<3FFF380E200E201C4038407840 7000E001E001C00380078007010E011E011C0338027006700EFFFE10147F9314>II E /Fe 44 122 df<000FF000007FFC0001F80E0003E01F0007C03F000F803F000F80 3F000F801E000F800C000F8000000F8000000F8000000F800000FFFFFF00FFFFFF000F801F000F 801F000F801F000F801F000F801F000F801F000F801F000F801F000F801F000F801F000F801F00 0F801F000F801F000F801F000F801F000F801F000F801F000F801F007FF0FFE07FF0FFE01B237F A21F>12 D<387CFEFFFF7F3B03030706060C1C18702008117C8610>44 D<00FE0007FFC00F83E0 1F01F03E00F83E00F87C007C7C007C7C007CFC007CFC007EFC007EFC007EFC007EFC007EFC007E FC007EFC007EFC007EFC007EFC007EFC007EFC007E7C007C7C007C7C007C3E00F83E00F81F01F0 0F83E007FFC000FE0017207E9F1C>48 D<00180000780001F800FFF800FFF80001F80001F80001 F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001 F80001F80001F80001F80001F80001F80001F80001F80001F80001F8007FFFE07FFFE013207C9F 1C>I<00FE0003FFC00703E00E00F01C00F01C00783C00783E00783F00783F80783FE0F01FF9E0 1FFFC00FFF8007FFC003FFE007FFF01E7FF83C1FFC7807FC7801FEF000FEF0003EF0001EF0001E F0001CF8001C7800383C00381F01F00FFFC001FF0017207E9F1C>56 D<00007000000000700000 0000F800000000F800000000F800000001FC00000001FC00000003FE00000003FE00000003FE00 000006FF000000067F0000000E7F8000000C3F8000000C3F800000183FC00000181FC00000381F E00000300FE00000300FE00000600FF000006007F00000E007F80000FFFFF80000FFFFF8000180 01FC00018001FC00038001FE00030000FE00030000FE000600007F000600007F00FFE00FFFF8FF E00FFFF825227EA12A>65 DI<0003FE008000 1FFF818000FF01E38001F8003F8003E0001F8007C0000F800F800007801F800007803F00000380 3F000003807F000001807E000001807E00000180FE00000000FE00000000FE00000000FE000000 00FE00000000FE00000000FE00000000FE000000007E000000007E000001807F000001803F0000 01803F000003801F800003000F8000030007C000060003F0000C0001F800380000FF00F000001F FFC0000003FE000021227DA128>IIII<0003FE0040001FFFC0C0007F00F1C001F8003FC003F0000FC007C00007 C00FC00003C01F800003C03F000001C03F000001C07F000000C07E000000C07E000000C0FE0000 0000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE000FFFFC7E00 0FFFFC7F00001FC07F00001FC03F00001FC03F00001FC01F80001FC00FC0001FC007E0001FC003 F0001FC001FC003FC0007F80E7C0001FFFC3C00003FF00C026227DA12C>III75 D78 D<0007FC0000003FFF800000FC07E00003F001F80007E000FC000FC0007E 001F80003F001F80003F003F00001F803F00001F807F00001FC07E00000FC07E00000FC0FE0000 0FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00 000FE07E00000FC07F00001FC07F00001FC03F00001F803F80003F801F80003F000FC0007E0007 E000FC0003F001F80000FC07E000003FFF80000007FC000023227DA12A>II82 D<01FC0407FF8C1F03FC3C007C7C003C78001C78001CF8000CF8000CFC000CFC0000FF0000FFE0 007FFF007FFFC03FFFF01FFFF80FFFFC03FFFE003FFE0003FF00007F00003F00003FC0001FC000 1FC0001FE0001EE0001EF0003CFC003CFF00F8C7FFE080FF8018227DA11F>I<7FFFFFFF807FFF FFFF807E03F80F807803F807807003F803806003F80180E003F801C0E003F801C0C003F800C0C0 03F800C0C003F800C0C003F800C00003F800000003F800000003F800000003F800000003F80000 0003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F800 000003F800000003F800000003F800000003F800000003F800000003F800000003F8000003FFFF F80003FFFFF80022227EA127>II<07FC001F FF803F07C03F03E03F01E03F01F01E01F00001F00001F0003FF003FDF01FC1F03F01F07E01F0FC 01F0FC01F0FC01F0FC01F07E02F07E0CF81FF87F07E03F18167E951B>97 DI<00FF8007FFE00F83 F01F03F03E03F07E03F07C01E07C0000FC0000FC0000FC0000FC0000FC0000FC00007C00007E00 007E00003E00301F00600FC0E007FF8000FE0014167E9519>I<0001FE000001FE0000003E0000 003E0000003E0000003E0000003E0000003E0000003E0000003E0000003E0000003E0000003E00 01FC3E0007FFBE000F81FE001F007E003E003E007E003E007C003E00FC003E00FC003E00FC003E 00FC003E00FC003E00FC003E00FC003E00FC003E007C003E007C003E003E007E001E00FE000F83 BE0007FF3FC001FC3FC01A237EA21F>I<00FE0007FF800F87C01E01E03E01F07C00F07C00F8FC 00F8FC00F8FFFFF8FFFFF8FC0000FC0000FC00007C00007C00007E00003E00181F00300FC07003 FFC000FF0015167E951A>I<003F8000FFC001E3E003C7E007C7E00F87E00F83C00F80000F8000 0F80000F80000F80000F8000FFFC00FFFC000F80000F80000F80000F80000F80000F80000F8000 0F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80007FF8007FF800 13237FA211>I<03FC1E0FFF7F1F0F8F3E07CF3C03C07C03E07C03E07C03E07C03E07C03E03C03 C03E07C01F0F801FFF0013FC003000003000003800003FFF801FFFF00FFFF81FFFFC3800FC7000 3EF0001EF0001EF0001EF0001E78003C7C007C3F01F80FFFE001FF0018217E951C>II<1C003F007F007F007F003F001C 000000000000000000000000000000FF00FF001F001F001F001F001F001F001F001F001F001F00 1F001F001F001F001F001F001F001F00FFE0FFE00B247EA310>I107 DIII<00FE0007FFC00F83E01E00F03E00F87C007C7C00 7C7C007CFC007EFC007EFC007EFC007EFC007EFC007EFC007E7C007C7C007C3E00F81F01F00F83 E007FFC000FE0017167E951C>II114 D<0FF3003FFF00781F0060 0700E00300E00300F00300FC00007FE0007FF8003FFE000FFF0001FF00000F80C00780C00380E0 0380E00380F00700FC0E00EFFC00C7F00011167E9516>I<018000018000018000018000038000 0380000780000780000F80003F8000FFFF00FFFF000F80000F80000F80000F80000F80000F8000 0F80000F80000F80000F80000F80000F81800F81800F81800F81800F81800F830007C30003FE00 00F80011207F9F16>IIII121 D E /Ff 21 117 df45 D<00000E0000001E0000003E 0000007E000000FE000000FE000001FE000003FE0000077E00000E7E00000E7E00001C7E000038 7E0000707E0000E07E0000E07E0001C07E0003807E0007007E000E007E000E007E001C007E0038 007E0070007E00E0007E00FFFFFFF8FFFFFFF8FFFFFFF80000FE000000FE000000FE000000FE00 0000FE000000FE000000FE000000FE00007FFFF8007FFFF8007FFFF81D277EA622>52 D<007F800001FFF00007FFF8000FE0FC001F807E003F803F007F003F007F001F80FF001F80FF00 1FC0FF001FC0FF001FC0FF001FE0FF001FE0FF001FE0FF001FE07F001FE07F003FE03F003FE01F 807FE00F807FE007C1DFE003FF9FE0007E1FE000001FE000001FC000001FC000001FC000003F80 1F003F803F803F003F803F003F807E003F807C001F01F8001E03F0000FFFE00007FF800001FE00 001B277DA622>57 D<000003800000000007C00000000007C0000000000FE0000000000FE00000 00000FE0000000001FF0000000001FF0000000003FF8000000003FF8000000003FF80000000073 FC0000000073FC00000000F3FE00000000E1FE00000000E1FE00000001C0FF00000001C0FF0000 0003C0FF80000003807F80000007807FC0000007003FC0000007003FC000000E003FE000000E00 1FE000001E001FF000001C000FF000001FFFFFF000003FFFFFF800003FFFFFF80000780007FC00 00700003FC0000700003FC0000E00001FE0000E00001FE0001E00001FF0001C00000FF0001C000 00FF00FFFE001FFFFEFFFE001FFFFEFFFE001FFFFE2F297EA834>65 D73 D82 D<007F806003FFF0E007FFF9E00F807F E01F001FE03E0007E07C0003E07C0001E0FC0001E0FC0001E0FC0000E0FE0000E0FE0000E0FF00 0000FFC000007FFE00007FFFE0003FFFFC001FFFFE000FFFFF8007FFFFC003FFFFE000FFFFE000 07FFF000007FF000000FF8000007F8000003F8600001F8E00001F8E00001F8E00001F8F00001F0 F00001F0F80003F0FC0003E0FF0007C0FFE01F80F3FFFF00E0FFFE00C01FF0001D297CA826>I< FFFFE07FFFF007FFF0FFFFE07FFFF007FFF0FFFFE07FFFF007FFF003FC0001FE00001C0003FC00 01FE00001C0001FE0001FF0000380001FE0000FF0000380001FF0000FF0000780000FF0000FF80 00700000FF0000FF8000700000FF8000FF8000F000007F8001FFC000E000007F8001FFC000E000 003FC003FFE001C000003FC0039FE001C000003FE0039FE003C000001FE0070FF0038000001FE0 070FF0038000001FF00F0FF0078000000FF00E07F8070000000FF00E07F80700000007F81E07FC 0E00000007F81C03FC0E00000007FC1C03FC1E00000003FC3801FE1C00000003FC3801FE1C0000 0001FE7801FF3800000001FE7000FF3800000001FE7000FF3800000000FFF000FFF000000000FF E0007FF000000000FFE0007FF0000000007FC0003FE0000000007FC0003FE0000000003FC0003F C0000000003F80001FC0000000003F80001FC0000000001F80001F80000000001F00000F800000 00001F00000F80000000000E00000700000044297FA847>87 D<001FF80000FFFE0003F01F0007 E03F800FC03F801F803F803F801F007F800E007F0000007F000000FF000000FF000000FF000000 FF000000FF000000FF000000FF0000007F0000007F0000007F8000003F8001C01F8001C00FC003 8007E0070003F01E0000FFFC00001FE0001A1B7E9A1F>99 D<003FE00001FFF80003F07E0007C0 1F000F801F801F800F803F800FC07F000FC07F0007C07F0007E0FF0007E0FF0007E0FFFFFFE0FF FFFFE0FF000000FF000000FF0000007F0000007F0000007F0000003F8000E01F8000E00FC001C0 07E0038003F81F0000FFFE00001FF0001B1B7E9A20>101 D<0007F0003FFC00FE3E01F87F03F8 7F03F07F07F07F07F03E07F00007F00007F00007F00007F00007F00007F000FFFFC0FFFFC0FFFF C007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F0 0007F00007F00007F00007F00007F00007F00007F00007F0007FFF807FFF807FFF80182A7EA915 >I<00FF81F003FFE7F80FC1FE7C1F80FC7C1F007C383F007E107F007F007F007F007F007F007F 007F007F007F007F007F003F007E001F007C001F80FC000FC1F8001FFFE00018FF800038000000 380000003C0000003E0000003FFFF8001FFFFF001FFFFF800FFFFFC007FFFFE01FFFFFF03E0007 F07C0001F8F80000F8F80000F8F80000F8F80000F87C0001F03C0001E01F0007C00FC01F8003FF FE00007FF0001E287E9A22>II<07000FC0 1FE03FE03FE03FE01FE00FC007000000000000000000000000000000FFE0FFE0FFE00FE00FE00F E00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0FFFE FFFEFFFE0F2B7DAA14>I107 D110 D<003FE00001FFFC0003F07E 000FC01F801F800FC03F800FE03F0007E07F0007F07F0007F07F0007F0FF0007F8FF0007F8FF00 07F8FF0007F8FF0007F8FF0007F8FF0007F8FF0007F87F0007F07F0007F03F800FE03F800FE01F 800FC00FC01F8007F07F0001FFFC00003FE0001D1B7E9A22>II114 D<03FE300FFFF01E03F03800F0700070F00070F00070F80070FC0000FFE0007FFE00 7FFF803FFFE01FFFF007FFF800FFF80003FC0000FC60007CE0003CF0003CF00038F80038FC0070 FF01E0F7FFC0C1FF00161B7E9A1B>I<00700000700000700000700000F00000F00000F00001F0 0003F00003F00007F0001FFFF0FFFFF0FFFFF007F00007F00007F00007F00007F00007F00007F0 0007F00007F00007F00007F00007F00007F00007F03807F03807F03807F03807F03807F03803F0 3803F87001F86000FFC0001F8015267FA51B>I E /Fg 18 119 df<000003FF80018000003FFF F003800001FFFFFC0F800007FF007F1F80001FF8000FBF80003FE00003FF8000FF800000FF8001 FF0000007F8003FE0000003F8007FC0000003F8007FC0000001F800FF80000001F801FF8000000 0F801FF00000000F803FF000000007803FF000000007807FF000000007807FE000000007807FE0 00000000007FE00000000000FFE00000000000FFE00000000000FFE00000000000FFE000000000 00FFE00000000000FFE00000000000FFE00000000000FFE00000000000FFE000000000007FE000 000000007FE000000000007FE000000000007FF000000003803FF000000003803FF00000000380 1FF000000003801FF800000007800FF8000000070007FC000000070007FC0000000E0003FE0000 001E0001FF0000003C0000FF8000007800003FE00000F000001FF80003E0000007FF003F800000 01FFFFFE000000003FFFF80000000003FF80000031317BB03C>67 D69 D80 D<007FF8000003FFFF000007FFFFC0000FE01FE0001F F007F0001FF003F8001FF003FC001FF001FE000FE001FE0007C001FE00010001FE00000001FE00 000001FE000001FFFE00003FFFFE0001FFF1FE0007FE01FE000FF001FE001FC001FE003F8001FE 007F8001FE00FF0001FE00FF0001FE00FF0001FE00FF0001FE00FF0003FE007F8003FE007FC00E FE003FF03CFF000FFFF87FF807FFF03FF800FF800FF825207E9F28>97 D<00000007E0000003FF E0000003FFE0000003FFE00000003FE00000001FE00000001FE00000001FE00000001FE0000000 1FE00000001FE00000001FE00000001FE00000001FE00000001FE00000001FE00000001FE00000 001FE0000FF81FE0007FFF1FE001FFFFDFE003FE03FFE007F800FFE00FE0003FE01FE0001FE03F C0001FE03FC0001FE07F80001FE07F80001FE07F80001FE0FF80001FE0FF80001FE0FF80001FE0 FF80001FE0FF80001FE0FF80001FE0FF80001FE0FF80001FE07F80001FE07F80001FE07F80001F E03FC0001FE03FC0001FE01FC0003FE00FE0007FE007F001FFE003FC07DFF001FFFF9FFF007FFE 1FFF000FF01FFF28327DB12E>100 D<0007FC0000003FFF800000FFFFE00003FC07F00007F801 F8000FE000FC001FE0007E003FC0007E003FC0003F007FC0003F007F80003F007F80003F80FF80 003F80FF80003F80FFFFFFFF80FFFFFFFF80FFFFFFFF80FF80000000FF80000000FF800000007F 800000007F800000003FC00000003FC00003801FC00003801FE00007800FF0000F0007F8001E00 03FE00FC0000FFFFF800003FFFE0000003FF000021207E9F26>I<0000FF000007FFC0001FFFE0 003FC7F0007F0FF800FE0FF801FE0FF801FC0FF803FC07F003FC03E003FC01C003FC000003FC00 0003FC000003FC000003FC000003FC000003FC0000FFFFF800FFFFF800FFFFF80003FC000003FC 000003FC000003FC000003FC000003FC000003FC000003FC000003FC000003FC000003FC000003 FC000003FC000003FC000003FC000003FC000003FC000003FC000003FC000003FC000003FC0000 03FC000003FC000003FC000003FC000003FC00007FFFF0007FFFF0007FFFF0001D327EB119>I< 03C0000FF0000FF0001FF8001FF8001FFC001FF8001FF8000FF0000FF00003C000000000000000 00000000000000000000000000000000000001F800FFF800FFF800FFF8000FF80007F80007F800 07F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F800 07F80007F80007F80007F80007F80007F80007F80007F80007F800FFFF80FFFF80FFFF8011337D B217>105 D<01F800FFF800FFF800FFF8000FF80007F80007F80007F80007F80007F80007F800 07F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F800 07F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F800 07F80007F80007F80007F80007F80007F80007F80007F80007F80007F800FFFFC0FFFFC0FFFFC0 12327DB117>108 D<03F007F8000FF000FFF03FFF007FFE00FFF07FFF80FFFF00FFF0F03FC1E0 7F800FF1C01FE3803FC007F3000FE6001FC007F6000FFC001FE007FE000FFC001FE007FC000FF8 001FE007FC000FF8001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007F8000F F0001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007F800 0FF0001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007F8 000FF0001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007F8000FF0001FE007 F8000FF0001FE0FFFFC1FFFF83FFFFFFFFC1FFFF83FFFFFFFFC1FFFF83FFFF40207D9F47>I<03 F007F80000FFF03FFF0000FFF07FFF8000FFF0F03FC0000FF1C01FE00007F3000FE00007F6000F F00007FE000FF00007FC000FF00007FC000FF00007F8000FF00007F8000FF00007F8000FF00007 F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000F F00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007 F8000FF00007F8000FF00007F8000FF000FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF8029207D9F 2E>I<0007FE0000003FFFC00000FFFFF00003FC03FC0007F000FE000FE0007F001FC0003F803F C0003FC03FC0003FC07F80001FE07F80001FE07F80001FE0FF80001FF0FF80001FF0FF80001FF0 FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF07F80001FE07F80001FE07F80001F E03FC0003FC03FC0003FC01FE0007F800FE0007F0007F801FE0003FE07FC0001FFFFF800003FFF C0000007FE000024207E9F29>I<01F80FF000FFF87FFE00FFF9FFFF80FFFFE07FC00FFF001FE0 07FE000FF007F80007F807F80007FC07F80003FC07F80003FE07F80003FE07F80001FE07F80001 FF07F80001FF07F80001FF07F80001FF07F80001FF07F80001FF07F80001FF07F80001FF07F800 01FE07F80003FE07F80003FE07F80003FC07F80007FC07FC0007F807FE000FF007FF001FE007FB E07FC007F9FFFF0007F87FFE0007F81FE00007F800000007F800000007F800000007F800000007 F800000007F800000007F800000007F800000007F800000007F800000007F8000000FFFFC00000 FFFFC00000FFFFC00000282E7E9F2E>I<03F03F00FFF07FC0FFF1FFE0FFF3C7F00FF38FF807F7 0FF807F60FF807FE0FF807FC07F007FC03E007FC008007F8000007F8000007F8000007F8000007 F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F80000 07F8000007F8000007F8000007F80000FFFFE000FFFFE000FFFFE0001D207E9F22>114 D<00FF870007FFEF001FFFFF003F007F003C001F0078000F00F8000700F8000700F8000700FC00 0700FF000000FFF800007FFFC0003FFFF0003FFFFC000FFFFE0007FFFF0001FFFF80001FFF8000 00FFC000001FC060000FC0E00007C0E00007C0F00007C0F8000780F8000F80FE000F00FF803E00 FFFFFC00F3FFF800C07FC0001A207D9F21>I<0038000038000038000038000038000078000078 0000780000F80000F80001F80003F80007F8001FF800FFFFFEFFFFFEFFFFFE07F80007F80007F8 0007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8 0007F80707F80707F80707F80707F80707F80707F80703F80E03FC0E01FE1C00FFF8007FF0000F E0182E7EAD20>I<01F80003F000FFF801FFF000FFF801FFF000FFF801FFF0000FF8001FF00007 F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000F F00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007 F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8001F F00007F8001FF00003F8003FF00003F8006FF00001FE03CFF80000FFFF8FFF80007FFF0FFF8000 0FFC0FFF8029207D9F2E>II E end %%EndProlog %%BeginSetup %%Feature: *Resolution 300 TeXDict begin @a4 %%EndSetup %%Page: 1 1 bop 75 203 a Fg(Comparisons)24 b(and)j(Ev)-5 b(aluations)27 b(of)h(Planners)75 341 y Ff(Signp)r(osts)23 b(for)h(the)e(AAAI-94)i(W)-6 b(orkshop)75 479 y Fe(Austin)19 b(T)-5 b(ate)75 535 y(Arti\014cial)18 b(In)n(telligence)e(Applications)i(Institute)75 592 y(The)g(Univ)n(ersit)n(y) g(of)h(Edin)n(burgh)75 648 y(80)g(South)g(Bridge,)e(Edin)n(burgh)i(EH1)f (1HN,)g(UK)75 786 y Fd(There)e(are)g(a)g(n)o(um)o(b)q(er)g(of)g(researc)o(h)f (activities)j(whic)o(h)f(are)e(con)o(tributing)i(to)e(impro)o(v)o(ed)i(comm)o (unication,)75 843 y(classi\014cation,)f(comparison)f(and)g(ev)m(aluation)g (of)g(w)o(ork)e(on)i(AI)g(planners.)21 b(There)15 b(is)g(a)g(closing)g(of)g (the)f(gap)75 899 y(b)q(et)o(w)o(een)f(formal)g(approac)o(hes)g(to)g(c)o (haracterising)g(and)g(analysing)h(planning)h(algorithms)e(and)h(practically) 75 956 y(motiv)m(ated)i(planners)i(\(man)o(y)d(of)h(whic)o(h)h(use)f (detailed)i(kno)o(wledge)f(of)f(the)g(application)i(domain)e(in)h(their)75 1012 y(problem)i(solving\).)29 b(Drummond)17 b([4])g(notes)h(that,)g(un)o (til)h(recen)o(tly)l(,)g(the)f(formal)g(comm)o(unit)o(y)g(ha)o(v)o(e)g(con-) 75 1068 y(cen)o(trated)f(on)g(goal)g(ac)o(hiev)o(emen)o(t)g(metho)q(ds)g (whereas)g(the)g(practical)h(planning)h(comm)o(unit)o(y)e(ha)o(v)o(e)f(used) 75 1125 y(a)f(v)m(ariet)o(y)g(of)g(other)g(metho)q(ds)g(man)o(y)g(of)g(whic)o (h)h(are)f(w)o(orth)o(y)f(of)g(more)h(detailed)i(study)l(.)75 1206 y(W)l(e)12 b(are)g(therefore)f(mo)o(ving)h(out)f(from)h(the)g(narro)o(w) o(er)e(study)i(of)f(the)h(truth)g(criterion)h(for)e(goal)h(ac)o(hiev)o(emen)o (t)75 1263 y(in)i(planning)i(to)d(consider)h(other)f(matters)g(whic)o(h)h(ha) o(v)o(e)f(b)q(een)i(imp)q(ortan)o(t)e(in)i(practical)f(planning)h(systems)75 1319 y(for)g(man)o(y)f(y)o(ears:)143 1450 y Fc(\017)23 b Fd(hierarc)o(hical) 17 b(and)e(abstraction)g(lev)o(el)h(mo)q(dels)g(of)f(planning)i(domains.)143 1544 y Fc(\017)23 b Fd(domain)15 b(kno)o(wledge)h(and)f(constrain)o(ts)g(mo)q (delling,)i(pre-compilation)g(and)e(use.)143 1638 y Fc(\017)23 b Fd(Searc)o(h)15 b(con)o(trol)g(and)g(opp)q(ortunism.)75 1769 y(The)j(pap)q(ers)g(in)h(this)f(w)o(orkshop)f(represen)o(t)h(a)f(n)o(um)o(b)q (er)i(of)e(the)h(most)f(imp)q(ortan)o(t)g(trends)h(in)h(comparing)75 1826 y(and)d(ev)m(aluating)h(planning)g(systems.)k(Here)16 b(are)f(some)g(themes)h(and)g(signp)q(osts)g(to)f(b)q(egin)i(the)e(pro)q (cess)h(of)75 1882 y(in)o(tegrating)f(man)o(y)g(of)g(the)g(ideas)h(no)o(w)f (emerging.)75 1963 y Fe(Generic)i(F)-5 b(ramew)n(orks)19 b(to)f(Describ)r(e)f (Actual)i(Planners)131 2095 y Fd(1.)j(The)13 b(reviews)i(in)f([1)o(])f(and)h (the)g(tutorial)f(in)i([17)o(])e(giv)o(e)h(categories)f(of)g(planning)j (systems)d(and)g(pro)o(vide)189 2151 y(de\014nitions)k(of)d(the)i(tec)o (hnical)g(features)f(within)i(them.)131 2245 y(2.)22 b(The)17 b(description)h(of)e(\\standard")g(planner)h(comp)q(onen)o(ts)g(and)g(the)f (Plan)i(Mo)q(di\014cation)f(Op)q(erator)189 2301 y(cyclic)g(pro)q(cessing)f (abstraction)e(in)i([14].)131 2395 y(3.)22 b(The)f(emerging)h(KADS)g(mo)q (del)h(of)e(planning)i(as)e(a)g(generic)i(task)d([18])h(using)h(Plan)g(and)g (W)l(orld)189 2452 y(Description)16 b(features,)e(F)l(unction)i(Structure,)f (Con)o(trol)g(Structure,)g(etc.)131 2545 y(4.)22 b(The)15 b(framew)o(ork)f (for)g(planning)j(application)g(analysis)f(in)g([6)o(].)1001 2828 y(1)p eop %%Page: 2 2 bop 75 195 a Fe(Simplifying)16 b(F)-5 b(ramew)n(orks)18 b(for)h (Reconstruction)e(of)i(Planning)g(Algorithms)131 326 y Fd(1.)j(The)c (Re\014ne-Plan)j(framew)o(ork)16 b(\(termination)j(criteria,)g(Plan)g(Mo)q (di\014cation)g(Op)q(erator)g(selection)189 383 y(metho)q(d,)c(b)q(o)q(okk)o (eeping)h(metho)q(d)f(and)h(tractabilit)o(y)f(re\014nemen)o(t)h(metho)q(ds\)) f(in)h([7)o(].)131 477 y(2.)22 b(Extensions)41 b(to)e(this)i(framew)o(ork)e (for)h(Hierarc)o(hical)i(T)l(ask)e(Net)o(w)o(ork)g(\(HTN\))f(planning)189 533 y([2)o(],[8)o(],[9)n(],[19)o(].)131 627 y(3.)22 b(Extensions)13 b(to)f(this)h(framew)o(ork)f(to)g(allo)o(w)h(an)g(explicit)i(agenda)e(of)f (outstanding)h(issues)h(in)f(the)g(plan)189 683 y([15)o(].)131 777 y(4.)22 b(The)15 b(terminology)g(of)g(the)h Fb(<)p Fa(i-n-o)o(v)l(a)p Fb(>)f Fd(constrain)o(t)g(mo)q(del)h(of)f(plans)g([15].)131 871 y(5.)22 b(The)15 b(approac)o(h)g(to)f(planning)j(as)e(prop)q(ositional)i (satis\014abilit)o(y)f(describ)q(ed)h(in)f([10)o(].)75 1002 y Fe(Empirical)g(Comparativ)n(e)h(Studies)131 1133 y Fd(1.)22 b(Comparativ)o(e)14 b(studies)j(in)f(whic)o(h)h(v)m(ariations)f(of)f(approac) o(h)g(and)h(tec)o(hnique)h(are)e(made)h(within)h(the)189 1190 y(same)e(planner)h(implemen)o(tation,)g(e.g.)j([7],[11)n(].)131 1284 y(2.)j(Recen)o(t)11 b(empirical)h(ev)m(aluations)f(of)f(asp)q(ects)h(of) f(practical)h(planning)h(systems,)e(e.g.)18 b(those)10 b(conducted)189 1340 y(b)o(y)15 b(P)o(ollac)o(k)g(and)h(her)f(colleagues:)243 1446 y Fc(\017)23 b Fd(Joslin)c(and)e(P)o(ollac)o(k)h([5])f({)g(study)h(of)f (the)g(merits)h(of)f(using)i(an)e(opp)q(ortunistic)i(estimator)e(to)289 1503 y(prioritise)f(the)f(order)g(in)h(whic)o(h)g(issues)g(\(\015a)o(ws\))e (are)h(pro)q(cessed)h(in)g(a)f(planner.)243 1576 y Fc(\017)23 b Fd(Y)l(oung)18 b(and)g(P)o(ollac)o(k)g([20)o(])g({)f(study)h(of)f(the)h(v)m (alue)i(of)d(dela)o(ying)i(certain)f(t)o(yp)q(es)g(of)g(condition)289 1632 y(satisfaction)d(during)h(planning.)131 1738 y(3.)22 b(Studies)c(of)e (the)h(v)m(alue)h(of)e(using)i(forw)o(ard)d(c)o(hec)o(king)j(constrain)o(t)e (satisfaction)h(to)f(prune)i(searc)o(h)e(in)189 1795 y(sc)o(heduling)h (problems)f([3)o(].)75 1926 y Fe(Common)h(Plan)i(Represen)n(tations)e(and)i (On)n(tologies)131 2057 y Fd(1.)j(The)15 b(ARP)l(A/Rome)h(lab)q(oratory)e (Planning)j(Initiativ)o(e)g(KRSL)f(Plan)g(On)o(tology)f([12)o(].)131 2151 y(2.)22 b(The)15 b(terminology)g(of)g(the)h Fb(<)p Fa(i-n-o)o(v)l(a)p Fb(>)f Fd(constrain)o(t)g(mo)q(del)h(of)f(plans)g([15].)75 2282 y Fe(In)n(tegrated)j(Systems)75 2364 y Fd(There)k(is)h(a)f(greater)f (lev)o(el)i(of)f(in)o(terest)g(in)h(planners)g(and)f(sc)o(hedulers)h(whic)o (h)g(are)f(situated)g(within)h(a)75 2420 y(command,)17 b(planning)i(and)e (execution)h(en)o(vironmen)o(t.)25 b(Planners)18 b(are)f(only)g(as)g(go)q(o)q (d)g(as)f(the)h(plans)h(they)75 2477 y(generate.)g(With)12 b(this)g(in)h(mind,)g(Zilb)q(erstein)h([13)o(])d(calls)i(for)e(ev)m (aluations)i(of)e(planners)h(to)f(b)q(e)i(related)f(to)f(the)75 2533 y(actual)17 b(execution)g(or)f(use)h(of)f(the)h(plans)g(generated.)24 b(Cra)o(wford)16 b(and)g(Bak)o(er)h(b)q(egin)g(to)f(relate)h(empirical)75 2589 y(studies)f(of)f(sc)o(heduler)h(p)q(erformance)g(to)e(the)i(c)o (haracteristics)f(of)g(\\real")g(sc)o(heduling)i(problems.)1001 2828 y(2)p eop %%Page: 3 3 bop 75 195 a Ff(References)75 315 y Fd([1])22 b(Readings)16 b(in)g(Planning)h(\(eds.)d(J.Allen,)j(J.Hendler)g(and)e(A.T)l(ate\),)f (Morgan-Kaufmann,)g(1990.)75 409 y([2])22 b(Barrett,)i(A.)e(and)i(W)l(eld,)i (D.S.,)d(T)l(ask-Decomp)q(osition)h(via)g(Plan)f(P)o(arsing,)i(Pro)q (ceedings)f(of)f(the)146 466 y(Tw)o(elfth)15 b(National)h(Conference)f(on)g (Arti\014cial)i(In)o(telligence)h(\(AAAI-94\),)c(Seattle,)i(USA,)f(1994.)75 559 y([3])22 b(Cra)o(wford,)14 b(J.M.)i(and)g(Bak)o(er,)g(A.B.,)g(Exp)q (erimen)o(tal)h(Results)h(on)e(the)g(Application)j(of)d(satis\014abilit)o(y) 146 616 y(Algorithms)d(to)e(Sc)o(heduling)k(Problems,)e(Pro)q(ceedings)h(of)e (the)h(W)l(orkshop)f(on)g(Comparativ)o(e)g(Analysis)146 672 y(of)i(AI)i(Planning)h(Systems,)d(AAAI-94,)h(Seattle,)h(USA,)f(1994.)75 766 y([4])22 b(Drummond,)h(M.E.,)g(On)g(Precondition)h(Ac)o(hiev)o(emen)o(t)f (and)g(the)f(Computational)g(Economics)h(of)146 823 y(Automatic)11 b(Planning,)i(in)f(Curren)o(t)f(T)l(rends)h(in)g(AI)g(Planning)g(\(eds.)f (C.Bac)o(kstrom)f(and)i(E.Sandew)o(all\))146 879 y(IOS)k(Press,)e(Sw)o(eden,) i(1993.)75 973 y([5])22 b(Joslin,)h(D.)d(and)h(P)o(ollac)o(k,)h(M.E.,)f (Least-Cost)f(Fla)o(w)g(Repair:)32 b(A)21 b(Plan)g(Re\014nemen)o(t)h (Strategy)e(for)146 1029 y(P)o(artial-Order)f(Planning,)i(Pro)q(ceedings)f (of)f(the)g(National)h(Conference)g(on)f(Arti\014cial)h(In)o(telligence)146 1086 y(\(AAAI-94\),)14 b(Seattle,)h(W)-5 b(A,)15 b(USA,)g(1994.)75 1180 y([6])22 b(Gil,)14 b(Y.)g(and)f(Linster,)i(M.,)e(On)h(Analyzing)h (Planning)g(Applications,)h(in)e(preparation,)g(USC/ISI)h(and)146 1236 y(Digital)h(Equipmen)o(t)g(Corp)q(oration,)e(1994.)75 1330 y([7])22 b(Kam)o(bhampati,)17 b(S.,)f(Design)h(T)l(radeo\013s)f(in)i(P)o (artial)f(Order)g(Planning,)h(Pro)q(ceedings)g(of)e(the)h(Second)146 1386 y(In)o(ternational)f(Conference)f(on)g(AI)h(Planning)h(Systems)e (\(AIPS-94\),)f(Chicago,)h(IL.,)g(USA,)g(1994.)75 1480 y([8])22 b(Kam)o(bhampati,)g(S.,)g(Comparing)f(P)o(artial)g(Order)h(Planning)g(and)g (T)l(ask)e(Reduction)j(Planning:)33 b(a)146 1537 y(Preliminary)15 b(Rep)q(ort,)e(Pro)q(ceedings)i(of)e(the)h(W)l(orkshop)f(on)g(Comparativ)o(e) g(Analysis)i(of)e(AI)h(Planning)146 1593 y(Systems,)g(AAAI-94,)h(Seattle,)h (USA,)f(1994.)75 1687 y([9])22 b(Kam)o(bhampati,)14 b(S.)h(and)g(Hendler,)h (J.,)e(A)h(V)l(alidation-Structure-Based)i(Theory)e(of)f(Plan)h(Mo)q (di\014ca-)146 1743 y(tion)g(and)h(Reuse,)f(Arti\014cial)i(In)o(telligence,)h (Ma)o(y)l(,)c(1992.)75 1837 y([10])21 b(Kautz,)15 b(H.)g(and)h(Selman,)g(B.,) e(An)i(Empirical)h(Ev)m(aluation)f(of)f(Kno)o(wledge)h(Compilation,)g (National)146 1893 y(Conference)f(on)h(AI,)f(Seattle,)g(USA,)g(August)g (1994.)75 1987 y([11])21 b(Knoblo)q(c)o(k,)f(C.A.)e(and)h(Y)l(ang,)g(Q.)f(Ev) m(aluating)h(the)g(T)l(radeo\013s)f(in)h(P)o(artial-Order)g(Planning)h(Algo-) 146 2044 y(rithms,)12 b(P)o(ap)q(er)f(presen)o(ted)i(to)e(the)h(AAAI-94)f(W)l (orkshop)h(on)f(Comparativ)o(e)g(Analysis)i(of)e(AI)i(Planning)146 2100 y(Systems,)h(Seattle,)h(USA,)h(July)g(1994.)75 2194 y([12])21 b(Lehrer,)k(N.B.)d(\(ed.\))g(Kno)o(wledge)i(Represen)o(tation)f(Sp)q (eci\014cation)i(Language)d(\(KRSL\),)h(V)l(ersion)146 2250 y(2.0.2,)13 b(F)l(ebruary)i(1993,)f(USAF)h(Rome)g(Lab)q(oratory)l(.)75 2344 y([13])21 b(,)e(Zilb)q(erstein,)h(S.,)f(The)f(Utilit)o(y)h(of)f (Planning:)27 b(Ho)o(w)17 b(to)h(Ev)m(aluate)g(and)h(Compare)e(Planning)j (Sys-)146 2401 y(tems,)14 b(P)o(ap)q(er)g(presen)o(ted)i(to)e(the)g(AAAI-94)h (W)l(orkshop)g(on)f(Comparativ)o(e)g(Analysis)i(of)e(AI)i(Planning)146 2457 y(Systems,)e(Seattle,)h(USA,)h(July)g(1994.)75 2551 y([14])21 b(T)l(ate,)14 b(A.,)g(The)g(Emergence)h(of)f(\\Standard")f(Planning)j(and)f (Sc)o(heduling)h(System)e(Comp)q(onen)o(ts,)g(in)146 2607 y(Curren)o(t)k(T)l (rends)i(in)f(AI)h(Planning)g(\(eds.)f(C.Bac)o(kstrom)e(and)i(E.Sandew)o (all\))g(IOS)h(Press,)g(Sw)o(eden,)146 2664 y(1993.)1001 2828 y(3)p eop %%Page: 4 4 bop 75 195 a Fd([15])21 b(T)l(ate,)14 b(A.,)f(Represen)o(ting)i(Plans)f(as)g (a)f(Set)h(of)f(Constrain)o(ts)g(-)h(the)g Fb(<)p Fa(i-n-o)o(v)l(a)p Fb(>)g Fd(Mo)q(del,)g(to)f(app)q(ear)h(in)146 252 y(A)o(CM)e(SIGAR)l(T)h (Notes,)f(Jan)o(uary)h(1995.)e(Av)m(ailable)j(b)o(y)f(ftp)f(from)g (aiai.ed.ac.uk)h(in)g(\014le)h(bat/ino)o(v)m(a.ps.)75 345 y([16])21 b(T)l(ate,)14 b(A.,)g(Drabble,)g(B.)g(and)h(Kirb)o(y)l(,)g(R.,)f(O-Plan2:)20 b(an)14 b(Op)q(en)h(Arc)o(hitecture)g(for)f(Command,)f(Plan-)146 402 y(ning)k(and)g(Con)o(trol,)f(in)i(In)o(telligen)o(t)h(Sc)o(heduling,)g (\(eds,)e(M.Zw)o(eb)q(en)f(and)h(M.S.F)l(o)o(x\),)e(Morgan)h(Kauf-)146 458 y(mann)f(Publishers,)i(P)o(alo)d(Alto,)h(CA.,)g(USA,)g(1994.)75 552 y([17])21 b(T)l(ate,)e(A.,)g(Hendler)h(J.A.)e(and)g(M.E.Drummond,)g(AI)h (Planning:)28 b(Systems)18 b(and)h(T)l(ec)o(hniques,)h(AI)146 609 y(Magazine)14 b(V)l(ol.)g(11)g(No.)f(2,)h(pp.)g(61-77,)f(Summer)h(1990,)f (American)i(Asso)q(ciation)g(for)e(Arti\014cial)j(In)o(tel-)146 665 y(ligence.)75 759 y([18])21 b(V)l(alen)o(te,)15 b(A.,)e(Kno)o(wledge-Lev) o(el)j(Analysis)e(of)g(Planning)h(Systems,)e(Pro)q(ceedings)i(of)e(the)g(W)l (orkshop)146 815 y(on)i(Comparativ)o(e)f(Analysis)i(of)f(AI)h(Planning)g (Systems,)f(AAAI-94,)g(Seattle,)g(USA,)h(1994.)75 909 y([19])21 b(Y)l(ang,)16 b(Q.,)g(F)l(ormalizing)h(Planning)g(Kno)o(wledge)g(for)f (Hierarc)o(hical)h(Planning,)g(Computational)f(In-)146 966 y(telligence,)h(V)l(ol.)e(6,)g(No.)f(1,)h(pp12-24,)f(1990.)75 1059 y([20])21 b(Y)l(oung,)g(R.M.,)f(P)o(ollac)o(k,)h(M.E.)e(and)h(Mo)q(ore,) g(J.D.,)g(Decomp)q(osition)h(and)f(Causalit)o(y)g(in)h(P)o(artial-)146 1116 y(Order)c(Planning,)i(Pro)q(ceedings)f(of)e(the)i(Second)f(In)o (ternational)h(Conference)g(on)f(AI)g(Planning)i(Sys-)146 1172 y(tems)c(\(AIPS-94\),)f(Chicago,)h(IL,)g(USA,)h(1994.)1001 2828 y(4)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF