×
作者ID: 印度语.koen-v最近由“Hindriks,Koen V.”撰写的zbMATH文章
发布方式: 科恩·辛德里克斯。;科恩·欣德里克斯;Hindriks,K.V.公司。
已编制索引的文档: 15出版物自2001年起
1名编辑贡献
合著者: 15位合著者具有14联合出版物
321位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用26中的次19文件 引用人 年份
具有声明性目标的代理编程验证框架。 Zbl 1122.68078号
德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。
8
2007
具有声明性目标的代理编程。 Zbl 1056.68562号
Hindriks,Koen V。;德波尔,弗兰克·S。;范德霍克,威比;John-Jules Ch.梅耶。
7
2001
使用时序逻辑将目标和定性偏好集成到代理编程中。 Zbl 1207.68405号
科恩·辛德里克斯。;范·里姆斯迪克(M.Birna van Riemsdijk)
2009
关于编程KARO代理。 Zbl 0974.68202号
约翰·朱尔斯·迈耶;法兰克·德波尔;罗吉尔,范艾克;科恩·欣德里克斯;范德霍克,威比
2
2001
多代理系统的规范和验证。魏比·范德霍克(Wiebe van der Hoek)的前言。 Zbl 1201.68005号
2
2010
在GOAL中为理性代理编程。 Zbl 1185.68140号
科恩·辛德里克斯。
2
2009
用于协调组操作的编程语言。 Zbl 1053.68922号
维基·德弗里斯;德波尔,弗兰克·S。;科恩·辛德里克斯。;范德霍克,威比;约翰·朱尔斯·C·迈耶。
1
2002
用于协商的多代理环境。 Zbl 1186.68475号
Hindriks,Koen V。;Jonker,天主教M。;德米特罗·季霍诺夫
1
2009
多代理系统的规范和验证。魏比·范德霍克(Wiebe van der Hoek)的前言。 Zbl 1201.68005号
2
2010
使用时序逻辑将目标和定性偏好集成到代理编程中。 Zbl 1207.68405号
科恩·辛德里克斯。;范·里姆斯迪克(M.Birna van Riemsdijk)
2009
在GOAL中为理性代理编程。 Zbl 1185.68140号
科恩·辛德里克斯。
2
2009
用于协商的多智能体环境。 Zbl 1186.68475号
科恩·辛德里克斯。;Jonker,天主教M。;德米特罗·季霍诺夫
1
2009
具有声明性目标的代理编程验证框架。 Zbl 1122.68078号
德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。
8
2007
用于协调组操作的编程语言。 兹比尔1053.68922
维基·德弗里斯;德波尔,弗兰克·S。;科恩·辛德里克斯。;范德霍克,威比;约翰·朱尔斯·C·迈耶。
1
2002
具有声明性目标的代理编程。 Zbl 1056.68562号
科恩·辛德里克斯。;德波尔,弗兰克·S。;范德霍克,维贝;John-Jules Ch.梅耶。
7
2001
关于编程KARO代理。 Zbl 0974.68202号
约翰·朱尔斯·迈耶;法兰克·德波尔;罗杰·范·艾伊克;科恩·欣德里克斯;范德霍克,威比
2
2001

按年份列出的引文