%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2799
>>
stream
Knowledge Representation, Nonmonotonic Reasoning, Answer-Set Programming, Lazy-Grounding, Normalization
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-05-17T19:26:58+05:30
TeX
2019-05-17T19:26:58+05:30
2019-05-17T19:26:58+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Knowledge Representation, Nonmonotonic Reasoning, Answer-Set Programming, Lazy-Grounding, Normalization
endstream
endobj
7 0 obj
<<
/Length 4977
/Filter /FlateDecode
>>
stream
xZ[۸~Уsd<;NʻT6$Z﹁q5)U w.@:o߽*SE~BaBEqzޭ~>ڇMfqm`cӏu)mZZ9ҙ)?ֽ*w$dߞ$Y&8Vi6Va.]}^`|rAfwcY3LTiJSӞL徚.}:t¡ƉkU$ ODTͬCA8vyPcoj7t<_dm]ٶZUañ]
X&q
;(n
U(U