Tensor product of partially-additive monoids.
Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
The Diamond Tool: a way of effective development and utilization of knowledge
This paper presents the Diamond Tool for knowledge management. The main objective of its specification and implementation was to create a universal and easily extendable tool for efficient work with knowledge. One of its extensions is the eTrium technology. The principal idea behind this technology is to represent explicitly the knowledge used by the information system by means of a knowledge agent built on the Diamond Tool – in contrary to current approaches, where knowledge is present implicitly...
The topology of continuous partially-additive monoids
Top-down mathematical semantics and symbolic execution
Toward a semantics for the QUEST language
Towards a logic of semiotic systems
The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category theory.
Towards a sketch based model of self-interpreters
Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.