Computer Science

Efficient solution of sparse linear systems

[Lecture Notes]. Troy, New York: Rensselaer Polytechnic Institute, Department of Computer Science.

Mental model of the process of composing geometric proofs using an intelligent tutoring system

Japan Journal of Educational Technology, 15(4), 167–182.

Overview on the studies of intelligent CAIs/ITSs in Japan

Educational Technology Research, 15(1-2), 1–8.

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.

Polynomial factorization 1987–1991

In Lecture Notes in Computer Science: Vol. 583. LATIN '92 (pp. 294–313).

The Semantic Integration of Information Models

Proceedings of the AAAI Workshop on Cooperation among Heterogeneous Intelligent Agents, 1–8. Washington.

Temporal Adverbials and the Structure of Events

Proceedings of the 4th Symposium on Logic and Language, 1–4. Budapest.

Computing the Temporal Structure of Events in Natural Language

Proceedings of the European Conference on Artificial Intelligence, 528–532. Vienna.

A Critical Examination of the Cohen-Levesque Theory of Intentions

Proceedings of the 10th European Conference on Artificial Intelligence, 364–368. Vienna.

Enterprise Information Modeling and Model Integration in Carnot

In C. J. Petrie Jr (Ed.), Enterprise Integration Modeling (pp. 290–299). Cambridge, MA: MIT Press.

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.

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].

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.

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.

Modular utility representation for decision-theoretic planning

236–242. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026963728&partnerID=MN8TOARS

Optimal reduction of two-terminal directed acyclic graphs

SIAM Journal on Computing, 21(6), 1112–1129.

Optimal construction of project activity networks

Proceedings of the 1992 Annual Meeting of the Decision Sciences Institute, San Francisco, 1424–1426.

EPILEGOMENON

Computational Intell, 8(2), 326–335.

Rational Self-Government and Universal Default Logics

Economics and Cognitive Science, pp. 5–13.

RATIONALITY AND ITS ROLES IN REASONING

Computational Intell, 8(2), 376–409.