13822 search results - page 246 / 2765 » Models in Knowledge Management |
160
click to vote
MKM
2007
Springer
15 years 11 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...
145
Voted
SIGLEX
1991
15 years 9 months 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...
141
Voted
JAR
2007
15 years 5 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...
172
click to vote
IJIT
2004
15 years 7 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...