Dynamic Logic for Plan Revision in Intelligent Agents

M.B. van Riemsdijk; F.S. de Boer; J-J.Ch. Meyer

Dynamic Logic for Plan Revision in Intelligent Agents

M.B. van Riemsdijk
, F.S. de Boer
, J-J.Ch. Meyer

Dept of Information and Computing Sciences

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

Bibliographical note

riemsdijk04clima

Keywords

Wiskunde en Informatica (WIIN)

Cite this

@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 -