Light logics and higher-order processes.
Ugo Dal LagoSimone MartiniDavide SangiorgiPublished in: Math. Struct. Comput. Sci. (2016)
Keyphrases
- higher order
- anti unification
- higher order logic
- high order
- natural images
- pairwise
- modal logic
- multiscale
- markov random field
- learning algorithm
- conditional random fields
- knowledge base
- hidden markov models
- website
- process model
- expressive power
- communication channels
- stochastic processes
- conditional logic
- information systems
- social networks