AAAI Publications, Ninth Symposium of Abstraction, Reformulation, and Approximation

Font Size: 
The Markov Reformulation Theorem
Michael Kassoff, Michael R. Genesereth

Last modified: 2011-12-14


In this paper, we define an abstract formal model of dynamic constraints and show that, if the schema is modifiable, the constraints can always be reformulated to Markov constraints.


Dynamic constraints; Markov constraints; Reformulation

Full Text: PDF