Dynamic Logic for Reasoning about Action and Agents

J-J.Ch. Meyer

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

Original languageUndefined/Unknown
Title of host publicationPre-prints Workshop on Logic Based Artificial Intelligence (LBAI'99)
EditorsJ. Minker
Place of PublicationWashington D.C.
Publication statusPublished - 1999

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this