Modifying Intensional Logic Knowledge.
Nicola LeoneLuigi PalopoliMassimo RomeoPublished in: Fundam. Informaticae (1994)
Keyphrases
- knowledge representation
- knowledge acquisition
- knowledge base
- prior knowledge
- higher order
- knowledge management
- learning systems
- domain experts
- domain knowledge
- reasoning engine
- knowledge sources
- query evaluation
- knowledge sharing
- knowledge structures
- deductive reasoning
- defeasible logic
- logical formulas
- logical rules
- modal logic
- domain ontology
- data mining techniques
- learning objects
- knowledge discovery
- expert systems