We study decision making in environments where the reward is only partially observed, but can be modeled as a function of an action and an observed context. This setting, known as...
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
The goals of this workshop are: (1) to bring together the community of researchers who are exploring innovative design theories and different design methodologies; (2) to evaluate...
Gerhard Fischer, Elisa Giaccardi, Yunwen Ye, Chris...
This two-day workshop will advance discussion on the role of public interfaces in engaging citizens within the urban context. The aim is to determine how technology can help to de...
Michele F. Chang, Katrina Jungnickel, Chet Orloff,...
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...