Agent Logics as Program Logics: Grounding KARO

K.V. Hindriks
, 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	Undefined/Unknown
Title of host publication	Preproceedings of KI 2006
Editors	M. Kohlhase, C. Freksa
Publication status	Published - 2006

Bibliographical note

on CD

Cite this