何塞·朱利奥·阿尔弗雷斯;费德里科·班蒂;安东尼奥·布罗吉;约昂·亚历山大·莱特 动态逻辑编程语义的精化扩展原则。 （英语） Zbl 1101.68862号 螺柱日志。 79，第1期，7-32（2005）.MSC公司：68立方英尺 68T27型 68N17号 03B70号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit｛J.J.Alferes｝等人，螺柱日志。79，编号1，7--32（2005；Zbl 1101.68862） 全文： DOI程序
J.J.阿尔弗雷斯。;F.班蒂。;A.布罗基。;莱特，J.A。 动态逻辑编程的语义：基于原则的方法。 （英语） Zbl 1122.68360号 Lifschitz，Vladimir（编辑）等人，《逻辑编程和非单调推理》。第七届国际会议，LPNMR 2004，美国佛罗里达州劳德代尔堡，2004年1月6日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20721-X/pbk）。计算机科学课堂讲稿2923。人工智能课堂讲稿，8-20（2004）。MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人，Lect。注释计算。科学。2923，8--20（2004；Zbl 1122.68360） 全文： DOI程序
J.J.阿尔弗雷斯。;A.布罗基。;莱特，J.A。;路易斯·莫尼兹·佩雷拉 基于演化规则的电子邮件代理。 （英语） Zbl 1205.68067号 Moura Pires，Fernando（编辑）等人，《人工智能的进展》。第十一届葡萄牙人工智能会议，2003年EPIA，2003年12月4日至7日，葡萄牙贝贾。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20589-6/pbk）。莱克特。注释计算。科学。2902, 394-408 (2003).MSC公司：68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人，Lect。注释计算。科学。2902394--408（2003年；Zbl 1205.68067） 全文： DOI程序
何塞·J·阿尔弗雷斯。;安东尼奥·布罗吉;Joáo A.莱特。;路易斯·佩雷拉（Luís M.Pereira）。 使用逻辑程序更新计算环境软件代理行为。 （英语） Zbl 1073.68707号 Pettorossi，Alberto（编辑），基于逻辑的程序合成和转换。2001年11月28日至30日，塞浦路斯帕福斯，第11次国际研讨会，LOPSTR 2001。精选论文。柏林：施普林格出版社（ISBN 3-540-43915-3）。莱克特。注释计算。科学。2372, 216-232 (2002).MSC公司：68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人，Lect。注释计算。科学。2372216--232（2002年；Zbl 1073.68707） 全文： 链接
何塞·朱利奥·阿尔弗雷斯;安东尼奥·布罗吉;约昂·亚历山大·莱特;路易斯·莫尼兹·佩雷拉 不断发展的逻辑程序。 （英语） Zbl 1014.68534号 Flesca，Sergio（编辑）等人，《人工智能中的逻辑》。第八届欧洲会议，JELIA 2002，意大利科森扎，2002年9月23日至26日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2424, 50-61 (2002).MSC公司：68T27型 68N17号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人，Lect。注释计算。科学。2424、50-61（2002年；Zbl 1014.68534） 全文： 链接