Computer Science - 1992

Kaltofen, E. (1992). Efficient solution of sparse linear systems [Lecture Notes]. Troy, New York: Rensselaer Polytechnic Institute, Department of Computer Science.

Matsuda, N., & Okamoto, T. (1992). Mental model of the process of composing geometric proofs using an intelligent tutoring system. Japan Journal of Educational Technology, 15(4), 167–182.

Okamoto, T., & Matsuda, N. (1992). Overview on the studies of intelligent CAIs/ITSs in Japan. Educational Technology Research, 15(1-2), 1–8.

Matsuda, N. (1992). Foundations of Computers. In T. Okamoto (Ed.), Introduction to Information Education for Teachers: Cases in Middle-School Education (pp. 88–119). Tokyo, Japan: Personal Media.

Kaltofen, E. (1992). Polynomial factorization 1987–1991. In Lecture Notes in Computer Science: Vol. 583. LATIN '92 (pp. 294–313). https://doi.org/10.1007/bfb0023837

Huhns, M. N., & Singh, M. P. (1992). The Semantic Integration of Information Models. Proceedings of the AAAI Workshop on Cooperation among Heterogeneous Intelligent Agents, 1–8. Washington.

Singh, M., & Singh, M. P. (1992). Temporal Adverbials and the Structure of Events. Proceedings of the 4th Symposium on Logic and Language, 1–4. Budapest.

Singh, M., & Singh, M. P. (1992). Computing the Temporal Structure of Events in Natural Language. Proceedings of the European Conference on Artificial Intelligence, 528–532. Vienna.

Singh, M. P. (1992). A Critical Examination of the Cohen-Levesque Theory of Intentions. Proceedings of the 10th European Conference on Artificial Intelligence, 364–368. Vienna.

Huhns, M. N., Jacobs, N., Ksiezyk, T., Shen, W.-M., Singh, M. P., & Cannata, P. E. (1992). Enterprise Information Modeling and Model Integration in Carnot. In C. J. Petrie Jr (Ed.), Enterprise Integration Modeling (pp. 290–299). Cambridge, MA: MIT Press.

Matsuda, N., & Okamoto, T. (1992). Student model and its recognition by hypothesis-based reasoning in ITS. Electronics and Communications in Japan (Part III: Fundamental Electronic Science), 75(8), 85–95. https://doi.org/10.1002/ecjc.4430750807

Singh, M. (1992). On the semantics of protocols among distributed intelligent agents. Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]. Presented at the Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]. https://doi.org/10.1109/pccc.1992.200581

Kaltofen, E., & Pan, V. (1992). Processor-efficient parallel solution of linear systems. II. The positive characteristic and singular cases. Proceedings., 33rd Annual Symposium on Foundations of Computer Science. Presented at the Proceedings., 33rd Annual Symposium on Foundations of Computer Science. https://doi.org/10.1109/sfcs.1992.267779

Kaltofen, E. (1992). On computing determinants of matrices without divisions. Papers from the international symposium on Symbolic and algebraic computation  - ISSAC '92. Presented at the Papers from the international symposium. https://doi.org/10.1145/143242.143350

Wellman, M. P., & Doyle, J. (1992). Modular utility representation for decision-theoretic planning. 236–242. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0026963728&partnerID=MN8TOARS

Bein, W. W., Kamburowski, J., & Stallmann, M. F. M. (1992). Optimal reduction of two-terminal directed acyclic graphs. SIAM Journal on Computing, 21(6), 1112–1129.

Kamburowski, J., Michael, D. J., & Stallmann, M. F. M. (1992). Optimal construction of project activity networks. Proceedings of the 1992 Annual Meeting of the Decision Sciences Institute, San Francisco, 1424–1426.

Sacks, E. P., & Doyle, J. (1992). EPILEGOMENON. Computational Intell, 8(2), 326–335. https://doi.org/10.1111/j.1467-8640.1992.tb00369.x

DOYLE, J., & WELLMAN, M. P. (1992). Rational Self-Government and Universal Default Logics. Economics and Cognitive Science, pp. 5–13. https://doi.org/10.1016/b978-0-08-041050-0.50009-1

Doyle, J. (1992). RATIONALITY AND ITS ROLES IN REASONING. Computational Intell, 8(2), 376–409. https://doi.org/10.1111/j.1467-8640.1992.tb00371.x

Sacks, E. P., & Doyle, J. (1992). PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS. Computational Intell, 8(2), 187–209. https://doi.org/10.1111/j.1467-8640.1992.tb00344.x

Wellman, M. P., & Doyle, J. (1992). Modular Utility Representation for Decision-Theoretic Planning. Artificial Intelligence Planning Systems, pp. 236–242. https://doi.org/10.1016/b978-0-08-049944-4.50033-1

Doyle, J. (1992). Reason maintenance and belief revision: Foundations versus coherence theories (P. Gärdenfors, Ed.). Belief Revision, pp. 29–51. https://doi.org/10.1017/cbo9780511526664.002

Using formal methods to specify the functional properties of engineering software. (1992). Computers and Structures, 45(3), 557–570. https://doi.org/10.1016/0045-7949(92)90440-B

Baugh, J. W., & Rehak, D. R. (1992). Data abstraction in engineering software development. Journal of Computing in Civil Engineering, 6(3), 282–301. https://doi.org/10.1061/(ASCE)0887-3801(1992)6:3(282)

Applications of coarse-grained dataflow in computational mechanics. (1992). Engineering with Computers, 8(1), 13–30. https://doi.org/10.1007/BF01206334

Sundlof, S. F., Riviere, J. E., & Craigmill, A. L. (1992). Food Animal Residue Avoidance Databank trade name file: a comprehensive compendium of food animal drugs (p. 457). Gainesville, FL: University of Florida Press.

Doyle, J., & Wellman, M. P. (1992). Rational self-government and universal default logics. In P. Bourgine & B. Walliser (Eds.), Economics and cognitive science. Oxford: Pergamon Press.