Dynamic Logic for Reasoning about Actions and Agents Chapter 13

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

Original language	Undefined/Unknown
Title of host publication	Logic-Based Artificial Intelligence
Editors	J. Minker
Place of Publication	Boston/Dordrecht
Publisher	Kluwer
Pages	281-311
Number of pages	31
Publication status	Published - 2000

Keywords

@inbook{1f77c5e7286944cd82c6809edb7d1450,

title = "Dynamic Logic for Reasoning about Actions and Agents Chapter 13",

keywords = "Wiskunde en Informatica (WIIN)",

author = "J-J.Ch. Meyer",

year = "2000",

language = "Undefined/Unknown",

publisher = "Kluwer",

pages = "281--311",

editor = "J. Minker",

booktitle = "Logic-Based Artificial Intelligence",

}