陈清亮；苏凯乐；阿卜杜勒·萨塔尔；罗向宇；陈爱祥 BDI代理的一阶联盟逻辑。 （英语） Zbl 1403.68257号 前面。计算。科学。 10，第2期，233-245（2016）.MSC公司：68T27型 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit｛Q.Chen｝等人，正面。计算。科学。10，第2号，233--245（2016；Zbl 1403.68257） 全文： 内政部
罗向宇；苏凯乐；顾，明；吴丽君；杨金吉 草食协议中检验知识的符号模型。 （英语） Zbl 1327.68037号 范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，112-129（2011）。MSC公司：68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Luo}等人，Lect。注释计算。科学。6572112-129（2011年；Zbl 1327.68037） 全文： 内政部