7988 search results - page 375 / 1598 » A Useful Undecidable Theory |
178
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
166
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we claim the importance of a cognitive view of trust (its articulate, analytic and founded view), in contrast with a mere quantitative and opaque view of trust suppo...
173
click to vote
GROUP
1999
ACM
15 years 11 months ago
1999
ACM
This paper demonstrates how activity theoretic concepts can be used in conjunction with an ethnographically informed approach to derive requirements on a work situation. We presen...
187
click to vote
FSTTCS
1999
Springer
15 years 11 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
186
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...