@InProceedings{thielscher:KI97,
  author = 	"Dov Gabbay and Rolf Nossum and Michael Thielscher",
  title = 	"Agents in Proactive Environments",
  booktitle = 	"Proceedings of the German Annual Conference on
		  Artificial Intelligence (KI)",
  year = 	"1997",
  editor =	"G.\ Brewka and C.\ Habel",
  pages =	"",
  volume =      "",
  series =      "LNAI",
  publisher =	"Springer",
  address =	"Freiburg, Germany",
  month =	sep
}