Reasoning about agents in the KARO framework

Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek. Reasoning about agents in the KARO framework. In TIME. pages 206-213, 2001. [doi]

Authors

Ullrich Hustadt

This author has not been identified. Look up 'Ullrich Hustadt' in Google

Clare Dixon

This author has not been identified. Look up 'Clare Dixon' in Google

Renate A. Schmidt

This author has not been identified. Look up 'Renate A. Schmidt' in Google

Michael Fisher

This author has not been identified. Look up 'Michael Fisher' in Google

John-Jules Ch. Meyer

Identified as John-Jules Ch. Meyer

Wiebe van der Hoek

Identified as Wiebe van der Hoek