Dynamic Logic for Plan Revision in Intelligent Agents

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

Original language	English
Title of host publication	Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04)
Editors	Joao A. Leite, Paolo Torroni
Place of Publication	Berlin
Publisher	Springer
Pages	196-211
Number of pages	16
Publication status	Published - 2005

riemsdijk04clima

Keywords

@inproceedings{adca59b0f98849d08a867b7239eda542,

title = "Dynamic Logic for Plan Revision in Intelligent Agents",

keywords = "Wiskunde en Informatica (WIIN)",

author = "{van Riemsdijk}, M.B. and {de Boer}, F.S. and J-J.Ch. Meyer",

note = "riemsdijk04clima",

year = "2005",

language = "English",

pages = "196--211",

editor = "Leite, {Joao A.} and Paolo Torroni",

booktitle = "Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04)",

publisher = "Springer",

}

Dynamic Logic for Plan Revision in Intelligent Agents. / van Riemsdijk, M.B.; de Boer, F.S.; Meyer, J-J.Ch.
Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04). ed. / Joao A. Leite; Paolo Torroni. Berlin: Springer, 2005. p. 196-211.

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

TY - GEN

T1 - Dynamic Logic for Plan Revision in Intelligent Agents

AU - van Riemsdijk, M.B.

AU - de Boer, F.S.

AU - Meyer, J-J.Ch.

N1 - riemsdijk04clima

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

SP - 196

EP - 211

BT - Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04)

A2 - Leite, Joao A.

A2 - Torroni, Paolo

PB - Springer

CY - Berlin

ER -