The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Along this paper Elkar-CM, a multilingual collaborative concept map editor is presented. The paper starts explaining the main characteristics of CM-ED, the kernel in which Elkar-C...
Abstract. This paper introduces conceptual designing within an F-B-S framework. It then goes on to describe a number of models of designing before introducing the notions of situat...
This paper is a report of some of the findings in a study of how and what women in computer science learn using the Internet for communication with other women. The focus of this ...
Abstract: This paper presents some results of our research on design simplification by analogical reasoning. It first defines what we mean by a simplification problem. Then it desc...