%PDF-1.4
%
8 0 obj
<< /S /GoTo /D (Outline1) >>
endobj
11 0 obj
(Motivation)
endobj
12 0 obj
<< /S /GoTo /D (Outline1.1) >>
endobj
15 0 obj
(Motivation)
endobj
16 0 obj
<< /S /GoTo /D (Outline1.2) >>
endobj
19 0 obj
(Nutshell)
endobj
20 0 obj
<< /S /GoTo /D (Outline1.3) >>
endobj
23 0 obj
(Shifting paradigms)
endobj
24 0 obj
<< /S /GoTo /D (Outline1.4) >>
endobj
27 0 obj
(Rooting ASP)
endobj
28 0 obj
<< /S /GoTo /D (Outline1.5) >>
endobj
31 0 obj
(ASP solving)
endobj
32 0 obj
<< /S /GoTo /D (Outline1.6) >>
endobj
35 0 obj
(Using ASP)
endobj
36 0 obj
<< /S /GoTo /D (Outline2) >>
endobj
39 0 obj
(Introduction)
endobj
40 0 obj
<< /S /GoTo /D (Outline2.7) >>
endobj
43 0 obj
(Syntax)
endobj
44 0 obj
<< /S /GoTo /D (Outline2.8) >>
endobj
47 0 obj
(Semantics)
endobj
48 0 obj
<< /S /GoTo /D (Outline2.9) >>
endobj
51 0 obj
(Examples)
endobj
52 0 obj
<< /S /GoTo /D (Outline2.10) >>
endobj
55 0 obj
(Variables)
endobj
56 0 obj
<< /S /GoTo /D (Outline2.11) >>
endobj
59 0 obj
(Language constructs)
endobj
60 0 obj
<< /S /GoTo /D (Outline2.12) >>
endobj
63 0 obj
(Reasoning modes)
endobj
64 0 obj
<< /S /GoTo /D (Outline3) >>
endobj
67 0 obj
(Basic Modeling)
endobj
68 0 obj
<< /S /GoTo /D (Outline3.13) >>
endobj
71 0 obj
(ASP solving process)
endobj
72 0 obj
<< /S /GoTo /D (Outline3.13.1.152) >>
endobj
75 0 obj
(Graph coloring)
endobj
76 0 obj
<< /S /GoTo /D (Outline3.14) >>
endobj
79 0 obj
(Methodology)
endobj
80 0 obj
<< /S /GoTo /D (Outline3.14.1.184) >>
endobj
83 0 obj
(Satisfiability)
endobj
84 0 obj
<< /S /GoTo /D (Outline3.14.2.190) >>
endobj
87 0 obj
(Queens)
endobj
88 0 obj
<< /S /GoTo /D (Outline3.14.3.211) >>
endobj
91 0 obj
(Traveling Salesperson)
endobj
92 0 obj
<< /S /GoTo /D (Outline3.14.4.219) >>
endobj
95 0 obj
(Reviewer Assignment)
endobj
96 0 obj
<< /S /GoTo /D (Outline3.14.5.225) >>
endobj
99 0 obj
(Planning)
endobj
100 0 obj
<< /S /GoTo /D (Outline4) >>
endobj
103 0 obj
(Language Extensions)
endobj
104 0 obj
<< /S /GoTo /D (Outline4.15) >>
endobj
107 0 obj
(Motivation)
endobj
108 0 obj
<< /S /GoTo /D (Outline4.16) >>
endobj
111 0 obj
(Integrity constraint)
endobj
112 0 obj
<< /S /GoTo /D (Outline4.17) >>
endobj
115 0 obj
(Choice rule)
endobj
116 0 obj
<< /S /GoTo /D (Outline4.18) >>
endobj
119 0 obj
(Cardinality rule)
endobj
120 0 obj
<< /S /GoTo /D (Outline4.19) >>
endobj
123 0 obj
(Weight rule)
endobj
124 0 obj
<< /S /GoTo /D (Outline4.20) >>
endobj
127 0 obj
(Conditional literal)
endobj
128 0 obj
<< /S /GoTo /D (Outline4.21) >>
endobj
131 0 obj
(Optimization statement)
endobj
132 0 obj
<< /S /GoTo /D (Outline4.22) >>
endobj
135 0 obj
(smodels format)
endobj
136 0 obj
<< /S /GoTo /D (Outline5) >>
endobj
139 0 obj
(Systems)
endobj
140 0 obj
<< /S /GoTo /D (Outline5.23) >>
endobj
143 0 obj
(Potassco)
endobj
144 0 obj
<< /S /GoTo /D (Outline5.24) >>
endobj
147 0 obj
(gringo)
endobj
148 0 obj
<< /S /GoTo /D (Outline5.25) >>
endobj
151 0 obj
(clasp)
endobj
152 0 obj
<< /S /GoTo /D (Outline5.26) >>
endobj
155 0 obj
(Siblings)
endobj
156 0 obj
<< /S /GoTo /D (Outline5.26.1.348) >>
endobj
159 0 obj
(claspfolio)
endobj
160 0 obj
<< /S /GoTo /D (Outline5.26.2.367) >>
endobj
163 0 obj
(clingcon)
endobj
164 0 obj
<< /S /GoTo /D (Outline5.26.3.393) >>
endobj
167 0 obj
(iclingo)
endobj
168 0 obj
<< /S /GoTo /D (Outline5.26.4.420) >>
endobj
171 0 obj
(oclingo)
endobj
172 0 obj
<< /S /GoTo /D (Outline6) >>
endobj
175 0 obj
(Summary)
endobj
176 0 obj
<< /S /GoTo /D (Outline6.27) >>
endobj
179 0 obj
(Summary)
endobj
180 0 obj
<< /S /GoTo /D [181 0 R /Fit ] >>
endobj
185 0 obj <<
/Length 543
/Filter /FlateDecode
>>
stream
xVMs0+t^[hZ2Lg(8e:WSz@O#=ۧ0 r7?*ǷV<
>
/Parent 192 0 R
/Annots [ 183 0 R ]
>> endobj
183 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [174.508 1.66 188.321 7.804]
/A << /S /GoTo /D (Navigation451) >>
>> endobj
186 0 obj <<
/D [181 0 R /XYZ 10.909 263.492 null]
>> endobj
190 0 obj <<
/D [181 0 R /XYZ 351.926 0 null]
>> endobj
191 0 obj <<
/D [181 0 R /XYZ 351.926 0 null]
>> endobj
184 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F21 187 0 R /F16 188 0 R /F22 189 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
197 0 obj <<
/Length 606
/Filter /FlateDecode
>>
stream
xWMs0+t(46SBљ@L0jV^1
۟Y`ۧÕBB0@9h2Ɨ].L.laW~GnXcDZVDŽU: 9-t@zc[N%7R-zmQ-&
7ͼF85IiI@R $I|b7hvGPU(ˇ$BG|
u&4+erX"
~q(dbx"!@6N)O6vҸm:G$|^PJaw Dqj
C- 4OӸ &/z«PyNiRO8q@5*4%NR/%#?`<;.1zV%t{ZnfLvxKR7Wc]~lUotɍ<5@bbu1*lx>
/Parent 192 0 R
/Annots [ 194 0 R ]
>> endobj
194 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [174.508 1.66 188.321 7.804]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
198 0 obj <<
/D [196 0 R /XYZ 351.926 0 null]
>> endobj
199 0 obj <<
/D [196 0 R /XYZ 351.926 0 null]
>> endobj
195 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F21 187 0 R /F22 189 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
210 0 obj <<
/Length 710
/Filter /FlateDecode
>>
stream
x͗MS0:/ J3eh! !xJHIB@lQ䕥>z%8㌃OZOZfx4[.
B,5C аqݴkw>viAvm>
uzy8(YYqc^gG,C%!-HPw %,HtͭQ/U-y`3J4v?w[{GHHeuo$tbk38MYo?:1gI_㎡`/suՐ-߈
;UH6fU`Br)T)DžYXQa|?:KiINW͂(C{cwދ-i}>˙Gt$M6kUzJډ|0mn0m%FS&A6̨sLAI)`ܻN.9:dDjZ{Fi; N^V3C7+)MFwI)]R$,Eb&u1)J ]FI2Q$ͦ!
ipz"|J=Wn7]0
ɴO*\/85?i/Ψ&6/ѷ.
xfd/W-0ՠ*|upzB Rjx<'utzxe7K}:;ux
eemH vܧ
endstream
endobj
209 0 obj <<
/Type /Page
/Contents 210 0 R
/Resources 208 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 192 0 R
/Annots [ 206 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 207 0 R ]
>> endobj
206 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [178.331 226.137 243.669 246.063]
/A << /S /GoTo /D (Navigation3) >>
>> endobj
200 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 184.355 75.905 196.31]
/A << /S /GoTo /D (Navigation4) >>
>> endobj
201 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 155.858 63.633 167.813]
/A << /S /GoTo /D (Navigation12) >>
>> endobj
202 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 127.011 111.451 139.316]
/A << /S /GoTo /D (Navigation21) >>
>> endobj
203 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 98.513 86.284 110.819]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
204 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 70.016 81.36 82.322]
/A << /S /GoTo /D (Navigation56) >>
>> endobj
205 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 41.519 75.769 53.824]
/A << /S /GoTo /D (Navigation61) >>
>> endobj
207 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [174.508 1.66 188.321 7.804]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
9 0 obj <<
/D [209 0 R /XYZ 10.909 263.492 null]
>> endobj
211 0 obj <<
/D [209 0 R /XYZ 351.926 0 null]
>> endobj
212 0 obj <<
/D [209 0 R /XYZ 351.926 0 null]
>> endobj
208 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F21 187 0 R /F16 188 0 R /F22 189 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
229 0 obj <<
/Length 737
/Filter /FlateDecode
>>
stream
xV0y
-/;(-S-
avB|KI߱l!M"5<7J(S\ͯ4}/Ɲ
E&.5~Dw0Mv4
>jݘ^MF_(H0.;ޯ9š蔞57-3e !Osu2jpN8c4i0
L:Һ!?,h(fkwȗV
#᭕(j AԼЈ-%ႃb2hlA Q^p@`?pJ)P_v#ٳgl§b3deݣ8-m)Ba[Y/Oi?d0S59[Q$gދ %E^gFa;)P
JUr)bBYy!Yo|]9͗;l6{-e"Ǭ*bG/o,Lm&MN?Z@#2tI(qaUH./>Z أE`bU;
DE0>X$Zŋ&;4R<>ئSG5W*~YtK48Us}Rq]2κ#Te}fU<+V9Պg֧-]GEefoe.X<'D)Z@v-"ur~|=o]<
H5xC;r
endstream
endobj
228 0 obj <<
/Type /Page
/Contents 229 0 R
/Resources 227 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 192 0 R
/Annots [ 225 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 226 0 R ]
>> endobj
225 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [146.34 265.152 177.1 271.296]
/A << /S /GoTo /D (Navigation4) >>
>> endobj
219 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 184.355 75.905 196.31]
/A << /S /GoTo /D (Navigation4) >>
>> endobj
220 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 155.858 63.633 167.813]
/A << /S /GoTo /D (Navigation12) >>
>> endobj
221 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 127.011 111.451 139.316]
/A << /S /GoTo /D (Navigation21) >>
>> endobj
222 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 98.513 86.284 110.819]
/A << /S /GoTo /D (Navigation41) >>
>> endobj
223 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 70.016 81.36 82.322]
/A << /S /GoTo /D (Navigation56) >>
>> endobj
224 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [24.458 41.519 75.769 53.824]
/A << /S /GoTo /D (Navigation61) >>
>> endobj
226 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [174.508 1.66 188.321 7.804]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
13 0 obj <<
/D [228 0 R /XYZ 10.909 263.492 null]
>> endobj
213 0 obj <<
/D [228 0 R /XYZ 351.926 0 null]
>> endobj
230 0 obj <<
/D [228 0 R /XYZ 351.926 0 null]
>> endobj
227 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F22 189 0 R /F21 187 0 R /F16 188 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
235 0 obj <<
/Length 860
/Filter /FlateDecode
>>
stream
x͗KS0Cz)% xȐ`~WgؐزFUjκO5B@PPvכ&k@^hx𑻭˦ԣ g[nqrof=yj[ЂJj^S
TY̹r2ilE1tn
ap6rH皜&G|1V'_;9lSJ[)Q*]8JIK**K@ U\FxI` ur5:7eWd^1iuqOiIIθ.͖"Lw~w)clY [WbkfA zsw8>+aQYj:{Qd|҈g3R2YY
>#j.sz5>;,y #ĢYeOڸL(JkY:E2`++; BR0ѣ n +kӖr2z{q2KMhA-_:0G
.tyۨC 8dV0C!
"ڨ):tBPDA?'cb9
:F_A8Ć9(e.v `'Ľ=?$Sb|67ހ1ʝw92tG79̣ôK xX>`kl\;M\2X(.&͖a69c>+>\ٟ;ɼ-;frp3*&4wKZzBUzap^Rm9Ò'egbpjq܊en舤Wf
endstream
endobj
234 0 obj <<
/Type /Page
/Contents 235 0 R
/Resources 233 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 192 0 R
/Annots [ 231 0 R 232 0 R ]
>> endobj
231 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [146.34 265.152 177.1 271.296]
/A << /S /GoTo /D (Navigation5) >>
>> endobj
232 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [174.508 1.66 188.321 7.804]
/A << /S /GoTo /D (Navigation1) >>
>> endobj
238 0 obj <<
/D [234 0 R /XYZ 351.926 0 null]
>> endobj
239 0 obj <<
/D [234 0 R /XYZ 351.926 0 null]
>> endobj
233 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F22 189 0 R /F21 187 0 R /F26 236 0 R /F16 188 0 R /F2 237 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
244 0 obj <<
/Length 932
/Filter /FlateDecode
>>
stream
xWR@+rfz@Q!ةT0/-R% RϨׯG0¨_XM!>z
rZ4uW?F.L)ha7fpFI+GՅI&}k{PXAHo^S
TY6s@uhҽ&\*Ao4ґ9.yhw6F`}[-:xkJ
BiAcA%RHN% *.SxN` y