Inconsistencies in a user interface arise primarily when implicit knowledge about individual applications is encoded. Separation of user interface from applications, together with declarative descriptions of applications, offers a solution. Declarative Task Description as a User-Interface Structurin

[1]  Adele Goldberg.  The influence of an object-oriented language on the programming environment , 1983, CSC-83.

[2]  Tom M. Mitchell,et al.  Representations for Reasoning about Digital Circuits , 1981, IJCAI.

[3]  Reid G. Smith,et al.  The Dipmeter Advisor System - A Case Study in Commercial Expert System Development , 1983, IJCAI.

[4]  Michael Uschold,et al.  Building Expert Systems for Controlling Complex Programs , 1982, AAAI.

[5]  Donald A. Norman,et al.  Design principles for human-computer interfaces , 1983, CHI '83.

[6]  Tom M. Mitchell,et al.  An Intelligent Aid for Circuit Redesign , 1983, AAAI.

[7]  Randall Davis,et al.  Diagnosis Based on Description of Structure and Function , 1982, AAAI.

[8]  Eric Harslem,et al.  The star user interface: an overview , 1899, AFIPS '82.

[9]  Randall Davis,et al.  Representing Structure and Behavior of Digital Hardware , 1983, Computer.

[10]  Robert S. Engelmore,et al.  SACON: A Knowledge-Based Consultant for Structural Analysis , 1979, IJCAI.

[11]  Reid G. Smith,et al.  IMPULSE: A Display Oriented Editor for STROBE , 1983, AAAI.

[12]  Reid G. Smith.  STROBE: Support for Structured Object Knowledge Representation , 1983, IJCAI.

[13]  Michael R. Genesereth,et al.  Diagnosis Using Hierarchical Design Models , 1982, AAAI.

[14]  Jacques Pelissier-Combescure,et al.  Faciolog - Automatic Electrofacies Determination , 1982 .

[15]  Louis I. Steinberg,et al.  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications , 1982, AAAI.