activity
20002013
most citedModel Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes

105 citations · 228 across the 3 of their papers we have counts for

collaborators
Showing 2000Show all

1 paper · 1 filter

cs.LO2000

Polynomial-time Computation via Local Inference Relations

Robert Givan, David McAllester

We consider the concept of a local set of inference rules. A local rule set can be automatically transformed into a rule set for which bottom-up evaluation terminates in polynomial…