WorldCat Identities

Rich, Charles 1951-

Overview
Works: 80 works in 146 publications in 1 language and 1,204 library holdings
Genres: Conference proceedings 
Roles: Editor, Lyricist, Interviewee
Classifications: Q336, 006.3
Publication Timeline
Key
Publications about  Charles Rich Publications about Charles Rich
Publications by  Charles Rich Publications by Charles Rich
Most widely held works about Charles Rich
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Charles Rich
Readings in artificial intelligence and software engineering by Charles Rich ( Book )
13 editions published between 1986 and 1987 in English and held by 417 WorldCat member libraries worldwide
Readings in Artificial Intelligence and Software Engineering
The Programmer's apprentice by Charles Rich ( Book )
10 editions published in 1990 in English and held by 322 WorldCat member libraries worldwide
Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) by International conference on Principles of knowledge representation and reasoning ( Book )
6 editions published in 1992 in English and held by 69 WorldCat member libraries worldwide
IUI 04 : 2004 International Conference on Intelligent User Interfaces, Funchal, Madeira, Portugal, January 13-16, 2004 by Jean Vanderdonckt ( Book )
8 editions published in 2004 in English and held by 57 WorldCat member libraries worldwide
We present a web interface agent, Woodstein, that monitors user actions on the web and retrieves related information to assemble an integrated view of a transaction. It manages user hypotheses during diagnosis by capturing users' judgments of the correctness of data and processes. These hypotheses can be shared with others, such as customer service representatives, or saved for later. We will see this feature in the context of diagnosing problems on the web
Saint John of the Cross by Charles Rich ( Book )
1 edition published in 2000 in English and held by 25 WorldCat member libraries worldwide
Inspection methods in programming by Charles Rich ( Book )
6 editions published between 1980 and 1988 in English and Undetermined and held by 13 WorldCat member libraries worldwide
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or {\it clich\'es}. Examples are given of program analysis, program synthesis and program validation by inspection. A formalism, called the Plan Calculus, is defined and used to represent programming clich\'es in a convenient, canonical, and programming-language independent fashion
A poem by George Thurlow Dole ( Book )
1 edition published in 1838 in English and held by 10 WorldCat member libraries worldwide
Proceedings of the 15th international conference on Intelligent user interfaces by Charles Rich ( )
2 editions published in 2010 in English and held by 10 WorldCat member libraries worldwide
Pattern-directed invocation with changing equalities by Yishai A Feldman ( Book )
5 editions published between 1988 and 1990 in English and Undetermined and held by 7 WorldCat member libraries worldwide
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 exactly matches a term in the reasoning data base, but also when it is possible to create a variant that matches. An incremental algorithm has been developed which solves this problem without generating all possible variants of terms in the database. The algorithm is shown to be complete for a class of demons, called {\it transparent} demons, in which there is a well-behaved logical relationship between the pattern and the body of the demon
Abstraction, inspection and debugging in programming by Charles Rich ( Book )
2 editions published in 1981 in English and held by 6 WorldCat member libraries worldwide
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 disciplines have many similarities. Three key ideas in current artificial intelligence theories of engineering problem solving are: Abstraction -- using a simplified view of the problem to guide the problem solving process. Inspection -- problem solving by recognizing the form ('plan') of a solution. Debugging -- incremental modification of an almost satisfactory solution to a more satisfactory one. These three techniques are typically used together in a paradigm which we call AID (for Abstraction, Inspection, Debugging): First an abstract model of the problem is constructed in which some important details are intentionally omitted. In this simplified view inspection methods are more likely to succeed, yielding the initial form of a solution. Further details of the problem are then added one at a time with corresponding incremental modifications to the solution. This paper states the goals and milestones of the remaining three years of a five year research project to study the fundamental principles underlying the design and construction of large software systems and to demonstrate the feasibility of a computer aided design tool for this purpose, called the programmers apprentice. (Author)
Formalizing reusable software components in the Programmer's Apprentice by Charles Rich ( Book )
4 editions published in 1987 in English and held by 6 WorldCat member libraries worldwide
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 doing this. The lack of success stems not from any resistance to the idea, nor from any lack of trying, but rather from the difficulty of choosing an appropriate formalism for representing components. For a formalism to be maximally useful, it must satisfy five key desiderata: expressiveness, convenient combinability, semantic soundness, machine monipulability, and programming language independence. The Plan Calculus formalism developed as part of the Programmer's Apprentice project satisfies each of these desiderata quite well. It does this by combining the ideas from flowchart schemas, data abstracton, logical formalisms, and program transformations. The efficacy of the Plan Calculus has been demonstrated in part by a prototype program editor called the knowledge-based Editor in Emacs. This editor makes it possible for a programmer to construct a program rapidly and reliably by combining components represented as plans
Intelligent assistance for program recognition, design, optimization, and debugging by Charles Rich ( Book )
3 editions published in 1989 in English and held by 6 WorldCat member libraries worldwide
Corporate lobbying activity by Charles Rich ( Book )
1 edition published in 2000 in English and held by 5 WorldCat member libraries worldwide
2004 International conference on Intelligent User Interfaces : Funchal, Madeira, Portugal, January 13-16 2004 by International Conference on Intelligent User Interfaces ( Book )
3 editions published in 2004 in English and held by 5 WorldCat member libraries worldwide
Initial report on a LISP programmer's apprentice by Charles Rich ( Book )
3 editions published between 1976 and 1978 in English and held by 5 WorldCat member libraries worldwide
The Programmer's Apprentice project : a research overview by Charles Rich ( Book )
3 editions published between 1987 and 1988 in English and Undetermined and held by 5 WorldCat member libraries worldwide
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 intelligence, we have chosen programming as a domain in which to study fundamental issues of knowledge representation and reasoning. From the viewpoint of software engineering, we seek to automate the programming process by applying techniques from artificial intelligence
Principles of knowledge representation and reasoning in the FRAPPE system by Yishai A Feldman ( Book )
2 editions published in 1989 in English and held by 4 WorldCat member libraries worldwide
Programming viewed as an engineering activity by Massachusetts Institute of Technology ( Book )
1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide
Corporate counsel's primer on international sourcing by Charles Rich ( Book )
1 edition published in 2001 in English and held by 4 WorldCat member libraries worldwide
Computer aided evolutionary design for software engineering by Charles Rich ( Book )
2 editions published between 1978 and 1979 in English and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.00 for Architectu ... to 1.00 for Planctus u ...)
Languages
English (90)
Covers