Verification within the KARO Agent Theory

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",

}