Reasoning about Agents in the KARO Framework

U. Hustadt, C. Dixon, R.A. Schmidt, M. Fisher, J-J.Ch. Meyer, W. van der Hoek

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01)
EditorsC. Bettini, A. Montanari
Place of PublicationLos Alamitos, U.S.A.
Number of pages8
Publication statusPublished - 2001


  • Wiskunde en Informatica (WIIN)

Cite this