Engelfriet，J。;J.特雷尔。 用于执行非单调推理理论的组合推理系统。 （英语） Zbl 1038.68116号 国际J.国际。系统。 18，第6号，593-607（2003）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，国际情报杂志。系统。18，第6号，593--607（2003；Zbl 1038.68116） 全文： 内政部
乔里·恩格弗里特;特雷尔，简 多解释算子和近似分类。 （英语） Zbl 1033.68115号 国际J近似推理 32，第1期，43-61（2003）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，《国际近似推理》32，第1期，43-61（2003；Zbl 1033.68115） 全文： 内政部
乔里·恩格弗里特;特雷尔，简 时序逻辑的线性、分支时间和联合闭包语义。 （英语） Zbl 1018.03017号 J.逻辑语言信息。 11，第4期，389-425（2002）. 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Logic Lang.Inf.11，No.4，389--425（2002；Zbl 1018.03017） 全文： 内政部
乔里·恩格弗里特;Jonker，天主教M。;特雷尔，简 时序多项目逻辑中多智能体系统的组合验证。 （英语） Zbl 1002.68094号 J.逻辑语言信息。 11，第2期，195-225（2002）.MSC公司：60年第68季度 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人，J.Logic Lang.Inf.11，No.2，195--225（2002；Zbl 1002.68094） 全文： 内政部
乔里·恩格弗里特;V.Wiktor马雷克;特雷尔，简;特鲁什钦斯基，米罗斯瓦夫 非单调推理的默认逻辑和规范。 （英语） Zbl 1008.03020号 J.实验理论。Artif公司。智力。 13，第2期，99-112（2001）.MSC公司：03B70号 68T27型 68立方英尺 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人，J.Exp.Theor。Artif公司。智力。13，第2号，99-112（2001；Zbl 1008.03020） 全文： 内政部
乔里·恩格弗里特;特雷尔，简 最小时间认知逻辑中缺省逻辑的解释。 （英语） Zbl 0997.03501号 Gabbay，Dov M.（编辑）等人，《可废止推理不确定性管理系统手册》。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。105-124 (2001).MSC公司：03B60号 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，收录于：可废止推理不确定性管理系统手册。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。105-124（2001年；兹bl 0997.03501）
乔里·恩格弗里特;特雷尔，简 非单调推理的规范。 （英语） Zbl 1017.68122号 Gabbay，Dov M.（编辑）等人，《可废止推理不确定性管理系统手册》。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。83-103 (2001).MSC公司：68层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，收录于：可废止推理不确定性管理系统手册。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。83——103（2001年；Zbl 1017.68122）
乔里·恩格弗里特;特雷尔，简 非单调推理的规范。 （英语） Zbl 1033.03515号 J.应用。非类别。日志。 10，第1期，7-26（2000）.MSC公司：03B60号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Appl。非类别。日志。10，第1号，第7--26号（2000；Zbl 1033.03515） 全文： 内政部
乔里·恩格弗里特;特雷尔，简 最小时间认知逻辑中缺省逻辑的解释。 （英语） Zbl 0921.03037号 J.逻辑语言信息。 7，第3号，369-388（1998）.MSC公司：03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Logic Lang.Inf.7，No.3，369--388（1998；Zbl 0921.03037） 全文： 内政部
乔里·恩格弗里特;Herre，Heinrich先生;特雷尔，简 多信念集的非单调推理。 （英语） Zbl 0920.03039号 安。数学。Artif公司。智力。 24，编号1-4225-248（1998）.MSC公司：03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人，《数学年鉴》。Artif公司。智力。24，编号1--4，225-248（1998；Zbl 0920.03039） 全文： 内政部
乔里·恩格弗里特;V.Wiktor马雷克;特雷尔，简;特鲁什钦斯基，米罗斯瓦夫 非单调推理规范的无限缺省逻辑。 （英语） Zbl 1427.68290号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 224-236 (1996).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人，Lect。注释计算。科学。1126224-236（1996年；Zbl 1427.68290） 全文： 内政部
乔里·恩格弗里特;Herre，Heinrich先生;特雷尔，简 多信念集的非单调推理。 （英语） Zbl 1419.68111号 Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 331-344 (1996).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人，Lect。注释计算。科学。1085、331--344（1996年；Zbl 1419.68111） 全文： 内政部
乔里·恩格弗里特;特雷尔，简 非单调推理的规范。 （英语） Zbl 1419.68112号 Gabbay，Dov M.（编辑）等人，《实用推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 111-125 (1996).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，莱克特。注释计算。科学。1085、111-125（1996年；Zbl 1419.68112） 全文： 内政部
乔里·恩格弗里特;特雷尔，简 非单调推理的可执行时序逻辑。 （英语） Zbl 0890.03007号 J.塞姆。计算。 22，编号5-6，615-625（1996）. 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：03B45号 68T27型 60年第68季度 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Symb。计算。22，编号5--6，615--625（1996；Zbl 0890.03007） 全文： 内政部 链接
乔里·恩格弗里特;特雷尔，简 推理的时间理论。 （英语） Zbl 0849.03018号 J.应用。非类别。日志。 5，第1期，97-119（1995）; 修正号2，239-261（1995）。 审核人：J.Sefránek（布拉迪斯拉发） MSC公司：03B60号 68T27型 03B45号 68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Appl。非类别。日志。5、编号1、97--119；更正版本号2，239--261（1995；Zbl 0849.03018） 全文： 内政部
Engelfriet，J。;J.特雷尔。 推理的时间理论。 （英语） 兹伯利0988.03513 MacNish，Craig（编辑）等人，《人工智能中的逻辑》。1994年9月5日至8日，英国约克JELIA欧洲研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。838279-299（1994年）。MSC公司：03B44号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，莱克特。注释计算。科学。838279--299（1994年；Zbl 0988.03513）