116 search results - page 4 / 24 » Intensional Formalization of Conceptual Structures |
ZUM
2005
Springer
14 years 27 days ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
COSIT
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
ICCS
2003
Springer
14 years 19 days ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...