Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems. Choueiry, B., McIlraith, S., Iwasaki, Y., Loeser, T., Neller, T., Engelmore, B., & Fikes., R. In Proceedings of the Twelfth International Workshop on Qualitative Reasoning (QR'98), pages 21-31, Cape Cod, Massachusetts, USA, May 26-29, 1998.
Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems [pdf]Paper  bibtex   
@InProceedings{qr98,
  url = {qr98.pdf},
  author = 	 {Choueiry, B. and McIlraith, S. and Iwasaki, Y. and Loeser, T. and Neller, T. and Engelmore, B. and Fikes., R.},
  title = 	 {Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems},
  booktitle = 	 {Proceedings of the Twelfth International Workshop on Qualitative Reasoning (QR'98)},
  year = 	 {1998},
  month = 	 {May 26-29},
  pages = {21-31},
  address = {Cape Cod, Massachusetts, USA}
}
Downloads: 0