@INPROCEEDINGS{agotnes:logamas-02,
  AUTHOR = "Thomas {\AA}gotnes and Michal Walicki",
  TITLE = "A Logic for Reasoning about Explicit Knowledge in Finite Agents",
  BOOKTITLE = "Abstracts from the 2002 Workshop on Logic in Games and Multiagent Systems (LoGaMAS-02)",
  YEAR = "2002",
  ADDRESS = "Liverpool, U.K.",
  MONTH = "Dec",
  EDITOR = "Pauly, M. and Ball, M. and Wooldridge, M."
}