@inproceedings{ kr00dx,
  title = {Formulating Diagnostic Problem Solving Using an Action Language with Narratives and Sensing}
}
,
  url = {kr00dx.pdf}
}
,
  booktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000)}
}
,
  author = {Baral, C. and McIlraith, S. and Son, T. }
}
,
  year = {2000}
}
,
  month = {April 12-15}
}
,
  address = {Breckenridge, Colorado, USA}
}
,
  pages = {311-322}
}