SyllogismRXS' POMDP Algorithms