Reasoning about Agents in the KARO Framework

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

Reasoning about Agents in the KARO Framework

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

Dept of Information and Computing Sciences

extern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01)
Editors	C. Bettini, A. Montanari
Place of Publication	Los Alamitos, U.S.A.
Publisher	IEEE
Pages	206-213
Number of pages	8
Publication status	Published - 2001

Keywords

Wiskunde en Informatica (WIIN)

Cite this

@inproceedings{84eb362e8773446a83c4689e810da0d0,

title = "Reasoning about Agents in the KARO Framework",

keywords = "Wiskunde en Informatica (WIIN)",

author = "U. Hustadt and C. Dixon and R.A. Schmidt and M. Fisher and J-J.Ch. Meyer and {van der Hoek}, W.",

year = "2001",

language = "Undefined/Unknown",

pages = "206--213",

editor = "C. Bettini and A. Montanari",

booktitle = "Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01)",

publisher = "IEEE",

address = "United States",

}

Reasoning about Agents in the KARO Framework. / Hustadt, U.; Dixon, C.; Schmidt, R.A. et al.
Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01). ed. / C. Bettini; A. Montanari. Los Alamitos, U.S.A.: IEEE, 2001. p. 206-213.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Reasoning about Agents in the KARO Framework

AU - Hustadt, U.

AU - Dixon, C.

AU - Schmidt, R.A.

AU - Fisher, M.

AU - Meyer, J-J.Ch.

AU - van der Hoek, W.

PY - 2001

Y1 - 2001

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 206

EP - 213

BT - Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01)

A2 - Bettini, C.

A2 - Montanari, A.

PB - IEEE

CY - Los Alamitos, U.S.A.

ER -