@InProceedings{thielscher:KR02,
  author = 	"Michael Thielscher",
  title =       "Programming of Reasoning and Planning Agents with {FLUX}",
  booktitle =   "Proceedings of the International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR)",
  year = 	2002,
  editor = 	"D.\ Fensel and D.\ McGuinness and M.-A.\ Williams",
  pages =	"435--446",
  address = 	"Toulouse, France",
  publisher = 	"Morgan Kaufmann",
  month =       apr
}