Koen Hindriks

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
GOAL agents instantiate intention logic Logic Programs, Norms and Action	2012-07-23	Paper
Towards an environment interface standard for agent platforms Annals of Mathematics and Artificial Intelligence	2012-03-23	Paper
Eliminating issue dependencies in complex negotiation domains Multiagent and Grid Systems	2011-03-09	Paper
A verification logic for goal agents Specification and Verification of Multi-agent Systems	2010-11-11	Paper
Argumentation-based preference modelling with incomplete information Lecture Notes in Computer Science	2010-11-09	Paper
Programming rational agents in GOAL Multi-Agent Programming	2010-01-11	Paper
A Multi-Agent Environment for Negotiation Multi-Agent Programming	2010-01-11	Paper
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages Lecture Notes in Computer Science	2009-02-12	Paper
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming Lecture Notes in Computer Science	2009-02-12	Paper
GOAL Agents Instantiate Intention Logic Logics in Artificial Intelligence	2008-10-27	Paper
A verification framework for agent programming with declarative goals Journal of Applied Logic	2007-07-25	Paper
scientific article; zbMATH DE number 2087380 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2080355 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1759736 (Why is no real title available?)	2002-07-15	Paper
On programming KARO agents Logic Journal of the IGPL	2001-05-16	Paper

Research outcomes over time

This page was built for person: Koen Hindriks