181 search results - page 5 / 37 » Knowledge Provenance |
ECIS
2003
13 years 8 months ago
2003
Many knowledge management (KM) systems have proven unsustainable to date, exhibiting low quantities and quality of knowledge, with systems falling into disuse. In this paper, we p...
JUCS
2008
13 years 7 months ago
2008
: Increasingly wikis are used to support existing corporate knowledge exchange processes. They are an appropriate software solution to support knowledge processes. However, it is n...
AAAI
2004
13 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
KR
2004
Springer
14 years 21 days ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
PAAMS
2010
Springer
13 years 5 months ago
2010
Springer
It has been proven that Artificial Intelligence, in general, and Artificial Neural Networks, in particular, can be successfully applied to problems in the field of Knowledge Manage...