%PDF-1.4
%
144 0 obj
<>/OCGs[147 0 R]>>/OutputIntents[141 0 R]/PageLabels 139 0 R/Pages 19 0 R/Type/Catalog>>
endobj
146 0 obj
<>/Font<>>>/Fields 151 0 R>>
endobj
143 0 obj
<>stream
2017-01-21T19:38:46-08:00
TeX
2017-01-22T14:17:41-08:00
2017-01-22T14:17:41-08:00
Acrobat Distiller 15.0 (Macintosh)
Knowledge Representation and Reasoning
application/pdf
On Equivalence and Inconsistency of Answer Set Programs with External Sources
Christoph Redl
Copyright© 2017 Association for the Advancement of Artificial Intelligence
Proceedings of the the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
Knowledge Representation and Reasoning
uuid:97a1d8f9-a9b2-5647-a2a8-6d4ef59302af
uuid:6d50b2d9-acc2-804c-a0af-e00fa9243f23
True
http://www.aaai.org
1
B
endstream
endobj
139 0 obj
<>
endobj
19 0 obj
<>
endobj
2 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
20 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
31 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
36 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
40 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
43 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
46 0 obj
<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Type/Page>>
endobj
170 0 obj
<>stream
H|W]sJ}ϯ#ڲ3 'ruž{fkHb@3HRU3==O~{ǻ`_ fbv| 0,f%Ra0Y
_q6T0_(iaT5[ǹZ."hM'ݚ\P?>i7UnԴ
_i~
é2e]կ8Ó֍}hgCiyyS9v7L}h٨"~kp&_(*iʮ=ٙύR2lӺ*멷UwvE^\ޓ`R&/K(.G"MBּ>