Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations. Many multimedia systems encode such highlevel int...
Lloyd Rutledge, Brian Bailey, Jacco van Ossenbrugg...
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...