| Taxonomy of Methods |
|
|
|
| HMMs |
||
| (PO)MDPs |
||
|
|
|
| (Dynamic)
Bayes nets |
||
| Kalman
Filters |
||
|
|
|
|
|
| First-order
logic |
||||
| Relational
databases |
||||
| Constraint
logic prog |
||||
| Search |
| Atoms |
| Propositions |
| Objects |