Back to Results
First PageMeta Content
Dynamic programming / Model theory / Markov processes / Stochastic control / Boolean algebra / Markov decision process / Reinforcement learning / Function / Propositional variable / Mathematics / Statistics / Logic


Journal of Artificial Intelligence Research[removed]472 Submitted[removed]; published[removed]
Add to Reading List

Document Date: 2008-03-25 22:30:40

Open Document

File Size: 421,93 KB

Share Result on Facebook

City

Medford / Boston / Paris / /

/

Facility

College Avenue / Tufts University / /

IndustryTerm

theorem proving algorithm / cross product / relational value iteration algorithm / manipulation algorithms / propositional solution / diagram-based algorithm / appropriate representations and algorithms / value iteration algorithm / /

Organization

AI Access Foundation / Department of Computer Science / Tufts University / /

Person

Wang Saket Joshi Roni Khardon / /

Position

Dean / /

Product

BP / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

diagram-based algorithm / MDP algorithms / theorem proving algorithm / artificial intelligence / relational Bellman algorithm / relational value iteration algorithm / FODDs and algorithms / value iteration algorithm / manipulation algorithms / /

SocialTag