@第{zbMATH06804543条，作者={Bellodi，Elena和Riguzzi，Fabrizio}，Title={通过搜索子句空间进行概率逻辑程序的结构学习}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={15}，数字={2}，页码={169--212}，年份={2015年}，语言={英语}，DOI＝{10.1017/S1471068413000689}，关键词={68T05,68N17，68T20,68T37}，zbMATH={6804543}，Zbl={1379.68269}}