We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

This paper presents a discussion of means of describing the discourse and its components which makes speech act interpretation and reference disambiguation possible with minimal search of the knowledge in the database. A portion of this paper will consider how…

Since Robotics is the field concerned with the connection of perception to action, Artificial Intelligence must have a central role in Robotics if the connection is to be intelligent. Artificial Intelligence addresses the crucial questions of: what knowledge is required…

Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. A formalization of Omega is developed as a framework…

This study presents the results of an empirical test of two hypotheses concerning the
quality of a group of data processing patents on methods of doing business. The
hypotheses are motivated by two frequently voiced criticisms of these…

David N. Ford and John D. Sterman., Includes bibliographical references (p. 24-25)., Supported by the Python organization, the Organizational Learning Center and the System Dynamics Group at the MIT Sloan School of Management.

by William J. Flynn, III., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1993., Includes bibliographical references (leaves 52-54).

by Eric Saund., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Brain and Cognitive Sciences, 1989., Includes bibliographical references (leaves 293-300).

by William Henry Newman., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1994., Includes bibliographical references (p. 123-124).