Notions of Knowledge in Combinations of Theories Sharing Constructors.
Serdar ErbaturAndrew M. MarshallChristophe RingeissenPublished in: CADE (2017)
Keyphrases
- knowledge sharing
- domain knowledge
- knowledge acquisition
- expert systems
- knowledge extraction
- knowledge based systems
- learning systems
- knowledge transfer
- intelligent design
- databases
- dynamic aspects
- cognitive models
- formal models
- information sharing
- domain experts
- higher level
- knowledge management
- knowledge representation
- knowledge base