• What makes a UI “intelligent”? (2008)
Charles Rich, Ace L. Sidner, Neal Lesh
• Mixed initiative (MI) systems do not support user’s problem solving process. • Common MI limitations: – Action order between user and computer inflexible – Hard to recover from mistakes...
We summarize the continuous thread of research we have conducted over the past thirty years on human-computer collaboration. This research reflects many of the themes and issues in operation in the...
DiamondHelp: A generic collaborative task guidance system (2008)
DiamondHelp is a generic collaborative task guidance system motivated by the current usability crisis in high-tech home products. It combines an application-independent conversational interface...
A GUI Editor that Generates Tutoring Agents (2008)
Jacob Eisenstein And, Jacob Eisenstein, Charles Rich
Tutoring agents can provide a dynamic and engaging way to help users understand an application. However, integrating tutoring agents into applications is difficult. It requires the expertise to...
Charles Rich, Candace L. Sidner
We have implemented a collaborative agent toolkit called Collagen and used it to build a software agent that collaborates with the user of a direct-manipulation graphical interface by following the...
Negotiation in Collaborative Activity: An Implementation Experiment (2007)
fl clarification of the current or an earlier communication action ffl returning to a subtask which was abandoned or set aside (e.g., while more information was being gathered) ffl mixed initiative...
COMPUTER AIDED EVOLUTIONARY DESIGN (2007)
Charles Rich, Howard E. Shrobe, Richard C. Waters
ABSTRACT- We report on a partially implemented interactive coraputor aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutioary...
The Programmer's Apprentice Project: (2007)
Charles Rich, Richard C. Waters
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...
A GLIMPSE OF TRUTH'MAINTENANCE (2007)
A. I. Memo, Jon Doyle, I Gerald, Jay Sussman, Richard M. Sta!iman, Guy L. Steele, ...
Many procedurally-oriented problem solving systems can be viewed as performing a mix'ture of computation and deduction, with much of the computation serving to decid e what deductions should be...
Incorporating Tutorial Strategies (2007)
Jim R. Davies, Jim R. Davies, Neal Lesh, Neal Lesh, Charles Rich, Charles Rich, ...
Computer tutors and intelligent software assistants have traditionally been thought of as different kinds of systems. However tutors and assistants share many properties. We have incorporated...
ABSTRACT Learning Hierarchical Task Models by Defining and Refining Examples (2007)
Andrew Garl, Kathy Ryall, Charles Rich
Task models are used in many areas of computer science including planning, intelligent tutoring, plan recognition, interface design, and decision theory. However, developing task models is a...
Charles Rich, Richard C. Waters
Essentially all current software engineering tools share a common technological approach: They use a shallow representation of software objects and manipulate this representation using procedural...
Using Plan Recognition in Human-Computer Collaboration (2007)
Neal Lesh, Charles Rich, Ace L. Sidner, Ace L. Sidner
Human-computer collaboration provides a practical and useful application for plan recognition techniques. We describe a plan recognition algorithm which is tractable by virtue of exploiting...
Generating, Recognizing and Communicating Intentions in Human-Computer Collaboration (2007)
Charles Rich, Ace L. Sidner, Charles Rich
We describe the semantics of the plan representation in Collagen and how it supports the generation, recognition and communication of intentions in human-computer collaboration. This integrated...
Explorations in engagement for humans and robots (2005)
Sidner, Candace L., Lee, Christopher, Kidd, Cory, Lesh, Neal, Rich, Charles
This paper explores the concept of engagement, the process by which individuals in an interaction start, maintain and end their perceived connection to one another. The paper reports on one aspect of...
Mitsubishi Electric Research Laboratories (2005)
Http Www Merl, Ace L. Sidner, Christopher Lee, Cory Kidd, Neal Lesh, Charles Rich
This paper explores the concept of engagement, the process by which individuals in an interaction start, maintain and end their perceived connection to one another. The paper reports on one aspect of...
Abstract Collaborative Help for Networked Home Products (2005)
Charles Rich, Ace Sidner, Neal Lesh, Andy Garl, Shane Booth
Ordinary people already have great difficulty using the advanced features of digitally operated household devices, and the problem is getting worse as more customization and programming features are...
Explorations in engagement for humans and robots (2005)
Ace L. Sidner, Christopher Lee, Cory Kidd, Neal Leash, Charles Rich
This paper explores the concept of engagement, the process by which individuals in an interaction start, maintain and end their perceived connection one another. The paper reports on one aspect of...
DiamonHelp: A Graphical User Interface Framework for Human-Computer Collaboration (2005)
Charles Rich, Y Sidner, Neal Lesh, Andrew Garl, Shane Booth, Markus Chimani
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design combines a generic...
Neal Lesh, Joe Marks, Charles Rich, Candace L. Sidner, Ace L. Sidner
In 1960, the famous computer pioneer J.C.R. Licklider described a vision for humancomputer interaction that he called "man-computer symbiosis." Licklider predicted the development of...
Mitsubishi Electric Research Laboratories (2004)
Http Www Merl, Charles Rich, Ace Sidner, Neal Lesh, Andy Garl, Shane Booth
this paper, we demonstrate how, using home networking to share a larger and more powerful display, we can provide home products with a new type of collaborative interface in which the product...
Mitsubishi Electric Research Laboratories (2004)
Http Www Merl, Neal Lesh, Joe Marks, Charles Rich, Ace L. Sidner
In 1960, the famous computer pioneer J.C.R. Licklider described a vision for human-computer interaction that he called man-computer symbiosis.Licklider predicted the development of computer software...
Mitsubishi Electric Research Laboratories (2004)
Http Www Merl, Charles Rich, Y Sidner, Neal Lesh, Andrew Garl, Shane Booth, ...
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp s graphical design combines a generic...
Mitsubishi Electric Research Laboratories (2003)
Http Www Merl, Andrew Garland, Neal Lesh, Charles Rich
This paper, unlike prior work, addresses how to maintain these mutual beliefs when a user performs a non-contributor, i.e., a mistake or an interruption
Responding to and Recovering from Mistakes during Collaboration (2003)
Andrew Garl, Neal Lesh, Charles Rich
Successful collaboration requires the participants to maintain mutualas any other subgoal.
Initial Report on a LISP Programmer's Apprentice. (2002)
Rich,Charles, Shrobe,Howard E.
The conceptual basis of the system lies in three forms of program description: (1) definition of structured data objects, their parts, properties, and relations between them, (2) input-output...
Programming Viewed as an Engineering Activity. (2002)
Rich,Charles, Shrobe,Howard E., Waters,Richard C., Sussman,Gerald J., Hewitt,Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Computer Aided Evolutionary Design for Software Engineering. (2002)
Rich,Charles, Shrobe, Howard E., Waters, Richard C.
This memorandum reports on a partially implemented interactive computer aided-design tool for software engineering. A distinguishing characteristic of this project is its concern for the evolutionary...
Abstraction, Inspection and Debugging in Programming. (2002)
Rich,Charles, Waters,Richard C.
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different...
Agents and GUIs from task models (2002)
Charles Rich, Jacob Eisenstein, Jacob Eisenstein
This work unifies two important threads of research in intelligent user interfaces which share the common element of explicit task modeling. On the one hand, longstanding research on task-centered...
A plug-in architecture for generating collaborative agent responses (2002)
Andrew Garland, Charles Rich, Charles Rich, Neal Lesh, Neal Lesh, Jeff Rickel, ...
We describe an implemented architecture for programming the responses of collaborative interface agents out of easily composable and reusable plug-in components, and discuss the underlying...
A plug-in architecture for generating collaborative agent responses (2002)
Jeff Rickel, Charles Rich, Charles Rich, Neal Lesh, Neal Lesh
We describe an implemented architecture for programming the responses of collaborative interface agents out of easily composable and reusable plug-in components, and discuss the underlying...
Collaborative Discourse Theory as a Foundation for Tutorial Dialogue (2002)
Jeff Rickel, Neal Lesh, Charles Rich, Candace L. Sidner, Ace L. Sidner, Abigail Gertner
Research on intelligent tutoring systems has not leveraged general models of collaborative discourse, even though tutoring is inherently collaborative.
A Plug-in Architecture for Generating Collaborative Agent Responses (2002)
Charles Rich, Neal Lesh, Jeff Rickel, Andrew Garland
We describe an implemented architecture for programming the responses of collaborative interface agents out of easily composable and reusable plug-in components, and discuss the underlying...
Collaborative Agent Responses (2002)
Charles Rich, Neal Lesh, Jeff Rickel, Andrew Garl, Charles Rich, Neal Lesh, ...
We describe an implemented architecture for programming the responsesto its developers.
Using a model of collaborative dialogue to teach procedural tasks (2001)
Jeff Rickel, Je Rickel, Neal Lesh, Neal Lesh, Charles Rich, Charles Rich, ...
Previous research on building intelligent tutoring systems has not taken full advantage of general models of collaborative discourse even though tutoring is an inherently collaborative and often...
Collagen: Applying Collaborative Discourse Theory to Human-Computer Interaction (2001)
Charles Rich, Ace L. Sidner, Neal Lesh
■ We describe an approach to intelligent user interfaces, based on the idea of making the computer a collaborator, and an application-independent technology for implementing such interfaces. What...
Annotating and Generating Posture from Discourse Structure in Embodied Conversational Agents (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the problem of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Learning Hierarchical Task Models by Defining and Refining Examples (2001)
Andrew Garland, Kathy Ryall, Charles Rich
Task models are used in many areas of computer science including planning, intelligent tutoring, plan recognition, interface design, and decision theory. However, developing task models is a...
Non-verbal cues for discourse structure (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the issue of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Annotating and Generating Posture from Discourse Structure in Embodied Conversational Agents (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the problem of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Non-verbal cues for discourse structure (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the issue of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Annotating and Generating Posture from Discourse Structure in Embodied Conversational Agents (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the problem of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Collagen: Applying Collaborative Discourse Theory to Human-Computer Interaction (2001)
Charles Rich, Ace L. Sidner, Neal Lesh
user interfaces based on the idea of making the computer a collaborator, and an application-independent technology for implementing such interfaces. What properties of a user interface would make you...
Collaborating with Focused and Unfocused Users under Imperfect Communication (2001)
Neal Lesh, Neal Lesh, Charles Rich, Charles Rich, Ace L. Sidner, Ace L. Sidner
A totally focused user always finishes the current task or subtask before moving on to another. Typical users, however, sometimes shift back and forth between incomplete tasks and do not always...
Collagen: Applying Collaborative Discourse Theory to Human-Computer Interaction (2001)
Charles Rich, Charles Rich, Ace L. Sidner, Ace L. Sidner, Neal Lesh, Neal Lesh
We describe an approach to intelligent user interfaces based on the idea of making the computer a collaborator, and an application-independent technology for implementing such interfaces.
Non-verbal cues for discourse structure (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the issue of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
ABSTRACT A Plug-in Architecture for Generating Collaborative Agent Responses (2001)
Charles Rich, Neal Lesh, Jeff Rickel, Andrew Garl
We describe an implemented architecture for programming the responses of collaborative interface agents out of easily composable and reusable plug-in components, and discuss the underlying...
Collaborating with Focused and Unfocused Users under Imperfect Communication (2001)
Neal Lesh, Charles Rich, Ace L. Sidner
Abstract. A totally focused user always finishes the current task or subtask before moving on to another. Typical users, however, sometimes shift back and forth between incomplete tasks and do not...
Using a model of collaborative dialogue to teach procedural tasks (2001)
Jeff Rickel, Je Rickel, Neal Lesh, Neal Lesh, Charles Rich, Charles Rich, ...
Previous research on building intelligent tutoring systems has not taken full advantage of general models of collaborative discourse even though tutoring is an inherently collaborative and often...
Using a model of collaborative dialogue to teach procedural tasks (2001)
Je Rickel, Neal Lesh, Charles Rich, Ace L. Sidner, Abigail Gertner
Our research objective istodevelop computer tutors that collaborate with students on tasks in simulated environments. Towards this end, we seek to integrate two separate but related research threads:...
Mitsubishi Electric Research Laboratories (2001)
Http Www Merl, Candace L. Sidner, Justine Cassell, Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, ...
This paper addresses the issue of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Building Spoken Language Collaborative Interface Agents, Lotus (2001)
Ace L. Sidner, Carolyn Boettner, Charles Rich
This paper reports on the development of two spoken language collaborative interface agents built with the Collagen system. It presents sample dialogues with the agents working with email...
Non-verbal cues for discourse structure (2001)
Justine Cassell, Yukiko I. Nakano, Timothy W. Bickmore, Ace L. Sidner, Charles Rich
This paper addresses the issue of designing embodied conversational agents that exhibit appropriate posture shifts during dialogues with human users. Previous research has noted the importance of...
Lessons Learned in Building Spoken Language Collaborative Interface Agents (2000)
Candace L. Sidner, Carolyn Boettner, Charles Rich
This paper reports on the development of two spoken language collaborative interface agents built with the Collagen system. It presents sample dialogues with the agents working with email...
Learning Task Models for Collagen (2000)
Andrew Garland, Neal Lesh, Charles Rich, Candace L. Sidner, Ace L. Sidner
For an application-independent collaborative tool, a key step is to develop a detailed task model for a particular domain. This is a time consuming and dicult task, and seems to require a fairly...
Task-Oriented Tutorial Dialogue: Issues and Agents (2000)
Jeff Rickel, Rajaram Ganeshan, Charles Rich, Candace L. Sidner, Neal Lesh
Towards our goal of developing computer tutors that can collaborate with students on tasks in simulated environments, we have built a series of four prototype tutors. These tutors integrate two...
Mitsubishi Electric Research Laboratories (2000)
Http Www Merl, Jeff Rickel, Charles Rich, Ace L. Sidner, Neal Lesh, Je Rickel, ...
Towards our goal of developing computer tutors that can collaborate with students on tasks in simulated environments, wehave built a series of four prototype tutors. These tutors integrate two...
Merl -- A Mitsubishi Electric Research Laboratory (2000)
Http Www Merl, Abigail S. Gertner, Jeff Rickel, Jim R. Davies, Jim R. Davies, Neal Lesh, ...
Computer tutors and intelligent software assistants have traditionally been thought of as different kinds of systems. However tutors and assistants share many properties. We have incorporated...
Task-oriented tutorial dialogue: Issues and agents (2000)
Jeff Rickel, Charles Rich, Ace L. Sidner, Neal Lesh, Je Rickel, Rajaram Ganeshan, ...
Towards our goal of developing computer tutors that can collaborate with students on tasks in simulated environments, we have built a series of four prototype tutors. These tutors integrate two...
Collaborating with Focused and Unfocused Users under Imperfect Communication (2000)
Neal Lesh, Neal Lesh, Candace L. Sidner, Charles Rich, Charles Rich, Ace L. Sidner, ...
A totally focused user always finishes the current task or subtask before moving on to another. Typical users, however, sometimes shift back and forth between incomplete tasks and do not always...
A Collaborative Assistant for Email (1999)
Dan Gruen, Candy Sidner, Y Sidner, Charles Rich, Carolyn Boettner
Software agents which communicate and collaborate with users to perform complex tasks constitute a new paradigm for human-computer interaction complementing existing graphical interfaces. We have...
Using Plan Recognition in Human-Computer Collaboration (1999)
Neal Lesh, Charles Rich, Candace L. Sidner, Ace L. Sidner
. Human-computer collaboration provides a practical and useful application for plan recognition techniques. We describe a plan recognition algorithm which is tractable by virtue of exploiting...
Using Plan Recognition in Human-Computer Collaboration (1999)
Neal Lesh, Charles Rich, Ace L. Sidner
Human-computer collaboration provides a practical and useful application for plan recognition techniques. We describe a plan recognition algorithm which is tractable by virtue of exploiting...
Using Plan Recognition in Human-Computer Collaboration (1999)
Neal Lesh, Charles Rich, Ace L. Sidner, Ace L. Sidner
Human-computer collaboration provides a practical and useful application for plan recognition techniques. We describe a plan recognition algorithm which is tractable by virtue of exploiting...
Using Plan Recognition in Human-Computer Collaboration (1999)
Neal Lesh, Charles Rich, Ace L. Sidner
Human-computer collaboration provides a practical and useful application for plan recognition techniques. We describe a plan recognition algorithm which is tractable by virtue of exploiting...
Toward a Requirements Apprentice: On the Boundary between Informal and Formal Specifications, (1998)
Rich,Charles, Waters,Richard C.
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation...
The Programmer's Apprentice: A Program Synthesis Scenario. (1998)
Rich,Charles, Waters,Richard C.
A scenario is used to illustrate the capabilities of a proposed Synthesis Apprentice. Given a specification, the Synthesis Apprentice will be able to make many of the design decisions needed to...
Formalizing Reusable Software Components in the Programmer's Apprentice. (1998)
Rich, Charles, Waters, Richard C.
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. Unfortunately, there has been only limited success in actually...
Inspection Methods in Programming: Cliches and Plans. (1998)
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program...
The Programmer's Apprentice Project: A Research Overview. (1998)
Rich, Charles, Waters, Richard C.
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...
Pattern-Directed Invocation with Changing Equalities. (1998)
Feldman, Yishai A., Rich, Charles
The interaction of pattern-directed invocation with equality in an automated reasoning system give rise to a completeness problem. In such systems, a demon needs to be invoked not only when its...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging. (1998)
Rich, Charles, Waters, Richard C.
The authors describe research in four related areas, based on the following theoretical principles: The assistant approach (incremental automation) and the exploitation of cliches' (using knowledge...
COLLAGEN: A Collaboration Manager for Software Interface Agents (1998)
Charles Rich, Ace L. Sidner, Charles Rich, Candace L. Sidner
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent for a simple air...
Charles Rich, Charles Rich C, Ace L. Sidner, Ace L. Sidner
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent for a simple air...
COLLAGEN: A Collaboration Manager for Software Interface Agents (1998)
Charles Rich C, Ace L. Sidner, Charles Rich, Candace L. Sidner
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent for a simple air...
Merl -- A Mitsubishi Electric Research Laboratory (1997)
Http Www Merl, Charles Rich C, Ace L. Sidner, Charles Rich, Candace L. Sidner
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent for a simple air...
Merl -- A Mitsubishi Electric Research Laboratory (1997)
Http Www Merl, Charles Rich, Candace L. Sidner, Candace L. Sidner
We have developed an application-independent toolkit, called Collagen, based on the SharedPlan theory of collaborative discourse, in which interaction histories are hierarchically structured...
Segmented Interaction History in a Collaborative Interface Agent (1996)
Charles Rich, Candace L. Sidner
We have developed an application-independent toolkit, called Collagen, based on the SharedPlan theory of collaborative discourse, in which interaction histories are hierarchically structured...
COLLAGEN: When Agents Collaborate with People (1996)
Charles Rich, Candace L. Sidner
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come from research in...
Window Sharing with Collaborative Interface Agents (1996)
An implemented system is described which allows a software agent to collaborate with a human user using a shared application window. The system automatically controls input permission and also...
Adding a collaborative agent to graphical user interfaces (1996)
We have implemented a collaborative agent toolkit called Collagen and used it to build a software agent that collaborates with the user of a direct-manipulation graphical interface by following the...
Merl -- A Mitsubishi Electric Research Laboratory (1996)
Http Www Merl, Charles Rich, Candace L. Sidner, Candace L. Sidner
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration.
The Epidemiology of Psychosis: The Suffolk County Mental Health Project (1992)
Bromet, Evelyn J., Schwartz, Joseph E., Fennig, Shmuel, Geller, Lynda, Jandorf, Lina, Kovasznay, Beatrice, ...
This article describes the rationale, aims, and methodology of an epide miological study of psychosis being conducted in Suffolk County, New York. A sample of first-admission patients is drawn from...
Pattern-directed invocation with changing equations (1991)
Yishai A. Feldman, Charles Rich
The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its...
Pattern-Directed Invocation with Changing Equations (1991)
Yishai A. Feldman, Charles Rich
Pattern-directed invocation is a commonly used artificial-intelligence reasoning technique in which a procedure, called a demon, is automatically invoked whenever a term matching its pattern appears...
Principles of Knowledge Representation and Reasoning in the FRAPPE System (1989)
Feldman, Yishai A., Rich, Charles
The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning,...
Principles of Knowledge Representation and Reasoning in the FRAPPE System (1989)
Feldman, Yishai A., Rich, Charles
The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning,...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging (1989)
Rich, Charles, Waters, Richard C.
A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging (1989)
Rich, Charles, Waters, Richard C.
A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design...
Intelligent assistance for program recognition, design, and debugging (1989)
Charles Rich, Richard C. Waters
We describe research in four related areas, based on the following theoretical principles: the assistant approach (incremental automation) and the exploitation of clichds (using knowledge of common...
Intelligent assistance for program recognition, design, and debugging (1989)
Charles Rich, Richard C. Waters
We describe research in four related areas, based on the following theoretical principles: the assistant approach (incremental automation) and the exploitation of clichs (using knowledge of common...
Pattern-Directed Invocation with Changing Equations (1988)
Feldman, Yishai A., Rich, Charles
The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its...
Pattern-Directed Invocation with Changing Equations (1988)
Feldman, Yishai A., Rich, Charles
The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its...
Automatic programming: Myths and prospects (1988)
Charles Rich, Richard C. Waters
utomatic programming has been
Inspection Methods in Programming: Cliches and Plans (1987)
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program...
Inspection Methods in Programming: Cliches and Plans (1987)
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program...
The Programmer's Apprentice Project: A Research Overview (1987)
Rich, Charles, Waters, Richard C.
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...
The Programmer's Apprentice: A Program Design Scenario (1987)
Rich, Charles, Waters, Richard C.
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to...
The Programmer's Apprentice: A Program Design Scenario (1987)
Rich, Charles, Waters, Richard C.
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to...
The Programmer's Apprentice Project: A Research Overview (1987)
Rich, Charles, Waters, Richard C.
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...
Feldman, Yishai A., Rich, Charles
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising...
Feldman, Yishai A., Rich, Charles
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising...
Formalizing Reusable Software Components in the Programmer's Apprentice (1987)
Rich, Charles, Waters, Richard C.
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any...
Formalizing Reusable Software Components in the Programmer's Apprentice (1987)
Rich, Charles, Waters, Richard C.
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any...
The Programmer's Apprentice: A Program Design Scenario. Memo 933A (1987)
Charles Rich, Richard C. Waters
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to...
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications (1986)
Rich, Charles, Waters, Richard C.
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation...
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications (1986)
Rich, Charles, Waters, Richard C.
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation...
Formalizing Reusable Software Components (1983)
Rich, Charles, Waters, Richard C.
This paper has been accepted by the ITT Workshop on Reusability in Programming, Newport RI, September 7-9, 1983.
Formalizing Reusable Software Components (1983)
Rich, Charles, Waters, Richard C.
This paper has been accepted by the ITT Workshop on Reusability in Programming, Newport RI, September 7-9, 1983.
The Disciplined Use of Simplifying Assumptions (1981)
Rich, Charles, Waters, Richard C.
Submitted to the ACM SIGSOFT Second Software Engineering Symposium: Workshop on Rapid Prototyping. Columbia, Maryland, April 19-21, 1982.
The Disciplined Use of Simplifying Assumptions (1981)
Rich, Charles, Waters, Richard C.
Submitted to the ACM SIGSOFT Second Software Engineering Symposium: Workshop on Rapid Prototyping. Columbia, Maryland, April 19-21, 1982.
Abstraction, Inspection and Debugging in Programming (1981)
Rich, Charles, Waters, Richard C.
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different...
Inspection Methods in Programming (1981)
The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the...
Inspection Methods in Programming (1981)
The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the...
Abstraction, Inspection and Debugging in Programming (1981)
Rich, Charles, Waters, Richard C.
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different...
Inspection methods in programming (1980)
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980.
Inspection methods in programming (1980)
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980.
Computer Aided Evolutionary Design for Software Engineering (1979)
Rich, Charles, Shrobe, Howard E., Waters, Richard C.
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of...
Computer Aided Evolutionary Design for Software Engineering (1979)
Rich, Charles, Shrobe, Howard E., Waters, Richard C.
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of...
AMORD: A Deductive Procedure System (1978)
Kleer, Johan De, Doyle, Jon, Rich, Charles, Sussman, Gerald Jay
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper...
Programming Viewed as an Engineering Activity (1978)
Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Programming Viewed as an Engineering Activity (1978)
Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
AMORD: A Deductive Procedure System (1978)
Kleer, Johan De, Doyle, Jon, Rich, Charles, Sussman, Gerald Jay
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper...
AMORD: A Deductive Procedure System (1977)
Sussman, Gerald Jay, Steele, Guy L. Jr., Rich, Charles, Doyle, Jon, De Kleer, Johan
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
AMORD: A Deductive Procedure System (1977)
Sussman, Gerald Jay, Steele, Guy L. Jr., Rich, Charles, Doyle, Jon, De Kleer, Johan
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
Plan Recognition in a Programmer's Apprentice (1977)
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided...
Plan Recognition in a Programmer's Apprentice (1977)
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided...
Initial Report on a LISP Programmer's Apprentice (1976)
Rich, Charles, Shrobe, Howard E.
This is an initial report on the design and partial implementation of a LISP programmers apprentice, an interactive programming system to be used by an expert programmer in the design, coding, and...
Initial Report on a LISP Programmer's Apprentice (1976)
Rich, Charles, Shrobe, Howard E.
This is an initial report on the design and partial implementation of a LISP programmers apprentice, an interactive programming system to be used by an expert programmer in the design, coding, and...
Understanding LISP Programs: Towards a Programmer's Apprentice (1974)
Rich, Charles, Shrobe, Howard E.
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
Understanding LISP Programs: Towards a Programmer's Apprentice (1974)
Rich, Charles, Shrobe, Howard E.
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
A study of heat transfer in a vertical tube evaporator / (1926)
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Economics and Social Sciences, 1926.