3196 search results - page 201 / 640 » Knowledge Acquisition for Knowledge Management |
MKM
2007
Springer
14 years 3 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
SIGLEX
1991
14 years 21 days ago
1991
This paper argues that itisimpossible to separate lexicaland encyclopedic knowledge and describes an attempt to build a large lexical database that contains the range of informati...
JAR
2007
13 years 9 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
IEEESCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Knowledge of neuronal circuitry is foundational to the neurosciences, but no tools have been developed for cataloguing this knowledge. Part of the problem is that the concepts use...
ECTEL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Knowledge work is performed in all occupations and across all industries. The level of similarity of knowledge work allows for designing supporting tools that can be wide...