@INPROCEEDINGS{agotnes:scai-03,
  AUTHOR = "Thomas {\AA}gotnes and Michal Walicki",
  TITLE = "A Logic for Reasoning about Agents with Finite Explicit Knowledge",
  BOOKTITLE = "Proceedings of the 8th Scandinavian Conference on Artificial Intelligence (SCAI'03)",
  SERIES = "Frontiers in Artificial Intelligence and Applications",
  YEAR = 2003,
  ADDRESS = "Bergen, Norway",
  MONTH = "Nov",
  EDITOR = "Bjørnar Tessem and Pekka Ala-Siuru and Patrick Doherty and Brian Mayoh",
  PUBLISHER = "{IOS} Press",
  PAGES = "163--174"
}