7988 search results - page 123 / 1598 » A Useful Undecidable Theory |
BCSHCI
2007
15 years 4 months ago
2007
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...
112
Voted
CLIMA
2007
15 years 4 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
139
click to vote
AICOM
2010
15 years 3 months ago
2010
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
122
click to vote
ACS
2004
15 years 3 months ago
2004
The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new hom...
135
Voted
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a grounded theory of information sharing behavior of the users of a personal learning space. A personal learning space is an environment consisted of weblog, e...