%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2750
>>
stream
Query reformulation, Ontology-mediated query answering, Multi-dimensional data
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-05-17T17:21:40+05:30
TeX
2019-05-17T17:21:40+05:30
2019-05-17T17:21:40+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
Alexander Bagnall, Gordon Stewart
Query reformulation, Ontology-mediated query answering, Multi-dimensional data
endstream
endobj
5 0 obj
<<
/Length 4955
/Filter /FlateDecode
>>
stream
xڝ[I{8mP2Z{r3u-6H'I"Mk.b#{px\}ʒ@/:TjEfʆnXIP(uM?[uP4Eu%--̦w\ݮ|Dz|c,tEĆҨZ'ZY{_`ײz8QBQ[%9MnSY.rU?JY3^ִS[XHe!/V:E㾱rh]-ZF79h*"y:V1}+նhx*nd?uKt2nT52)6MI6헧~[+-M[v8Z̪_~0<:̓4',Ր< $FxlV
]_3%IT o5T5<}wCϵN2GZxɿo&tF)FCw*^vAbU.!sa`Mp`'V(WkY}?jX=o1IVP?Vk<}8e_Q+Mv+,P7\N۱xzO:B#S^ߜCX꼩z ^F;;Zb
Gr"qyڊ08P|bӱijVYvEo-Q|F⥺M&NTMW8CƁJ@D:SI$Jt:CreH9껧
lʒ'L'gK/h뿐JpA90smϬ+6.ܺc-.
tdCǟܼʽxgMWf$D'6Ow2,vyE*-?z]AE (H0` c2Aq:_>
}%keyhް <$KV**fUE=gmAbMEbS(txX'&CΜvN;mg ,Z|Ê3ا#A&~WWwέ+{Ң';j6k4
ī-n]MZH
65&Q[uynS8l:$o&JT̾D9{==j7=qnHBB][M1!io
2z鈕_/jz1;&8vR2Bp l)-!N،P"qyE