This paper presents Bounded Ideation Theory (BIT) to explain the relationship between the number-of-ideas and the number-of-good-ideas contributed during ideation. BIT posits that...
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...