• Publications
  • Influence
Slow Technology – Designing for Reflection
TLDR
We present slow technology: a design agenda for technology aimed at reflection and moments of mental rest rather than efficiency in performance. Expand
  • 475
  • 20
  • PDF
From use to presence: on the expressions and aesthetics of everyday computational things
TLDR
The coming ubiquity of computational things urges us to consider what it means for something to be present in someone's life, in contrast to being just used for something. Expand
  • 278
  • 20
  • PDF
Partial inductive definitions
Abstract An attempt to consider partial definitions of semantically oriented data types will be described. We will in a certain sense think of such data types as inductively defined. A class ofExpand
  • 86
  • 12
Informative art: using amplified artworks as information displays
TLDR
Informative art is computer augmented, or amplified, works of art that not only are aesthetical objects but also information displays, in as much as they dynamically reflect information about their environment. Expand
  • 180
  • 11
  • PDF
Interaction Design: Foundations, Experiments
TLDR
Interaction Design: Foundations, Experiments is the result of a series of projects, experiments and curricula aimed at investigating the foundations of interaction design in particular and design research in general. Expand
  • 78
  • 9
  • PDF
Abstract information appliances: methodological exercises in conceptual design of computational things
TLDR
We propose two methodological exercises that take the expressions of computational things in use as their starting points: i) to discover functionality in given expressions; and ii) to rediscover "expressionals" in given appliances. Expand
  • 46
  • 5
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
TLDR
In this paper definite Horn clause programs are investigated within a proof-theoreti c framework; program clauses being considered rules of a formal system. Expand
  • 95
  • 4
  • PDF
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions
TLDR
We introduce a definitional extension of logic programming by means of an inference schema (PV), which, in a certain sense, is dual to the (P) schema of rule application discussed in Part I. Expand
  • 81
  • 2
  • PDF
Partial Inductive Definitions
TLDR
We investigate the possibility to give direct inductive definitions of semantically oriented data types exploring, so to speak, the structure of the given notion. Expand
  • 20
  • 2
Introduction to special issue on the aesthetics of interaction
TLDR
Interactive Pillow is a reinterpretation of what it means to hug a pillow when longing for someone and a transformation of this act into an act of communication . Expand
  • 19
  • 2