Keyphrases
- message passing
- modal logic
- distributed systems
- belief propagation
- temporal logic
- inference rules
- probabilistic inference
- shared memory
- distributed shared memory
- approximate inference
- inference in graphical models
- markov random field
- factor graphs
- nonmonotonic logics
- sum product algorithm
- graphical models
- epistemic logic
- classical logic
- conditional logic
- sum product
- default logic
- cellular automata
- object recognition
- dynamic logic
- prime implicates
- multi agent
- three dimensional
- stereo matching
- explanation based generalization
- higher order