Keyphrases
- higher order
- expert systems
- management system
- logic programming
- higher order logic
- distributed systems
- markov random field
- communication channels
- higher level
- learning systems
- computer systems
- formal semantics
- high order
- complex systems
- building blocks
- data sets
- intelligent systems
- information systems
- machine learning