1328 search results - page 13 / 266 » Cut-free common knowledge |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
SIGCSE
2000
ACM
14 years 6 days ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
DMS
2010
13 years 5 months ago
2010
Abstract--In this paper we present an information visualization approach for visualizing the intersection between multiple feature hierarchies. In cases where a dataset has multipl...
CBMS
2005
IEEE
14 years 1 months ago
2005
IEEE
Clinical decision-making involves an active interplay between various medical knowledge modalities—the spectrum of medical knowledge modalities spanning from tacit knowledge to ...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...