@第{zbMATH06804573条，作者={Bruynooghe，Maurice and Blockel，Hendrik and Bogaerts，Bart and De Cat，Broes and De Pooter，Stef and Jansen，Joachim and Labarre，Anthony and Ramon，Jan and Denecker，Marc and Verwer，Sicco}，Title={谓词逻辑作为建模语言：用{IDP3}}建模并解决一些机器学习和数据挖掘问题，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={15}，数字={6}，页码={783--817}，年份={2015年}，语言={英语}，DOI={10.1017/S14710684140009X}，关键词={68T20,68N17,68T05,68T27,68T30}，zbMATH={6804573}，Zbl={1379.68279}}