Keyphrases
- semantic interpretation
- higher order
- anti unification
- knowledge sources
- natural language
- high order
- natural images
- conceptual representation
- first order logic
- markov random field
- theorem proving
- pairwise
- language understanding
- medical domain
- world model
- broad coverage
- inference rules
- inductive logic programming
- theorem prover
- decision making
- three dimensional
- databases
- data model