66 search results - page 1 / 14 » Explicit Evidence Systems with Common Knowledge |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
XPU
2007
Springer
13 years 11 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
ECIS
2000
13 years 6 months ago
2000
: Both the information base, on which IS research and practice is founded, and its accessibility continue to grow rapidly. A major challenge facing the IS community in the next dec...
FLAIRS
2001
13 years 6 months ago
2001
In this paper, we give an overview of a system (CAIMAN) that can facilitate the exchange of relevant documents between geographically dispersed people in Communities of Interest. ...
BMCBI
2006
13 years 4 months ago
2006
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...