@InCollection{zbMATH07121977,作者={Schwitter,Rolf},标题={通过概率逻辑编程学习效果公理},BookTitle={第33届国际会议技术交流逻辑编程,2017年8月28日至9月1日,澳大利亚墨尔本,国际标准图书编号={978-3-95977-058-3},页码={15},注={Id/No 8},年份={2018年},出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},语言={英语},DOI={10.4230/OASIcs.ICLP.2017.8},关键词={68T27,68N17,68T37},zbMATH={7121977},Zbl={1428.68286}}