We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…

This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

by C. Annique Un., Thesis (Ph.D.)--Massachusetts Institute of Technology, Sloan School of Management, February 2001., "February 2000.", Includes bibliographical references (leaves 297-311).

by Neil William Van Dyke., Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2000., "February 2000.", Includes bibliographical references (p. 87-91).

Karim Hussein ... [et al.], "March 1994.", Includes bibliographical references (p. [23]-[24])., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.

by Henry Neil Holtzman., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Architecture, 1991., Includes bibliographical references (leaves 63-66).

by Antoine D. Guivarch., Thesis (S.M.)--Massachusetts Institute of Technology, Engineering Systems Division, Technology and Policy Program; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2003., Includes bibliographical references (p. 149-152).

The object oriented programming style used in the Smalltalk and Actor languages is available in Lisp Machine Lisp, and used by the Lisp Machine software system. It is used to perform generic operations on objects. Part of its implementation is…

PATN is a design for a machine problem solver which uses an augmented transition network (ATN) to represent planning knowledge. In order to explore PATN's potential as a theory of human problem solving, a linguistic approach to protocol analysis is…