文章基本信息

标题：Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning
本地全文：下载
作者：Jendrik Seipp ; Malte Helmert
期刊名称：Journal of Artificial Intelligence Research
印刷版ISSN：1076-9757
出版年度：2018
卷号：62
页码：535-577
出版社：American Association of Artificial