Reasoning about agents in the KARO framework.

Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek

Browse the full TIME paper archive.