Knowledge and the Logic of Local Propositions.
Kai EngelhardtRon van der MeydenYoram MosesPublished in: TARK (1998)
Keyphrases
- domain knowledge
- knowledge management
- deductive reasoning
- knowledge acquisition
- knowledge base
- knowledge representation
- knowledge extraction
- expert systems
- prior knowledge
- knowledge discovery
- knowledge based systems
- knowledge sharing
- automated reasoning
- truth values
- domain ontology
- background knowledge
- domain specific
- domain experts
- learning systems
- data mining techniques
- databases
- case study
- decision making
- information systems
- artificial intelligence
- neural network