BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
: With his concept of „Knowledege in Action“ Rainer Kuhlen has formed the pragmatic orientation of information science. His approach introduced a dimension of time to the defin...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained con gur...