Expert Computer Systems

TL;DR: These methods are presented in the framework of a general query evaluation procedure using the relational calculus representation of queries, and nonstandard query optimization issues such as higher level query evaluation, query optimization in distributed databases, and use of database machines are addressed.

TL;DR: An expert system design is presented, called the integrated diagnostic model (IDM), that attempts to address some of the issues involved in bridging the gap between human and computer expertise.

TL;DR: An algorithm is proposed for assigning labels to the blocks according to their location, extent, and relative position with respect to other (possibly already labeled) blocks.

TL;DR: Throughout the 1960s I worked on combinatorial optimization problems including logic circuit design with Paul Roth and assembly line balancing and the traveling salesman problem with Mike Held, which made me aware of the importance of distinction between polynomial-time and superpolynomial-time solvability.

TL;DR: In this paper, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model in which a given goal formula can be proven to be true.

TL;DR: Paul G. Hoel's “Introduction to Mathematical Statistics” seems to me to be an excellent work, and if only it can become generally available it may have a most favourable effect on the situation just described.