2776 search results - page 263 / 556 » System-Level Abstraction Semantics |
163
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel knowledge-based approach for automated electronic barter trade systems. An e-barter is basically a closed e-marketplace, where agents may exchange (buy...
169
click to vote
OWLED
2007
15 years 8 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
164
click to vote
ROOM
2000
15 years 8 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
160
click to vote
AML
2002
15 years 6 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
158
click to vote
DIDACTICA
2000
15 years 6 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...