
********************
 Artificial Intelligence : Theory and Practice by/<TI> Thomas/<TI> Dean/<TI> ,/<DE> James Allen , and Yiannis Aloimonos , Addison - Wesley , 1995 . The/<NG> most/<NG> recently/<NG> compiled/<NG> errata/<NG> sheet/<NG> is/<NG> available/<NG> in/<NG> postscript/<NG> ./<DE> A/<TI> file/<TI> containing/<TI> code/<TI> ,/<DE> lecture/<JN> notes/<JN> ,/<JN> and/<JN> other/<JN> supplementary/<JN> material/<JN> is/<JN> available/<JN> in/<JN> zip/<JN> format/<JN> .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9565
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0435
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Thomas should be:<AU> but:<TI>
<TI> s12:0.9565
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0435
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Dean should be:<AU> but:<TI>
<TI> s12:0.9565
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0435
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0001
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9999
-------------
The should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
most should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
recently should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
compiled should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
errata should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
sheet should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
is should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
available should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
in should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
postscript should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:1
<DE> s12:0
-------------
. should be:<FL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0.0037
<DE> s12:0.9963
-------------
A should be:<FL> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
file should be:<FL> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
containing should be:<FL> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
code should be:<FL> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
, should be:<FL> but:<DE>
<TI> s12:0.0011
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0025
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9964
-------------
lecture should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
notes should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
, should be:<FL> but:<JN>
<TI> s12:0
<VO> s12:0.0007
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.963
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0362
-------------
and should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
other should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
supplementary should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
material should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
is should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
available should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
in should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
zip should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
format should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0


********************
 Planning and Scheduling , by Thomas Dean and Subbarao Kambhampati , in/<OR> the/<OR> CRC/<OR> Handbook/<OR> of/<OR> Computer/<OR> Science/<OR> and/<OR> Engineering/<OR> , 1996 . A postscript version is available .
-------------
in should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
the should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
CRC should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Handbook should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Science should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
and should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Engineering should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 Strategic Directions in Artificial Intelligence , by Jon Doyle and Thomas Dean , ACM Computing Surveys , Volume 28 , Number 4 , December , 1996 .


********************
 Searching/<JN> in/<JN> the/<JN> Space/<JN> of/<JN> Very/<JN> Large/<JN> Structured/<JN> Models/<JN> , by Thomas Dean , a talk presented at the Seventh International Symposium on Artificial Intelligence and Mathematics , Fort Lauderdale , Florida , January , 2002 . A/<JN> PDF/<JN> version/<JN> of/<JN> the/<JN> slides/<JN> is/<JN> available/<JN> .
-------------
Searching should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
in should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
the should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Space should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Very should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Large should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Structured should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Models should be:<TI> but:<JN>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:1
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
A should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
PDF should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
version should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
of should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
the should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
slides should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
is should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
available should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0


********************
 Using Goals to Find Plans with High Expected Utility , by Jak Kirman , Ann Nicholson , Moises Lejter , Thomas Dean , and Eugene Santos Jr . , in Current Trends in AI Planning , ed . E. Sandewall and C. Backstrom , IOS Press , Amsterdam , 1994 . A postscript version is available .


********************
 Planning Under Time Constraints in Stochastic Domains , Thomas Dean , Leslie Kaelbling , Jak Kirman , and Ann Nicholson , Artificial Intelligence , Volume 76 , Number 1 - 2 , Pages 35 - 74 , 1995 . A postscript version , , and abstract are available .


********************
 Decomposition Techniques for Planning in Stochastic Domains , by Thomas Dean and Shieu - Hong Lin , IJCAI , 1995 . A postscript version and an abstract are available as well as a longer technical report .


********************
 Generating Optimal Policies for Markov Decision Processes Formulated as Plans with Conditional Branches and Loops , by Shieu - Hong Lin and Thomas Dean ,/<AU> EWSP/<GL> , 1995 . A postscript version and an abstract are available .
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0327
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.6422
<FL> s12:0
<NG> s12:0
<DE> s12:0.325
-------------
EWSP should be:<JN> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.994
<OR> s12:0.0009
<DA> s12:0
<PU> s12:0.0026
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0.0009
<DE> s12:0


********************
 Planning Under Uncertainty : Structural Assumptions and Computational Leverage , by Craig Boutilier , Thomas Dean , and Steve Hanks ,/<AU> EWSP/<GL> , 1995 . An abstract is available .
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0327
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.6422
<FL> s12:0
<NG> s12:0
<DE> s12:0.325
-------------
EWSP should be:<JN> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.994
<OR> s12:0.0009
<DA> s12:0
<PU> s12:0.0026
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0.0009
<DE> s12:0


********************
 On the Complexity of Solving Markov Decision Problems , by Michael Littman , Thomas Dean , and Leslie Kaelbling ,/<AU> CUAI/<GL> , 1995 . A postscript version is available .
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0327
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.6422
<FL> s12:0
<NG> s12:0
<DE> s12:0.325
-------------
CUAI should be:<JN> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.994
<OR> s12:0.0009
<DA> s12:0
<PU> s12:0.0026
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0.0009
<DE> s12:0


********************
 Model Minimization in Markov Decision Processes , by Thomas Dean and Robert Givan , AAAI , 1997 . A postscript version is available .


********************
 Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes , by Thomas Dean , Robert Givan , and Sonia Leach ,/<AU> CUAI/<GL> , 1997 . A postscript version is available .
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0327
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.6422
<FL> s12:0
<NG> s12:0
<DE> s12:0.325
-------------
CUAI should be:<JN> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.994
<OR> s12:0.0009
<DA> s12:0
<PU> s12:0.0026
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0.0009
<DE> s12:0


********************
 Model Minimization , Regression , and Propositional STRIPS Planning , by Robert Givan and Thomas Dean , IJCAI , 1997 . Postscript/<NG> versions/<NG> of/<NG> the/<NG> paper/<NG> and/<NG> slides/<NG> are/<NG> available/<NG> .
-------------
Postscript should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
versions should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
of should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
the should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
paper should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
and should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
slides should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
are should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
available should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0


********************
 Bounded Parameter Markov Decision Processes , by Robert Givan , Sonia Leach , and Thomas Dean ,/<AU> ECP/<GL> , 1997 . Postscript/<NG> versions/<NG> of/<NG> the/<NG> paper/<NG> and/<NG> slides/<NG> are/<NG> available/<NG> .
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0327
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.6422
<FL> s12:0
<NG> s12:0
<DE> s12:0.325
-------------
ECP should be:<JN> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.994
<OR> s12:0.0009
<DA> s12:0
<PU> s12:0.0026
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0.0009
<DE> s12:0
-------------
Postscript should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
versions should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
of should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
the should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
paper should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
and should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
slides should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
are should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0
-------------
available should be:<FL> but:<NG>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0.0022
<PU> s12:0
<JN> s12:0.0044
<AU> s12:0
<FL> s12:0
<NG> s12:0.9935
<DE> s12:0


********************
 Solving Planning Problems with Large State and Action Spaces , by Thomas Dean , Robert Givan and Kee - Eung Kim , in Proceedings of the Fourth International Conference on Artificial Intelligence in Planning Systems , Pittsburgh , Pennsylvania , 1998 . A postscript version is available .


********************
 Solving very large weakly coupled Markov decision processes , by Nicolas Meuleau , Craig Boutilier , Milos Hauskrecht , Leslie Kaelbling , Kee - Eung Kim , Leonid Peshkin and Tom Dean ) , in Proceedings of the 15th NCAI , Madison , Wisconsin , 1998 . A postscript version is available .


********************
 Hierarchical solution of Markov decision processes using macro - actions by/<TI> Milos/<TI> Hauskrecht/<TI> ,/<DE> Nicolas Meuleau , Craig Boutilier , Leslie Kaelbling and Tom Dean , in Proceedings of the 1998 Conference on Uncertainty in Artificial Intelligence , Madison , Wisconsin , 1998 . A postscript version is available .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Milos should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Hauskrecht should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0865
<FL> s12:0
<NG> s12:0
<DE> s12:0.9135


********************
 Decision Theoretic Planning : Structural Assumptions and Computational Leverage by/<TI> Craig/<TI> Boutilier/<TI> ,/<DE> Tom Dean , and Steve Hanks , in the Journal of Artificial Intelligence Research , Volume 11 , Pages 1 - 94 , 1999 . A postscript version is available .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Craig should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Boutilier should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0865
<FL> s12:0
<NG> s12:0
<DE> s12:0.9135


********************
 Approximate Solutions to Factored Markov Decision Processes via Greedy Search in the Space of Finite State Controllers by/<TI> Kee/<TI> -/<TI> Eung/<TI> Kim/<TI> ,/<DE> Nicolas Meuleau and Tom Dean , in the Proceedings of the Fifth International Conference on Artificial Intelligence in Planning Systems , Colorado , 2000 . A PDF version is available .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kee should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
- should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Eung should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kim should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0865
<FL> s12:0
<NG> s12:0
<DE> s12:0.9135


********************
 Bounded - parameter Markov Decision Processes by/<TI> Robert/<TI> Givan/<TI> ,/<DE> Sonia Leach and Tom Dean , Artificial Intelligence , Volume 122 , Number 1 - 2 , Pages 71 - 109 , 2000 . A postscript version is available .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Robert should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Givan should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0865
<FL> s12:0
<NG> s12:0
<DE> s12:0.9135


********************
 Solving Factored MDPs using Non - Homogeneous Partition by/<TI> Kee/<TI> -/<TI> Eung/<TI> Kim/<TI> and/<TI> Tom/<TI> Dean/<TI> , in the Proceedings of the 17th International Joint Conference on Artificial Intelligence Seattle , Washington , 2001 . A PDF version is available .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kee should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
- should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Eung should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kim should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
and should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Tom should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Dean should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0


********************
 Solving Factored MDPs with Large Action Spaces using Algebraic Decision Diagrams by/<TI> Kee/<TI> -/<TI> Eung/<TI> Kim/<TI> and/<TI> Tom/<TI> Dean/<TI> , in the Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence , Pages 80 - 89 , Tokyo , Japan , 2002 . An/<JN> electronic/<JN> version/<JN> is/<JN> available/<JN> from/<JN> Springer/<JN> -/<JN> Verlag/<JN> .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kee should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
- should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Eung should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kim should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
and should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Tom should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Dean should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
An should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
electronic should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
version should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
is should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
available should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
from should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
Springer should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
- should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
Verlag should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0


********************
 Equivalence Notions and Model Minimization in Markov Decision Processes by/<TI> Robert/<TI> Givan/<TI> ,/<DE> Tom Dean and Matthew Greig , Artificial Intelligence , Volume 147 , Number 1 - 2 , Pages 163 - 223 , 2003 . PDF and postscript versions are available .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Robert should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Givan should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
, should be:<AU> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0865
<FL> s12:0
<NG> s12:0
<DE> s12:0.9135


********************
 Solving Factored MDPs Using Non - homogeneous Partitions by/<TI> Kee/<TI> -/<TI> Eung/<TI> Kim/<TI> and/<TI> Tom/<TI> Dean/<TI> , Artificial Intelligence , Volume 147 , Number 1 - 2 , Pages 225 - 251 , 2003 . PDF and postscript versions are available ( please/<TI> see/<TI> the/<TI> attached/<TI> note/<TI> regarding/<TI> Theorem/<TI> 2/<TI> ) .
-------------
by should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kee should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
- should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Eung should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Kim should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
and should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Tom should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Dean should be:<AU> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
please should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
see should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
the should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
attached should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
note should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
regarding should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Theorem should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
2 should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0


********************
 Reinforcement Learning for Planning and Control , by Thomas Dean , Kenneth Basye , and John Shewchuk , in/<TI> Machine/<TI> Learning/<TI> Methods/<TI> for/<TI> Planning/<TI> and/<TI> Scheduling/<TI> , ed . Steve Minton , Morgan Kaufmann , 1992 . A postscript version and an abstract are available .
-------------
in should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Machine should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Learning should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Methods should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
for should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Planning should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
and should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
Scheduling should be:<JN> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0


********************
 Uncertainty in Graph - based Map Learning , by Thomas Dean , Kenneth Basye , and Leslie Kaelbling , in Robot Learning , ed . Jonathon Connell and Sridhar Mahadevan , Kluwer , 1992 . A postscript version and an abstract are available .


********************
 Learning Dynamics : System Identification for Perceptually Challenged Agents , by Kenneth Basye , Thomas Dean and Leslie Kaelbling , Artificial Intelligence , Volume 72 , Pages 139 - 171 , 1995 . A postscript version and an abstract are available .


********************
 Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning , by Thomas Dean , Dana Angluin , Kenneth Basye , Sean Engelson , Leslie Kaelbling , Evangelos Kokkevis , and Oded Maron , Machine Learning Journal , Volume 18 , Number 1 , Pages 81 - 108 , 1995 . A postscript version and an abstract are available .


********************
 Coping With Uncertainty in Map Learning , Kenneth Basye , Thomas Dean , and Jeffrey Scott Vitter , Machine Learning Journal , Volume 29 , 1997 . A/<JN> postscript/<JN> version/<JN> of/<JN> the/<JN> journal/<JN> article/<JN> ,/<JN> a/<JN> postscript/<JN> version/<JN> of/<JN> the/<JN> shorter/<JN> conference/<JN> article/<JN> ,/<DE> and an abstract are available .
-------------
A should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
postscript should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
version should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
of should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
the should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
journal should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
article should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
, should be:<FL> but:<JN>
<TI> s12:0
<VO> s12:0.0007
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.963
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0362
-------------
a should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
postscript should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
version should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
of should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
the should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
shorter should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
conference should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
article should be:<FL> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
, should be:<FL> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0
<DE> s12:0.9996


********************
 Exploiting Locality in Searching the Web , by Joel Young and Tom Dean , in the Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence ,/<DE> CUAI/<GL> ,/<GL> Acapulco , Mexico , 2003 . A PDF version is available .
-------------
, should be:<JN> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1
-------------
CUAI should be:<JN> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.994
<OR> s12:0.0009
<DA> s12:0
<PU> s12:0.0026
<JN> s12:0
<AU> s12:0.0017
<FL> s12:0
<NG> s12:0.0009
<DE> s12:0
-------------
, should be:<DE> but:<GL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.9999
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0001


********************
 Planning and Control , by Thomas Dean and Michael Wellman , Morgan Kaufmann , 1991 . This/<TI> book/<TI> addresses/<TI> the/<TI> problem/<TI> of/<TI> controlling/<TI> the/<TI> behavior/<TI> of/<TI> an/<TI> agent/<TI> embedded/<TI> in/<TI> a/<TI> dynamic/<TI> environment/<TI> ./<TI> The/<TI> treatment/<TI> ties/<TI> together/<TI> techniques/<TI> from/<TI> artificial/<TI> intelligence/<TI> ,/<DE> operations/<JN> research/<JN> ,/<JN> control/<JN> theory/<JN> ,/<TI> and/<TI> the/<TI> decision/<TI> sciences/<TI> .
-------------
This should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
book should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
addresses should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
the should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
problem should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
of should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
controlling should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
the should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
behavior should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
of should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
an should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
agent should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
embedded should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
in should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
a should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
dynamic should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
environment should be:<NG> but:<TI>
<TI> s12:0.9921
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.0021
<AU> s12:0.0052
<FL> s12:0
<NG> s12:0.0005
<DE> s12:0
-------------
. should be:<NG> but:<TI>
<TI> s12:0.9596
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0404
-------------
The should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
treatment should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
ties should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
together should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
techniques should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
from should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
artificial should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
intelligence should be:<NG> but:<TI>
<TI> s12:1
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<NG> but:<DE>
<TI> s12:0.0011
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.9989
-------------
operations should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
research should be:<NG> but:<JN>
<TI> s12:0.0016
<VO> s12:0.0325
<PP> s12:0.0004
<GL> s12:0
<OR> s12:0.0012
<DA> s12:0.0037
<PU> s12:0
<JN> s12:0.9577
<AU> s12:0
<FL> s12:0.0004
<NG> s12:0.0025
<DE> s12:0
-------------
, should be:<NG> but:<JN>
<TI> s12:0.0005
<VO> s12:0.0005
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.9733
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0257
-------------
control should be:<NG> but:<JN>
<TI> s12:0.3385
<VO> s12:0.0154
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6462
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
theory should be:<NG> but:<JN>
<TI> s12:0.3385
<VO> s12:0.0154
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.6462
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<NG> but:<TI>
<TI> s12:0.785
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1498
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0.0651
-------------
and should be:<NG> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
the should be:<NG> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
decision should be:<NG> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
sciences should be:<NG> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 A Decision - Theoretic Approach to Planning ,/<DE> Perception/<AU> ,/<DE> and Control , by Kenneth Basye , Thomas Dean , Jak Kirman , and Moises Lejter , IEEE Expert , Volume 7 , Number 4 , Pages 58 - 65 , 1992 . A postscript version and an abstract are available .
-------------
, should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.0865
<FL> s12:0
<NG> s12:0
<DE> s12:0.9135
-------------
Perception should be:<TI> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:1
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<TI> but:<DE>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:1


********************
 Decision - Theoretic Deliberation Scheduling for Problem Solving in Time - Constrained Environments , by Mark Boddy and Thomas Dean , Artificial Intelligence , Volume 67 , Number 2 , Pages 245 - 286 , 1994 . A postscript version and an abstract are available .


********************
 Solving Time - Critical Decision - Making Problems with Predictable Computational Demands , by Lloyd Greenwald and Thomas Dean , in Proceedings of the Second International Conference on AI Planning Systems , 1994 . A postscript version is available .


********************
 Anticipating Computational Demands when Solving Time - Critical Decision - Making Problems , by Lloyd Greenwald and Thomas Dean , in/<TI> The/<TI> Algorithmic/<TI> Foundations/<TI> of/<TI> Robotics/<TI> , ed . K. Goldberg , D. Halperin , J. C. Latombe , and R. Wilson , A. K. Peters ,/<AU> Boston , MA , 1995 . A postscript version is available .
-------------
in should be:<JN> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
The should be:<JN> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Algorithmic should be:<JN> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Foundations should be:<JN> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<JN> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Robotics should be:<JN> but:<TI>
<TI> s12:0.95
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.05
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
, should be:<DE> but:<AU>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0.0327
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0.6422
<FL> s12:0
<NG> s12:0
<DE> s12:0.325


********************
 A Conditional Scheduling Approach to Designing Real - Time Systems , by Lloyd Greenwald and Thomas Dean , in Proceedings of the Fourth International Conference on in AI Planning Systems , Pittsburgh , Pennsylvania , 1998 . A postscript version is available .


********************
 Exploiting Locality in Temporal Reasoning , by Shieu - Hong Lin and Thomas Dean , in Current Trends in AI Planning , ed . E. Sandewall and C. Backstrom , IOS Press , Amsterdam , 1994 . A postscript version is available .


********************
 Localized/<FL> Temporal/<FL> Reasoning/<FL> Using/<FL> Subgoals/<FL> and/<FL> Abstract/<FL> Events/<FL> , by Shieu - Hong Lin and Thomas Dean , Computational Intelligence , Volume 12 , Number 3 , Pages 423 - 449 , 1996 . A postscript version and abstract are available .
-------------
Localized should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
Temporal should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
Reasoning should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
Using should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
Subgoals should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
and should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
Abstract should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0
-------------
Events should be:<TI> but:<FL>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:1
<NG> s12:0
<DE> s12:0


********************
 Package Routing in Transportation Networks with Fixed Vehicle Schedules : Formulation , Complexity Results and Approximation Algorithms , by Lloyd Greenwald and Thomas Dean , Networks/<TI> , Volume 27 , Pages 81 - 93 , 1996 . A postscript version is available .
-------------
Networks should be:<JN> but:<TI>
<TI> s12:0.8182
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:0
<DA> s12:0
<PU> s12:0
<JN> s12:0.1818
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0


********************
 A Framework for the Development of Multi - Agent Architectures , by Moises Lejter and Thomas Dean , IEEE Expert , Volume 11 , 1996 . A postscript version is available .


********************
 Monte Carlo Simulation and Bottleneck - Centered Heuristics for Time - Critical Scheduling in Stochastic Domains , by Lloyd Greenwald and Thomas Dean , in Proceedings of ARPA / Rome Lab Workshop on Planning and Scheduling , 1994 . A postscript version is available .


********************
 A Formal Description of the Distributed Transportation Problem , Thomas Dean and Lloyd Greenwald , Brown/<OR> University/<OR> Department/<OR> of/<OR> Computer/<OR> Science/<OR> Technical/<OR> Report/<OR> CS/<OR> -/<OR> 92/<OR> -/<OR> 14/<OR> , 1992 .
-------------
Brown should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
University should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Department should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
of should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Computer should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Science should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Technical should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
Report should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
CS should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
92 should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
- should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0
-------------
14 should be:<JN> but:<OR>
<TI> s12:0
<VO> s12:0
<PP> s12:0
<GL> s12:0
<OR> s12:1
<DA> s12:0
<PU> s12:0
<JN> s12:0
<AU> s12:0
<FL> s12:0
<NG> s12:0
<DE> s12:0

