The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns including procedural modes of knowledge representation and control knowledge ??owing…

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, in…

The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into the formalism. Several domains will…

Most pedagogical applications of wikis in foreign language education draw on this collaborative tool to improve (formal) writing skills or to develop target language cultural sensitivity, missing largely on the opportunity to support student-developed L2 content knowledge. Seeking an alternative…

A new terrestrial species of Pseudoeurycea is described from the mountains of the Mixteca region of Oaxaca. Compared with other members of the genus, the new species is relatively slender and short-legged. The background color of the dorsum of this…

A new tertiary stibine and bismuthine containing C-heterocyclic selenophene ring have been synthesized. Tris(2-selenophenyl)stibine (1) and tris(2-selenophenyl) bismuthine (2) and characterized by IR, MS, H-1, C-13, COSY, HETCOR NMR spectroscopy. Crystal structures of stibine and bismuthine have been determined. In…

Computing is a broad discipline that crosses the boundaries between mathematics, science, and engineering. New computing disciplines emerge over time and knowledge changes rapidly in computing. Therefore, several reports that define and update guidelines for computing curricula have appeared over…

Abstract: Since the discovery of conducting polymers in 1977, a new era of research work has escalated, with applications such as transistors, solar cells, logic circuits, sensors, etc. The materials can be chemically modified during their synthesis in order to…

I have invented "Internet Fish," a novel class of resource-discovery tools designed to help users extract useful information from the Internet. Internet Fish (IFish) are semi-autonomous, persistent information brokers; users deploy individual IFish to gather and refine information related to…