BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 3 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...