Boron Neutron Capture Synovectomy (BNCS) is a novel application of the ¹⁰B(n,α) reaction for potential treatment of rheumatoid arthritis. During BNCS clinical trials, real-time knowledge of boron dose delivered to the synovium is necessary so that the remaining irradiation time…

Micro embossing is the process of fabricating micron-sized features by plastic deformation of a work piece by means of a shaped tool or die. In our work we are concerned with hot embossing of PMMA to produce features in the…

One very useful idea in AI research has been the notion of an explicit model of a problem situation. Procedural deduction languages, such as PLANNER, have been valuable tools for building these models. But PLANNER and its relatives are very…

Previous research on corporate household and corporate householding has presented
examples, literature review, and working definitions. In this paper, we first improve our
understanding of the area by developing a typology of corporate householding tasks
and knowledge…

SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging…

by Mark Andrew Kolb., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1990., Includes bibliographical references (leaves 231-234).

Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…

Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…

This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including itself. A given representation language is specified in ARLO by a collection of structures…

We examine a knowledge representation architecture to support context interchange
mediation. For autonomous receivers and sources sharing a common subject domain,
the mediator's reasoning engine can devise query plans integrating multiple sources and
resolving semantic heterogeneity. Receiver…