Koen V. Hindriks

Available identifiers

zbMath Open hindriks.koen-vMaRDI QIDQ766270

List of research outcomes

Publication	Date of Publication	Type
GOAL Agents Instantiate Intention Logic	2012-07-23	Paper
Towards an environment interface standard for agent platforms	2012-03-23	Paper
Eliminating issue dependencies in complex negotiation domains	2011-03-09	Paper
A Verification Logic for Goal Agents	2010-11-11	Paper
Argumentation-Based Preference Modelling with Incomplete Information	2010-11-09	Paper
Programming Rational Agents in GOAL	2010-01-11	Paper
A Multi-Agent Environment for Negotiation	2010-01-11	Paper
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages	2009-02-12	Paper
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming	2009-02-12	Paper
GOAL Agents Instantiate Intention Logic	2008-10-27	Paper
A verification framework for agent programming with declarative goals	2007-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4738161	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4473080	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536751	2002-07-15	Paper
On programming KARO agents	2001-05-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Koen V. Hindriks