L
Lars Hallnäs
Researcher at University of Borås
Publications - 46
Citations - 1868
Lars Hallnäs is an academic researcher from University of Borås. The author has contributed to research in topics: Logic programming & Interaction design. The author has an hindex of 18, co-authored 46 publications receiving 1741 citations. Previous affiliations of Lars Hallnäs include Chalmers University of Technology & Swedish Institute of Computer Science.
Papers
More filters
Journal ArticleDOI
Slow Technology – Designing for Reflection
Lars Hallnäs,Johan Redström +1 more
TL;DR: The aim of this paper is to develop a design philosophy for slow technology, to discuss general design principles and to revisit some basic issues in interaction design from a more philosophical point of view.
Journal ArticleDOI
From use to presence: on the expressions and aesthetics of everyday computational things
Lars Hallnäs,Johan Redström +1 more
TL;DR: It is argued that the expressions of things are central for accepting them as present in the authors' lives, and aesthetics, as a logic of expressions, can provide a proper foundation for design for presence.
Proceedings ArticleDOI
Informative art: using amplified artworks as information displays
TL;DR: The aim is to present the design space of informative art by discussing its properties and possibilities in relation to work on information visualisation, novel information display strategies, as well as art.
Journal ArticleDOI
Partial inductive definitions
TL;DR: The basic aim is to investigate the possibility to give direct inductive definitions of semantical notions exploring the structure of the given notion rather than to think of such notions as indirectly presented by a formal system or given by a definition, together with a proof of its correctness in terms of recursion on some well-founded structure.
Journal ArticleDOI
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
TL;DR: The soundness and completeness of SLD-resolutio n is established by purely proof-theoretic methods, and program clauses are viewed as clauses in inductive definitions of atoms, justifying an additional inference schema.