Keyphrases
- higher order
- higher order logic
- logical rules
- data mining techniques
- knowledge acquisition
- knowledge base
- case based reasoning
- pairwise
- high order
- domain knowledge
- knowledge management
- background knowledge
- domain experts
- expert systems
- theorem proving
- theorem prover
- conditional random fields
- first order logic
- natural images
- information systems
- prior knowledge
- knowledge discovery
- knowledge representation