Will it reach the top? Prediction in the mechanics world. (English) Zbl 0376.70001
References:
| [1] | Bundy, A., Analysing mathematical proofs (or reading between the lines), (Winston, P., Proceedings of IJCAI4, Georgia, U.S.S.R. or DAI Rearch Report No. 2. Proceedings of IJCAI4, Georgia, U.S.S.R. or DAI Rearch Report No. 2, Edinburgh (1975)), 22-28 |
| [2] | Bundy, A.; Luger, G.; Stone, M.; Welham, R., MECHO: Year one, (Brady, M., Proceedings of the 2nd AISB Conference, Edinburgh, or DAI Research Report No. 22. Proceedings of the 2nd AISB Conference, Edinburgh, or DAI Research Report No. 22, Ediburgh (1976)), 94-103 |
| [3] | Bundy, A., Can domain specific knowledge be generalized?, (Reddy, R., Proceedings IJCAI-77. Proceedings IJCAI-77, Cambridge, MA (1977)), 496 |
| [4] | Bundy, A., Exploiting the properties of functions to control search, DAI Research Report No. 45 (1977), Edinburgh |
| [5] | Clowes, M. B., On the interpretation of line drawings as simple three dimensional scenes, Internal Memo (1970), Sussex |
| [6] | de Kleer, J., Qualitative and quantitative knowledge in classical mechanics, AI Lab, (Technical Report No. AI-TR-352 (1975), MIT: MIT Cambridge) |
| [7] | de Kleer, J., Multiple representations of knowledge in a mechanics problem solver, (Reddy, R., Proceedings of IJCAI-77. Proceedings of IJCAI-77, Cambridge, MA (1977)), 299-304 |
| [8] | Fikes, R. E., Automatic planning from a frames point of view, (Schank, R.; Nash-Webber, B. (1975), TINLAP: TINLAP Cambridge, MA), 104-106 |
| [9] | Mackworth, A. K., Interpreting pictures of polyhedral scenes, Internal Memo (1972), Sussex |
| [10] | Marples, D. L., Argument and technique in the solution of problems in mechanics and electricity, (CUED/C-Educ/TRI (1974), Department of Engineering Memo, University of Cambridge: Department of Engineering Memo, University of Cambridge England) |
| [11] | Minsky, M., Frame-Systems: A framework for representation of knowledge, AI Lab, (Memo No. AIM-306 (1973), MIT: MIT Cambridge) |
| [12] | Roussel, P.; PROLOG, Manuel de reference et d’utilisation (1975), Groupe dIA: Groupe dIA Marseille-Luminy |
| [13] | Shank, R. C.; Abelson, R. P., Goals, plans, scrips and understanding: An inquiry into human knowledge structures (1977), Erlbaum Press: Erlbaum Press N.J. · Zbl 0414.68066 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
