Weakly higher order cylindric algebras and finite axiomatization of the representables.
István NémetiAndrás SimonPublished in: Stud Logica (2009)
Keyphrases
- higher order
- complete axiomatization
- high order
- pairwise
- conditional random fields
- natural images
- low order
- helmholtz principle
- general theory
- markov random field
- case study
- image processing
- markov models
- lambda calculus
- equational theories
- real time
- distributive lattices
- topological spaces
- finite number
- information systems
- artificial intelligence