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 Symposium on Abstraction, Reformulation and Approximation (SARA-98), pages 25-36, May, 1998.
![Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @InProceedings{sara98,
url = {sara98.pdf},
author = {Choueiry, B. and McIlraith, S. and Iwasaki, Y. and Loeser, T. and Neller, T. and Engelmore, B. and Fikes., R.},
title = {Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems},
booktitle = {Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98)},
year = {1998},
pages = {25-36},
month = {May}
}Downloads: 0
{"_id":{"_str":"534211f36d78590a060000c9"},"__v":151,"authorIDs":["2JP7Eg9bhybNpzYiR","3b3gnNFqBHiteKXs2","3wSJLXJ9XuZ2mDm2H","49zg6n33JhWCCjH4G","4zKMDaLdYLdgGQChe","5456dccd8b01c81930000008","5466bdb8bc7d6a460d000aa7","5Eidhk5inwxxe7JGk","5de9e8f29f521ddf010000f4","5dea039cfac96fde010000ad","5dea0c58fac96fde01000141","5df2ea54b91ab0de010000ea","5dfb881fc2820bdf010001a1","5e046c906ef264df010000b9","5e10276e2ef76bdf0100009f","5e129793551229df010000b6","5e162befdf1bb4de01000116","5e1e7705ce9ed9de0100012a","5e26328524c8a6de0100006d","5e2723abf51e02de010001fb","5e2784f755fc50df01000004","5e28be096acacbdf010000d4","5e326f1a5633c9de010000b0","5e3555a950cde4de0100000c","5e37c25d56571fde0100003d","5e380024918d4ede01000092","5e386d181f8af9e00100009b","5e390326dc5b8ade010000ac","5e3c31bf34cd37de01000126","5e4cec0e3e28aede0100012b","5e4f53598a3535f3010000cd","5e50202c933046de01000185","5e55431aca58a8df0100019a","5e5a1adc3557f5df010000c2","5e5c3b1e68f281de01000026","5e5e9d8bc0a53dde01000251","5e601cf3c064fcde010001dd","5e65c1b1d92058de010000e3","5e665cdd46e828de0100014d","5rfKneErnpvH8A9jA","6RJeJwCaTdt9z5nYv","6vPX7dp4BL2qMjx2i","7bxyKKMGnHxEQh3cj","7deQZsScCfPeKMrqy","9jPSyMaccQATNQzFR","AtaDzKGXz9bfKWfab","BsZbZovaHNF4dA3SG","CzTmxSkSkem3essqH","DPH6F3udnr4WBuFRg","GKYqrPg3uj7nu7nbt","GvvCbq8Y4n9QqTySC","HF25KvZDEBf5Nvp8x","HTN44dpu77wAWF8HE","HhKYdEPpCZAmKPPQc","J5FZeQWmDd6p96K8P","JDoXnkWb7QmkjpPqn","JGfakYisbgxjaayRF","KwLm5LfL8LpgKk8XJ","LwbwhDPiGy5gvQipm","NJYBJe35TWp5FARRc","Ni37kLLmf4zgkdNFZ","RStoeQpfqvDsMSLzJ","T9PWjMkNwX9WQ5frZ","TuqvMAPdZhcxfZKp7","Wipe7PE2hMCo9rb5r","WqZpp9fP47artme8L","XCnXFqMPKPFkRq2kj","XELkWriNsABzHMyaw","XEMAfXz5wSaaLnBkk","aXBRouHw2x2TwqbuE","ah2FNqZqgqkMf7rno","dSvyDxvHdpJ3uQRZS","goc5YRXzjuZMrzKik","htrNC4rPDzh6zfTLS","iEMJPovEGF7jk6vBD","iWkYLX2HSxaiwbphr","j9wxxJ9nPog3bHXaY","jArTXYwhaXss62KJk","jDsmsaB2wJpvPgxE4","kSfpomb2i9SWgtiBN","kx2M4GyrQDBEqRT4q","m6X7Yg32T74Fxxn2d","nvsBeFCxyzjQRGPSi","pRtcYGMaZMG8GTaSz","paM4BdJgmXhvmhNf8","tRLzqBJWc3TYzBYox","tmHrh8yBFTwMrLukn","uxproQToHm4wEZeph","vReYR7kzq7n4RR9Ng","wGWyTtcLspnfJaLeT","x6aX8g9rWCY5wzyW2","xW8eSNRWi7bXhQuHC","xZ6wRPENk64YNgMr7","xm2sosMHyKsPj85Pb","ybLsHWfLgzQZAQ5WE","zsNPuARLzosfgmFwd"],"author_short":["Choueiry, B.","McIlraith, S.","Iwasaki, Y.","Loeser, T.","Neller, T.","Engelmore, B.","Fikes., R."],"bibbaseid":"choueiry-mcilraith-iwasaki-loeser-neller-engelmore-fikes-thoughtsonapracticaltheoryofreformulationforreasoningaboutphysicalsystems-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","url":"sara98.pdf","author":[{"propositions":[],"lastnames":["Choueiry"],"firstnames":["B."],"suffixes":[]},{"propositions":[],"lastnames":["McIlraith"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Iwasaki"],"firstnames":["Y."],"suffixes":[]},{"propositions":[],"lastnames":["Loeser"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Neller"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Engelmore"],"firstnames":["B."],"suffixes":[]},{"propositions":[],"lastnames":["Fikes."],"firstnames":["R."],"suffixes":[]}],"title":"Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems","booktitle":"Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98)","year":"1998","pages":"25-36","month":"May","bibtex":"@InProceedings{sara98,\n url = {sara98.pdf},\n author = \t {Choueiry, B. and McIlraith, S. and Iwasaki, Y. and Loeser, T. and Neller, T. and Engelmore, B. and Fikes., R.},\n title = \t {Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems},\n booktitle = \t {Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98)},\n year = \t {1998},\n pages = {25-36},\n month = \t {May}\n}\n\n\n","author_short":["Choueiry, B.","McIlraith, S.","Iwasaki, Y.","Loeser, T.","Neller, T.","Engelmore, B.","Fikes., R."],"key":"sara98","id":"sara98","bibbaseid":"choueiry-mcilraith-iwasaki-loeser-neller-engelmore-fikes-thoughtsonapracticaltheoryofreformulationforreasoningaboutphysicalsystems-1998","role":"author","urls":{"Paper":"https://www.cs.toronto.edu/~sheila/publications/sara98.pdf"},"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/index.html"}}},"bibtype":"inproceedings","biburl":"https://www.cs.toronto.edu/~sheila/publications/list.bib","downloads":0,"keywords":[],"search_terms":["thoughts","practical","theory","reformulation","reasoning","physical","systems","choueiry","mcilraith","iwasaki","loeser","neller","engelmore","fikes."],"title":"Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems","year":1998,"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","T3oedZczBnZ2Y6GvJ","vAo9zFmkx4MpPsgha","Jwuh2BtHasSBPk4uf"]}