@INPROCEEDINGS{HDSFMH2001b,
 AUTHOR        = {Hustadt, Ullrich and Dixon, Clare and Schmidt, Renate A. and 
 Fisher, Michael and Meyer, John-Jules and van der Hoek, Wiebe},
 TITLE         = {Reasoning about agents in the {KARO} framework},
 BOOKTITLE     = {Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01)},
 YEAR          = {2001},
 EDITOR        = {Bettini, Claudio and Montanari, Angelo},
 PAGES         = {206--213},
 PUBLISHER     = {IEEE Press},
 PADDRESS      = {Los Alamitos, CA, USA},
 PYEAR         = {2001},
 CADDRESS      = {Cividale del Friuli, Italy},
 CYEAR         = {2001},
 CMONTH        = jun # {~14--16},
}