%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2674
>>
stream
Computer Vision, Machine Learning
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-06-14T15:56:24+05:30
TeX
2019-06-14T15:56:24+05:30
2019-06-14T15:56:24+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
dentifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
Shirly Stephen, Torsten Hahmann
Computer Vision, Machine Learning
endstream
endobj
4 0 obj
<<
/Length 5569
/Filter /FlateDecode
>>
stream
x<]Fr+PfM/^GKLR;;ꪦ)J#*w_}ąIi!"Υ^]Ja[-WRhdžz?R۶yYضP$r];nW? 4| D&cq^Mk