SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR. SNeBR is triggered when an explicit contradiction is introduced into the SNePS belief space, either because of a user’s new assertion, or because of a user’s query. SNeBR then makes the user decide what belief to remove from the belief space in order to res...

UI and graphical UI: our approch is therefore somehow more similar to 10], but the intermediate representation used is much simpler than a full UI speciication language. We have also proposed to populate automatically the target GUI builder space thus allowing designers/developers to fully exploit GUI builder modiication capabilities on the generated UI. An approach for Turbo BASIC UI clich es ...