Common Knowledge Logic in a Higher Order Proof Assistant.
Pierre LescannePublished in: Programming Logics (2013)
Keyphrases
- higher order
- higher order logic
- logical rules
- knowledge representation
- expert systems
- domain knowledge
- knowledge base
- proof theory
- knowledge sharing
- knowledge discovery
- pairwise
- knowledge management
- deductive reasoning
- high order
- data mining techniques
- logical framework
- automated reasoning
- conditional random fields
- higher level
- bayesian networks
- case study