Mechanizing common knowledge logic using COQ.
Pierre LescannePublished in: Ann. Math. Artif. Intell. (2006)
Keyphrases
- domain knowledge
- knowledge representation
- database
- knowledge acquisition
- domain experts
- knowledge base
- deductive reasoning
- learning systems
- knowledge discovery
- prior knowledge
- knowledge based systems
- logic programming
- information systems
- genetic algorithm
- knowledge sharing
- modal logic
- knowledge structures
- knowledge extraction
- databases