@string{

@string{SRI = "SRI International"}
@string{AAII = "Australian Artificial Intelligence Institute"}
@string{JSL = "Journal of Symbolic Logic"}
@string{AIJ = "Artificial Intelligence"}
@string{AIM = "AI Magazine"}
@string{IE = "IEEE Expert"}
@string{CI = "Computational Intelligence"}
@string{CACM = "Communications of the ACM"}
@string{ijgis = "International Journal of Geographic Information Systems"}
@string{CIT87 = "IEE Second International Conference on Command, Control, Communications and Management Information Systems"}
@string{CIT89 = "IEE Third International Conference on Command, Control, Communications and Management Information Systems"}
@string{AICOM = "AI Communications : The European Journal on Artificial Intelligence"}
@string{PAMI = "IEEE Transactions on Pattern Analysis and Machine Intelligence"}
@string{AAG = "Proceedings of the annual AI systesm in government conference"}
@string{AAAI80 = "Proceedings of the 1st AAAI"}
@string{AAAI86 = "Proceedings of the 5th AAAI"}
@string{AAAI87 = "Proceedings of the 6th AAAI"}
@string{AAAI88 = "Proceedings of the 7th AAAI"}
@string{AAAI90 = "Proceedings of the 8th AAAI"}
@string{AAAI91 = "Proceedings of the 9th AAAI"}
@string{AAAI92 = "Proceedings of the 10th AAAI"}
@string{IJCAI69 = "Proceedings of the 1st IJCAI"}
@string{IJCAI71 = "Proceedings of the 2nd IJCAI"}
@string{IJCAI73 = "Proceedings of the 3rd IJCAI"}
@string{IJCAI74 = "Proceedings of the 4th IJCAI"}
@string{IJCAI77 = "Proceedings of the 5th IJCAI"}
@string{IJCAI83 = "Proceedings of the 8th IJCAI"}
@string{IJCAI85 = "Proceedings of the 9th IJCAI"}
@string{IJCAI87 = "Proceedings of the 10th IJCAI"}
@string{IJCAI89 = "Proceedings of the 11th IJCAI"}
@string{IJCAI91 = "Proceedings of the 12th IJCAI"}
@string{IJCAI93 = "Proceedings of the 13th IJCAI"}
@string{AIPLAN92 = "Proceedings of the First International Conference on AI Planning Systems"}
@string{ICTAI = "Proceedings of the International Conference on Tools for Artificial Intelligence"}
@string{UMUAI = "Journal of User Modeling and User-Adapted Interaction"}

@inproceedings{Agre-Chapman:87,
   author = {Agre, P. and Chapman, D.},
   booktitle = AAAI87,
   pages = {268-272},
   title = {Pengi: An Implementation of a Theory of Activity},
   year = {1987},
   annote = {reactive planning
}
}

@inproceedings{Agre-Horswill:92,
   author = {Agre, Philip and Horswill, Ian},
   booktitle = AAAI92,
   pages = {363-368},
   title = {Cultural support for improvisation},
   year = {1992},
   annote = {planning general 
ok, Drev
}
}

@article{Allen-al:92,
   author = {Allen, John A. and Langley, Pat and Matwin, Stan},
   title = {Knowledge and Regularity in Planning},
   year = {1992},
   annote = {ok, drev
via personal email communication with Allen.
not read
}
}

@book{Allen-Hendler-Tate:90,
   editor = {Allen, James and Hendler, James and Tate, Austin},
   publisher = {Morgan Kaufmann},
   title = {Readings in Planning},
   year = {1990},
   annote = {planning - collection
ok
}
}

@article{Allen-Perault:78,
   author = {Allen, James F., Perrault, C. Raymond},
   journal = {CSCSL},
   title = {Participating in Dialogues: Understanding via Plan Deduction},
   year = {1978},
   annote = {plan recognition
 PR paper
}
}

@article{Allen-Perrault:80,
   author = {Allen, James F., Perrault, C. Raymond},
   journal = {Artificial Intelligence},
   pages = {143-178},
   title = {Analyzing intention in utterances},
   volume = {15},
   year = {1980},
   annote = {plan recognition
 PR paper
}
}

@inproceedings{Allen:83a,
   author = {Allen, J. and Koomen, J},
   booktitle = IJCAI83,
   pages = {741-747},
   title = {Planning Using a Temporal World Model},
   year = {1983},
   annote = {temporal reasoning
}
}

@article{Allen:83b,
   author = {Allen, James F.},
   journal = {Communications of the ACM},
   number = {11},
   pages = {832-843},
   title = {Maintaining Knowledge about Temporal Intervals},
   volume = {26},
   year = {1983},
   annote = {temporal
}
}

@article{Allen:84,
   author = {Allen, James F.},
   journal = AIJ,
   number = {2},
   pages = {123-154},
   title = {Towards a General Theory of Action and Time},
   volume = {23},
   year = {1984},
   annote = {temporal
}
}

@techreport{Alterman:87,
   author = {Alterman, Richard},
   institution = {University of California at Berkeley},
   number = {304},
   title = {Issues in Adaptive Planning},
   type = {Technical Report},
   year = {1987},
   annote = {planning - adaptive}
}

@article{Altschul-Lipman:89,
   author = {Altschul, S.F. and Lipman, D.J.},
   journal = {SIAM Journal on Applied Mathematics},
   pages = {197-209},
   title = {Trees, Stars, and Multiple Biological Sequence Alignment},
   volume = {49},
   year = {1989},
   annote = {merging}
}

@incollection{Amarel:68,
   author = {Amarel, Saul},
   booktitle = {Machine Intelligence 3},
   editor = {Michie, D.},
   pages = {131-171},
   publisher = {Edinburgh University Press},
   title = {On Representations of Problems of Reasoning about Actions},
   year = {1968},
   annote = {temporal}
}

@inproceedings{Anderson-Farley:88,
   author = {Anderson, J. and Farley, A.},
   booktitle = AAAI88,
   title = {Plan Abstraction Based on Operator Generalization},
   year = {1988},
   annote = {planning - abstraction
}
}

@techreport{Antaki:89,
   author = {Anataki, John},
   institution = {Defence Research Establishment Valcartier},
   note = {Unclassified},
   number = {W7701-8-3535/01-XSK},
   title = {Analysis of the Division ICAC for an Artificial Intelligence / Expert System Current Enemy Situation Prototype Development},
   type = {Contractor},
   year = {1989},
   annote = {ok, Drev
}
}

@book{Anthony:92,
   author = {Anthony, Martin and Biggs, Norman},
   publisher = {Cambridge University Press},
   title = {Computational Learning Theory},
   year = {1992}
}

@inproceedings{Bacchus-Yang:91,
   author = {Bacchus, Fahiem and Yang, Qiang},
   address = {Sydney, Australia},
   booktitle = IJCAI91,
   month = {August},
   pages = {286-292},
   title = {The Downward Solution Property},
   year = {1991},
   annote = {planning - abstraction
}
}

@inproceedings{Bacchus-Yang:92,
   author = {Bacchus, Fahiem and Yang, Qiang},
   booktitle = AAAI92,
   pages = {369-374},
   title = {The Expected Value of Hierarchical Problem-Solving},
   year = {1992},
   annote = {planning - abstraction
ok, Drev
}
}

@unpublished{Bacchus-Yang:92b,
   author = {Bacchus, Fahiem and Yang, Qiang},
   month = {August},
   note = {personal correspondence},
   title = {Downward Refinement and the Efficiency of Hierarchical Problem Solving},
   year = {1992},
   annote = {planning - abstraction
This paper contains work from BY91 and BY92 also.
ok, Drev}
}

@article{Ballard:87,
   author = {Ballard, D.H.},
   journal = {Readings in Computer Vision: Issues, Principles and Paradigms},
   pages = {714-725},
   title = {Generalizing the Hough transform to detect arbitrary shapes},
   year = {1987},
   annote = {model matching
ok, Laval TA 1632.R39.1987
}
}

@inproceedings{Band:87,
   author = {Band, T.A.},
   booktitle = CIT87,
   organization = {EASAMS Ltd, UK},
   title = {A demonstrator for intelligent data fusion},
   year = {1987},
   annote = {ok, Drev
Templates - background}
}

@article{Barley:92,
   author = {Barley, Michael, W.},
   journal = {Proceedings of the Knowledge Compilation and Speedup Learning Workshop, IML Conference},
   note = {Aberdeen},
   title = {Towards planners that can reason about their beliefs},
   year = {1992},
   annote = {ok, drev
personal communication with barley}
}

@article{Barlow-Taylor:87,
   author = {Barlow, S. and Taylor, M.},
   journal = {unknown},
   note = {Cambridge Consultants Ltd, UK},
   pages = {143-148},
   title = {The integration of short range sensor data},
   year = {1987},
   annote = {ok, Drev
 Templates - background}
}

@unpublished{Barrett-al:92,
   author = {Barret, Anthony and Golden, Keith, and Penberthy, Scott J. and Weld, Daniel S.},
   institution = {University of Washington, Dept. of Computer Science and Engineering},
   number = {92-05-01},
   title = {UCPOP Users Manual},
   type = {Technical Report},
   year = {1992},
   annote = {planning - nonlinear
ok, Drev
see also ucpop paper}
}

@techreport{Barrett-Weld:93,
   author = {Barrett, Anthony and Weld, Daniel S.},
   institution = {University of Washington, Dept. of Computer Science and Engineering},
   number = {92-05-01},
   title = {Partial-Order Planning},
   type = {Technical Report},
   year = {1993},
   annote = {planning - nonlinear
ok, Drev

@book{Barwise:77,
   author = {Barwise, Jon},
   address = {Amsterdam},
   publisher = {North-Holland},
   title = {Handbook of Mathematical Logic},
   year = {1977},
   annote = {logic
}
}

@article{Bender:86,
   author = {Bender, Michael},
   journal = {MILCOM 86: 1986 IEEE Miitary Communications Conference},
   note = {Ford Aerospace & Communications Corporation},
   pages = {11.5.1-11.5.5},
   title = {Distributed expert systems for C3I},
   year = {1986}
}

@inproceedings{Bessiere:91,
   author = {Bessiere, Christian},
   booktitle = AAAI91,
   journal = AAAI91,
   pages = {221-226},
   title = {Arc-consistency in dynamic constraint satisfaction problems},
   volume = {1},
   year = {1991},
   annote = {constraint sat
ok, Drev
}
}

@misc{Blackboard:88,
   author = {Unknown},
   howpublished = {Chapter 17 of QA 76/76 E95 W235},
   title = {Knowledge Crafting with Blackboard Representations},
   year = {1988},
   annote = {ok, Drev
 Templates - general}
}

@article{Boddy-Dean:90,
   author = {Boddy, Mark and Dean, Thomas},
   journal = {Unknown},
   pages = {979-984},
   title = {Solving time-dependent planning problems},
   year = {1989},
   annote = {ok, Mmath  1990 ?  In book "Planning, Scheduling, Reasoning about Actions" ?
planning - temporal}
}

@book{Bolc-Cytowski:92,
   author = {Bolc, Leonard and Cytowski, Jerzy},
   note = {QA 76.16 B65 1992 C.2},
   title = {Search Methods for AI},
   year = {1992},
   annote = {ok, Drev
 copy chapter 4.5 non-exhaustive hill climbing
 copy chapter 7 constraint satisfaction problems (search)
 remainder of book c/o Luc Lamontagne, Micheline Belanger DREV
}
}

@misc{Bonasso:88,
   author = {Bonnassa, Peter R.},
   howpublished = {In book, Chapter 7 of AQ 76.76 E95 E96},
   note = {Mitre Corporation},
   title = {Military Systems},
   year = {1988},
   annote = {ok, Drev
 Templates - background
 this is an excellent background paper about integration of systems and AI to the 
 military intel domain.  }
}

@techreport{Booth-Colbourn:77,
   author = {Booth, Kellogg, S. and Colbourn, Charles, J.},
   institution = {University of Waterloo},
   month = jun,
   number = {CS-77-04},
   title = {Problems Polynomially Equivalent to Graph Isomorphism},
   type = {Technical Report},
   year = {1977},
   annote = {ok
ref to 666 Lubiw paper,c/o Colbourn}
}

@incollection{Brachman:79,
   author = {Brachman, Ron},
   booktitle = {Associative Networks},
   publisher = {Findler, Nicholas (ed.), Academic Press},
   title = {On the Epistemological Status of Semantic Networks},
   year = {1979},
   annote = {semantic nets
}
}

@unpublished{Butler-Ohtsubo:91,
   author = {Butler, Jim and Ohtsubo, Hideomi},
   institution = AAII,
   number = {3},
   title = {ADDYMS: Architecture for Distributed DYnamic Manufacturing Scheduling},
   type = {Technical note},
   year = {1991},
   annote = {planning - application
ok, Univeristy of Tokyo, Aus
}
}

@unpublished{Campbell:91,
   author = {Campbell, David et al},
   month = nov,
   title = {SOL: A persistent spatial object library},
   year = {1991},
   annote = {spatial reasoning
ok, internal CSIRO
}
}

@inproceedings{Carberry:83,
   author = {Carberry, Sandra},
   address = {Washington, DC},
   booktitle = {Proceedings of The National Conference on Artificial Intelligence},
   pages = {59-63},
   title = {Tracking user goals in an information-seeking environment},
   year = {1983},
   annote = {plan recognition
 PR paper
}
}

@article{Carberry:88,
   author = {Carberry, Sandra},
   journal = {Computational Linguistics},
   number = {3},
   pages = {23-37},
   title = {Modeling the user's plans and goals},
   volume = {14},
   year = {1988},
   annote = {plan recog
 PR paper
}
}

@techreport{Carberry:90,
   author = {Carberry, Sandra},
   institution = {University of Delaware},
   number = {90-08},
   title = {A New Look at Plan Recognition in Natural Language Dialogue},
   type = {Technical Report},
   year = {1990},
   annote = {plan recognition
}
}

@article{Carberry:90b,
   author = {Carberry, Sandra},
   journal = AAAI90,
   pages = {471-478},
   title = {Incorporating default inferences into plan recognition},
   volume = {1},
   year = {1990},
   annote = {ok,
phd research june 1994}
}

@article{Eller-Carberry:92,
   author = {Eller, Rhonda and Carberry, Sandra},
   journal = UMUAI,
   number = {1-2},
   pages = {27-53},
   title = {A meta-rule approach to flexible plan recognition in dialogue},
   volume = {2},
   year = {1992},
   annote = {ok,
phd research june 1994}
}

@article{Sarner-Carberry:92,
   author = {Sarner, Margaret and Carberry, Sandra},
   journal = UMUAI,
   number = {3},
   pages = {181-210},
   title = {Generating tailored definitions using a multifaceted user model},
   volume = {2},
   year = {1992},
   annote = {ok,
phd research june 1994}
}

@article{Mooney-al:91,
   author = {Mooney, David J. and Carberry, Sandra and McCoy, Kathleen F.},
   journal = CI,
   pages = {334-356},
   title = {Capturing high-level structure of naturally occurring, extended explanations using bottom-up strategies},
   volume = {7},
   year = {1991},
   annote = {ok,phd research june 1994}
}

@article{Lemke-Fischer:90,
   author = {Lemke, Andreas C. and Fischer, Gerhard},
   journal = AAAI90,
   pages = {479-484},
   title = {A cooperative problem solving system for user interface design},
   volume = {1},
   year = {1990},
   annote = {ok, phd research june 1994}
}

@techreport{Cavedon-al:90,
   author = {Cavedon, L. and Ljunberg, M. and Morley, D.},
   institution = AAII,
   number = {9},
   title = {A search-based system for manufacturing scheduling},
   type = {Technical note},
   year = {1990},
   annote = {planning  - application
ok, Aus
}
}

@incollection{Cervoni-Rousseaux:92,
   author = {Cervoni, Laurent and Rousseaux, Francis},
   booktitle = {Lecture Notes in Artificial Intelligence},
   editor = {Belli, F. and Radermacher, F.J.},
   pages = {401-410},
   publisher = {Springer-Verlag},
   series = {Lecture Notes in Computer Science},
   title = {Solving temporal constraints satisfaction problems with an object-oriented model},
   volume = {604},
   year = {1992},
   annote = {temporal - constraint
ok, Laval Feb 93
}
}

@article{Chapman:87,
   author = {Chapman, David},
   journal = AIJ,
   pages = {333-377},
   title = {Planning for Conjunctive Goals},
   volume = {32},
   year = {1987},
   annote = {planning
ok, Mmath basis paper
}
}

@article{Chapman:89,
   author = {Chapman, David},
   journal = AIM,
   month = {Winter},
   pages = {45-50},
   title = {Penguins can make cake},
   year = {1989},
   annote = {planning - general
ok, Mmath
}
}

@book{Charniak-Mcdermott:85,
   author = {Charniak, Eugene and McDermott, Drew},
   publisher = {Addison-Wesley Publishing Company},
   title = {Introduction to Artificial Intelligence},
   year = {1985},
   annote = {ai general
ok
}
}

@unpublished{Christensen:89,
   author = {Christensen, Jens},
   title = {PABLO: A hierarchical planner that generates its own
abstraction hierarchies},
   year = {1989},
   annote = {planning - abstraction
ok, Mmath
}
}

@unpublished{Christensen:89b,
   author = {Christensen, Jens},
   title = {Using abstractions to achieve reactivity in planning},
   year = {1989},
   annote = {planning - abstr / reactiv
ok, Mmath
}
}

@inproceedings{Christensen:90,
   author = {Christensen, Jens},
   booktitle = AAAI90,
   pages = {1004-1009},
   title = {A Hierarchical Planner that Creates its Own
 Hieararchies},
   year = {1990},
   annote = {planning - abstraction},
   place = "Boston, MA"
}

@inproceedings{Christiansen-al:90,
   author = {Christiansen, Alan and Mason, Matthew and Mitchell, Tom},
   booktitle = {Proceedings of the 1990 International conference on Robotics and Automation},
   title = {Learning reliable manipulation strategies without initial physical models},
   year = {1990},
   annote = {robot action
ok, Mmath
}
}

@inproceedings{Collins-Pryor:92,
   author = {Collins, Gregg and Pryor, Louise},
   booktitle = AAAI92,
   journal = AAAI92,
   pages = {375-380},
   title = {Achieving the functionality of filter conditions in a
partial order planner},
   year = {1992},
   annote = {planning - filter conditions
ok, Drev}
}

@techreport{Combat-Intel:88,
   author = {Army Doctrine and Tactics Board},
   address = {Mobile Command Headquarters, St-Hubert, Quebec},
   institution = {National Defence, Canada},
   month = aug,
   note = {Unclassified},
   number = {FMC 2910-CFP 315(2)},
   title = {Combat Intelligence, First Draft},
   year = {1988},
   annote = {unclassifed, materials may be exempt from disclosure}
}

@article{Cooper-Swain:92,
   author = {Cooper, Paul and Swain, Michael},
   journal = AIJ,
   month = dec,
   pages = {207-235},
   title = {Arc consistency: parallelism and domain independence},
   volume = {58},
   year = {1992},
   annote = {constraint satisfaction
ok, Drev Mar/93
}
}

@article{Cooper:89,
   author = {Cooper, Martin C.},
   journal = AIJ,
   pages = {89-95},
   title = {An optimal k-consistency algorithm},
   volume = {41},
   year = {1989},
   annote = {constraint sat
ok, Drev Mar 93
}
}

@article{Cooper:92,
   author = {Cooper, Paul R.},
   journal = CI,
   number = {1},
   pages = {25-44},
   title = {Structure recognition by connectionist relaxation formal analysis},
   volume = {8},
   year = {1992},
   annote = {model matching - neural
ok, Drev Mar 93
}
}

@article{Corkhill:90,
   author = {Corkhill, Daniel},
   journal = {AI Review},
   month = {Summer},
   note = {Blackboard Technology Group},
   pages = {21-24},
   title = {A generic framework for blackboard applications},
   year = {1990},
   annote = {ok, Drev
 Templates - general
}
}

@book{Cormen-al:92,
   author = {Cormen, Thomas H. and Leiserson, Charles E. and Rivest, Ronald, L.},
   publisher = {McGraw-Hill Book Company},
   title = {Intoduction to Algorithms},
   year = {1992},
   annote = {666 text
}
}

@inproceedings{Dalal:92,
   author = {Dalal, Mukesh},
   booktitle = AAAI92,
   pages = {409-414},
   title = {Efficient propositional constraint propagation},
   year = {1992},
   annote = {constraint sat
ok, DREV
}
}

@inproceedings{Dean-Boddy:88a,
   author = {Dean, T. and Boddy, M.},
   booktitle = AAAI88,
   pages = {49-54},
   title = {An Analysis of Time-Dependent Planning},
   year = {1988},
   annote = {temporal
}
}

@article{Dean-Boddy:88b,
   author = {Dean, T. and Boddy, M.},
   journal = AIJ,
   pages = {375-399},
   title = {Reasoning about Partially Ordered Events},
   volume = {36},
   year = {1988},
   annote = {temporal
ok, Mmath - response to Chapman in part
}
}

@inproceedings{Dechter-Dechter:87,
   author = {Dechter, A. and Dechter, R.},
   booktitle = AAAI87,
   pages = {105-109},
   title = {Removing Redundancies in Constraint Networks},
   year = {1987},
   annote = {constraint satisfaction
}
}

@article{Dechter-Meiri:88,
   author = {Dechter, Rina and Meiri, Itay},
   journal = {unknown},
   pages = {271-277},
   title = {Experimental evaluation of preprocessing techniques in constraint satisfaction problems},
   year = {1988?},
   annote = {constraint satisfaction
ok, Drev Mar/93
}
}

@article{Dechter-Pearl:87,
   author = {Dechter, R. and Pearl, J.},
   journal = AIJ,
   title = {Network-Based Heuristics for Constraint-Satisfaction Problems},
   volume = {34},
   year = {1987},
   annote = {constraint satisfaction
}
}

@article{Dechter-Pearl:89,
   author = {Dechter, R. and Pearl, J.},
   journal = AIJ,
   pages = {353-366},
   title = {Tree clustering for constriant networks},
   volume = {38},
   year = {1989},
   annote = {constraint sat
ok, Drev Mar/93
}
}

@inproceedings{Dechter:90a,
   author = {Dechter, R.},
   booktitle = {Eighth Canadian Conference on Artificial Intelligence},
   title = {From Local to Global Consistency},
   year = {1990},
   annote = {constraint satisfaction
}
}

@article{Dechter:90b,
   author = {Dechter, Rina},
   journal = aij,
   pages = {273-312},
   title = {                  Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition},
   volume = {41},
   year = {1990},
   annote = {constraint sat
ok, Drev Mar 93
}
}

@article{Dechter:92,
   author = {Dechter, Rina},
   journal = AIJ,
   pages = {87-107},
   title = {From local to global consistency},
   volume = {55},
   year = {1992},
   annote = {constraint sat
ok, Drev Mar 93
}
}

@inproceedings{Derfee-Lesser:87,
   author = {Derfee, E.H. and Lesser, V.R.},
   booktitle = IJCAI87,
   pages = {875-883},
   title = {Using partial global plans to coordinate distributed
 problem solvers},
   year = {1987},
   annote = {planning
not read, dont have it}
}

@techreport{DesGroseilliers:92,
   author = {Des Groseilliers, L.},
   address = {Valcartier, Quebec},
   institution = {Defense Research Establishment Valcartier},
   month = feb,
   note = {Unclassified},
   number = {3093/92},
   title = {Tactical Information Fusion Prototype:  Basic Intelligence},
   type = {Memorandum},
   year = {1992},
   annote = {Unclassified, distribution limited to Defense and contractors NATO and
 TTCP countries
Tif Basic}
}

@techreport{DREV-ka:90,
   author = {Acquired Intelligence Inc.},
   institution = {Defense Research Establishment Valcartier},
   month = may,
   note = {Unclassified},
   number = {W7701-8-5202/01-XSK},
   title = {Knowledge Acquisition for Combat Intelligence},
   type = {Contract},
   year = {1990},
   annote = {ok, Drev}
}

@article{Drummond-Currie:88,
   author = {Drummond, Mark and Currie, Ken},
   journal = CI,
   number = {2},
   pages = {341-348},
   title = {Exploiting temporal coherence in nonlinear plan
 construction},
   volume = {4},
   year = {1988},
   annote = {planning - nonlinear
}
}

@unpublished{Dube-Yap:642,
   author = {Dube, Thomas and Yap, Chee-Keng},
   note = {c/o Dominic Duggan, cs642},
   title = {The geometry in constraint logic programs},
   annote = {ok, UW}
}

@booklet{duggan:93,
   author = {Dominic Duggan},
   howpublished = {University of Waterloo, Department of Computer Science},
   month = {Fall},
   title = {CS 442/642 Principles of Programming Languages},
   year = {1993},
   annote = {purchased for 642, UofW bookstore}
}

@article{Eades:87,
   author = {Eades, Peter and Ng, Hoe Chin},
   journal = {ARS Combinatoria},
   pages = {95-104},
   title = {An algorithm for detecting symmetries in drawings},
   volume = {23A},
   year = {1987},
   annote = {UW 94 for 666 term paper
cites Lubiw:81
QA164.A7x
}
}

@book{Encyclopedia:87,
   editor = {Shapiro, Stuart C.},
   note = {Q335.E53 1987},
   publisher = {John WIley and Sons},
   title = {Encyclopedia of Artificial Intelligence},
   volume = {1,2},
   year = {1987},
   annote = {ok, Drev
ai general
Index copied for reference}
}

@inproceedings{Erol-al:92,
   author = {Erol, Kuthuhan, Nau, Dana, and Subrahmanian, V.S.},
   booktitle = AAAI92,
   journal = AAAI92,
   pages = {381-386},
   title = {On the complexity of domain-independent planning},
   year = {1992},
   annote = {planning - complexity
ok, Drev
}
}

@unpublished{Etzioni:91,
   author = {Etzioni, Oren},
   month = jul,
   title = {A structural theory of explanation-based learning},
   year = {1991},
   annote = {explanation learning
ok, Draft work only
}
}

@inproceedings{Fausto-Walsh:89,
   author = {Giunchiglia, Fausto and Walsh, Toby},
   booktitle = IJCAI89,
   title = {Abstract Theorem Proving},
   year = {1989},
   annote = {theorem proving}
}

@article{Fikes-Hart-Nilsson:72,
   author = {Fikes, Richard and Hart, Peter and Nilsson, Nils},
   journal = AIJ,
   pages = {251-288},
   title = {Learning and Executing Generalized Robot Plans},
   volume = {3},
   year = {1972},
   annote = {planning
}
}

@article{Fikes-Nilsson:71,
   author = {Fikes, Richard and Nilsson, Nils},
   journal = AIJ,
   pages = {189-208},
   title = {STRIPS: A New Approach to the Application of
 Theorem Proving to Problem Solving},
   volume = {2},
   year = {1971},
   annote = {planning - strips
}
}

@article{Fikes-Nilsson:93,
   author = {Fikes, Richard and Nilsson, Nils},
   journal = AIJ,
   pages = {227-232},
   title = {STRIPS, a retrospective},
   volume = {59},
   year = {1993},
   annote = {planning strips
ok, Drev Mar 93
 This paper is a look back at the STRIPS work by the authors.  They point out what was
 new at the time of STRIPS, what was contributed by the STRIPS work in particular, 
 and observe what unresolved AI issues at that time made the work difficult and original.
 They reference as well areas that followed up on Strips specifically.}
}

@inbook{Fischler-Ferschein:87,
   author = {Fishcler, Firschein},
   chapter = {7},
   editor = {Fischler, Firschein},
   pages = {709-713},
   title = {Readings in Computer Vision: Issues, Principles and Paradigms},
   year = {1987},
   annote = {model matching
ok, Laval Feb 93, Chapter 7 introduction, TA 1632.R39.1987
}
}

@techreport{FM34-3:86,
   author = {United States Government},
   address = {Washington, DC},
   institution = {Headquarters, Department of the Army},
   month = jan,
   note = {Unclassified},
   number = {FM34-3},
   title = {Intelligence Analysis},
   type = {Field Manual},
   year = {1986},
   annote = {Drev document, FMC HQ received sep 28, 1987
note distribution restricted}
}

@article{Forgy:82,
   author = {Forgy, Charles L.},
   journal = AIJ,
   month = sep,
   number = {1},
   pages = {17-37},
   title = {RETE: A fast algorithm for the many pattern/many object pattern match problem},
   volume = {19},
   year = {1982},
   annote = {don't have it ; haven't read it
referenced in DREV work Aug/93}
}

@techreport{Fousler-Li-Yang:90,
   author = {Foulser, D.E. and Li, M. and Yang, Q.},
   institution = {University of Waterloo, Computer Science},
   number = {cs-90-40},
   title = {Theory and Algorithms for Plan Merging},
   type = {Technical Report},
   year = {1990},
   annote = {merging plans
}
}

@inproceedings{Fousler-Li-Yang:91,
   author = {Foulser, David and Li, Ming and Yang, Qiang},
   address = {Anaheim, CA},
   booktitle = AAAI91,
   pages = {673-679},
   title = {A Quantitative Theory of Plan Merging},
   year = {1991},
   annote = {merging plans
ok, Drev
}
}

@article{Fousler-Li-Yang:92,
   author = {Foulser, D.E. and Li, M. and Yang, Q.},
   institution = {University of Waterloo, Computer Science},
   journal = AIJ,
   pages = {143-181},
   title = {Theory and Algorithms for Plan Merging},
   type = {Technical Report},
   volume = {57},
   year = {1992},
   annote = {merging plans
ok, abstract only
}
}

@book{Fox:87,
   author = {Fox, Mark},
   publisher = {Morgan Kaufmann},
   title = {Constraint-Directed Search: A Case Study of Job-Shop
 Scheduling},
   year = {1987},
   annote = {constraint satisfaction
}
}

@article{Frawley-al:92,
   author = {Frawley, W. and Piatetsky-Shapiro, G. and Matheus, C.},
   journal = AIM,
   month = {Fall},
   pages = {57-70},
   title = {Knowledge discovery in databases: an overview},
   year = {1992},
   annote = {ok, Drev
 Templates - general
}
}

@article{Freduer:78,
   author = {Freuder, E.C.},
   journal = CACM,
   pages = {958-966},
   title = {Synthesizing constraint expressions.},
   volume = {21},
   year = {1978},
   annote = {constraint satisfaction, 
 cited by Cooper89 for j consistency algorithm

@article{Freuder-Mackworth:92,
   author = {Freuder, Eugene and Mackworth, Alan},
   journal = AIJ,
   pages = {1-2},
   title = {Introduction to the Special Volume on Constraint-Based Reasoning},
   volume = {58},
   year = {1992},
   annote = {constraint sat
ok, Drev
}
}

@techreport{Freuder-Quinn:85,
   author = {Freuder, E.C. and  Quinn, M.J.},
   institution = {Dept. of Computer Science, University of New Hampshire, Durham, NH},
   number = {85-21},
   title = {Parallelism in an algorithm that takes advantage of stable sets of variables to solve constraint satisfaction problems},
   type = {Technical Report},
   year = {1985},
   annote = {parallel csp
dont have it, havent read it
cited in Nadel 89}
}

@article{Freuder-Wallace:92,
   author = {Freuder, E. and Wallace, J.},
   journal = AIJ,
   month = dec,
   pages = {21-70},
   title = {Partial constraint satisfaction},
   volume = {58},
   year = {1992},
   annote = {constraint satisfaction
ok, Drev Mar/93
}
}

@article{Freuder:82,
   author = {Freuder, E.C.},
   journal = JACM,
   number = {1},
   pages = {23-32},
   title = {A Sufficient Condition of Backtrack-free Search},
   volume = {29},
   year = {1982},
   annote = {search
}
}

@inproceedings{Freuder:91,
   author = {Freuder, Eugene C.},
   booktitle = AAAI91,
   pages = {227-233},
   title = {Eliminating interchangeable values in constraint satisfaction problems},
   volume = {2},
   year = {1991},
   annote = {constraint sat
ok, Drev
}
}

@article{Friedland:91,
   author = {Friedland, Shmuel},
   journal = {Linear Algebra Applications},
   pages = {423-442},
   title = {Quadratic Forms:  The Graph-Isomorphism problem},
   volume = {150},
   year = {1991},
   annote = {UW 94  666 term paper
cited Lubiw:81
}
}

@phdthesis{Frisch:87,
   author = {Frisch, Alan},
   address = {Rochester, NY},
   month = {May},
   school = URCS,
   title = {Knowledge Retrieval as Specialized Inference},
   year = {1987},
   annote = {inference
}
}

@book{Garey-Johnson:79,
   author = {Garey, Michael R. and Johnson, David S},
   address = {Bell Laboratories, Murray Hill, New Jersey},
   publisher = {W. H. Freeman and Company},
   title = {Computers and Intractability : A guide to the theory of NP-Completeness},
   year = {1979},
   annote = {UW 94 - comps, and 666
THE book for proofs of NP-Completeness !
avail library or bart or anyone !
}
}

@booklet{Georgeff-Hendler:91,
   author = {Georgeff, M. and Hendler, J.},
   address = {Sydney, Australia},
   howpublished = {Tutorial, IJCAI 1991},
   month = aug,
   title = {Planning and Real Time Reasoning},
   year = {1991},
   annote = {planning - general
ok, attended tutorial at IJCAI
}
}

@article{Georgeff-Lansky:88,
   author = {Georgeff, Michael and Lansky, Amy},
   journal = {IJCAI},
   title = {Reactive reasoning and planning},
   year = {1988},
   annote = {planning - reactive
ok, reprint in Readings in Planning in pers. col.
}
}

@article{Georgeff:87,
   author = {Georgeff, Michael, P.},
   journal = {Ann. Rev. Comput. Sci.},
   title = {Planning},
   year = {1987},
   annote = {planning - general
ok, in Readings in Planning - in personal collec.
}
}

@techreport{Georgeff:89,
   author = {Georgeff, Michael},
   institution = AAII,
   number = {1},
   title = {The role of artificial intelligence in industrial applications},
   type = {Technical note},
   year = {1989},
   annote = {planning - application
ok, Aus
}
}

@techreport{Georgeff:91,
   author = {Georgeff, Michael, P.},
   institution = AAII,
   number = {21},
   title = {Situated reasoning and rational behavious},
   type = {Technical Note},
   year = {1991},
   annote = {planning - situated
ok, Aus
}
}

@article{Ghahraman-al:80,
   author = {Ghahraman, D. and Wong, A. and Tung, A.},
   journal = {IEEE Transactions on Systems, Man, and Cybernetics},
   month = {April},
   number = {4},
   pages = {181-188},
   title = {Graph optimal monomorphism algorithms},
   volume = {SMC-10},
   year = {1980},
   annote = {ok
c/o Phillip Wong related to 666, STR
}
}

@inproceedings{Ginsberg-Geddis:91,
   author = {Ginsberg, Matthew L. and Geddis, Donald F.},
   booktitle = AAAI91,
   pages = {452-457},
   title = {Is there any need for domain-dependent control information ?},
   volume = {2},
   year = {1991},
   annote = {search
ok, Drev
}
}

@article{Ginsberg-Harvery:92,
   author = {Ginsberg, Matthew and Harvey, William},
   journal = AIJ,
   pages = {367-383},
   title = {Iterative broadening},
   volume = {55},
   year = {1992},
   annote = {search
ok
}
}

@article{Ginsberg:89,
   author = {Ginsberg, Matthew},
   journal = AIM,
   month = {Winter},
   pages = {40-44},
   title = {Universal Planning: An (almost) universally bad idea},
   year = {1989},
   annote = {planning - general
ok, Mmath
}
}

@article{Ginsberg:89b,
   author = {Ginsberg, Matthew G.},
   journal = AIM,
   title = {Ginsberg replies to Chapman and Schoppers: Universal planning research: a good or bad idea ?},
   year = {1989},
   annote = {planning - general
ok, Mmath

@unpublished{Ginsberg:92,
   author = {Ginsberg, Matthew L.},
   note = {from Stanford ftp archives},
   title = {The computational value of nonmonotonic reasoning},
   year = {1992},
   annote = {ok, year uncertain
ai general
}
}

@article{Giunchiglia-Walsh:92,
   author = {Giunchiglia, Fausto and Walsh, Toby},
   journal = AIJ,
   title = {A theory of abstraction},
   volume = {57},
   year = {1992},
   annote = {abstraction
ok, Mmath in per. col.
}
}

@inproceedings{Godefroud-Kabanza:91,
   author = {Godefroid, Patrice and Kabanza, Froudald},
   booktitle = AAAI91,
   journal = AAAI91,
   pages = {640-645},
   title = {An efficient reactive planner for synthesizing reactive plans},
   volume = {2},
   year = {1991},
   annote = {planning - reactive
ok, Drev
}
}

@incollection{Goldman:90,
   author = {Alvin Goldman},
   booktitle = {Visual Cognition and Action},
   chapter = {6},
   editor = {Osherson, Kesslyn, Hollerbach},
   pages = {317-340},
   publisher = {MIT Press},
   title = {Action and Free Will},
   volume = {2},
   year = {1990},
   annote = {ai-general
ok, Laval Feb 93, ISBN 0-262-15036-0
}
}

@inproceedings{Green:69,
   author = {Green, Cordell},
   booktitle = IJCAI69,
   pages = {219-239},
   title = {Application of Theorem Proving to Problem Solving},
   year = {1969},
   annote = {theorem proving
}
}

@article{Grimson:90,
   author = {Grimson, W. Eric L.},
   journal = AIJ,
   pages = {121-165},
   title = {The combinatorics of object recognition in cluttered environments using constrained search},
   volume = {44},
   year = {1990},
   annote = {model matching
ok, Drev Mar 93
}
}

@incollection{Guan-Friedrich:92,
   author = {Guan, Qi and Friedrich, Gerhard},
   booktitle = {Lecture Notes in Computer Science},
   editor = {Belli, F. and Radermacher, F.J.},
   pages = {341-350},
   publisher = {Springer-Verlag},
   series = {Lecture Notes in Computer Science},
   title = {Extending constraint satisfaction problem solving in structural design},
   volume = {604},
   year = {1992},
   annote = {constraint sat, Lecture Notes in Artificial Intelligence
ok, Laval Feb 93
}
}

@article{Guesgen-Hertzberg:88,
   author = {Guesgen, Wans-Werner and Hertzberg, Joachim},
   journal = AIJ,
   pages = {237-247},
   title = {Some fundamental properties of local constraint propagation},
   volume = {36},
   year = {1988},
   annote = {constraint sat
ok , DREV Mar/93
}
}

@book{Guesgen-Hertzberg:92,
   author = {Guesgen, H. W. and Hertzberg, J.},
   number = {597},
   publisher = {Springer-Verlag},
   title = {A Perspective of Constraint-Based Reasoning: An Introductory Tutorial},
   year = {1992},
   annote = {constraint satisfaction QA76 L471 597 Lecture Notes in AI
}
}

@inproceedings{Gupta-Nau:91,
   author = {Gupta, Naresh and Nau, Dana S.},
   booktitle = AAAI91,
   journal = AAAI91,
   pages = {629-633},
   title = {Complexity results for blocks-world planning},
   volume = {2},
   year = {1991},
   annote = {planning - complexity
ok, Drev
}
}

@article{Gupta-Nau:92,
   author = {Gupta, Naresh and Nau, Dana S.},
   journal = AIJ,
   pages = {223-254},
   title = {On the complexity of blocks world planning},
   volume = {56},
   year = {1992},
   annote = {planning - complexity
ok
}
}

@article{Hadavi-al:92,
   author = {Hadavi, K. and Hsu, W-L. and Chen, T. and Lee, C-N.},
   journal = AIM,
   month = {Fall},
   pages = {46-56},
   title = {An architecture for real-time distributed scheduling},
   year = {1992},
   annote = {scheduling
ok
}
}

@inproceedings{Haddock:92,
   author = {Haddock, Nicholas},
   booktitle = AAAI92,
   journal = AAAI92,
   pages = {415-420},
   title = {Semantic evaluation as constraint network consistency},
   year = {1992},
   annote = {constraint sat
ok, Drev
}
}

@inproceedings{Halpern-Moses:85,
   author = {Halpern, Joseph Y. and Moses, Yorham},
   booktitle = IJCAI85,
   pages = {480--490},
   title = {A Guide to the Modal Logics of Knowledge and Belief},
   year = {1985},
   annote = {logic
}
}

@inproceedings{Halpern-Shoham:86,
   author = {Halpern, J. and Shoham, Y.},
   booktitle = {Proceedings of the Symposium on Logic in Computer Science},
   title = {A Propositional Modal Logic of Time Intervals},
   year = {1986},
   annote = {temporal
}
}

@unpublished{Hammond:82,
   author = {Hammond, Kristian},
   title = {Planning and goal interaction: the use of past solution in present situations},
   year = {1982},
   annote = {planning - goal interact
ok, Mmath CS Dept Yale University
h}
}

@article{Hammond:90,
   author = {Hammond, Kristian J.},
   journal = {Cognitive Science},
   pages = {385-443},
   title = {Case-based planning: A framework for planning from experience},
   volume = {14},
   year = {1990},
   annote = {planning - case-based
ok, Drev (Luc Lamontagne)
}
}

@article{Hansson-al:92,
   author = {Hansson, Othar and Mayer, Andrew and Valtorta, Marco},
   journal = AIJ,
   pages = {129-143},
   title = {A new result on the complexity of heuristic estimates of the A* algorithm},
   volume = {55},
   year = {1992},
   annote = {search
ok
}
}

@article{Haralick-Elliot:80,
   author = {Haralick, R.M. and Elliott, G.L},
   journal = AIJ,
   pages = {263-313},
   title = {Increasing Tree-search Efficiency for Constraint
 Satisfaction Problmes},
   volume = {14},
   year = {1980},
   annote = {ok, Drev
constraint satisfaction
}
}

@article{Hart-Nilsson-Rapahael:68,
   author = {Hart, P. and Nilsson, N. and Rapahael, B.},
   journal = {IEEE Transactions Systems Science and Cybernetics},
   pages = {100-107},
   title = {A formal basis for the heuristic determination of
 minimum cost paths},
   volume = {4(2)},
   year = {1968},
   annote = {search
}
}

@inproceedings{Hayes-Allen:87,
   author = {Hayes, Patrick J. and Allen, James F.},
   address = {Milan, Italy},
   booktitle = IJCAI87,
   title = {Short Time Periods},
   year = {1987},
   annote = {temporal
}
}

@inproceedings{Hayes:89,
   author = {Hayes, Caroline C},
   address = {Detroit, Michigan},
   booktitle = IJCAI89,
   title = {A Model of Planning for Plan Efficiency: Taking
 Advantage of Operator Overlap},
   year = {1989},
   annote = {planning - Machinist
}
}

@article{Hendler-Tate-Drummond:90,
   author = {Hendler, James and Tate, Austin and Drummond, Mark},
   journal = AIM,
   month = {Summer},
   number = {2},
   pages = {61-77},
   title = {AI planning: systems and techniques},
   volume = {11},
   year = {1990},
   annote = {planning - general
ok, Mmath in personal collection
}
}

@incollection{Hendrix:79,
   author = {Hendrix, Gary},
   booktitle = {Associative Networks},
   publisher = {Findler, Nicholas (ed.), Academic Press},
   title = {Encoding Knowledge in Partitioned Networks},
   year = {1979},
   annote = {representation
}
}

@article{Henten-al:92,
   author = {Van Hentenryck, P. and Simonis, H. and Dincbas, M.},
   journal = AIJ,
   month = dec,
   pages = {113-159},
   title = {Constraint satisfaction using constraint logic programming},
   volume = {58},
   year = {1992},
   annote = {constraint satisfaction
ok, Drev Mar/93
}
}

@article{Hentenryck-al:92,
   author = {Van Hentenryck, P and Deville, Y. and Teng, C-M.},
   journal = AIJ,
   pages = {291-321},
   title = {A generic arc-consistency algorithm and its specializations},
   volume = {57},
   year = {1992},
   annote = {constraint sat
ok, Drev Mar/.93  ABSTRACT ONLY
}
}

@book{Hentenryck:89,
   author = {Van Hentenryck, Pascal},
   pages = {291-321},
   publisher = {The MIT Press},
   title = {Constraint Satisfaction in Logic Programming},
   year = {1989},
   annote = {Qiang owns copy.
Referenced for first use in 642 term paper research}
}

@article{Hentenryck:cc,
   author = {Van Hentenryck, Pascal and Saraswat, Vijay and Deville, Yves},
   editor = {Furukawa, K. and Pereira, F. and Warren, D.H.D.},
   journal = {unknown},
   publisher = {The MIT Press},
   title = {Constraint Processing in cc(FD)},
   year = {unknown},
   annote = {obtained from Dominic Duggan, for 642 term paper
reference not supplied.}
}

@phdthesis{Herbrand:30,
   author = {Herbrand, Jacques},
   address = {Paris},
   school = {Dissertation},
   title = {Recherches sur la theorie de la demonstration},
   year = {1930},
   annote = {ai general
}
}

@inproceedings{Hertzberg-Horz:89,
   author = {Hertzberg and Horz},
   address = {Detroit, Michigan},
   booktitle = IJCAI89,
   pages = {937-942},
   title = {Towards a Theory of Conflict Detection
 and Resolution in Nonlinear Plans},
   year = {1989},
   annote = {planning - nonlinear
}
}

@article{Hirschberg:77,
   author = {Hirschberg, D.S.},
   journal = {Journal of the Association for Computing Machinery},
   number = {4},
   pages = {664-675},
   title = {Algorithms for the Longest common Subsequence Problem},
   volume = {24},
   year = {1977},
   annote = {plan merging
}
}

@article{Hoffmann:82,
   author = {Hoffmann, C.M.},
   journal = {Journal of Computer and System Sciences},
   pages = {332-359},
   title = {Subcomplete generalizations of Graph Isomorphism},
   volume = {25},
   year = {1982},
   annote = {UW 94
sources Lubiw:81
QA76.J6}
}

@inproceedings{Holte-al:92,
   author = {Holte, Robert and Zimmer, Robert and MacDonald, Alan},
   booktitle = {Proceedings of the Workshop on Change or Representation and Problem Reformulation},
   month = apr,
   note = {NASA Ames Technical Report FIA-92-06},
   title = {When does changing representation improve problem-solving performance ?},
   year = {1992},
   annote = {ok, Drev 
personal commun via email with Holte c/o Stephane Lapointe.  Sent my thesis.}
}

@inproceedings{Holte-al:93,
   author = {Holte, Robert and Zimmer, Robert and MacDonald, Alan},
   booktitle = {Proceedings of the 1993 Workshop on Knowledge Compilation and Speedup Learning},
   title = {A study of the representation-dependency of abstraction techniques},
   year = {1993},
   annote = {ok, Drev 
personal commun via email with Holte c/o Stephane Lapointe.  Sent my thesis.}
}

@unpublished{Holte:93,
   author = {Holte, Robert C.},
   month = dec,
   note = {personal correspondence},
   title = {Automatic Change of Representation},
   year = {1993},
   annote = {ok, Drev
see also papers holte-al and zimmer-al.
}
}

@book{Horowitz-Sahni:84,
   author = {Horowitz, Ellis and Sahni, Sartaj},
   address = {Rockville, Maryland},
   publisher = {Computer Science Press},
   title = {Fundamentals of Computer Algortihms},
   year = {1984},
   annote = {algorithms
ok
}
}

@inproceedings{Hubbe-Freuder:92,
   author = {Hubbe, Paul and Freuder, Eugene},
   booktitle = AAAI92,
   pages = {421-427},
   title = {An efficient cross product representation of the constraint satisfaction problem search space},
   year = {1992},
   annote = {constraint sat
ok, Drev
}
}

@article{Hunt-Szymanski:77,
   author = {Hunt, J.W. and  Szymanski, T.G.},
   journal = {Communications of the Association for Computing Machinery},
   number = {5},
   pages = {350-353},
   title = {A Fast Algorithm for Computing Longest Common
 Subsequences},
   volume = {20},
   year = {1977},
   annote = {plan merging
}
}

@article{Hyvonen:92,
   author = {Hyvonen, Eero},
   journal = AIJ,
   pages = {71-112},
   title = {Constraint reasoning based on interval arithmetic: the tolerance propagation approach},
   volume = {58},
   year = {1992},
   annote = {constraint sat - temporal
ok, Abstract only
}
}

@techreport{Ingrand:89,
   author = {Ingrand, Felix Francois},
   institution = AAII,
   number = {3},
   title = {Monitoring and control of spacecraft systems using procedural reasoning},
   type = {Technical note},
   year = {1989},
   annote = {planning - application
ok, Aus
}
}

@incollection{Janlert:87,
   author = {Janlert, Lars-Erik},
   address = {Norwood, New Jersey},
   booktitle = {The Robot's Dilemma: The Frame Problem in Artificial Intelligence},
   editor = {Pylyshyn},
   pages = {65--76},
   publisher = {Ablex Publishing Company},
   title = {Modeling Change--The Frame Problem},
   year = {1987},
   annote = {frame problem
}
}

@article{Johnson:82,
   author = {Johnson, DS},
   journal = {Journal of Algorithms},
   number = {3},
   pages = {288-300},
   title = {The  {NP}-Completeness column - An ongoing  guide},
   volume = {3},
   year = {1982},
   annote = {UW 94 for 666 term paper
Sources Lubiw:81 
QA 76.6 J69
}
}

@article{Joslin-Roach:89,
   author = {Joslin, David and Roach, John},
   journal = AIJ,
   pages = {97-106},
   title = {A theoretical analysis of conjunctive-goal problems},
   volume = {41},
   year = {1989},
   annote = {planning - general
ok, Drev Mar 93
}
}

@unpublished{Kabanza:93,
   author = {Kabanza, Froduald},
   note = {Abstract of talk at UW, Feb 8, 1993},
   title = {Reactive Planning of Immediate Actions},
   year = {1993},
   annote = {planning - reactive
ok, Drev}
}

@article{Kambhampati-Hendler:92,
   author = {Kambhampati, Subbarao and Hendler, James, A.},
   address = {College Park, Maryland},
   journal = AIJ,
   pages = {193-258},
   school = {University of Maryland},
   title = {A validation-structure-based theory of plan modification and reuse},
   volume = {55},
   year = {1992},
   annote = {plan reuse
ok, abstract only
}
}

@inproceedings{Kambhampati-Smadar:91,
   author = {Kambhampati, Subbarao and Kedar, Smadar},
   address = {Anaheim, CA},
   booktitle = AAAI91,
   title = {Explanation-Based Generalization of Partially
 Ordered Plans},
   year = {1991},
   annote = {planning - nonlinear
ok, Drev
}
}

@phdthesis{Kambhampati:89,
   author = {Kambhampati, Subbarao},
   address = {College Park, Maryland},
   month = {Oct.},
   school = {University of Maryland},
   title = {Flexible Reuse and Modification in Hierarchical
 Planning: A Validation Structure Based Approach},
   year = {1989},
   annote = {plan reuse
}
}

@inproceedings{Kambhampati:92,
   author = {Kambhampati, Subbarao},
   booktitle = AIPLAN92,
   title = {Characterizing multi-contributor causal structures for planning},
   year = {1992},
   annote = {planning - nonlinear Multi-Contributor
ok, Qiang
}
}

@techreport{Kambhampati:92b,
   author = {Kambhampati, S.},
   institution = {Arizona State University},
   number = {ASU-CS-TR-92-019},
   title = {Multi-contributor causal structures for planning: a formalization and evaluation},
   year = {1992},
   annote = {planning causal struct
ok, c/o Josh ...  rao@asuvax.asu.edu
}
}

@book{kamin:90,
   author = {Kamin, Samuel},
   publisher = {Addison Wesley},
   title = {Programming Languages: An Interpreter-Based Approach},
   year = {1990},
   annote = {ok, UW 1993 purchased for 642}
}

@article{Kanazawa-Dean:90,
   author = {Kanazawa, Keiji and Dean, Thomas},
   journal = {unknown},
   pages = {985-990},
   title = {A model for projection and actions},
   year = {1990},
   annote = {ok, Mmath note same location as BD89
planning - temporal}
}

@unpublished{Karppinen:91,
   author = {Karppinen, Noel},
   title = {OASIS -- Artificial intelligence in air traffic flow management},
   year = {1991},
   annote = {scheduling
ok, Page 1 only of fax, remainder missing ... ref Peter Cheesman @ NASA ?
}
}

@unpublished{Kasif-Delcher:642,
   author = {Kasif, Simon and Delcher, Arthur},
   journal = AIJ,
   note = {c/o Dominic Duggan, cs642},
   pages = {275-286},
   title = {Local consistency in parallel constraint-satisfaction networks},
   volume = {45},
   annote = {constraint sat, parallel
ok, UW

@article{Kasif:86,
   author = {Kasif, Simon},
   journal = {Proceedings of the Fifth National Conference on Artificial Intelligence},
   pages = {349-353},
   title = {On the parallel complexity of some constraint satisfaction problems},
   year = {1986},
   annote = {constraint sat, parallel
dont have it
havent read it - negative about csps in parallel}
}

@article{Kasif:90,
   author = {Kasif, Simon},
   journal = AIJ,
   pages = {275-286},
   title = {On the parallel complexity of discrete relaxation in constraint satisfaction networks},
   volume = {45},
   year = {1990},
   annote = {constraint sat, parallel
ok, Drev Mar 93

@inproceedings{Kautz-Allen:86,
   author = {Kautz, Henry and Allen, James},
   address = {Philadelphia, Pennsylvania},
   booktitle = {Proceedings of the Fifth National Conference on Artificial Intelligence},
   pages = {32-37},
   title = {Generalized Plan Recognition},
   year = {1986},
   annote = {plan recog
 PR paper
}
}

@phdthesis{Kautz:87,
   author = {Kautz, Henry},
   address = {Rochester, New York},
   school = {University of Rochester, Department of Computer Science},
   title = {A Formal Theory of Plan Recognition},
   year = {1987},
   annote = {plan recognition
}
}

@incollection{Kelleher:92,
   author = {Kelleher, Gerald},
   editor = {Marik, V. and Stepankova, O. and Trappl, R.},
   pages = {208-237},
   publisher = {Springer-Verlag},
   series = {Lecture Notes in Computer Science},
   title = {The application of reason maintenance systems in planning and scheduling},
   volume = {617},
   year = {1992},
   annote = {planning - general Lecture Notes in AI
ok, Laval Feb 93
}
}

@inproceedings{Kent:89,
   author = {Kent, J.R.},
   booktitle = CIT89,
   organization = {The Plessey Company plc, UK.},
   title = {Tess: A mobility expert system},
   year = {1989},
   annote = {ok, Drev
Templates - background}
}

@techreport{Kinney:90,
   author = {Kinney, David},
   institution = AAII,
   number = {11},
   title = {Measuring the effectiveness of situated agents},
   type = {Technical note},
   year = {1990},
   annote = {planning - application
ok, Aus
}
}

@techreport{Kinny-Georgeff:91,
   author = {Kinny, David and Georgeff, Michael, P.},
   institution = {University of Melbourne},
   number = {91/10},
   title = {Commitment and effectiveness of situated agents},
   type = {Technical Report},
   year = {1991},
   annote = {planning - situated
ok, Aus
}
}

@inproceedings{Knoblock:89,
   author = {Knoblock, Craig A.},
   address = {Los Altos, CA},
   booktitle = {Proceedings of the Sixth International Workshop on Machine Learning},
   pages = {241-245},
   publisher = {Morgan Kaufmann},
   title = {Learning Hierarchies of Abstraction Spaces},
   year = {1989},
   annote = {planning - abstraction
ok, Mmath
}
}

@inproceedings{Knoblock:89b,
   author = {Knoblock, Craig A.},
   address = {Boston, MA},
   booktitle = {Proceedings of the Workshop on Change of
 Representation and Inductive Bias},
   editor = {Paul Benjamin},
   publisher = {Kluwer},
   title = {A Theory of Abstraction for Hierarchical Planning},
   year = {1989},
   annote = {planning - abstraction
}
}

@inproceedings{Knoblock:90,
   author = {Knoblock, Craig},
   address = {Boston, MA},
   booktitle = {Proceedings of Eighth National Conference on
 Artificial Intelligence},
   pages = {923-928},
   title = {Learning Abstraction Hierarchies for Problem Solving},
   year = {1990},
   annote = {planning - abstraction
ok, recvd Feb 93, Josh
}
}

@unpublished{Knoblock:90b,
   author = {Knoblock, Craig},
   title = {Abstracting the tower of hanoi},
   year = {1990},
   annote = {planning abstraction
ok, c/o Qiang
}
}

@phdthesis{Knoblock:91,
   author = {Knoblock, Craig A.},
   school = {School of Computer Science, Carnegie Mellon
 University},
   title = {Automatically Generating Abstractions for Problem Solving},
   year = {1991},
   annote = {planning - abstraction
ok, Mmath : Tech. Report CMU-CS-91-120
}
}

@inproceedings{Knoblock:91b,
   author = {Knoblock, Craig},
   booktitle = AAAI91,
   journal = AAAI91,
   pages = {686-691},
   title = {Search reduction in hierarchical problem solving},
   volume = {2},
   year = {1991},
   annote = {planning abstraction
ok, Drev}
}

@book{Kodratoff-Michalski:90,
   address = {Palo Alto, California.},
   editor = {Kodratoff, Yves and Michalski, Ryszard},
   publisher = {Morgan Kaufmann Publishers, Inc.},
   title = {Machine Learning: An artificial intelligence approach},
   volume = {3},
   year = {1990},
   annote = {ai general
}
}

@inproceedings{Konolige-Nilsson:80,
   author = {Konolige, Kurt and Nilsson, Nils},
   booktitle = AAAI80,
   pages = {138-142},
   title = {Multiple-Agent Planning Systems},
   year = {1980},
   annote = {planning - mult agent
ok, Mmath
}
}

@article{Korf:85,
   author = {Korf,Richard},
   journal = AIJ,
   pages = {65-88},
   title = {Planning as Search: A Quantitative Approach},
   volume = {33},
   year = {1985},
   annote = {planning - search
ok, Mmath
}
}

@article{Korf:85b,
   author = {Korf,Richard},
   journal = AIJ,
   pages = {97-109},
   title = {Depth-First Iterative-Deepening: An Optimal Admissible Tree Search},
   volume = {27},
   year = {1985},
   annote = {search IDA*
ok, Mmath
}
}

@unpublished{KTY:90,
   author = {Knoblock, Craig and Tenenberg, Josh and Yang, Qiang},
   title = {Analyzing Abstraction Hierarchies for Planning},
   year = {1990	
},
   annote = {planning - abstraction to appear
}
}

@unpublished{KTY:90b,
   author = {Knoblock,Craig  and Tenenberg, Josh  and Yang, Qiang},
   title = {A Spectrum of Abstraction Hierarchies for Planning},
   year = {1990},
   annote = {planning - abstraction
ok Mmath, Submitted for Publication
}
}

@inproceedings{KTY:91,
   author = {Knoblock, Craig  and Tenenberg, Josh  and Yang, Qiang},
   address = {Anaheim, CA},
   booktitle = AAAI91,
   title = {Characterizing Abstraction Hierarchies for Planning},
   year = {1991},
   annote = {planning - abstraction
ok, recvd Feb 93, Josh in pers. col.
}
}

@article{Kumar:92,
   author = {Kumar, Vipin},
   journal = {AI Magazine},
   month = {Spring},
   pages = {32-44},
   title = {Algorithms for Constraint-Satisfaction Problems},
   year = {1992},
   annote = {constraint satisfaction. 
ok, Basic background start for CSP paper.
}
}

@inproceedings{Ladkin:87,
   author = {Ladkin, Peter B.},
   booktitle = IJCAI87,
   pages = {462--467},
   title = {The Completeness of a Natural System for Reasoning with Time Intervals},
   year = {1987},
   annote = {temporal
}
}

@inproceedings{Ladkin:88,
   author = {Ladkin, Peter B.},
   booktitle = AAAI88,
   pages = {512-517},
   title = {Satisfying First-Order Constraints About Time Intervals},
   year = {1988},
   annote = {temporal constraints
}
}

@techreport{Lam-Bacchus:93,
   author = {Lam, Wai and Bacchus, Fahiem},
   institution = {University of Waterloo},
   title = {Learning Bayesian Belief Networks: An approach based on the MDL Principle},
   year = {1993},
   annote = {786
c/o Lam}
}

@article{Lam-Bacchus:93a,
   author = {Lam, Wai and Bacchus, Fahiem},
   institution = {University of Waterloo},
   journal = {UAI},
   title = {Using causal information and local measures to learn bayesian networks},
   year = {1993},
   annote = {786
c/o lam}
}

@unpublished{Lam-Bacchus:93b,
   author = {Lam, Wai and Bacchus, Fahiem},
   institution = {University of Waterloo},
   journal = {UAI},
   note = {advance copy},
   title = {Using new data to refine a bayesian network},
   year = {1993},
   annote = {786
c/o Lam
}
}

@article{Lansky:88,
   author = {Lansky, A.L.},
   journal = CI,
   number = {4},
   title = {Localized Event-Based Reasoning for Multiagent Domains},
   volume = {4},
   year = {1988},
   annote = {planning - multi agent. Gemplan
}
}

@techreport{Lapointe:93,
   author = {Lapointe, Stephane and Proulx, Rene},
   institution = {APG inc. (1994)},
   note = {Combat Intelligence Automation Group, Defence Research Establishment Valcartier},
   number = {W7701-3-0847/01-XSK},
   title = {Statistical identification of templates in message data},
   type = {Contract Report},
   year = {1994},
   annote = {no current document exists as of Aug/93
}
}

@inproceedings{Lapointe:94,
   author = {Lapointe, Stephane and Prouix, Rene},
   booktitle = {Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence},
   note = {to appear},
   title = {Fuzzy geometric relations to represent hierarchical spatial information},
   year = {1994},
   annote = {c/o Stephane

@inproceedings{Laskowski-al:85,
   author = {Laskowski, S. and Antonisse, H. and Bonnasso, R.},
   booktitle = {The Second Conference on Artificial Intelligence Applications},
   organization = {The Mitre Corporation},
   pages = {558-563},
   title = {Analyst II: A knowledge-based intelligence support system},
   year = {1985},
   annote = {ok, Drev
 Templates background}
}

@incollection{Lazansky:92,
   author = {Lazansky, J.},
   editor = {Marik, V. and Stepankova, O. and Trappl, R.},
   pages = {238-244},
   publisher = {Springer-Verlag},
   series = {Lecture Notes in Computer Science},
   title = {Practical applications of planning tasks},
   volume = {617},
   year = {1992},
   annote = {planning - application Lecture Notes in AI
ok, Laval Feb 93
}
}

@inproceedings{Lehnert-Sullivan:89,
   author = {Lehnert, K.J. and Sulivan, M.},
   booktitle = AAG,
   pages = {133-140},
   title = {Development and evaluation of AI techniques for tactical decision support systems},
   year = {1989},
   annote = {ok, Drev
 Templates background}
}

@inproceedings{Li-Vitanyi:88,
   author = {Li, M.and Vitanyi, P.},
   booktitle = {3rd Structure in Complexity Theory},
   pages = {80-101},
   title = {Two decades of applied Kolmogorov complexity},
   year = {1988},
   annote = {algorithms
}
}

@inproceedings{Lie-Rowles:90,
   author = {Lie, H. and Rowles, C.D.},
   booktitle = {Proceedings of the Pacific Rim International conference on AI},
   title = {Intention attributes in planning},
   year = {1990},
   annote = {planning
ok, Aus in per. col.
}
}

@inproceedings{Lifschitz:86,
   author = {Lifschitz, Vladimir},
   address = {Timberline, Oregon},
   booktitle = {Proceedings of the Workshop on Reasoning about Actions
 and Plans},
   title = {On the Semantics of STRIPS},
   year = {1986},
   annote = {planning - strips
}
}

@inproceedings{Lifschitz:87,
   author = {Lifschitz, Vladimir},
   booktitle = IJCAI87,
   pages = {966-972},
   title = {A Theory of Action},
   year = {1987},
   annote = {planning
}
}

@incollection{Lifschitz:87b,
   author = {Lifschitz, Vladimir},
   booktitle = {The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop},
   editor = {Frank M. Brown},
   month = {April},
   publisher = {Morgan Kaufman},
   title = {Formal Theories of Action:  Preliminary Report},
   year = {1987},
   annote = {planning
}
}

@article{Lipman-Pearson:85,
   author = {Lipman, D. J. and Pearson, W. R.},
   journal = {Science},
   pages = {1435-1441},
   title = {Rapid and Sensitive Protein Similarity Searches},
   volume = {227},
   year = {1985},
   annote = {plan merging
}
}

@inproceedings{Litman:86,
   author = {Litman, Diane J.},
   address = {New York, New York},
   booktitle = {Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics},
   pages = {215-223},
   title = {Linguistic Coherence: A Plan-Based Alternative},
   year = {1986},
   annote = {plan recog
 PR paper
}
}

@inbook{Lowe:85,
   author = {Lowe, David},
   chapter = {6},
   pages = {92-109},
   title = {Perceptual Organization and Visual Recognition},
   year = {1985},
   annote = {model matching
ok, Laval Feb, 93 TA 1632.L68.1985
}
}

@article{Lubiw:81,
   author = {Lubiw, A.},
   journal = {SIAM Journal of Compting},
   pages = {11-21},
   title = {Some {NP}-complete problems similar to graph isomorphism.},
   volume = {10},
   year = {1981},
   annote = {UW 94  QA 76.S555
Basis for 666 Term paper and related to complexity analysis
 of model template recognition (Static).  Other papers
 used that reference Lubiw:81 include:
 Friedland:91   Manning:91  Eades:87  Johnson:82
 Hoffman:82  and Prabhu:84
 }
}

@article{Mackworth-Freuder:85,
   author = {Mackworth , A.K. and Freuder, E.C.},
   journal = AIJ,
   pages = {65-74},
   title = {The Complexity of Some Polynomial
 Network Consistency Algorithms for Constraint Satisfaction Problems},
   volume = {125},
   year = {1985},
   annote = {constraint satisfaction
}
}

@article{Mackworth-Freuder:93,
   author = {Mackworth, Alan and Freuder, Eugene},
   journal = AIJ,
   pages = {57-62},
   title = {The complexity of constraint satisfaction revistited},
   volume = {59},
   year = {1993},
   annote = {constraint sat
ok, DREV Mar/93
}
}

@article{Mackworth:77,
   author = {Mackworth , A.K.},
   journal = AIJ,
   pages = {99-118},
   title = {Consistency in networks of relations},
   volume = {8},
   year = {1977},
   annote = {constraint satisfaction
AC3 original citation}
}

@incollection{Mackworth:81,
   author = {Mackworth, A.K.},
   booktitle = {Readings in Artificial Intelligence},
   editor = {Webber and Nilsson},
   pages = {69-78},
   publisher = {Morgan Kaufmann Publishers Inc.},
   title = {Consistency in Networks of Relations},
   year = {1981},
   annote = {constraint satisfaction
  SEE AIJ 1977  8(1) 99-118}
}

@incollection{Mackworth:87,
   author = {Mackworth, A.K.},
   booktitle = {Encylopedia of Artificial Intelligence},
   editor = {Shaprio, S.C.},
   pages = {205-211},
   publisher = {John Wiley and Sons},
   title = {Constraint Satisfaction},
   volume = {1},
   year = {1987},
   annote = {ok,  Drev
constraint sat
 Mar/93 This paper is a general overview of the entire field of constraint satisfaction with references and pointers to example applications.

@article{Mackworth:92,
   author = {Mackworth, Alan},
   journal = AIJ,
   month = dec,
   pages = {3-20},
   title = {The logic of constraint satisfaction},
   volume = {58},
   year = {1992},
   annote = {constraint satisfaction
ok, Drev
}
}

@book{Manber:89,
   author = {Manber, U.},
   address = {Reading, Massachusetts},
   pages = {181},
   publisher = {Addison-Wesley},
   title = {Introduction to Algorithms: {A} Creative Approach},
   year = {1989},
   annote = {algorithms
}
}

@article{Manning:91,
   author = {Manning, Joseph},
   journal = {Lectures in Computer Science},
   title = {Computational complexity of geometric symmetry detection in graphs},
   volume = {507},
   year = {1991},
   annote = {UW 94  666 termpaper
cites Lubiw:81
}
}

@inproceedings{Mantyla:88,
   author = {Mantyla, M. and Opas, J.},
   booktitle = {Proceedings of the Second International Symposium on
 Robotics and Manufacturing systems},
   title = {HutCAPP---A machining operations planner},
   year = {1988},
   annote = {planning - manufacturing
}
}

@inproceedings{McAllester-Rosenblitt:91,
   author = {McAllester, David and Rosenblitt, David},
   address = {Anaheim, CA},
   booktitle = AAAI91,
   pages = {634-639},
   title = {Systematic Nonlinear Planning},
   year = {1991},
   annote = {planning - nonlinear
ok, recvd Feb 93 Josh

@article{McCall-al:85,
   author = {McCall, J.T. and Tront, J.G. and Gray, F.G. and Haralick, R.M.},
   journal = {IEEE Transactions on Computers},
   number = {11},
   pages = {973-980},
   title = {Parallel computer architectures and problem solving strategies for the consistent labeling problem},
   volume = {C-24},
   year = {1985},
   annote = {cited in Nadel:89
havent read it
dont have it}
}

@incollection{McCarthy-Hayes:69,
   author = {McCarthy, John and Hayes, Patrick},
   booktitle = {Machine Intelligence 4},
   publisher = {Edinburgh University Press},
   title = {Some Philosophical Problems from the Standpoint of
 Artificial Intelligence},
   year = {1969},
   annote = {ai general
}
}

@article{McDermott:78,
   author = {McDermott, D.V.},
   journal = {Cognitive Science},
   title = {Planning and Action},
   volume = {2},
   year = {1978},
   annote = {planning
}
}

@article{McDermott:92,
   author = {McDermott, Drew},
   journal = AIM,
   month = {Summer},
   pages = {55-79},
   title = {Robot planning},
   year = {1992},
   annote = {planning - general
ok
}
}

@article{McGregor:79,
   author = {McGregor, J.},
   journal = {Information Sciences},
   pages = {229-250},
   title = {Relational consistency algorithms and their application in finding subgraph and graph isomporphisms},
   volume = {19},
   year = {1979},
   annote = {constraint satisfaction
 cited in Nadel:89 as originator of AC 1/5}
}

@unpublished{Menezes-al:642,
   author = {Menezes, Francisco and Barahona, Pedro and Codognet, Philippe},
   note = {c/o Dominic Duggan, cs642},
   title = {An incremental hierarchical constraint solver},
   annote = {ok, UW}
}

@techreport{Meyer:92,
   author = {Meyer, Manfred},
   address = {P.O. Box 20 80, D-7560 Kaiserslautern, Germany},
   institution = {German Research Center for Artificial Intelligence (DFKI)},
   number = {RR-92-35},
   title = {Using hierarchical constraint satisfaction for lathe-tool selection in a CIM environment},
   type = {Technical},
   year = {1992},
   annote = {constraint satisfaction
ok, Email meyer@dfki.uni-kl.de
 I have CONTAX installed, but have not experimented with it.}
}

@unpublished{Meyer:92b,
   author = {Meyer, Manfred},
   address = {P.O. Box 20 80, D-7560 Kaiserslautern, Germany},
   institution = {German Research Center for Artificial Intelligence (DFKI)},
   number = {RR-92-35},
   title = {Contax user guide},
   type = {Technical},
   year = {1992},
   annote = {constraint satisfaction. 
ok, Contax Email meyer@dfki.uni-kl.de

@article{Milne-Milton-Smith:92,
   author = {Milne, Peter and Milton, Scott and Smith, John L.},
   journal = ijgis,
   title = {Geographic Object-Oriented Databases, A Case Study},
   year = {in print},
   annote = {objects. SOL
ok, Accepted for publication 1992
}
}

@inproceedings{Milton-Campbell:92,
   author = {Milton, Scott and Campbell, David},
   address = {Sydney, Australia},
   booktitle = {Tools Pacific '92},
   journal = {submitted for publication. XS},
   month = dec,
   title = {A Graphic Object Mapping System for {X}Windows},
   year = {1992},
   annote = {objects
ok, Aus
}
}

@techreport{Minton-al:89,
   author = {Minton, Steven and Carbonnel, J. and Knoblock, C. and Kuokka, D. and Etzioni, O. and Gil, Y.},
   institution = {Carnegie Mellon University},
   number = {CMU-CS-89-103},
   title = {Explanation-Based Learning: A Problem-Solving Perspective},
   type = {Technical Report},
   year = {1989},
   annote = {explanation learning
ok, Mmath
}
}

@article{Minton-al:92,
   author = {Minton, Steven and Johnston, Mark and Philips, Andrew and Laird, Philip},
   journal = AIJ,
   pages = {161-205},
   title = {Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems},
   volume = {58},
   year = {1992},
   annote = {constraint sat
ok, Abstract only
}
}

@inproceedings{Minton-Bresina-Drummond:91,
   author = {Minton, Steve and Bresina, John and Drummond, Mark},
   address = {Sydney, Australia},
   booktitle = IJCAI91,
   title = {Commitment Strategies in Planning:
 A Comparative Analysis},
   year = {1991},
   annote = {planning
}
}

@article{Minton:90,
   author = {Minton, Steve},
   journal = AIJ,
   pages = {363-391},
   title = {Quantitative results concerning the utility of explanation-based
 learning},
   volume = {42},
   year = {1990},
   annote = {explanation learning. Prodigy
}
}

@unpublished{Mitchel:90,
   author = {Mitchell, Tom M.},
   month = feb,
   title = {Becoming Increasingly Reactive},
   year = {1990},
   annote = {planning - reactive
ok, Submitted to AAAI-90
}
}

@article{Mohr-Henderson:86,
   author = {Mohr, R. and Henderson, T.C.},
   journal = AIJ,
   pages = {225-233},
   title = {Arc and path consistency revisited},
   volume = {28},
   year = {1986},
   annote = {ok, drev
cited in Cooper:89 reference to AC-4}
}

@unpublished{Montanari-Rossi:642,
   author = {Montanari, Ugo and Rossi, Francesca},
   journal = AIJ,
   note = {Provided by Dominic Duggan for cs642},
   pages = {143-170},
   title = {Constraint satisfaction, constraint programming, and concurrency},
   volume = {48},
   annote = {constraint sat 
ok, UW
}
}

@article{Montanari-Rossi:91,
   author = {Montanari, Ugo and Rossi, Francesca},
   journal = AIJ,
   pages = {143-170},
   title = {Constraint relaxation may be perfect},
   volume = {48},
   year = {1991},
   annote = {constraint sat - relax
ok, Drev Mar 93
}
}

@article{Montanari:74,
   author = {Montanari, U},
   journal = {Information Sciences},
   pages = {95-132},
   title = {Networks of constraints: fundamental properties and
 applications to picture processing},
   volume = {7},
   year = {1974},
   annote = {constraint satisfaction
}
}

@inproceedings{Mostow-Prieditis:89,
   author = {Mostow, Jack and Prieditis, Armand},
   booktitle = IJCAI89,
   title = {Discovering Admissible Heuristics by Abstracting and
 Optimizing: A Transformational Approach},
   year = {1989},
   annote = {search
}
}

@article{Mouline-Rousseau:92,
   author = {Mouline, Bernhard, and Roussea, Daniel},
   journal = IE,
   month = oct,
   pages = {27-35},
   title = {Automated knowledge acquisition from regulatory texts},
   year = {1992},
   annote = {ok, Drev
Templates - general
 this paper is basically about implementing a system to assist in the construction of
 knowledge bases from texts.  Interaction is stressed.
}
}

@article{Myers:86,
   author = {Myers, G.},
   journal = {Algorithmica},
   pages = {251-266},
   title = {An {$O(ND)$} Difference Algorithm and Its Variations},
   volume = {1},
   year = {1986},
   annote = {algorithms
}
}

@article{Nadel:89,
   author = {Nadel, Bernard A.},
   journal = CI,
   pages = {188-224},
   title = {Constraint satisfaction algorithms},
   volume = {5},
   year = {1989},
   annote = {constraint sat
ok, DREV Mar/93
 A detailed study of constraint satisfaction algortihms, with particular attention to 
 partial k-consistency algorithms that we can use as a preliminary to actual search.
 Many variations presented and much reference to explaining performance.

@article{Nadel:90,
   author = {Nadel, Bernard},
   journal = {IEEE Expert},
   month = jun,
   pages = {16-23},
   title = {Representation selection for constraint satisfaction: a case study using N-queens},
   year = {1990},
   annote = {constraint sat
ok
 Basically two things:
  1) Shows how selection of representation can have a dramatic effect on the peformance
   of CSP solvers.  Examples and graphs show experimental results
  2) Shows equations that give the expected result of a particular domain
   representation as a CSP problem - the expected results match experimental very closely.

@techreport{NATO-glossary:88,
   author = {NATO},
   institution = {NATO},
   note = {Unclassified},
   number = {AAP-6(R)},
   title = {NATO Glossary of Terms and Definitions},
   year = {1988},
   annote = {cited in Basic Intelligence, DREV}
}

@inproceedings{Nau:87,
   author = {Nau, Dana},
   booktitle = {Proceedings of Second International Conference in
 Applications of Artificial Intelligence in Engineering},
   title = {Hierarchical Abstraction for Process Planning},
   year = {1987},
   annote = {planning - abstraction
}
}

@inproceedings{Naylor:87,
   author = {Naylor, R.T.},
   booktitle = CIT87,
   organization = {Plessey Defence Systems, UK},
   title = {Battlefield data fusion},
   year = {1987},
   annote = {ok, Drev
Templates - background}
}

@inbook{Naylor:88,
   author = {Harris, C.J.},
   chapter = {3.3},
   note = {Battlefield data fusion, R.T. Naylor},
   organization = {Plessey Defence Systems, UK},
   pages = {213-232},
   title = {Application of AI to C2 systesm},
   year = {1987},
   annote = {ok, Drev
Templates - background}
}

@article{Needleman-Wunsch:70,
   author = {Needleman, S.B. and Wunsch, C.D.},
   journal = {Journal of Molecular Biology},
   pages = {443--453},
   title = {A General Method Applicable to the Search for Similarities
 in the Amino Acid Sequence of Two Proteins},
   volume = {48},
   year = {1970},
   annote = {plan merging
}
}

@book{Newell-Simon:72,
   author = {Newell , Allen and  Simon, Herbert~A.},
   address = {Englewood Cliffs, New Jersey},
   publisher = {Prentice-Hall},
   title = {Human Problem Solving},
   year = {1972},
   annote = {ai general. GPS
}
}

@book{Nilsson:80,
   author = {Nilsson, Nils},
   publisher = {Morgan Kaufmann Publishers Inc},
   title = {Principles of Artificial Intelligence},
   year = {1980},
   annote = {ai general
ok, Mmath - selected chapters and index: intro, search, predicate
calc.,plan generate
}
}

@techreport{Nilsson:84,
   author = {Nilsson, Nils},
   institution = {Stanford Research Institute},
   number = {323},
   title = {Shakey the Robot},
   year = {1984},
   annote = {ai general Technical Note
}
}

@book{Norvig:92,
   author = {Norvig, Peter},
   publisher = {Morgan Kaufmann},
   title = {Paradigms of Artificial Intelligence Programming, Case Studies in Common Lisp},
   year = {1992},
   annote = {ai general  LucL @ Drev: 
ok, Chapter 17, also contents and appendix with software locs/ appl contacts
index copied for reference}
}

@techreport{Notes-soviet:79,
   author = {Ministry of Defence},
   institution = {Ministry of Defence, Chief of General Staff},
   note = {Amendment No. 4},
   number = {B-GL-050-INT/PT-121},
   title = {Notes on the Soviet Ground Forces},
   year = {1979},
   annote = {restricted, c/o Cpl Garant, Intelligence Valcartier}
}

@article{Nudel:83,
   author = {Nudel, Bernard},
   journal = AIJ,
   note = {see also Bernard Nadel.},
   pages = {135-178},
   title = {Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics},
   volume = {21},
   year = {1983},
   annote = {Constraint sat. Earlier work by Nadel - CSP related.
ok, Abstract Only
 }
}

@book{Ontos:91,
   author = {Ontos Inc.},
   address = {Three Burlington Woods, Burlington Massachussetts, USA 01803},
   howpublished = {Ontos Inc., Three Burlington Woods, Burlington Massachussetts, USA 01803},
   institution = {Ontos, Inc. Three Burlington Woods, Burlington Massachussetts, USA 01803},
   publisher = {Ontos Inc.},
   title = {ONTOS Developers Guide},
   year = {1991},
   annote = {objects
}
}

@techreport{Park-Cote:88,
   author = {Park, W.J. and Cote, B.},
   institution = {Defence Research Establishment Valcartier},
   month = oct,
   note = {Uclassified},
   number = {2947/88},
   title = {An artificial intelligence representatio of the fantasian ground forces},
   year = {1988},
   annote = {ok, Drev}
}

@book{Pearl:84,
   author = {Pearl, Judea},
   publisher = {Addison-Wesley Publishing Company},
   title = {Heuristics},
   year = {1984},
   annote = {search
}
}

@unpublished{Penberthy-Weld:92,
   author = {Penberthy, Scott J. and Weld, Daniel S.},
   institution = {University of Washington, Dept. of Computer Science and Engineering},
   number = {92-05-01},
   title = {UCPOP: A Sound, Complete, Partial Order Planner for ADL},
   type = {Technical Report},
   year = {1993},
   annote = {planning - nonlinear
ok, Drev
see also user manual ucpop
}
}

@manual{PEP498-1:92,
   address = {Base des forces Candiennes de Gagetown, Oromocto, NB Canada},
   month = may,
   organization = {National Defence},
   title = {Programme D'enseignement Personnel Sur Le Regiment De Fusiliers Motorises Fantasien},
   year = {1992},
   annote = {ok, at DREV in French
 c/o Cpl Garrand}
}

@manual{PEP498-2:92,
   address = {Base des forces Candiennes de Gagetown, Oromocto, NB Canada},
   month = may,
   organization = {National Defence},
   title = {Programme D'enseignement Personnel Sur Le Regiment De Chars D'Assaut Fantasien},
   year = {1992},
   annote = {ok, at DREV in French
 c/o Cpl Garrand}
}

@manual{PEP498-3:92,
   address = {Base des forces Candiennes de Gagetown, Oromocto, NB Canada},
   month = may,
   organization = {National Defence},
   title = {Programme D'enseignement Personnel Sur Les Operations Offensives Fantasiennes},
   year = {1992},
   annote = {ok, at DREV in French
 c/o Cpl Garrand}
}

@techreport{PEP498-4:92,
   author = {Canadian Army},
   institution = {Centre d'instruction au combat bureau tactique},
   month = may,
   note = {Not classified},
   number = {PEP 498-1 to 4},
   title = {Programme d'enseignement Personnnel sur le regiment de chars d'assaut fantasien},
   type = {training manual},
   year = {1992},
   annote = {c/o Cpl Garant Intelligence, Valcartier}
}

@article{Perlin:92,
   author = {Perlin, Mark},
   journal = AIJ,
   pages = {329-342},
   title = {Arc consistency for factorable relations},
   volume = {53},
   year = {1992},
   annote = {constraint sat
ok, Drev Mar 93
}
}

@inproceedings{Petrie:92,
   author = {Petrie, Charles},
   booktitle = AAAI92,
   journal = AAAI92,
   pages = {393-400},
   title = {Constrained decision revision},
   year = {1992},
   annote = {planning - revision
ok, Drev
}
}

@inproceedings{Pinkas-Dechter:92,
   author = {Pinkas, Gadi and Dechter, Rina},
   booktitle = AAAI92,
   journal = AAAI92,
   pages = {434-439},
   title = {An improved connectionist activation function for energy minimization},
   year = {1992},
   annote = {constraint sat
ok, Drev
}
}

@article{Plaisted:81,
   author = {Plaisted, D.},
   journal = AIJ,
   pages = {46-108},
   title = {Theorem Proving with Abstraction},
   volume = {16},
   year = {1981},
   annote = {abstraction
}
}

@inproceedings{Pollack:86,
   author = {Pollack, Martha},
   address = {New York, New York},
   booktitle = {Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics},
   pages = {207-214},
   title = {A model of plan inference that distinguishes between the beliefs of actors and observers},
   year = {1986},
   annote = {plan recog
 PR paper
}
}

@article{Pollack:92,
   author = {Pollack, Martha},
   journal = AIJ,
   pages = {43-68},
   title = {The uses of plans},
   volume = {57},
   year = {1992},
   annote = {planning - general
ok
}
}

@article{Post-Franklin:86,
   author = {Post, Stephen and Franklin, Jude},
   journal = {Expert Systems in Government Symposium, 2nd},
   pages = {366-369},
   title = {Transefer of AI technology to command and control applications by incremental evaluation},
   year = {1986},
   annote = {ok, Drev
 Templates background}
}

@article{Prabhu:84,
   author = {Prabhu, G. and Narsingh, D.},
   journal = {Technique et Science Informatiques},
   note = {in English.},
   pages = {327-333},
   title = {The Ellipsoid Algorithm and the Graph Isomorphism Problem},
   volume = {3},
   year = {1984},
   annote = {UW 94, 666 term paper
sources Lubiw:81
QA75.5.T43}
}

@article{Prosser:93,
   author = {Prosser, Patrick},
   journal = {Computational Intelligence},
   number = {3},
   pages = {268-299},
   title = {Hybrid algorithms for the constraint satisfaction problem},
   volume = {9},
   year = {1993},
   annote = {ok, from Q Yang 1993 
Heavy overlap of my tech report work in better detail}
}

@article{Purdom:83,
   author = {Purdom, P.},
   journal = AIJ,
   pages = {117-133},
   title = {Search rearrangement backtracking},
   volume = {21},
   year = {1983},
   annote = {constraint sat. CSP background, cited in Kum92
ok, Drev Mar 93
}
}

@unpublished{Raghu-Nau-Yang:91,
   author = {Karinthi, Raghu and Nau, Dana S. and Yang, Qiang},
   title = {Handling Feature Interactions in Process Planning},
   year = {1991},
   annote = {planning to appear, Journal of Applied Artificial Intelligence
}
}

@techreport{Rao-Georgeff:90,
   author = {Rao, Anand S. and Georgeff, Michael P.},
   institution = AAII,
   number = {8},
   title = {Intentions and rational commitment},
   type = {Technical note},
   year = {1990},
   annote = {planning - application
ok, Aus
}
}

@incollection{Reiter:78,
   author = {Reiter, Raymond},
   booktitle = {Logic and Data Bases},
   publisher = {Gallaire and Minker (eds.), Plenum Publishing Corporation},
   title = {On Closed World Data Bases},
   year = {1978},
   annote = {ai general
}
}

@article{Rigoutsos-Hummel:92,
   author = {Rigoutsos, I. and Hummel, R.},
   journal = {Computer Magazine},
   month = feb,
   number = {2},
   pages = {33-42},
   title = {Massively Parallel Model Matching},
   volume = {25},
   year = {1992},
   annote = {model matching
ok, Laval - copy to Guy Feb 23/93
}
}

@article{Robinson:65,
   author = {Robinson, J.},
   journal = {Journal of the ACM},
   number = {1},
   pages = {23-41},
   title = {A machine-oriented logic based on the resolution principle},
   volume = {12},
   year = {1965},
   annote = {logic
}
}

@article{Rokey-Grenander:90,
   author = {Rokey, Mark and Grenander, Sven},
   journal = {IEEE Expert},
   month = jun,
   number = {3},
   pages = {8-15},
   title = {Planning for space telerobotics: the remote mission spcialist},
   volume = {5},
   year = {1990},
   annote = {planning - application
ok, Mmath
}
}

@unpublished{Rosenblitt:90,
   author = {Rosenblitt, D.A.},
   title = {The Plan Integration Problem},
   year = {1990},
   annote = {plan merging
Submitted for publication
}
}

@phdthesis{Rosenblitt:91,
   author = {Rosenblitt, D.A.},
   address = {Cambridge, MA},
   month = {Feb.},
   school = {MIT},
   title = {Supporting Collaborative Planning:	The Plan Integration Problem},
   year = {1991},
   annote = {plan merging
}
}

@techreport{Rossi-al:89,
   author = {Rossi, F. and Petrie, C. and Dhar, V.},
   address = {Austin, Texas},
   institution = {MCC Corporation},
   number = {ACT-AI-22-89},
   title = {On the equivalence of constraint-satisfaction problems},
   type = {Technical Report},
   year = {1989},
   annote = {cited in Kumar:92
not read, dont have, but it discusses equivalence of n-ary and binary csps.  Specifically
 that any n-ary CSP can be converted into an equivalent binary one.}
}

@article{Rumelhart-al:86,
   author = {Rumelhardt, David and Hinton, Geoffrey and Williams, Ronald},
   journal = {Nature},
   month = oct,
   pages = {533-536},
   title = {Learning representations by back-propagating errors},
   volume = {323},
   year = {1986},
   annote = {neural / connectionist
ok, Mmath
}
}

@inproceedings{Ryu-Irani:92,
   author = {Ryu, Kwang Ryel and Irani, Keki, B.},
   booktitle = AAAI92,
   pages = {401-407},
   title = {Learning from goal interactions in planning: goal stack analysis and generalization},
   year = {1992},
   annote = {planning - goals
ok, Drev
}
}

@article{Sacerdoti:74,
   author = {Sacerdoti, Earl},
   journal = AIJ,
   pages = {115-135},
   title = {Planning in a Hierarchy of Abstraction Spaces},
   volume = {5},
   year = {1974},
   annote = {planning - abstraction. Abstrips
}
}

@article{Sacerdoti:75,
   author = {Sacerdoti, E. D.},
   journal = {Advance Papers, IJCAI},
   pages = {206-214},
   title = {The nonlinear nature of plans},
   volume = {1},
   year = {1975},
   annote = {planning - nonlinear
}
}

@book{Sacerdoti:77,
   author = {Sacerdoti, Earl},
   publisher = {American Elsevier},
   title = {A Structure for Plans and Behavior},
   year = {1977},
   annote = {planning, Noah
 PR paper
}
}

@unpublished{Sallaberger:93,
   author = {Sallaberger, Christian},
   note = {Abstract of talk at UW Feb 10, 1993},
   title = {Space Robotic Path Planning},
   year = {1993},
   annote = {path planning
ok, Drev}
}

@book{Sankoff-Kruskal:83,
   address = {Reading, Massachusetts},
   editor = {Sankoff, D. and Kruskal, J.B.},
   publisher = {Addison-Wesley},
   title = {Time Warps, String Edits, and Macromolecules:  The Theory
 and Practice of Sequence Comparison},
   year = {1983},
   annote = {merging
}
}

@article{Sankoff:72,
   author = {Sankoff, D.},
   journal = {Proceedings of the National Academy of Sciences USA},
   number = {1},
   pages = {4-6},
   title = {Matching Sequences Under Deletion/Insertion Constraints},
   volume = {69},
   year = {1972},
   annote = {plan merging
}
}

@book{Schank-Abelson:77,
   author = {Schank, R. and Abelson, R.},
   publisher = {Lawrence Erlbaum Associates},
   title = {Scripts, Plans, Goals and Understanding},
   year = {1977},
   annote = {planning
}
}

@article{Schank:91,
   author = {Schank, Roger},
   journal = {Artificial Intelligence Magazine},
   number = {4},
   pages = {38-49},
   title = {Where's the AI?},
   volume = {12},
   year = {1992},
   annote = {786
}
}

@article{Schoppers:89,
   author = {Schoppers, Marcel J.},
   journal = AIM,
   pages = {51-60},
   title = {In defense of reaction plans as caches},
   year = {1989},
   annote = {planning - general
ok, Mmath
}
}

@incollection{Schubert:91,
   author = {Schubert, L.},
   booktitle = {Knowledge Representation and Defeasible Reasoning},
   editor = {Kyburg and Loui and Carlson},
   publisher = {Kluwer},
   title = {Monotonic Solution of the Frame Problem in the
 Situation Calculus},
   year = {in press},
   annote = {frame problem
ok, Mmath
}
}

@article{Selfridge:92,
   author = {Selfridge, Peter},
   journal = IE,
   month = jun,
   pages = {65-68},
   title = {Applying AI to software problems: assessing promises and pitfalls},
   year = {1992},
   annote = {ai general, 
ok, Drev
not read
}
}

@article{Sellis:88,
   author = {Sellis, T},
   journal = {ACM Trasactions on Database Systems},
   month = {March},
   number = {1},
   title = {Multiple Query Optimization},
   volume = {13},
   year = {1988},
   annote = {query opt
}
}

@book{Sethi:90,
   author = {Sethi, Ravi},
   publisher = {Addison-Wesley},
   title = {Programming Languages},
   year = {1990}
}

@article{Shoham:87,
   author = {Shoham, Yoav},
   journal = AIJ,
   number = {1},
   pages = {89-104},
   title = {Temporal Logics in {AI}: Semantical and Ontological
 Considerations},
   volume = {33},
   year = {1987},
   annote = {temporal
}
}

@article{Sidebottom-Havens:92,
   author = {Sidebottom, G. and Havens, W.S.},
   journal = CI,
   month = nov,
   number = {4},
   pages = {601-623},
   title = {Hierarchical arc consistency for disjoint real intervals in constraint logic programming},
   volume = {8},
   year = {1992},
   annote = {constraint satisfaction
ok, Drev Mar/93
}
}

@inproceedings{Sidner-Israel:81,
   author = {Sidner, Candace L. and Israel, David J.},
   address = {Vancouver},
   booktitle = {IJCAI},
   pages = {203-208},
   title = {Recognizing Intended Meaning and Speakers' Plans},
   year = {1981},
   annote = {plan recog
 PR paper
}
}

@inproceedings{Siklossy-Dreussi:73,
   author = {Siklossy, L. and Dreussi, J.},
   booktitle = IJCAI73,
   pages = {423-430},
   title = {An Efficient Robot Planner which Generates its Own Procedures},
   year = {1973},
   annote = {planning - robot
}
}

@inproceedings{Siklossy-Dreussi:73b,
   author = {Siklossy, L. and Dreussi, J.},
   booktitle = {Proceedings of the Third International Joint Conference
 on Artificial Intelligence},
   pages = {423-430},
   title = {An Efficient Robot Planner which Generates its Own
 Procedures},
   year = {1973},
   annote = {planning - robot
}
}

@techreport{Smith:88,
   author = {Smith, David E.},
   institution = {Stanford Logic Group},
   number = {LOGIC-87-11},
   title = {A decision-theoretic approach to the control of planning search},
   type = {Report},
   year = {1988},
   annote = {planning search
ok, Mmath
 PR paper
}
}

@techreport{Smith:92,
   author = {Smith, John L.},
   institution = {CSIRO Australia},
   number = {TR-KA-92-02},
   title = {A simulation model of multiple hire taxi-buses},
   year = {1992},
   annote = {spatial reasoning
ok, CSIRO
}
}

@article{Sosic-Gu:90,
   author = {Sosic, R. and Gu, J.},
   journal = {SIGART},
   number = {3},
   title = {A polynomial time algorithm for the n-queens problem},
   volume = {1},
   year = {1990},
   annote = {constraint satisfaction

@unpublished{Stacey-Wong:88,
   author = {Stacey, D. and Wong, A.},
   month = {June},
   note = {University of Waterloo, Systems Design Engineering},
   title = {A largest common subgraph isomorphism algorithm for attributed graphs},
   year = {1988},
   annote = {ok
c/o Phillip Wong related to 666, STR
}
}

@article{Staub-al:85,
   author = {Staub, L. and Carlotto, M. and Lee, B. and Upton, R.},
   journal = {IEEE ?},
   note = {CH2215-2/85/0000 0434},
   pages = {434-440},
   title = {A knowledge-based tactical decision support system integratin terrain and weather data},
   year = {1985},
   annote = {ok, Drev
 Templates background}
}

@incollection{Steel:92,
   author = {Steel, Sam},
   booktitle = {Lecture Notes in Artificial Intelligence},
   editor = {Marik, V. and Stepankova, O. and Trappl, R.},
   pages = {198-297},
   publisher = {Springer-Verlag},
   series = {Lecture Notes in Computer Science},
   title = {Notes on current trends in AI planning},
   volume = {617},
   year = {1992},
   annote = {planning - general
ok, Laval Feb 93
 This paper seems like a guide to how to go about getting in touch with AI planning from
 a standing start.  IN particular, parts of it read like the Author was doing this as 
 he went.  Specific mention of references in almost all aspects of planning and some 
 comments that are interesting with relation to other areas of AI.  Not all encompassing
 for sure, and relies often on only papers that are indicative of an entire body of work.
 Generally very high level.}
}

@article{Stefik:81,
   author = {Stefik, Mark},
   journal = AIJ,
   number = {2},
   pages = {111-140},
   title = {Planning with Constraints (MOLGEN: Part 1)},
   volume = {16},
   year = {1981},
   annote = {constraint - planning. Molgen
ok, Mmath
}
}

@article{Stefik:81b,
   author = {Stefik, Mark},
   journal = AIJ,
   number = {2},
   pages = {141-170},
   title = {Planning and Meta-Planning (MOLGEN: Part 2)},
   volume = {16},
   year = {1981},
   annote = {constraint - planning. Molgen
ok, Mmath
}
}

@article{Stein:92,
   author = {Stein, Lynn Andrea},
   journal = AIJ,
   pages = {259-310},
   title = {Resolving ambiguity in nonmonotonic inheritance hierarchies},
   volume = {55},
   year = {1992},
   annote = {abstraction
ok, abstract only
}
}

@techreport{Sussman:73,
   author = {Sussman, G.A.},
   institution = {M.I.T.},
   number = {AI-TR-2974},
   title = {A Computational Model of Skill Acquisition},
   type = {Technical Report},
   year = {1973},
   annote = {ai general. Hacker M.I.T. AI Lab Memo
}
}

@techreport{Tactics-soviet,
   author = {Ministry of Defence},
   institution = {Ministry of Defence, Chief of the General Staff},
   note = {Amendment No.1, Army Code 71031},
   number = {B-GL-050-INT/FT-135},
   title = {Tactics of the Soviet Ground Forces},
   annote = {restricted, c/o Intelligence Cpl Garant, Valcartier bldg 513, 844 6315}
}

@techreport{Tactics-troop:88,
   author = {Canadian Forces},
   institution = {Canadian Forces School of Military Engineering},
   number = {QL 6B 8901 YO 9001 PH III 8902},
   title = {Tactics Troop Aide Memoire},
   year = {1988},
   annote = {ok, c/o Cpl Garant, Valcartier}
}

@article{Tan-Schlimmer:90,
   author = {Tan, Ming and Schlimmer, Jeffrey},
   journal = AAAI90,
   title = {Two case studies in cost-sensitive concept acquisition},
   year = {1990},
   annote = {learning, robots
ok, Mmath
}
}

@article{Tate:75,
   author = {Tate, Austin},
   journal = {Advance Papers, IJCAI},
   note = {Tbilisi, USSR},
   title = {Interacting goals and their use},
   volume = {1},
   year = {1975},
   annote = {plan recog / planning
 PR paper
}
}

@inproceedings{Tate:77,
   author = {Tate, Austin},
   booktitle = IJCAI77,
   pages = {888-893},
   title = {Generating Project Networks},
   year = {1977},
   annote = {planning. Nonlin
}
}

@book{Tello:89,
   author = {Tello, Ernest R.},
   publisher = {Addison-Wesley},
   title = {Object Oriented Programming for Artificial Intelligence},
   year = {1989},
   annote = {ai general - objects
ok
}
}

@phdthesis{Tenenberg:88,
   author = {Tenenberg, Josh},
   address = {Rochester, NY},
   month = {May},
   school = URCS,
   title = {Abstraction in Planning},
   year = {1988},
   annote = {planning - abstraction
ok, Mmath
}
}

@inproceedings{Tenenberg:89,
   author = {Tenenberg, Josh},
   booktitle = {First International Conference on Principles of
 Knowledge Representation and Reasoning},
   title = {Inheritance in Automated Planning},
   year = {1989},
   annote = {planning - abstraction
ok, Mmath in per. col.
}
}

@inproceedings{Tenenberg:89b,
   author = {Tenenberg, Josh},
   booktitle = {Proceedings of the First International Workshop in Change
 of Representation and Inductive Bias},
   title = {Abstracting First-Order Theories},
   year = {1989},
   annote = {abstraction
ok, Mmath
}
}

@misc{Thomason-Touretzky:90,
   author = {Thomason, Richmond and Touretzky, David},
   howpublished = {Chapter 7 of a book, pages 231-266},
   title = {Inheritance theory and networks with roles},
   year = {1990},
   annote = {ok, Australia ?
objects}
}

@techreport{TIF-eob:91,
   author = {Des Groseilliers, L. and Pare, J.-C. and Soucy, D.},
   institution = {Defence Research Establishment Valcartier},
   month = jun,
   note = {Unclassified},
   number = {3066/91},
   title = {Tactical Information Fusion Prototype: Enemy Order of Battle Database},
   year = {1991},
   annote = {ok, Drev}
}

@techreport{TIF-kr:92,
   author = {DMR Group Inc.},
   institution = {Defense Research Establishment Valcartier},
   month = may,
   note = {Unclassified},
   number = {W7701-1-0659/01-XSK},
   title = {Knowledge Representation for Tactical Information Fusion},
   type = {Contract},
   year = {1992},
   annote = {ok, Drev}
}

@techreport{Tif-research:91,
   author = {Gauvin, M. and Des Groseilliers, L. and Roy, D.},
   address = {Valcartier, Quebec},
   institution = {Defense Research Establishment Valcartier},
   month = may,
   note = {Unclassified},
   number = {3068/91},
   title = {Tactical Information Fusion Prototype:  Research Project Definition},
   type = {Memorandum},
   year = {1991},
   annote = {Unclassified, distribution limited to Defense and contractors NATO and
 TTCP countries}
}

@inproceedings{Tolba-al:91,
   author = {Tolba, Hany and Charpillet, Francois and Haton, Jean-Paul},
   booktitle = ICTAI,
   journal = ICTAI,
   month = nov,
   pages = {181-185},
   title = {Representing and propagating constraints in temporal reasoning},
   year = {1991},
   annote = {temporal - constraints
ok, recvd in personal communication with Tolba
}
}

@article{Tolba-al:91b,
   author = {Tolba, H. and  Charpillet, F. and Haton, J.P.},
   journal = AICOM,
   month = dec,
   number = {4},
   pages = {145-151},
   title = {Representing and Propagating Constraints in Temporal Reasoning},
   volume = {4},
   year = {1991},
   annote = {temporal - constraints
ok, recvd 1992 via personal communication
}
}

@incollection{Tolba-al:92,
   author = {Tolba, Hany and Charpillet, Francois and Haton, Jean-Paul},
   booktitle = {Research and Development for Expert Systems (series)},
   month = dec,
   title = {A new temporal model combining qualitative and quantitative information},
   year = {1992},
   annote = {temporal - constraints
ok - recvd in personal communication with Tolba
}
}

@article{Ukkonen:1985,
   author = {Ukkonen, E.},
   journal = {Journal of Algorithms},
   pages = {132--137},
   title = {Finding approximate patterns in strings},
   volume = {6},
   year = {1985},
   annote = {plan merging
}
}

@inbook{Unknown:1,
   pages = {108-113},
   title = {Chapter 5, Section 8 Sequential Constraint Satisfaction},
   annote = {constraint sat
ok, location unknown - Aus ?
}
}

@inproceedings{Unruh-Rsosenbloom:89,
   author = {Unruh, Amy and Rosenbloom, Paul S.},
   booktitle = {Proceedings of the Eleventh International Joint
 Conference on Artificial Intelligence},
   pages = {681-687},
   title = {Abstraction in Problem Solving and Learning},
   year = {1989},
   annote = {planning - abstraction
}
}

@unpublished{vanBeek-al:94,
   author = {van Beek, Peter and Cohen, Robin and Schmidt, Ken},
   note = {advance version of journal paper},
   title = {From plan critiquing to clarification dialogue for cooperative response generation},
   year = {1994},
   annote = {via personal communication with Peter June 1994
}
}

@unpublished{vanBeek:89,
   author = {van Beek, Peter.},
   title = {Artificial Intelligence Research at the University of Waterloo},
   year = {1989},
   annote = {ai general
ok, published somewhere.
}
}

@inproceedings{vanBeek:90,
   author = {van Beek, Peter.},
   address = {Boston, MA},
   booktitle = AAAI90,
   title = {Reasoning about Qualitative Temporal Information},
   year = {1990},
   annote = {temporal
}
}

@inproceedings{vanBeek:92,
   author = {van Beek, Peter},
   booktitle = AAAI92,
   journal = AAAI92,
   pages = {447-452},
   title = {On the minimality and decomposability of constraint networks},
   year = {1992},
   annote = {constraint sat
ok, Drev
}
}

@mastersthesis{vanRun:94,
   author = {van Run, Paul},
   school = {University of Waterloo},
   title = {Domain independent heuristics in hybrid algorithms for CSPs},
   year = {1994},
   annote = {UW 94
AI group
}
}

@inproceedings{Vempaty-Kumar-Korf:91,
   author = {Vempaty, Nageshwara Rao and Kumar, Vipin and korf, Richard E.},
   booktitle = AAAI91,
   pages = {434-440},
   title = {Depth-first vs Best-first search},
   volume = {2},
   year = {1991},
   annote = {search
ok, Drev}
}

@inproceedings{Vempaty:92,
   author = {Vempaty, Nageshwara Rao},
   booktitle = AAAI92,
   pages = {453-458},
   title = {Solving constraint satisfaction problems using finite automata},
   year = {1992},
   annote = {constraint sat
ok, Drev
}
}

@article{Vere:83,
   author = {Vere, S.A.},
   journal = PAMI,
   title = {Planning in Time: Windows and Durations for
 Activities and Goals},
   volume = {5},
   year = {1983},
   annote = {planning
}
}

@unpublished{Vezina:93,
   author = {Vezina, Guy},
   month = jun,
   note = {work in progress at DREV},
   title = {Virtual Battlefield Applications},
   year = {1993}
}

@inproceedings{Vilain-Kautz:86,
   author = {Vilain, M. and Kautz, H.},
   booktitle = AAAI86,
   pages = {337-382},
   title = {Constraint Propagation Algorithms for Temporal
 Reasoning},
   year = {1986},
   annote = {constraint satisfaction
}
}

@incollection{Waldinger:77,
   author = {Waldinger, R.},
   booktitle = {Machine Intelligence 8},
   publisher = {Elcock and Michie (eds.), Ellis Horwood},
   title = {Achieving Several Goals Simultaneously},
   year = {1977},
   annote = {planning - nonlinear
}
}

@book{Walther:87,
   author = {Walther, Christopher},
   address = {London},
   publisher = {Pitman},
   title = {A Many-Sorted Calculus Based on Resolution and Paramodulation},
   year = {1987},
   annote = {logic  Research Notes in AI
}
}

@incollection{Waltz:75,
   author = {Waltz, D.},
   address = {Cambridge, Massachusets},
   booktitle = {The Psychology of Computer Vision},
   editor = {P.H. Winston},
   journal = {The Psychology of Computer Vision},
   pages = {19-91},
   publisher = {McGraw Hill},
   title = {Understanding line drawings of scenes with shadows},
   year = {1975}
}

@article{Wang:52,
   author = {Wang, Hao},
   journal = JSL,
   title = {Logic of {M}any-{S}orted {T}heories},
   volume = {17},
   year = {1952},
   annote = {logic}
}

@techreport{Warren:74,
   author = {Warren, David},
   institution = {University of Edinburgh},
   number = {Memo No.~76},
   title = {Warplan: A system for generating plans},
   type = {Technical Report},
   year = {1974},
   annote = {planning. Warplan
}
}

@phdthesis{Wasserman:85,
   author = {Wasserman,K.},
   school = {Columbia University},
   title = {Unifying Representation and Generalization:
 Understanding Hierarchically Structured Objects},
   year = {1985},
   annote = {abstraction
}
}

@book{Wasserman:89,
   author = {Wasserman, Phillip D.},
   publisher = {Van Nostrand Reinhold},
   title = {Neural Computing Theory and Practice},
   year = {1989},
   annote = {UW 94, c/o Kevin Lanctot - cited for 786 learning termpaper
}
}

@inproceedings{Wellman-Doyle:91,
   author = {Wellman, Michael and Doyle, Jon},
   booktitle = AAAI91,
   journal = AAAI91,
   pages = {698-703},
   title = {Preferential semantics for goals},
   volume = {2},
   year = {1991},
   annote = {planning - goals
ok, Drev
}
}

@article{Wilbur-Lipman:83,
   author = {Wilbur, W.J. and Lipman, D.J.},
   journal = {Proceedings of the National Academy of Sciences USA},
   pages = {726--730},
   title = {Rapid Similarity Searches of Nucleic Acid and Protein Data Banks},
   volume = {80},
   year = {1983},
   annote = {plan merging. window method of sequence similarity scoring}
}

@book{Wilensky:83,
   author = {Wilensky, R.},
   publisher = {Addison Wesley},
   title = {Planning and Understanding},
   year = {1983},
   annote = {planning
 PR paper
}
}

@techreport{Wilkins:81,
   author = {Wilkins, D.E. and Robinson, A.E.},
   institution = {Stanford Research Insitute},
   number = {245},
   title = {An Interactive Planning System},
   year = {1981},
   annote = {planning - interactive. Sipe SRI Technical Note 
}
}

@article{Wilkins:84,
   author = {Wilkins, David},
   journal = AIJ,
   title = {Domain-independent Planning: Representation and
 Plan Generation},
   volume = {22},
   year = {1984},
   annote = {planning
ok, Mmath
 PR paper
}
}

@book{Wilkins:88,
   author = {Wilkins, David},
   address = {CA},
   publisher = {Morgan Kaufmann},
   title = {Practical Planning: Extending the Classical AI Planning Paradigm},
   year = {1988},
   annote = {planning
ok, Mmath
}
}

@article{Wilkins:88b,
   author = {Wilkins, David E.},
   journal = CI,
   pages = {373-380},
   title = {Causal reasoning in planning},
   volume = {4},
   year = {1988},
   annote = {planning - causal
ok, Mmath
}
}

@techreport{Wilkins:89,
   author = {Wilkins, David E.},
   address = {Artifical Intelligence Centre},
   institution = SRI,
   number = {468R},
   title = {Can AI planners solve practical problems ?},
   type = {Technical Note},
   year = {1989},
   annote = {planning - general
ok, Mmath
}
}

@inproceedings{Williams-Woods:93,
   author = {Williams, Graham and Woods, Steven},
   booktitle = {Proceedings of the 3rd International Conference on Large Spatial Databases},
   month = jun,
   title = {Representing Expectations in Spatial Information Systems: A Case Study},
   year = {1993},
   annote = {model matching
ok, proceedings not available yet
}
}

@unpublished{Williams:92,
   author = {Williams, Graham},
   month = sep,
   title = {Spatial Reasoning: Ultrasonics Project Explorer},
   year = {1992},
   annote = {spatial reasoning
ok, Internal comminication, CSIRO
}
}

@article{Winkles:92,
   author = {WInkles, Jim},
   journal = IE,
   month = aug,
   pages = {3-6},
   title = {The inarticulacy of expertise: an analysis from psychology},
   year = {1992},
   annote = {ok, Drev
Templates - general
  not read}
}

@book{Winston:84,
   author = {Windston, Patrick Henry},
   address = {Reading, Massachusetts},
   edition = {2nd},
   publisher = {Addison-Wesley},
   title = {Artificial Intelligence},
   year = {1984},
   annote = {ai general
ok}
}

@article{Wong-al:90,
   author = {Wong, A. and You, M. and Chan, S.},
   journal = {IEEE Transactions on Systems, Man, and Cybernetics},
   month = {May/June},
   number = {3},
   pages = {628-636},
   title = {An algorithm for graph otpimal monomorphism},
   volume = {20},
   year = {1990},
   annote = {ok
c/o Phillip Wong related to 666, STR
}
}

@unpublished{Woods-Yang:90,
   author = {Woods, Steven and Yang, QIang},
   title = {Abtweak users manual},
   year = {1990},
   annote = {abtweak
ok, Ongoing version of manual for Abtweak planning system
}
}

@unpublished{Woods:89,
   author = {Woods, Steven G.},
   title = {Planning for conjuntive goals},
   year = {1989},
   annote = {planning - conjunc goals
ok, Mmath basis research paper and presentation - suggested by Qiang
}
}

@mastersthesis{Woods:91,
   author = {Woods, Steven G.},
   school = {Computer Science Department, University of Waterloo},
   title = {An Implementation and Evaluation of a Hierarchical
 Non-Linear Planner},
   type = {Technical Report CS-91-17},
   year = {1991	},
   annote = {planning - abstraction. This is my thesis.
ok, Technical Report CS-91-17
}
}

@unpublished{Woods:91b,
   author = {Woods, Steven and Yang, Qiang and Tenneberg, Josh},
   title = {Evaluating the Utility of Goal Protection and Search
 Strategies in Abstract Planning},
   year = {1991},
   annote = {planning - abstraction
ok, unpublished - became later journal paper
}
}

@inproceedings{Woods:93a,
   author = {Woods, Steven},
   booktitle = {Proceedings of the 1993 DND Workshop on Advanced Technologies in Knowledge Based Systems and Robotics},
   month = {November},
   title = {A method of interactive recognition of spatially defined model deployment templates using abstraction},
   year = {1993},
   annote = {portion of tech report Woods:93b and related to Woods:93c}
}

@techreport{Woods:93b,
   author = {Woods, Steven},
   address = {Courcelette, Quebec CANADA},
   institution = {Combat Intelligence Automation Group, Defence Research Establishment Valcartier},
   month = aug,
   note = {unclassified},
   title = {Interactive recognition of spatially defined model deployment templates},
   type = {Research Memorandum},
   year = {1993},
   annote = {in progress Aug, 1993
completed as summary of my work January 1993 to August 1993
this work is in progress and must be treated as such, possible extension and completion
 of some aspects during my Phd work after August 1993.}
}

@unpublished{Woods:93c,
   author = {Woods, Steven},
   address = {Courcelette, Quebec CANADA},
   institution = {Defence Research Establishment Valcartier, Dept. of Defence},
   month = aug,
   note = {Defence Research Establishment Valcartier, Dept. of Defence, Courcelette, Quebec, CANADA. unclassified},
   title = {Upward exploitation of constraint propagation in hybrid constraint satisfaction search.},
   type = {Memorandum},
   year = {1993},
   annote = {in progress Aug, 1993
completed as summary of my work January 1993 to August 1993
this work is in progress and must be treated as such, possible extension and completion
 of some aspects during my Phd work after August 1993.}
}

@unpublished{Woods:94a,
   author = {Woods, Steven},
   month = mar,
   note = {advance copy, technical report},
   title = {Addressing spatial template recognition as a CSP within the context of CLP},
   year = {1994},
   annote = {UW 94
642 Term paper originally}
}

@unpublished{Woods:94b,
   author = {Woods, Steven},
   month = mar,
   note = {advance copy, technical report},
   title = {On the complexity of graph isomorphism : relationship to the spatial template recognition problem},
   year = {1994},
   annote = {UW 94
666 Term paper originally}
}

@unpublished{Woods:94c,
   author = {Woods, Steven},
   month = apr,
   note = {advance copy, technical report},
   title = {Learning refinements to spatial template models based on false-positive and false-negative examples},
   year = {1994},
   annote = {UW 94
786 Term paper originally}
}

@techreport{Woods:94d,
   author = {Woods, Steven},
   institution = {University of Waterloo},
   month = jul,
   note = {advance copy},
   title = {Topics in spatial template recognition: Learning, Complexity and Implementation},
   type = {Technical Report},
   year = {1994},
   annote = {UW 94
Includes all three term papers Woods:94a,b,c in a single
 tech report for simplicity.}
}

@book{Wos:88,
   author = {Wos, Larry},
   address = {New Jersey},
   publisher = {Prentice-Hall},
   title = {Automated Reasoning: 33 Basic Research Problems},
   year = {1988},
   annote = {reasoning
}
}

@techreport{Yang-Fong:92,
   author = {Yang, Qiang and Fong, Philip},
   institution = {University of Waterloo},
   number = {cs-92-50},
   title = {Solving partial constraint satisfaction problems using local search and abstraction},
   type = {Technical Report},
   year = {1992},
   annote = {constraint satisfaction
ok, from UW archive
}
}

@misc{Yang-Fong:93,
   author = {Yang, Qiang and Fong, Phillip},
   howpublished = {personal communication},
   title = {CSP sample source code},
   year = {1993}
}

@article{Yang-Nau-Hendler:91,
   author = {Yang, Qiang and  Nau, Dana S. and Hendler, James},
   address = {University of Maryland, College Park, MD.},
   journal = CI,
   number = {4},
   pages = {648-676},
   title = {Merging Separately Generated Plans in Limited Domains},
   volume = {8},
   year = {1992},
   annote = {plan merging
ok
}
}

@techreport{Yang-Tenenberg-Woods:92,
   author = {Yang, Qiang and Tenenberg, Josh and Woods, Steven},
   institution = {University of Waterloo},
   number = {cs-91-65},
   title = {Abstraction in nonlinear planning},
   type = {Technical Report},
   year = {1992},
   annote = {planning abstraction
ok, This version rejected by AI journal - dist via FTP 
}
}

@unpublished{Yang-Tenenberg-Woods:93,
   author = {Yang, Qiang and Tenenberg, Josh and Woods, Steven},
   note = {Was University of Waterloo Technical Report CS-91-65.},
   title = {Abstraction in nonlinear planning},
   year = {1993},
   annote = {planning abstraction
ok, Submitted to Computational Intelligence Journal
}
}

@inproceedings{Yang-Tenenberg:90,
   author = {Yang, Qiang and Tenenberg, Josh},
   address = {Boston, MA},
   booktitle = AAAI90,
   month = {August},
   pages = {204-209},
   title = {ABTWEAK: Abstracting a Nonlinear, Least Commitment
 Planner},
   year = {1990},
   annote = {planning - abstraction
ok, in pers. col.
}
}

@phdthesis{Yang:89,
   author = {Yang, Qiang},
   address = {University of Waterloo},
   school = {University of Maryland},
   title = {Improving the Efficiency of Planning},
   type = {Research Report CS-89-34},
   year = {1989},
   annote = {planning - efficiency
ok, Mmath
}
}

@techreport{Yang:90,
   author = {Qiang Yang},
   institution = {University of Waterloo},
   number = {CS-90-23},
   title = {Reasoning About Conflicts in Least-commitment Planning},
   year = {1990},
   annote = {planning - conflicts
ok, Mmath
}
}

@article{Yang:90b,
   author = {Yang, Qiang},
   journal = CI,
   title = {Formalizing Planning Knowledge for Hierarchical Planning},
   volume = {6},
   year = {1990},
   annote = {planning - abstraction
}
}

@inproceedings{Yang:90c,
   author = {Yang, Qiang},
   address = {Boston, MA},
   booktitle = AAAI90,
   month = {August},
   title = {An Algebraic Approach to Conflict Resolution in
 Planning},
   year = {1990},
   annote = {planning - conflicts. Plan Algebra
ok, Mmath
}
}

@inproceedings{Yang:90d,
   author = {Yang, Qiang},
   address = {Ottawa, ON},
   booktitle = {Proceedings of the Eighth Biennial Conference of the
 Canadian Society for Computational Studies of Intelligence},
   month = {May},
   pages = {140-145},
   title = {Solving the Problem of Hierarchical Inaccuracy in
 Planning},
   year = {1990},
   annote = {planning - abstraction
}
}

@unpublished{Yang:90e,
   author = {Yang, Qiang and Nau, Dana S. and Hendler, James},
   title = {Exploiting Limited Interactions in Plan Optimization},
   year = {1990},
   annote = {planning - optimization
Submitted for Publication
}
}

@unpublished{Yang:91,
   author = {Yang, Qiang},
   title = {Understanding the Essence of Nonlinear,
 Least-Commitment Planning},
   year = {1991	},
   annote = {planning - nonlinear. Watplan
ok, Mmath Submitted for Publication
}
}

@unpublished{Yang:92,
   author = {Yang, Qiang},
   month = oct,
   title = {Integrating AI Planning and Scheduling},
   year = {1992},
   annote = {planning - scheduling
ok, NSERC Research Note - confidential to me
}
}

@article{Yang:92b,
   author = {Yang, Qiang},
   journal = AIJ,
   pages = {361-392},
   title = {A theory of conflict resolution in planning},
   volume = {58},
   year = {1992},
   annote = {planning - conflicts
ok
}
}

@inproceedings{Zimmer-al:91,
   author = {Zimmer, Robert and MacDonald, Alan and Holte, Robert},
   booktitle = {Proceedings of the 4th Florida Artificial Intelligence Research Symposium},
   month = apr,
   note = {ISBN 0-9620-1733-7/91/350-0201},
   publisher = {FLAIRS},
   title = {Reasoning about Representations: Towards the Automatino of Representation Change},
   year = {1991},
   annote = {ok, Drev 
personal commun via email with Holte c/o Stephane Lapointe.  Sent my thesis.
see also Holte-al 92,93 and talk notes}
}

@article{Zweben-al:92,
   author = {Zweben, M. and Davis, E. and Drascher, E. and Deale, M. and Eskey, M.},
   journal = AIJ,
   pages = {271-296},
   title = {Learning to improve constraint-based scheduling},
   volume = {58},
   year = {1992},
   annote = {scheduling
ok, abstract only
}
}

@article{Zymelman:85,
   author = {Zymelman, Ari S.},
   journal = {IEEE ?},
   note = {CH2225-1/85/0000/0200},
   pages = {200-204},
   title = {An AI technology insertion experiment with Analyst},
   year = {1985},
   annote = {templates
ok, Drev
}
}