Keyphrases
- predicate calculus
- natural language
- representation language
- operational semantics
- high level
- precisely defined
- language learning
- data sets
- artificial intelligence
- definition language
- image representation
- conceptual graphs
- machine processable
- structured representation
- type checking
- formal language
- graphical representation
- higher level
- programming language
- knowledge representation
- low level
- bayesian networks
- learning algorithm