%PDF-1.3
%
101 0 obj
<>/OCGs[104 0 R]>>/OutputIntents[98 0 R]/PageLabels 96 0 R/Pages 16 0 R/Type/Catalog>>
endobj
103 0 obj
<>/Font<>>>/Fields 108 0 R>>
endobj
100 0 obj
<>stream
2016-01-23T19:17:01-08:00
TeX
2016-01-31T20:16:47-08:00
2016-01-31T20:16:47-08:00
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) kpathsea version 6.2.1
PDF/X-1a:2001
PDF/X-1:2001
Acrobat Distiller 15.0 (Macintosh)
False
Technical Papers: Knowledge Representation and Reasoning
PDF/X-1a:2001
PDF/X-1:2001
application/pdf
Haodi Zhang, Fangzhen Lin
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Copyright(C) 2016, Association for the Advancement of Artificial Intelligence
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
Technical Papers: Knowledge Representation and Reasoning
True
http://www.aaai.org
uuid:0309498f-95c0-f34a-9c1e-077899234425
uuid:57841dde-b054-7f40-9563-9de3c1d35248
1
PDF/X-1:2001
endstream
endobj
96 0 obj
<>
endobj
16 0 obj
<>
endobj
2 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
17 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
24 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
27 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
31 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
34 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
37 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/TrimBox[0 0 612 792]/Type/Page>>
endobj
127 0 obj
<>stream
HWn}WXܾ2~p}j un]Ū۰KRfn! Ue]QWY훺Z[喼w?mwu[=T=%;To|B-,r!^ė-$yqP D(1J&K_J Kلa>HA6q
]f7FN5bhܔYyV+)D`My%waF}[l=",*
O/u],kmOx&P=-N'}eimG;1]"6Q$q܌{{p*aw8yL`g~ƶ2p1.J䛬Z[_GG|
eѻEo*