亚历山大·阿尔博尔;娜塔莎·亚历奇纳;贝尔托利;吉迪尼,奇亚拉;布赖恩·洛根 有限资源推理作为(强或经典)规划。 (英语) Zbl 1250.68240号 Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第九届国际研讨会,CLIMA IX,德国德累斯顿,2008年9月29日至30日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-02733-8/pbk)。计算机科学5405课堂讲稿。人工智能课堂讲稿,77-96(2009)。MSC公司:68T27型 68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Albore}等人,Lect。注释计算。科学。5405、77--96(2009年;Zbl 1250.68240) 全文: 内政部
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) Zbl 1131.68095号 Artif公司。智力。 170,编号4-5,337-384(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Artif。智力。170,编号4--5,337--384(2006;Zbl 1131.68095) 全文: 内政部
A.西马蒂。;M.罗维里。;伯托利,P。 通过符号模型检查和启发式搜索进行一致性规划。 (英语) Zbl 1086.68591号 Artif公司。智力。 159,编号1-2,127-206(2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。159,编号1--2,127-206(2004;Zbl 1086.68591) 全文: 内政部