Knowledge Management across Formal Libraries.
Dennis MüllerPublished in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
- knowledge management
- ontological engineering
- knowledge sharing and reuse
- knowledge engineering
- information systems
- knowledge sharing
- information technology
- formal model
- formal models
- digital libraries
- artificial intelligence
- formal analysis
- organizational learning
- case study
- web based learning
- formal methods
- knowledge reuse
- e learning
- databases
- software development
- metadata
- decision making
- supporting collaborative learning