×
作者ID: 恩格尔弗里特·乔里“Engelfriet,Joeri”最近发表的zbMATH文章
发布日期: 乔里·恩格弗里特;Engelfriet,J。
外部链接: MGP公司
编入索引的文档: 21出版物自1994年以来
合著者: 5位合著者具有18联合出版物
230位联合作者

按年份列出的出版物

zbMATH Open中包含的引文

10出版物有被引用34中的次23文件 引用人 年份
最小时间认识逻辑。 Zbl 0866.03014号
乔里·恩格弗里特
9
1996
推理的时间理论。 Zbl 0988.03513号
Engelfriet,J。;J.特雷尔。
9
1994
最小时间认知逻辑中缺省逻辑的解释。 Zbl 0921.03037号
乔里·恩格弗里特;简·特雷尔
1998
时序多项目逻辑中多智能体系统的组合验证。 Zbl 1002.68094号
乔里·恩格弗里特;Jonker,天主教M。;简·特雷尔
2002
非单调推理的规范。 Zbl 1033.03515号
Engelfriet,乔里;简·特雷尔
2000
非单调推理的可执行时序逻辑。 Zbl 0890.03007号
乔里·恩格弗里特;简·特雷尔
2
1996
非单调推理的规范。 Zbl 1419.68112号
乔里·恩格弗里特;简·特雷尔
2
1996
多信念集的非单调推理。 Zbl 0920.03039号
乔里·恩格弗里特;Herre,Heinrich先生;简·特雷尔
1
1998
非单调推理的默认逻辑和规范。 Zbl 1008.03020号
Engelfriet,乔里;V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基,米洛斯奥
1
2001
多信念集的非单调推理。 Zbl 1419.68111号
乔里·恩格弗里特;Herre,Heinrich先生;简·特雷尔
1
1996
时序多项目逻辑中多智能体系统的组合验证。 Zbl 1002.68094号
乔里·恩格弗里特;Jonker,天主教M。;简·特雷尔
2002
非单调推理的默认逻辑和规范。 Zbl 1008.03020号
乔里·恩格弗里特;V.Wiktor马雷克;简·特雷尔;特鲁什琴斯基,米洛斯奥
1
2001
非单调推理的规范。 兹比尔1033.03515
乔里·恩格弗里特;简·特雷尔
2000
最小时间认知逻辑中缺省逻辑的解释。 Zbl 0921.03037号
乔里·恩格弗里特;简·特雷尔
1998
多信念集的非单调推理。 Zbl 0920.03039号
乔里·恩格弗里特;Herre,Heinrich先生;简·特雷尔
1
1998
最小时间认知逻辑。 Zbl 0866.03014号
乔里·恩格弗里特
9
1996
非单调推理的可执行时序逻辑。 兹伯利0890.003007
乔里·恩格弗里特;简·特雷尔
2
1996
非单调推理的规范。 Zbl 1419.68112号
乔里·恩格弗里特;简·特雷尔
2
1996
多信念集的非单调推理。 Zbl 1419.68111号
乔里·恩格弗里特;Herre,Heinrich先生;简·特雷尔
1
1996
推理的时间理论。 Zbl 0988.03513号
Engelfriet,J。;J.特雷尔。
9
1994

按年份列出的引文