@InCollection{zbMATH06059506,作者={Cabalar,Pedro},标题={因果逻辑编程},BookTitle={正确的推理。为纪念弗拉基米尔·利夫施奇茨,关于基于逻辑的人工智能的论文},国际标准图书编号={978-3-642-30742-3},页码={102--116},年份={2012},出版商={柏林:施普林格},语言={英语},DOI={10.1007/978-3-642-30743-0_8},关键词={68N17},zbMATH={6059506},Zbl={1357.68028}}