Verification within the KARO Agent Theory

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

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

Original language	Undefined/Unknown
Title of host publication	Proc. FAPR2000/AgentLink Workshop "Practical Reasoning Agents"
Editors	W. v.d. Hoek, J.-J. Ch. Meyer
Place of Publication	London
Publisher	Imperial College
Publication status	Published - 2000

Cite this

@inproceedings{3ca42954dc804abda95a3ef92b59889d,

title = "Verification within the KARO Agent Theory",

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

year = "2000",

language = "Undefined/Unknown",

editor = "Hoek, {W. v.d.} and Meyer, {J.-J. Ch.}",

booktitle = "Proc. FAPR2000/AgentLink Workshop {"}Practical Reasoning Agents{"}",

publisher = "Imperial College",

}