J. Abel and J. Smith, "A simple approach to the nearest neighbor problem," Australian Computer Journal, vol. 16, pp. 140--146, 1984.
Annotation: EMS PER QA776.A86
S. Rugaber, "Program comprehension for reverse engineering," in Proceedings of the 1992 AAAI Workshop on AI and Automated Program Comprehension, 1992. San Jose, California.
G. Adorni, A. Boccalatte, and M. DiManzo, "Object representation and spatial knowledge: an insight into the problem of men-robots communication," in Proc. of the 7th Conf. of the Canadian Man-Computer Com. Soc, (Waterloo, Ontario), pp. 37--45, 1981.
Annotation: Künstliche Intelligenz / Wissensrepräsentation >> EMS STACKS QA75.5.C3x 1981 In Library
G. Adorni and M.~D. Manzo, "Top-down approaches to scene interpretation," in Proc. CIL 83, pp. 28--25, 1983.
J.~K. Aggarwal, L.~S. Davis, W.~N. Martin, and J.~W. Roach, "Survey: Representation methods for three-dimensional objects," in Progress in Pattern Recognition (L.~H. Kanal and A. Rosenfeld, eds.), pp. 371--391, Amsterdam: North-Holland, 1981.
Annotation: Wissensrepräsentation / Raumbeschreibung / Konkreter Raum / Mathematik/Geometrie / Spatial Reasoning >> EMS STACKS Q327.P76 1981 v.2 In Library
P. Agre and D. Chapman, "Pengi: An implementation of a theory of activity," in Proceedings of the 6th AAAI, pp. 268--272, 1987.
Annotation: reactive planning
P. Agre and I. Horswill, "Cultural support for improvisation," in Proceedings of the 10th AAAI, pp. 363--368, 1992.
Annotation: planning general ok, Drev
J.~A. Allen, P. Langley, and S. Matwin, "Knowledge and regularity in planning," 1992.
Annotation: ok, drev via personal email communication with Allen. not read
J. Allen, J. Hendler, and A. Tate, eds., Readings in Planning. Morgan Kaufmann, 1990.
Annotation: planning - collection ok
J.~F. Allen and C.~R. Perrault, "Participating in dialogues: Understanding via plan deduction," CSCSL, 1978.
Annotation: plan recognition PR paper
J.~F. Allen and C.~R. Perrault, "Analyzing intention in utterances," Artificial Intelligence, vol. 15, pp. 143--178, 1980.
Annotation: plan recognition PR paper
J. Allen and J. Koomen, "Planning using a temporal world model," in Proceedings of the 8th IJCAI, pp. 741--747, 1983.
Annotation: temporal reasoning
J.~F. Allen, "Maintaining knowledge about temporal intervals," Communications of the ACM, vol. 26, no. 11, pp. 832--843, 1983.
Annotation: temporal
J.~F. Allen, "Towards a general theory of action and time," Artificial Intelligence, vol. 23, no. 2, pp. 123--154, 1984.
Annotation: temporal
K. Al-Taha, R. Snodgrass, and M. Soo, "Bibliography on spatiotemporal databases," International Journal of Geographical Information Systems, vol. 8, pp. 95--103, January-February 1994.
Annotation: >> ARTS PER G70.2.I572x v.6 1992 In Library
R. Alterman, "Issues in adaptive planning," Technical Report 304, University of California at Berkeley, 1987.
Annotation: planning - adaptive
S. Altschul and D. Lipman, "Trees, stars, and multiple biological sequence alignment," SIAM Journal on Applied Mathematics, vol. 49, pp. 197--209, 1989.
Annotation: merging
S. Amarel, "On representations of problems of reasoning about actions," in Machine Intelligence 3 (D. Michie, ed.), pp. 131--171, Edinburgh University Press, 1968.
Annotation: temporal
J. Anderson and A. Farley, "Plan abstraction based on operator generalization," in Proceedings of the 7th AAAI, 1988.
Annotation: planning - abstraction
J. Anataki, "Analysis of the division icac for an artificial intelligence / expert system current enemy situation prototype development," Contractor W7701-8-3535/01-XSK, Defence Research Establishment Valcartier, 1989. Unclassified.
Annotation: ok, Drev
M. Anthony and N. Biggs, Computational Learning Theory. Cambridge University Press, 1992.
F. Bacchus and Q. Yang, "The downward solution property," in Proceedings of the 12th IJCAI, (Sydney, Australia), pp. 286--292, August 1991.
Annotation: planning - abstraction
F. Bacchus and Q. Yang, "The expected value of hierarchical problem-solving," in Proceedings of the 10th AAAI, pp. 369--374, 1992.
Annotation: planning - abstraction ok, Drev
F. Bacchus and Q. Yang, ``Downward refinement and the efficiency of hierarchical problem solving.'' personal correspondence, August 1992.
Annotation: planning - abstraction This paper contains work from BY91 and BY92 also. ok, Drev
D. Ballard, "Generalizing the hough transform to detect arbitrary shapes," Readings in Computer Vision: Issues, Principles and Paradigms, pp. 714--725, 1987.
Annotation: model matching ok, Laval TA 1632.R39.1987
T. Band, "A demonstrator for intelligent data fusion," in IEE Second International Conference on Command, Control, Communications and Management Information Systems, EASAMS Ltd, UK, 1987.
Annotation: ok, Drev Templates - background
W. Barley, Michael, "Towards planners that can reason about their beliefs," Proceedings of the Knowledge Compilation and Speedup Learning Workshop, IML Conference, 1992. Aberdeen.
Annotation: ok, drev personal communication with barley
S. Barlow and M. Taylor, "The integration of short range sensor data," unknown, pp. 143--148, 1987. Cambridge Consultants Ltd, UK.
Annotation: ok, Drev Templates - background
A. Barrett, K. Golden, S.~J. Penberthy, and D.~S. Weld, ``Ucpop users manual.'' 1992.
Annotation: planning - nonlinear ok, Drev see also ucpop paper
A. Barrett and D.~S. Weld, "Partial-order planning," Technical Report 92-05-01, University of Washington, Dept. of Computer Science and Engineering, 1993.
Annotation: planning - nonlinear ok, Drev see also personal communication with barrett. related with left wedge and abstraction as a goal ordering strategy.
J. Barwise, Handbook of Mathematical Logic. Amsterdam: North-Holland, 1977.
Annotation: logic
M. Belanger, "Classification of conflict resolution strategies for expert systems," Tech. Rep. DREV-TM-9405, Defence Research Establishment Valcartier, Department of National Defence, 1994. unclassified.
Annotation: ok, c/o Micheline.
M. Bender, "Distributed expert systems for c3i," MILCOM 86: 1986 IEEE Miitary Communications Conference, pp. 11.5.1--11.5.5, 1986. Ford Aerospace and Communications Corporation.
C. Bessiere, "Arc-consistency in dynamic constraint satisfaction problems," in Proceedings of the 9th AAAI, vol. 1, pp. 221--226, 1991.
Annotation: constraint sat ok, Drev
E. Bialystok and D.~R. Olson, "Spatial categories: The perception and conceptualization of spatial relations," in Categorial Perception: The Groundwork of Cognition (S. Harnad, ed.), Cambridge: Cambridge University Press, 1987.
Annotation: Psychologie / Wissensrepräsentation / Spatial Reasoning / Kognitive Karten >> ARTS STACKS BF445.C38 1987 In Library
I. Biederman, R.~J. Mezzanotte, and J.~C. Rabinowitz, "Scene perception: Detecting and judging objects undergoing relational violations," Cognitive Psychology, vol. 14, pp. 143--177, 1982.
Annotation: Künstliche Intelligenz / Psychologie / Raumbeschreibung / Konkreter Raum >> ARTS PER BF309.C62 v.25 1993 In Library
Unknown, ``Knowledge crafting with blackboard representations.'' Chapter 17 of QA 76/76 E95 W235, 1988.
Annotation: ok, Drev Templates - general
M. Boddy and T. Dean, "Solving time-dependent planning problems," Unknown, pp. 979--984, 1989.
Annotation: ok, Mmath 1990 ? In book "Planning, Scheduling, Reasoning about Actions" ? planning - temporal
M. Boden, Artificial Intelligence in Psychology : Interdisciplinary Essays. The MIT Press, 1989.
L. Bolc and J. Cytowski, Search Methods for AI. 1992. QA 76.16 B65 1992 C.2.
Annotation: 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
P.~R. Bonnassa, ``Military systems.'' In book, Chapter 7 of AQ 76.76 E95 E96, 1988. Mitre Corporation.
Annotation: ok, Drev Templates - background this is an excellent background paper about integration of systems and AI to the military intel domain.
S. Booth, Kellogg and J. Colbourn, Charles, "Problems polynomially equivalent to graph isomorphism," Technical Report CS-77-04, University of Waterloo, June 1977.
Annotation: ok ref to 666 Lubiw paper,c/o Colbourn
R. Brachman, "On the epistemological status of semantic networks," in Associative Networks, Findler, Nicholas (ed.), Academic Press, 1979.
Annotation: semantic nets
J. Butler and H. Ohtsubo, ``Addyms: Architecture for distributed dynamic manufacturing scheduling.'' 1991.
Annotation: planning - application ok, Univeristy of Tokyo, Aus
P. Calingaert, Program Translation Fundamentals. Computer software engineering series, Rockville, Maryland: Computer Science Press, 1988.
Annotation: ok, Ken Braithwaite has this book - on shelf in DC
D.~e.~a. Campbell, ``Sol: A persistent spatial object library.'' Nov. 1991.
Annotation: spatial reasoning ok, internal CSIRO
S. Carberry, "Tracking user goals in an information-seeking environment," in Proceedings of The National Conference on Artificial Intelligence, (Washington, DC), pp. 59--63, 1983.
Annotation: plan recognition PR paper
S. Carberry, Pragmatic Modeling in Information System Interfaces. Department of computer and information sciences technical report 86-07, University of Delaware, 1985.
Annotation: cited by vanbeek-al 94
S. Carberry, "Modeling the user's plans and goals," Computational Linguistics, vol. 14, no. 3, pp. 23--37, 1988.
Annotation: plan recog PR paper
S. Carberry, "A new look at plan recognition in natural language dialogue," Technical Report 90-08, University of Delaware, 1990.
Annotation: plan recognition
S. Carberry, "Incorporating default inferences into plan recognition," Proceedings of the 8th AAAI, vol. 1, pp. 471--478, 1990.
Annotation: ok, phd research june 1994
L. Cavedon, M. Ljunberg, and D. Morley, "A search-based system for manufacturing scheduling," Technical note 9, Australian Artificial Intelligence Institute, 1990.
Annotation: planning - application ok, Aus
L. Cervoni and F. Rousseaux, "Solving temporal constraints satisfaction problems with an object-oriented model," in Lecture Notes in Artificial Intelligence (F. Belli and F. Radermacher, eds.), vol. 604 of Lecture Notes in Computer Science, pp. 401--410, Springer-Verlag, 1992.
Annotation: temporal - constraint ok, Laval Feb 93
D. Chapman, "Planning for conjunctive goals," Artificial Intelligence, vol. 32, pp. 333--377, 1987.
Annotation: planning ok, Mmath basis paper
D. Chapman, "Penguins can make cake," AI Magazine, pp. 45--50, Winter 1989.
Annotation: planning - general ok, Mmath
E. Charniak and D. McDermott, Introduction to Artificial Intelligence. Addison-Wesley Publishing Company, 1985.
Annotation: ai general ok
D.~M. Chelberg and A. doo Yang, ``Improving the results of object recognition and localization using probabilistic methods.'' work reported online at http://dynamo.ecn.purdue.edu/Researchsummary/Section5/sec5_30.html, 1994.
Annotation: Overview http://dynamo.ecn.purdue.edu/Researchsummary/Section5/sec5_30.html
S. Chen, ed., Advances in Spatial Reasoning, vol. 1. Norwood, NJ: Ablex Publishing Corporation, 1990.
J. Ching, "Computer imagery: An attributed hypergraph framework for visual cognition," in CS786G Course Notes (P. Thagard, ed.), University of Waterloo, 1993. Ph.D. thesis proposal, pp. 14-46, Permission to copy granted by John Ching.
Annotation: ok, in 786G course notes, CH3 only of proposal present
J. Christensen, ``Pablo: A hierarchical planner that generates its own abstraction hierarchies.'' 1989.
Annotation: planning - abstraction ok, Mmath
J. Christensen, ``Using abstractions to achieve reactivity in planning.'' 1989.
Annotation: planning - abstr / reactiv ok, Mmath
J. Christensen, "A hierarchical planner that creates its own hieararchies," in Proceedings of the 8th AAAI, pp. 1004--1009, 1990.
Annotation: planning - abstraction
A. Christiansen, M. Mason, and T. Mitchell, "Learning reliable manipulation strategies without initial physical models," in Proceedings of the 1990 International conference on Robotics and Automation, 1990.
Annotation: robot action ok, Mmath
G. Collins and L. Pryor, "Achieving the functionality of filter conditions in a partial order planner," in Proceedings of the 10th AAAI, pp. 375--380, 1992.
Annotation: planning - filter conditions ok, Drev
A. Doctrine and T. Board, "Combat intelligence, first draft," Tech. Rep. FMC 2910-CFP 315(2), National Defence, Canada, Mobile Command Headquarters, St-Hubert, Quebec, Aug. 1988. Unclassified.
Annotation: unclassifed, materials may be exempt from disclosure
P. Cooper and M. Swain, "Arc consistency: parallelism and domain independence," Artificial Intelligence, vol. 58, pp. 207--235, Dec. 1992.
Annotation: constraint satisfaction ok, Drev Mar/93
M.~C. Cooper, "An optimal k-consistency algorithm," Artificial Intelligence, vol. 41, pp. 89--95, 1989.
Annotation: constraint sat ok, Drev Mar 93
P.~R. Cooper, "Structure recognition by connectionist relaxation formal analysis," Computational Intelligence, vol. 8, no. 1, pp. 25--44, 1992.
Annotation: model matching - neural ok, Drev Mar 93
D. Corkhill, "A generic framework for blackboard applications," AI Review, pp. 21--24, Summer 1990. Blackboard Technology Group.
Annotation: ok, Drev Templates - general
T.~H. Cormen, C.~E. Leiserson, and L. Rivest, Ronald, Intoduction to Algorithms. McGraw-Hill Book Company, 1992.
Annotation: 666 text
A.~U. Frank and I. Campari, eds., Spatial information theory : a theoretical basis for GIS : European conference, COSIT'93. Springer-Verlag, 1993.
Annotation: CONFERENCE NAME: COSIT'93 (1993 : Marciana Marina, Italy) TITLE: Spatial information theory : a theoretical basis for GIS : European conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 : proceedings / Andrew U. Frank, Irene Campari (eds.). SUBJECT(S): Geographic information systems - Congresses. * Geographical perception - Congresses. * Space perception - Congresses. IMPRINT: Berlin ; New York : Springer-Verlag, c1993. NOTES: Includes bibliographical refereces. ISBN: 3540572074 (Berlin : acid-free) LANGUAGE: eng PHYSICAL DESCRIPTION: xi, 477 p. : ill. ; 24 cm. SERIES: Lecture notes in computer science. 716 ASSOCIATED NAME(S): Frank, Andrew U. * Campari, I. (Irene) >>EMS STACKS G70.2.C68 1993 In Library
M. Dalal, "Efficient propositional constraint propagation," in Proceedings of the 10th AAAI, pp. 409--414, 1992.
Annotation: constraint sat ok, DREV
E. Davis, Representations of commonsense knowledge. San Mateo, CA: Morgan Kaufmann, 1990.
Annotation: EMS STACKS Q335.D37 1990 On Loan 95-04-12 24:00
T. Dean and M. Boddy, "An analysis of time-dependent planning," in Proceedings of the 7th AAAI, pp. 49--54, 1988.
Annotation: temporal
T. Dean and M. Boddy, "Reasoning about partially ordered events," Artificial Intelligence, vol. 36, pp. 375--399, 1988.
Annotation: temporal ok, Mmath - response to Chapman in part
A. Dechter and R. Dechter, "Removing redundancies in constraint networks," in Proceedings of the 6th AAAI, pp. 105--109, 1987.
Annotation: constraint satisfaction
R. Dechter and I. Meiri, "Experimental evaluation of preprocessing techniques in constraint satisfaction problems," unknown, pp. 271--277, 1988?
Annotation: constraint satisfaction ok, Drev Mar/93
R. Dechter and J. Pearl, "Network-based heuristics for constraint-satisfaction problems," Artificial Intelligence, vol. 34, 1987.
Annotation: constraint satisfaction
R. Dechter and J. Pearl, "Tree clustering for constraint networks," Artificial Intelligence, vol. 38, pp. 353--366, 1989.
Annotation: constraint sat ok, Drev Mar/93
R. Dechter and E. Schwalb, "Compiling relational data into disjunctive structure: Empirical evaluation," ?, pp. 71--78, ?
Annotation: ok, uw AAAI ?
R. Dechter, "From local to global consistency," in Eighth Canadian Conference on Artificial Intelligence, 1990.
Annotation: constraint satisfaction
R. Dechter, "Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition," Artificial Intelligence, vol. 41, pp. 273--312, 1990.
Annotation: constraint sat ok, Drev Mar 93
R. Dechter, "From local to global consistency," Artificial Intelligence, vol. 55, pp. 87--107, 1992.
Annotation: constraint sat ok, Drev Mar 93
E. Derfee and V. Lesser, "Using partial global plans to coordinate distributed problem solvers," in Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 875--883, 1987.
Annotation: planning not read, dont have it
L. Des~Groseilliers, "Tactical information fusion prototype: Basic intelligence," Memorandum 3093/92, Defense Research Establishment Valcartier, Valcartier, Quebec, Feb. 1992. Unclassified.
Annotation: Unclassified, distribution limited to Defense and contractors NATO and TTCP countries Tif Basic
A.~I. Inc., "Knowledge acquisition for combat intelligence," Contract W7701-8-5202/01-XSK, Defense Research Establishment Valcartier, May 1990. Unclassified.
Annotation: ok, Drev
M. Drummond and K. Currie, "Exploiting temporal coherence in nonlinear plan construction," Computational Intelligence, vol. 4, no. 2, pp. 341--348, 1988.
Annotation: planning - nonlinear
T. Dube and C.-K. Yap, "The geometry in constraint logic programs," ?, ?
Annotation: ok, UW via Dominic Duggan
D. Duggan, ``Cs 442/642 principles of programming languages.'' University of Waterloo, Department of Computer Science, Fall 1993.
Annotation: purchased for 642, UofW bookstore
E.~H. Durfee, "What your computer really needs to know, you learned in kindergarten," in Proceedings of the 10th International Joint Conference on Artificial Intelligence, (Menlo Park, California), pp. 858--864, AAAI Press/MIT Press, 1987.
Annotation: ok, question about the year/ijcai number for 786G, in 786G course notes
S. Dutta, Topological Constraints: A Representational Framework for Approximate Spatial and Temporal Reasoning, vol. 525 of Lecture Notes in Computer Science, pp. 161--180. New York: Springer-Verlag, 1991.
Annotation: >> EMS STACKS QA76.9.D26S95 3rd 1993 On Loan 94-12-14 24:00 >> EMS STACKS QA76.9.D26S95 2nd 1991 On Loan 94-12-14 24:00
F. du Verdier, "Solving geometric constraint satisfaction problems for spatial planning," in Proceedings of the 13th IJCAI, pp. 1564--1569, 1993.
Annotation: >>EMS STACKS Q335.5.I55 13th 1993 v.2 On Loan 94-12-14 24:00 >>EMS STACKS Q335.5.I55 13th 1993 v.1 On Loan 94-12-14 24:00 >> See Qiang: copy IJCAI93 >> Check AI lab first for old IJCAI >> EMS STACKS Q335.5.I55
P. Eades and H.~C. Ng, "An algorithm for detecting symmetries in drawings," ARS Combinatoria, vol. 23A, pp. 95--104, 1987.
Annotation: UW 94 for 666 term paper cites Lubiw:81 QA164.A7x
H. Edelsbrunner, Algorithms in Combinatorial Geometry. Berlin: Springer, 1987.
Annotation: Abstrakter Raum / Mathematik/Geometrie >>EMS STACKS QA167.E34 1987 On Loan 94-12-14 24:00
H. Edelsbrunner, "A note on dynamic range searching," Bulletin of the EATCS, vol. 10, pp. 34--4--, Oct. 1981.
Annotation: cited in Samet:90 w.r.t range search algorithm for DREV
H. Edelsbrunner, Algorithms in combinational geometry, vol. 10 of EATCS Monographs on theoretical computer science. Springer-Verlag, 1987.
Annotation: QA 167.E34 1987
R. Eller and S. Carberry, "A meta-rule approach to flexible plan recognition in dialogue," Journal of User Modeling and User-Adapted Interaction, vol. 2, no. 1-2, pp. 27--53, 1992.
Annotation: ok, phd research june 1994
S.~C. Shapiro, ed., Encyclopedia of Artificial Intelligence, vol. 1,2. John WIley and Sons, 1987. Q335.E53 1987.
Annotation: ok, Drev ai general Index copied for reference
K. Erol, D. Nau, and V. Subrahmanian, "On the complexity of domain-independent planning," in Proceedings of the 10th AAAI, pp. 381--386, 1992.
Annotation: planning - complexity ok, Drev
O. Etzioni, ``A structural theory of explanation-based learning.'' July 1991.
Annotation: explanation learning ok, Draft work only
F. Giunchiglia and T. Walsh, "Abstract theorem proving," in Proceedings of the 11th IJCAI, 1989.
Annotation: theorem proving
R. Fikes, P. Hart, and N. Nilsson, "Learning and executing generalized robot plans," Artificial Intelligence, vol. 3, pp. 251--288, 1972.
Annotation: planning
R. Fikes and N. Nilsson, "Strips: A new approach to the application of theorem proving to problem solving," Artificial Intelligence, vol. 2, pp. 189--208, 1971.
Annotation: planning - strips
R. Fikes and N. Nilsson, "Strips, a retrospective," Artificial Intelligence, vol. 59, pp. 227--232, 1993.
Annotation: 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.
F. Fishcler, Readings in Computer Vision: Issues, Principles and Paradigms, ch. 7, pp. 709--713. 1987.
Annotation: model matching ok, Laval Feb 93, Chapter 7 introduction, TA 1632.R39.1987
U.~S. Government, "Intelligence analysis," Field Manual FM34-3, Headquarters, Department of the Army, Washington, DC, Jan. 1986. Unclassified.
Annotation: Drev document, FMC HQ received sep 28, 1987 note distribution restricted
C.~L. Forgy, "Rete: A fast algorithm for the many pattern/many object pattern match problem," Artificial Intelligence, vol. 19, pp. 17--37, Sept. 1982.
Annotation: don't have it ; haven't read it referenced in DREV work Aug/93
D. Foulser, M. Li, and Q. Yang, "Theory and algorithms for plan merging," Technical Report cs-90-40, University of Waterloo, Computer Science, 1990.
Annotation: merging plans
D. Foulser, M. Li, and Q. Yang, "A quantitative theory of plan merging," in Proceedings of the 9th AAAI, (Anaheim, CA), pp. 673--679, 1991.
Annotation: merging plans ok, Drev
D. Foulser, M. Li, and Q. Yang, "Theory and algorithms for plan merging," Artificial Intelligence, vol. 57, pp. 143--181, 1992.
Annotation: merging plans ok, abstract only
M. Fox, Constraint-Directed Search: A Case Study of Job-Shop Scheduling. Morgan Kaufmann, 1987.
Annotation: constraint satisfaction
A.~U. Frank, I. Campari, and U. Formentini~(eds.), Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, vol. 639 of Lecture Notes in Computer Science. Springer-Verlag, sep 1992.
Annotation: ISBN 0-387-55966-3 >> EMS STACKS G70.2.I575 1992 In Library
W. Frawley, G. Piatetsky-Shapiro, and C. Matheus, "Knowledge discovery in databases: an overview," AI Magazine, pp. 57--70, Fall 1992.
Annotation: ok, Drev Templates - general
E. Freuder and A. Mackworth, "Introduction to the special volume on constraint-based reasoning," Artificial Intelligence, vol. 58, pp. 1--2, 1992.
Annotation: constraint sat ok, Drev
E. Freuder and M. Quinn, "Parallelism in an algorithm that takes advantage of stable sets of variables to solve constraint satisfaction problems," Technical Report 85-21, Dept. of Computer Science, University of New Hampshire, Durham, NH, 1985.
Annotation: parallel csp dont have it, havent read it cited in Nadel 89
E. Freuder and J. Wallace, "Partial constraint satisfaction," Artificial Intelligence, vol. 58, pp. 21--70, Dec. 1992.
Annotation: constraint satisfaction ok, Drev Mar/93
E. Freuder, "Synthesizing constraint expressions.," Communications of the ACM, vol. 21, pp. 958--966, 1978.
Annotation: constraint satisfaction, cited by Cooper89 for j consistency algorithm
E. Freuder, "A sufficient condition of backtrack-free search," J. ACM, vol. 29, no. 1, pp. 23--32, 1982.
Annotation: search
E.~C. Freuder, "Eliminating interchangeable values in constraint satisfaction problems," in Proceedings of the 9th AAAI, vol. 2, pp. 227--233, 1991.
Annotation: constraint sat ok, Drev
S. Friedland, "Quadratic forms: The graph-isomorphism problem," Linear Algebra Applications, vol. 150, pp. 423--442, 1991.
Annotation: UW 94 666 term paper cited Lubiw:81
A. Frisch, Knowledge Retrieval as Specialized Inference. PhD thesis, University of Rochester, Dept.~of Computer Science, Rochester, NY, May 1987.
Annotation: inference
M.~R. Garey and D.~S. Johnson, Computers and Intractability : A guide to the theory of NP-Completeness. Bell Laboratories, Murray Hill, New Jersey: W. H. Freeman and Company, 1979.
Annotation: UW 94 - comps, and 666 THE book for proofs of NP-Completeness ! avail library or bart or anyone !
D. Gentner, "The mechanisms of analogical learning," in Similarlity and analogical reasoning (S. Vosniadou and A. Ortony, eds.), ch. 7, pp. 199--241, Cambridge University Press, 1981.
Annotation: ok, UW in 786 course notes
M. Georgeff and J. Hendler, ``Planning and real time reasoning.'' Tutorial, IJCAI 1991, Sydney, Australia, Aug. 1991.
Annotation: planning - general ok, attended tutorial at IJCAI
M. Georgeff and A. Lansky, "Reactive reasoning and planning," IJCAI, 1988.
Annotation: planning - reactive ok, reprint in Readings in Planning in pers. col.
P. Georgeff, Michael, "Planning," Ann. Rev. Comput. Sci., 1987.
Annotation: planning - general ok, in Readings in Planning - in personal collec.
M. Georgeff, "The role of artificial intelligence in industrial applications," Technical note 1, Australian Artificial Intelligence Institute, 1989.
Annotation: planning - application ok, Aus
P. Georgeff, Michael, "Situated reasoning and rational behavious," Technical Note 21, Australian Artificial Intelligence Institute, 1991.
Annotation: planning - situated ok, Aus
D. Ghahraman, A. Wong, and A. Tung, "Graph optimal monomorphism algorithms," IEEE Transactions on Systems, Man, and Cybernetics, vol. SMC-10, pp. 181--188, April 1980.
Annotation: ok c/o Phillip Wong related to 666, STR
R. Gillespie and W.~A. Davis, "Tree data structures for graphics and image processing," in Proceedings of the 7th Conference of the Canadian Man-Computer Communications Society (CMCCS '81 / ACCHO '81), pp. 155--162, jun 1981.
Annotation: >> EMS STACKS QA75.5.C3x 1981 In Library
M.~L. Ginsberg and D.~F. Geddis, "Is there any need for domain-dependent control information ?," in Proceedings of the 9th AAAI, vol. 2, pp. 452--457, 1991.
Annotation: search ok, Drev
M. Ginsberg and W. Harvey, "Iterative broadening," Artificial Intelligence, vol. 55, pp. 367--383, 1992.
Annotation: search ok
M. Ginsberg, "Universal planning: An (almost) universally bad idea," AI Magazine, pp. 40--44, Winter 1989.
Annotation: planning - general ok, Mmath
M.~G. Ginsberg, "Ginsberg replies to chapman and schoppers: Universal planning research: a good or bad idea ?," AI Magazine, 1989.
Annotation: planning - general ok, Mmath
M.~L. Ginsberg, ``The computational value of nonmonotonic reasoning.'' from Stanford ftp archives, 1992.
Annotation: ok, year uncertain ai general
F. Giunchiglia and T. Walsh, "A theory of abstraction," Artificial Intelligence, vol. 57, 1992.
Annotation: abstraction ok, Mmath in per. col.
P. Godefroid and F. Kabanza, "An efficient reactive planner for synthesizing reactive plans," in Proceedings of the 9th AAAI, vol. 2, pp. 640--645, 1991.
Annotation: planning - reactive ok, Drev
A. Goldman, "Action and free will," in Visual Cognition and Action (H. Osherson, Kesslyn, ed.), vol. 2, ch. 6, pp. 317--340, MIT Press, 1990.
Annotation: ai-general ok, Laval Feb 93, ISBN 0-262-15036-0
A.~I. Goldman, Liaisons: Philosophy meets the cognitive and social sciences. Cambridge, MA: MIT Press, 1992.
Annotation: cited in Thagard:94b as a primary source. I have not read this but make use of a lot of this work as given from Goldman in Thagard.
C. Green, "Application of theorem proving to problem solving," in Proceedings of the 1st IJCAI, pp. 219--239, 1969.
Annotation: theorem proving
W.~E.~L. Grimson and T. Lozano-Pérez, "Model-Based Recognition and Localization from Sparse Range or Tactile Data," International Journal of Robotics Research, vol. 3, pp. 3--35, Fall 1984.
Annotation: >>EMS PER TJ211.I5x v.12 1993 In Library
W.~E.~L. Grimson, "The combinatorics of object recognition in cluttered environments using constrained search," Artificial Intelligence, vol. 44, pp. 121--165, 1990.
Annotation: model matching ok, Drev Mar 93
Q. Guan and G. Friedrich, "Extending constraint satisfaction problem solving in structural design," in Lecture Notes in Computer Science (F. Belli and F. Radermacher, eds.), vol. 604 of Lecture Notes in Computer Science, pp. 341--350, Springer-Verlag, 1992.
Annotation: constraint sat, Lecture Notes in Artificial Intelligence ok, Laval Feb 93
W.-W. Guesgen and J. Hertzberg, "Some fundamental properties of local constraint propagation," Artificial Intelligence, vol. 36, pp. 237--247, 1988.
Annotation: constraint sat ok , DREV Mar/93
H.~W. Guesgen and J. Hertzberg, A Perspective of Constraint-Based Reasoning: An Introductory Tutorial. No. 597, Springer-Verlag, 1992.
Annotation: constraint satisfaction QA76 L471 597 Lecture Notes in AI
N. Gupta and D.~S. Nau, "Complexity results for blocks-world planning," in Proceedings of the 9th AAAI, vol. 2, pp. 629--633, 1991.
Annotation: planning - complexity ok, Drev
N. Gupta and D.~S. Nau, "On the complexity of blocks world planning," Artificial Intelligence, vol. 56, pp. 223--254, 1992.
Annotation: planning - complexity ok
K. Hadavi, W.-L. Hsu, T. Chen, and C.-N. Lee, "An architecture for real-time distributed scheduling," AI Magazine, pp. 46--56, Fall 1992.
Annotation: scheduling ok
N. Haddock, "Semantic evaluation as constraint network consistency," in Proceedings of the 10th AAAI, pp. 415--420, 1992.
Annotation: constraint sat ok, Drev
J.~Y. Halpern and Y. Moses, "A guide to the modal logics of knowledge and belief," in Proceedings of the 9th IJCAI, pp. 480--490, 1985.
Annotation: logic
J. Halpern and Y. Shoham, "A propositional modal logic of time intervals," in Proceedings of the Symposium on Logic in Computer Science, 1986.
Annotation: temporal
K. Hammond, ``Planning and goal interaction: the use of past solution in present situations.'' 1982.
Annotation: planning - goal interact ok, Mmath CS Dept Yale University h
K.~J. Hammond, "Case-based planning: A framework for planning from experience," Cognitive Science, vol. 14, pp. 385--443, 1990.
Annotation: planning - case-based ok, Drev (Luc Lamontagne)
O. Hansson, A. Mayer, and M. Valtorta, "A new result on the complexity of heuristic estimates of the a* algorithm," Artificial Intelligence, vol. 55, pp. 129--143, 1992.
Annotation: search ok
R. Haralick and G. Elliott, "Increasing tree-search efficiency for constraint satisfaction problmes," Artificial Intelligence, vol. 14, pp. 263--313, 1980.
Annotation: ok, Drev constraint satisfaction
P. Hart, N. Nilsson, and B. Rapahael, "A formal basis for the heuristic determination of minimum cost paths," IEEE Transactions Systems Science and Cybernetics, vol. 4(2), pp. 100--107, 1968.
Annotation: search
P.~J. Hayes and J.~F. Allen, "Short time periods," in Proceedings of the 10th International Joint Conference on Artificial Intelligence, (Milan, Italy), 1987.
Annotation: temporal
C.~C. Hayes, "A model of planning for plan efficiency: Taking advantage of operator overlap," in Proceedings of the 11th IJCAI, (Detroit, Michigan), 1989.
Annotation: planning - Machinist
J. Hendler, A. Tate, and M. Drummond, "Ai planning: systems and techniques," AI Magazine, vol. 11, pp. 61--77, Summer 1990.
Annotation: planning - general ok, Mmath in personal collection
G. Hendrix, "Encoding knowledge in partitioned networks," in Associative Networks, Findler, Nicholas (ed.), Academic Press, 1979.
Annotation: representation
P. Van~Hentenryck, H. Simonis, and M. Dincbas, "Constraint satisfaction using constraint logic programming," Artificial Intelligence, vol. 58, pp. 113--159, Dec. 1992.
Annotation: constraint satisfaction ok, Drev Mar/93
P. Van~Hentenryck, Y. Deville, and C.-M. Teng, "A generic arc-consistency algorithm and its specializations," Artificial Intelligence, vol. 57, pp. 291--321, 1992.
Annotation: constraint sat ok, Drev Mar/.93 ABSTRACT ONLY
P. Van~Hentenryck, Constraint Satisfaction in Logic Programming. The MIT Press, 1989.
Annotation: Qiang owns copy. Referenced for first use in 642 term paper research
P. Van~Hentenryck, V. Saraswat, and Y. Deville, "Constraint processing in cc(fd)," ?, ?
Annotation: obtained from Dominic Duggan, for 642 term paper reference not supplied.
J. Herbrand, Recherches sur la theorie de la demonstration. PhD thesis, Dissertation, Paris, 1930.
Annotation: ai general
Hertzberg and Horz, "Towards a theory of conflict detection and resolution in nonlinear plans," in Proceedings of the 11th IJCAI, (Detroit, Michigan), pp. 937--942, 1989.
Annotation: planning - nonlinear
D. Hirschberg, "Algorithms for the longest common subsequence problem," Journal of the Association for Computing Machinery, vol. 24, no. 4, pp. 664--675, 1977.
Annotation: plan merging
D.~D. Hoffman and W.~A. Richards, "Parts-of recognition," Cognition, vol. 18, pp. 65--96, 1984.
Annotation: Künstliche Intelligenz / Raumbeschreibung / Konkreter Raum / Psychologie >>ARTS PER BF309.C58x v.50-51 1994 In Library
C. Hoffmann, "Subcomplete generalizations of graph isomorphism," Journal of Computer and System Sciences, vol. 25, pp. 332--359, 1982.
Annotation: UW 94 sources Lubiw:81 QA76.J6
R. Holte, R. Zimmer, and A. MacDonald, "When does changing representation improve problem-solving performance ?," in Proceedings of the Workshop on Change or Representation and Problem Reformulation, Apr. 1992. NASA Ames Technical Report FIA-92-06.
Annotation: ok, Drev personal commun via email with Holte c/o Stephane Lapointe. Sent my thesis.
R. Holte, R. Zimmer, and A. MacDonald, "A study of the representation-dependency of abstraction techniques," in Proceedings of the 1993 Workshop on Knowledge Compilation and Speedup Learning, 1993.
Annotation: ok, Drev personal commun via email with Holte c/o Stephane Lapointe. Sent my thesis.
R. Holte, T. Mkadmi, R. Zimmer, and A. MacDonald, "Speeding up problem-solving by abstraction: A graph-oriented approach," Technical report TR-95-07, University of Ottawa, Mar. 1995.
Annotation: ok, personal commun via email with Holte
R. Holte, C. Drummond, M. Perez, R. Zimmer, and A. MacDonald, "Searching with abstractions: A unifying framework and new high-performance algorithm," ?, pp. 263--270, ?
Annotation: ok, uw possibly AAAI ? not read, looks interesting
R.~C. Holte, ``Automatic change of representation.'' personal correspondence, Dec. 1993.
Annotation: ok, Drev see also papers holte-al and zimmer-al.
E. Horowitz and S. Sahni, Fundamentals of Computer Algortihms. Rockville, Maryland: Computer Science Press, 1984.
Annotation: algorithms ok
P. Hubbe and E. Freuder, "An efficient cross product representation of the constraint satisfaction problem search space," in Proceedings of the 10th AAAI, pp. 421--427, 1992.
Annotation: constraint sat ok, Drev
J. Hunt and T. Szymanski, "A fast algorithm for computing longest common subsequences," Communications of the Association for Computing Machinery, vol. 20, no. 5, pp. 350--353, 1977.
Annotation: plan merging
E. Hyvonen, "Constraint reasoning based on interval arithmetic: the tolerance propagation approach," Artificial Intelligence, vol. 58, pp. 71--112, 1992.
Annotation: constraint sat - temporal ok, Abstract only
F.~F. Ingrand, "Monitoring and control of spacecraft systems using procedural reasoning," Technical note 3, Australian Artificial Intelligence Institute, 1989.
Annotation: planning - application ok, Aus
L.-E. Janlert, "Modeling change--the frame problem," in The Robot's Dilemma: The Frame Problem in Artificial Intelligence (Pylyshyn, ed.), pp. 65--76, Norwood, New Jersey: Ablex Publishing Company, 1987.
Annotation: frame problem
D. Johnson, "The NP-completeness column - an ongoing guide," Journal of Algorithms, vol. 3, no. 3, pp. 288--300, 1982.
Annotation: UW 94 for 666 term paper Sources Lubiw:81 QA 76.6 J69
D. Joslin and J. Roach, "A theoretical analysis of conjunctive-goal problems," Artificial Intelligence, vol. 41, pp. 97--106, 1989.
Annotation: planning - general ok, Drev Mar 93
F. Kabanza, ``Reactive planning of immediate actions.'' Abstract of talk at UW, Feb 8, 1993, 1993.
Annotation: planning - reactive ok, Drev
A. Kak, ed., Special Issue AI Magazine on Object Recognition, vol. 9. AAAI, 1988.
Annotation: obj recog overview
S. Kambhampati and A. Hendler, James, "A validation-structure-based theory of plan modification and reuse," Artificial Intelligence, vol. 55, pp. 193--258, 1992.
Annotation: plan reuse ok, abstract only
S. Kambhampati and S. Kedar, "Explanation-based generalization of partially ordered plans," in Proceedings of the 9th AAAI, (Anaheim, CA), 1991.
Annotation: planning - nonlinear ok, Drev
S. Kambhampati, Flexible Reuse and Modification in Hierarchical Planning: A Validation Structure Based Approach. PhD thesis, University of Maryland, College Park, Maryland, Oct. 1989.
Annotation: plan reuse
S. Kambhampati, "Characterizing multi-contributor causal structures for planning," in Proceedings of the First International Conference on AI Planning Systems, 1992.
Annotation: planning - nonlinear Multi-Contributor ok, Qiang
S. Kambhampati, "Multi-contributor causal structures for planning: a formalization and evaluation," Tech. Rep. ASU-CS-TR-92-019, Arizona State University, 1992.
Annotation: planning causal struct ok, c/o Josh ... rao at asuvax.asu.edu
S. Kamin, Programming Languages: An Interpreter-Based Approach. Addison Wesley, 1990.
Annotation: ok, UW 1993 purchased for 642
K. Kanazawa and T. Dean, "A model for projection and actions," unknown, pp. 985--990, 1990.
Annotation: ok, Mmath note same location as BD89 planning - temporal
N. Karppinen, ``Oasis -- artificial intelligence in air traffic flow management.'' 1991.
Annotation: scheduling ok, Page 1 only of fax, remainder missing ... ref Peter Cheesman at NASA ?
S. Kasif and A. Delcher, "Local consistency in parallel constraint-satisfaction networks," ?, ?
Annotation: constraint sat, parallel ok, UW Dominic Duggan
S. Kasif, "On the parallel complexity of some constraint satisfaction problems," Proceedings of the Fifth National Conference on Artificial Intelligence, pp. 349--353, 1986.
Annotation: constraint sat, parallel dont have it havent read it - negative about csps in parallel
S. Kasif, "On the parallel complexity of discrete relaxation in constraint satisfaction networks," Artificial Intelligence, vol. 45, pp. 275--286, 1990.
Annotation: constraint sat, parallel ok, Drev Mar 93 havent read it - negative about parallelization of csps
A. Kaufmann, Introduction to the theory of fuzzy sets, vol. 1. Academic Press Inc., 1975.
Annotation: refered by Lapointe tech report as background reference
H. Kautz and J. Allen, "Generalized plan recognition," in Proceedings of the Fifth National Conference on Artificial Intelligence, (Philadelphia, Pennsylvania), pp. 32--37, 1986.
Annotation: plan recog PR paper
H. Kautz, A Formal Theory of Plan Recognition. PhD thesis, University of Rochester, Department of Computer Science, Rochester, New York, 1987.
Annotation: plan recognition
G. Kelleher, "The application of reason maintenance systems in planning and scheduling," vol. 617 of Lecture Notes in Computer Science, pp. 208--237, Springer-Verlag, 1992.
Annotation: planning - general Lecture Notes in AI ok, Laval Feb 93
J. Kent, "Tess: A mobility expert system," in IEE Third International Conference on Command, Control, Communications and Management Information Systems, The Plessey Company plc, UK., 1989.
Annotation: ok, Drev Templates - background
D. Kinney, "Measuring the effectiveness of situated agents," Technical note 11, Australian Artificial Intelligence Institute, 1990.
Annotation: planning - application ok, Aus
D. Kinny and P. Georgeff, Michael, "Commitment and effectiveness of situated agents," Technical Report 91/10, University of Melbourne, 1991.
Annotation: planning - situated ok, Aus
W. Kintsch, "The role of knowledge in discourse comprehension: A construction-integration model," Psychological Review, vol. 95, pp. 163--182, 1988.
Annotation: ok cs786G reference, found in Course Notes discussion relevant to bottom-up and top-down recognition also combines connectionist ideas with rules in phases
C. Knoblock and Q. Yang, "Evaluating the tradeoffs in partial-order planning algorithms," ?, pp. 279--286, ?
Annotation: ok, uw AAAI ?
C.~A. Knoblock, "Learning hierarchies of abstraction spaces," in Proceedings of the Sixth International Workshop on Machine Learning, (Los Altos, CA), pp. 241--245, Morgan Kaufmann, 1989.
Annotation: planning - abstraction ok, Mmath
C.~A. Knoblock, "A theory of abstraction for hierarchical planning," in Proceedings of the Workshop on Change of Representation and Inductive Bias (P. Benjamin, ed.), (Boston, MA), Kluwer, 1989.
Annotation: planning - abstraction
C. Knoblock, "Learning abstraction hierarchies for problem solving," in Proceedings of Eighth National Conference on Artificial Intelligence, (Boston, MA), pp. 923--928, 1990.
Annotation: planning - abstraction ok, recvd Feb 93, Josh
C. Knoblock, ``Abstracting the tower of hanoi.'' 1990.
Annotation: planning abstraction ok, c/o Qiang
C.~A. Knoblock, Automatically Generating Abstractions for Problem Solving. PhD thesis, School of Computer Science, Carnegie Mellon University, 1991.
Annotation: planning - abstraction ok, Mmath : Tech. Report CMU-CS-91-120
C. Knoblock, "Search reduction in hierarchical problem solving," in Proceedings of the 9th AAAI, vol. 2, pp. 686--691, 1991.
Annotation: planning abstraction ok, Drev
Y. Kodratoff and R. Michalski, eds., Machine Learning: An artificial intelligence approach, vol. 3. Palo Alto, California.: Morgan Kaufmann Publishers, Inc., 1990.
Annotation: ai general
C. Kolovoson, M. Neimat, and S. Potomyanos, "Interoperability of spatial and attribute data managers : A case study," in Proceedings of the 3rd International Conference on Large Spatial Databases (D. Abel and B.~C. Ooi, eds.), Advances in Spatial Databases, 3rd edition, pp. 239--263, Springer Verlag, June 1993. Lecture Notes in Computer Science.
Annotation: QA76.9 D26S95 3rd
C. Kolovson and M. Stonebraker, "Segment indexes: Dynamic indexing techniques for multi-dimensional interval data," in Proceedings of ACM SIGMOD 1991 (J. Clifford and R. King, eds.), pp. 138--147, jun 1991.
Annotation: We propose new indexing techniques for interval data in K >= 1 dimensions consisting of a set of extensions to a class of database indexing structures. These techniques are useful for improving index search performance for spatial data composed of multi-dimensional intervals that have non-uniform length distributions. Interval data collections having non-uniform length distributions are likely to occur in practice, and may be typical of historical data collections in which tuples represent intervals in the time dimensions. We present these indexing techniques, illustrate how they may be applied to the R-Tree index, and provide the results of performance experiments. >>EMS STACKS QA76.9.D3A18 1981 In Library (see related year)
C. Kolovson, Indexing Techniques for Multi-Dimensional Spatial Data and Historical Data in Database Management Systems. PhD thesis, University of California, Berkeley, nov 1990.
Annotation: >> NO related reference found
K. Konolige and N. Nilsson, "Multiple-agent planning systems," in Proceedings of the 1st AAAI, pp. 138--142, 1980.
Annotation: planning - mult agent ok, Mmath
R. Korf, "Planning as search: A quantitative approach," Artificial Intelligence, vol. 33, pp. 65--88, 1985.
Annotation: planning - search ok, Mmath
R. Korf, "Depth-first iterative-deepening: An optimal admissible tree search," Artificial Intelligence, vol. 27, pp. 97--109, 1985.
Annotation: search IDA* ok, Mmath
W. Kozaczynski and J.~Q. Ning, "Program concept recognition and transformation," Transactions on Software Engineering, vol. 18, pp. 1065--1075, Dec. 1992.
Annotation: cited by Quilici:94 in reference to code blocking, annotating abstract syntax trees, note later Koz et al extend this in 94
W. Kozaczynski and J.~Q. Ning, "Automated program understanding by concept recognition," Automated Software Engineering, vol. 1, pp. 61--78, 1994.
Annotation: Qiang has journal - ref for proposal Deals with concepts obtained through parsing
C. Knoblock, J. Tenenberg, and Q. Yang, ``Analyzing abstraction hierarchies for planning.'' 1990.
Annotation: planning - abstraction to appear
C. Knoblock, J. Tenenberg, and Q. Yang, ``A spectrum of abstraction hierarchies for planning.'' 1990.
Annotation: planning - abstraction ok Mmath, Submitted for Publication
C. Knoblock, J. Tenenberg, and Q. Yang, "Characterizing abstraction hierarchies for planning," in Proceedings of the 9th AAAI, (Anaheim, CA), 1991.
Annotation: planning - abstraction ok, recvd Feb 93, Josh in pers. col.
V. Kumar, "Algorithms for constraint-satisfaction problems," AI Magazine, pp. 32--44, Spring 1992.
Annotation: constraint satisfaction. ok, Basic background start for CSP paper.
P.~B. Ladkin, "The completeness of a natural system for reasoning with time intervals," in Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 462--467, 1987.
Annotation: temporal
P.~B. Ladkin, "Satisfying first-order constraints about time intervals," in Proceedings of the 7th AAAI, pp. 512--517, 1988.
Annotation: temporal constraints
W. Lam and F. Bacchus, "Learning bayesian belief networks: An approach based on the mdl principle," tech. rep., University of Waterloo, 1993.
Annotation: 786 c/o Lam
W. Lam and F. Bacchus, "Using causal information and local measures to learn bayesian networks," UAI, 1993.
Annotation: 786 c/o lam
W. Lam and F. Bacchus, ``Using new data to refine a bayesian network.'' advance copy, 1993.
Annotation: 786 c/o Lam
Y. Lamdan and H.~J. Wolfson, "Geometric Hashing: A General and Efficient Model-Based Recognition Sceme," in Proceedings of the Second International Conference on Computer Vision, pp. 238--249, 1988.
Annotation: >> EMS STACKS TA1632.I56x 2nd 1988 On Loan 94-12-14 24:00
A. Lansky, "Localized event-based reasoning for multiagent domains," Computational Intelligence, vol. 4, no. 4, 1988.
Annotation: planning - multi agent. Gemplan
S. Lapointe and R. Proulx, "Statistical identification of templates in message data," Contract Report W7701-3-0847/01-XSK, APG inc. (1994), 1994. Combat Intelligence Automation Group, Defence Research Establishment Valcartier.
Annotation: no current document exists as of Aug/93
S. Lapointe and R. Proulx, "Fuzzy geometric relations to represent hierarchical spatial information," in Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence, 1994. to appear.
Annotation: c/o Stephane
S. Laskowski, H. Antonisse, and R. Bonnasso, "Analyst ii: A knowledge-based intelligence support system," in The Second Conference on Artificial Intelligence Applications, pp. 558--563, The Mitre Corporation, 1985.
Annotation: ok, Drev Templates background
J. Lazansky, "Practical applications of planning tasks," vol. 617 of Lecture Notes in Computer Science, pp. 238--244, Springer-Verlag, 1992.
Annotation: planning - application Lecture Notes in AI ok, Laval Feb 93
K. Lehnert and M. Sulivan, "Development and evaluation of ai techniques for tactical decision support systems," in Proceedings of the annual AI systems in government conference, pp. 133--140, 1989.
Annotation: ok, Drev Templates background
A.~C. Lemke and G. Fischer, "A cooperative problem solving system for user interface design," Proceedings of the 8th AAAI, vol. 1, pp. 479--484, 1990.
Annotation: ok, phd research june 1994
P. Li, M.and~Vitanyi, "Two decades of applied kolmogorov complexity," in 3rd Structure in Complexity Theory, pp. 80--101, 1988.
Annotation: algorithms
H. Lie and C. Rowles, "Intention attributes in planning," in Proceedings of the Pacific Rim International conference on AI, 1990.
Annotation: planning ok, Aus in per. col.
V. Lifschitz, "On the semantics of strips," in Proceedings of the Workshop on Reasoning about Actions and Plans, (Timberline, Oregon), 1986.
Annotation: planning - strips
V. Lifschitz, "A theory of action," in Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 966--972, 1987.
Annotation: planning
V. Lifschitz, "Formal theories of action: Preliminary report," in The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop (F.~M. Brown, ed.), Morgan Kaufman, April 1987.
Annotation: planning
D.~J. Lipman and W.~R. Pearson, "Rapid and sensitive protein similarity searches," Science, vol. 227, pp. 1435--1441, 1985.
Annotation: plan merging
D.~J. Litman, "Linguistic coherence: A plan-based alternative," in Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, (New York, New York), pp. 215--223, 1986.
Annotation: plan recog PR paper
D. Lowe, Perceptual Organization and Visual Recognition, ch. 6, pp. 92--109. 1985.
Annotation: model matching ok, Laval Feb, 93 TA 1632.L68.1985
A. Lubiw, "Some NP-complete problems similar to graph isomorphism.," SIAM Journal of Compting, vol. 10, pp. 11--21, 1981.
Annotation: 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
A. Mackworth, J. Mulder, and W. Havens, "Hierarchial arc consistency: exploiting structured domains in constraint satisfaction problems," Computational Intelligence, vol. 1, pp. 188--126, 1985.
Annotation: constraint satisfaction ok, phd research see also menezes, sidebottom
A. Mackworth and E. Freuder, "The complexity of some polynomial network consistency algorithms for constraint satisfaction problems," Artificial Intelligence, vol. 125, pp. 65--74, 1985.
Annotation: constraint satisfaction
A. Mackworth and E. Freuder, "The complexity of constraint satisfaction revistited," Artificial Intelligence, vol. 59, pp. 57--62, 1993.
Annotation: constraint sat ok, DREV Mar/93
A. Mackworth, "Consistency in networks of relations," Artificial Intelligence, vol. 8, pp. 99--118, 1977.
Annotation: constraint satisfaction AC3 original citation
A. Mackworth, "Consistency in networks of relations," in Readings in Artificial Intelligence (Webber and Nilsson, eds.), pp. 69--78, Morgan Kaufmann Publishers Inc., 1981.
Annotation: constraint satisfaction SEE AIJ 1977 8(1) 99-118
A. Mackworth, "Constraint satisfaction," in Encylopedia of Artificial Intelligence (S. Shaprio, ed.), vol. 1, pp. 205--211, John Wiley and Sons, 1987.
Annotation: 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. cross ref Encyclopedia:87
A. Mackworth, "The logic of constraint satisfaction," Artificial Intelligence, vol. 58, pp. 3--20, Dec. 1992.
Annotation: constraint satisfaction ok, Drev
U. Manber, Introduction to Algorithms: A Creative Approach. Reading, Massachusetts: Addison-Wesley, 1989.
Annotation: algorithms
J. Manning, "Computational complexity of geometric symmetry detection in graphs," Lectures in Computer Science, vol. 507, 1991.
Annotation: UW 94 666 termpaper cites Lubiw:81
M. Mantyla and J. Opas, "Hutcapp---a machining operations planner," in Proceedings of the Second International Symposium on Robotics and Manufacturing systems, 1988.
Annotation: planning - manufacturing
D. McAllester and D. Rosenblitt, "Systematic nonlinear planning," in Proceedings of the 9th AAAI, (Anaheim, CA), pp. 634--639, 1991.
Annotation: planning - nonlinear ok, recvd Feb 93 Josh
J. McCall, J. Tront, F. Gray, and R. Haralick, "Parallel computer architectures and problem solving strategies for the consistent labeling problem," IEEE Transactions on Computers, vol. C-24, no. 11, pp. 973--980, 1985.
Annotation: cited in Nadel:89 havent read it dont have it
J. McCarthy and P. Hayes, "Some philosophical problems from the standpoint of artificial intelligence," in Machine Intelligence 4, Edinburgh University Press, 1969.
Annotation: ai general
E. McCreight, "Priority search trees," SIAM Journal on Computing, vol. 14, pp. 257--276, May 1985.
Annotation: cited for DREV Contract 2
D. McDermott, "Planning and action," Cognitive Science, vol. 2, 1978.
Annotation: planning
D. McDermott, "Spatial reasoning," in Encyclopedia of Artificial Intelligence (S.~C. Shapiro, ed.), pp. 863--870, New York: Wiley, 1987.
Annotation: Künstliche Intelligenz / Spatial Reasoning / Wissensrepräsentation / Kognitive Karten / Raumbeschreibung / Konkreter Raum >> EMSREF REF Q335.E53 1992 v.2 In Library
D. McDermott, "Robot planning," AI Magazine, pp. 55--79, Summer 1992.
Annotation: planning - general ok
J. McGregor, "Relational consistency algorithms and their application in finding subgraph and graph isomporphisms," Information Sciences, vol. 19, pp. 229--250, 1979.
Annotation: constraint satisfaction cited in Nadel:89 as originator of AC 1/5
D.~M. McKeown, "Maps: The organization of a spatial database system using imagery, terrain, and map data," Technical Report CMU-CS-83-136, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, 1983.
Annotation: >> online search ? We need indices to tech reports online somehow via Mosaic
F. Menezes, P. Barahona, and P. Codognet, "An incremental hierarchical constraint solver," ?, ?
Annotation: ok, UW Dominic Duggan
M. Meyer, "Using hierarchical constraint satisfaction for lathe-tool selection in a cim environment," Technical RR-92-35, German Research Center for Artificial Intelligence (DFKI), P.O. Box 20 80, D-7560 Kaiserslautern, Germany, 1992.
Annotation: constraint satisfaction ok, Email meyer at dfki.uni-kl.de I have CONTAX installed, but have not experimented with it.
M. Meyer, ``Contax user guide.'' 1992.
Annotation: constraint satisfaction. ok, Contax Email meyer at dfki.uni-kl.de
P. Milne, S. Milton, and J.~L. Smith, "Geographic object-oriented databases, a case study," International Journal of Geographic Information Systems, in print.
Annotation: objects. SOL ok, Accepted for publication 1992
S. Milton and D. Campbell, "A graphic object mapping system for Xwindows," in Tools Pacific '92, (Sydney, Australia), Dec. 1992.
Annotation: objects ok, Aus
M. Minsky, "A framework for representing knowledge," in Mind design (J. Haugeland, ed.), ch. 3, pp. 95--128, Cambridge, MA: MIT Press, 19981. ISBN 0-262-58052-7.
Annotation: in cs786G course notes
S. Minton, J. Carbonnel, C. Knoblock, D. Kuokka, O. Etzioni, and Y. Gil, "Explanation-based learning: A problem-solving perspective," Technical Report CMU-CS-89-103, Carnegie Mellon University, 1989.
Annotation: explanation learning ok, Mmath
S. Minton, M. Johnston, A. Philips, and P. Laird, "Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems," Artificial Intelligence, vol. 58, pp. 161--205, 1992.
Annotation: constraint sat, local search ok, Abstract only
S. Minton, J. Bresina, and M. Drummond, "Commitment strategies in planning: A comparative analysis," in Proceedings of the 12th IJCAI, (Sydney, Australia), 1991.
Annotation: planning
S. Minton, "Quantitative results concerning the utility of explanation-based learning," Artificial Intelligence, vol. 42, pp. 363--391, 1990.
Annotation: explanation learning. Prodigy
T.~M. Mitchell, ``Becoming increasingly reactive.'' Feb. 1990.
Annotation: planning - reactive ok, Submitted to AAAI-90
R. Mohr and T. Henderson, "Arc and path consistency revisited," Artificial Intelligence, vol. 28, pp. 225--233, 1986.
Annotation: ok, drev cited in Cooper:89 reference to AC-4
U. Montanari and F. Rossi, "Constraint satisfaction, constraint programming, and concurrency," ?, ?
Annotation: constraint sat ok, UW via Dominic Duggan
U. Montanari and F. Rossi, "Constraint relaxation may be perfect," Artificial Intelligence, vol. 48, pp. 143--170, 1991.
Annotation: constraint sat - relax ok, Drev Mar 93
U. Montanari, "Networks of constraints: fundamental properties and applications to picture processing," Information Sciences, vol. 7, pp. 95--132, 1974.
Annotation: constraint satisfaction
D.~J. Mooney, S. Carberry, and K.~F. McCoy, "Capturing high-level structure of naturally occurring, extended explanations using bottom-up strategies," Computational Intelligence, vol. 7, pp. 334--356, 1991.
Annotation: ok,phd research june 1994
R.~G.~M. Morris, "Spatial localization does not require the presence of local cues," Learning and Motivation, vol. 12, pp. 239--260, 1981.
Annotation: Wissensrepräsentation / Spatial Reasoning Kognitive Karten / Psychologie >> ARTS PER BF199.L4x v.24 1993 In Library
J. Mostow and A. Prieditis, "Discovering admissible heuristics by abstracting and optimizing: A transformational approach," in Proceedings of the 11th IJCAI, 1989.
Annotation: search
B. Mouline and D. Roussea, "Automated knowledge acquisition from regulatory texts," IEEE Expert, pp. 27--35, Oct. 1992.
Annotation: 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.
H. Muller, M. Tilley, M. Orgun, B. Corrie, and N. Madhavji, "A reverse engineering environment based on spatial and visual software interconnection modules," in Proceedings of the Fifth ACM SIGSOFT Symposium on Software Development Environments (SIGSOFT '92), ACM Software Engineering Notes, pp. 88--98, Dec. 1992.
Annotation: See Rigi html Server on tara.UVic.CA/rigi/ref.html
H. Muller, M. Orgun, S. Tilley, and J. Uhl, "A reverse engineering approach to subsytem structure identification," Journal of Software Maintenance, 1993.
Annotation: See Rigi html Server on tara.UVic.CA/rigi/ref.html
H. Muller, K. Wong, and S. Tilley, "Understanding software systems using reverse engineering technology," in Proceedings of the Colloquim on Object Orientation in Databases and Software Enginering, pp. 88--98, Dec. 1994.
Annotation: See Rigi html Server on tara.UVic.CA/rigi/ref.html note = May 16-17, 1995 Montreal, Quebec, Canada, publisher = The 62nd Congress of the "L'Association Canadienne Francaise pour l'Avancement des Sciences (ACRAS)",
G. Myers, "An $O(ND)$ difference algorithm and its variations," Algorithmica, vol. 1, pp. 251--266, 1986.
Annotation: algorithms
B.~A. Nadel, "Constraint satisfaction algorithms," Computational Intelligence, vol. 5, pp. 188--224, 1989.
Annotation: 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.
B. Nadel, "Representation selection for constraint satisfaction: a case study using n-queens," IEEE Expert, pp. 16--23, June 1990.
Annotation: 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. Pointers to much other related work by the author in CSP improvement and experimentation. Discussion of ABSTRACTING alternative representations of N-queens and how to transform alternative instances of CSP into other instances automatically and to test these theoretically with the equations.... leading to new, better representations.
NATO, "Nato glossary of terms and definitions," Tech. Rep. AAP-6(R), NATO, 1988. Unclassified.
Annotation: cited in Basic Intelligence, DREV
D. Nau, "Hierarchical abstraction for process planning," in Proceedings of Second International Conference in Applications of Artificial Intelligence in Engineering, 1987.
Annotation: planning - abstraction
R. Naylor, "Battlefield data fusion," in IEE Second International Conference on Command, Control, Communications and Management Information Systems, Plessey Defence Systems, UK, 1987.
Annotation: ok, Drev Templates - background
C. Harris, Application of AI to C2 systesm, ch. 3.3, pp. 213--232. 1987. Battlefield data fusion, R.T. Naylor.
Annotation: ok, Drev Templates - background
S. Needleman and C. Wunsch, "A general method applicable to the search for similarities in the amino acid sequence of two proteins," Journal of Molecular Biology, vol. 48, pp. 443--453, 1970.
Annotation: plan merging
A. Newell and H.~A. Simon, Human Problem Solving. Englewood Cliffs, New Jersey: Prentice-Hall, 1972.
Annotation: ai general. GPS
A. Newell, Unified theories of cognition, ch. 4, pp. 158--200,226--234. Cambridge, MA: Harvard University Press, 1990. ISBN 0-674-92099-6.
Annotation: 786G Source Material. In Course Notes : part of Chapter 4 only
N. Nilsson, Principles of Artificial Intelligence. Morgan Kaufmann Publishers Inc, 1980.
Annotation: ai general ok, Mmath - selected chapters and index: intro, search, predicate calc.,plan generate
N. Nilsson, "Shakey the robot," Tech. Rep. 323, Stanford Research Institute, 1984.
Annotation: ai general Technical Note
T. Nishida, A. Yamada, and S. Doshita, "Figuring out most plausible interpretation from spatial constraints," in Proc.the 1987 Workshop on Spatial Reasoning and Multi-Sensor Fusion, (St. Charles, IL), pp. 158--167, 1987.
Annotation: >>EMS STACKS Q334.S635 1987 On Loan 94-12-14 24:00
P. Norvig, Paradigms of Artificial Intelligence Programming, Case Studies in Common Lisp. Morgan Kaufmann, 1992.
Annotation: ai general LucL at Drev: ok, Chapter 17, also contents and appendix with software locs/ appl contacts index copied for reference
M. of Defence, "Notes on the soviet ground forces," Tech. Rep. B-GL-050-INT/PT-121, Ministry of Defence, Chief of General Staff, 1979. Amendment No. 4.
Annotation: restricted, c/o Cpl Garant, Intelligence Valcartier
B. Nudel, "Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics," Artificial Intelligence, vol. 21, pp. 135--178, 1983. see also Bernard Nadel.
Annotation: Constraint sat. Earlier work by Nadel - CSP related. ok, Abstract Only
O. Inc., ONTOS Developers Guide. Three Burlington Woods, Burlington Massachussetts, USA 01803: Ontos Inc., 1991.
Annotation: objects
B.~C. Ooi in Efficient Query Processing in Geographic Information Systems (G. Goos and J. Hartmanis, eds.), no. 471 in Lecture Notes in Computer Science, pp. 239--263, Springer-Verlag, June 1990.
Annotation: QA70.2 O55 1990 Davis
W. Park and B. Cote, "An artificial intelligence representatio of the fantasian ground forces," Tech. Rep. 2947/88, Defence Research Establishment Valcartier, Oct. 1988. Uclassified.
Annotation: ok, Drev
S. Paul and A. Prakash, "Generating programming language-based pattern matchers," in Proceedings of CASCON '93, vol. 1, pp. 227--243, IBM Canada/NRC Canada, 1993.
Annotation: ok, phd refered by Rick Kazman There exists a later paper by same authors. possibly IEEE Software ? Find it.
J. Pearl, Heuristics. Addison-Wesley Publishing Company, 1984.
Annotation: search
S.~J. Penberthy and D.~S. Weld, ``Ucpop: A sound, complete, partial order planner for adl.'' 1993.
Annotation: planning - nonlinear ok, Drev see also user manual ucpop
National Defence, Base des forces Candiennes de Gagetown, Oromocto, NB Canada, Programme D'enseignement Personnel Sur Le Regiment De Fusiliers Motorises Fantasien, May 1992.
National Defence, Base des forces Candiennes de Gagetown, Oromocto, NB Canada, Programme D'enseignement Personnel Sur Le Regiment De Chars D'Assaut Fantasien, May 1992.
National Defence, Base des forces Candiennes de Gagetown, Oromocto, NB Canada, Programme D'enseignement Personnel Sur Les Operations Offensives Fantasiennes, May 1992.
C. Army, "Programme d'enseignement personnnel sur le regiment de chars d'assaut fantasien," training manual PEP 498-1 to 4, Centre d'instruction au combat bureau tactique, May 1992. Not classified.
Annotation: c/o Cpl Garant Intelligence, Valcartier
M. Perlin, "Arc consistency for factorable relations," Artificial Intelligence, vol. 53, pp. 329--342, 1992.
Annotation: constraint sat ok, Drev Mar 93
B.~T. Perricone, "Spatial Representation and Reasoning - A Critical Survey and Proposal," Tech. Rep. TR-1275, University of Maryland, 1983.
Annotation: Künstliche Intelligenz / Spatial Reasoning / Mathematik/Geometrie / Konkreter Raum / Wissensrepräsentation >> No perricone found online at UMd CS
C. Petrie, "Constrained decision revision," in Proceedings of the 10th AAAI, pp. 393--400, 1992.
Annotation: planning - revision ok, Drev
G. Pinkas and R. Dechter, "An improved connectionist activation function for energy minimization," in Proceedings of the 10th AAAI, pp. 434--439, 1992.
Annotation: constraint sat ok, Drev
D. Plaisted, "Theorem proving with abstraction," Artificial Intelligence, vol. 16, pp. 46--108, 1981.
Annotation: abstraction
M. Pollack, "A model of plan inference that distinguishes between the beliefs of actors and observers," in Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, (New York, New York), pp. 207--214, 1986.
Annotation: plan recog PR paper
M. Pollack, "The uses of plans," Artificial Intelligence, vol. 57, pp. 43--68, 1992.
Annotation: planning - general ok
R. Port and T. van Gelder, "It's About Time: An Overview of the Dynamical Approach to Cognition," in Mind as Motion: Exploration in the Dynamics of Cognition, Bradford/MIT Press, 1995.
Annotation: ok in 786G course notes citation possibly incorrect format InCollection
S. Post and J. Franklin, "Transefer of ai technology to command and control applications by incremental evaluation," Expert Systems in Government Symposium, 2nd, pp. 366--369, 1986.
Annotation: ok, Drev Templates background
G. Prabhu and D. Narsingh, "The ellipsoid algorithm and the graph isomorphism problem," Technique et Science Informatiques, vol. 3, pp. 327--333, 1984. in English.
Annotation: UW 94, 666 term paper sources Lubiw:81 QA75.5.T43
P. Prosser, "Hybrid algorithms for the constraint satisfaction problem," Computational Intelligence, vol. 9, no. 3, pp. 268--299, 1993.
Annotation: ok, from Q Yang 1993 Heavy overlap of my tech report work in better detail
R. Proulx (APG~Inc.), "Fuzzy representation and matching of spatial templates," DREV Technical Report W7701-3-0847/01-XSK, Defence Research Establishment Valcartier, 1994.
Annotation: cited in Lapointe template paper. I have not seen a copy of this as of January 95
P. Purdom, "Search rearrangement backtracking," Artificial Intelligence, vol. 21, pp. 117--133, 1983.
Annotation: constraint sat. CSP background, cited in Kum92 ok, Drev Mar 93
Z. Pylyshyn, "The role of location indexes in spatial perception: A sketch of the FINST spatial-index model," Cognition, vol. 32, pp. 65--97, 1989.
Annotation: Philosophie / Imagery / Psychologie >>ARTS PER BF309.C58x v.50-51 1994 In Library
A. Quilici, "A memory-based approach to recognizing programming plans," Communications of the ACM, vol. 37, pp. 84--93, May 1994.
Annotation: ok, basis for thesis work, #1. also basis for 786 project startup also basis for IJCAI95 paper w/ Qiang
A. Quilici and D. Chin, "A cooperative program understanding environment.," in Proceedings of the Ninth Knowledge-Based Software Engineering Conference, (Monterey, CA), pp. 125--132, 1994.
Annotation: ok
A. Quilici, "Toward practical automated program understanding," Working Notes of the Third Workshop on AI and Software Engineering : Breaking the Toy Mold (AISE-95), Aug. 1995. In conjunction with the Fourteenth Int'l Joint Conference on Artificial Intelligence.
Annotation: IJCAI 1995 Workshop submission avail on www site
A. Quilici and D. Chin, "DECODE: A cooperative environment for reverse-engineering legacy software," in Proceedings of the Second Working Conference on Reverse-Engineering, pp. 156--165, IEEE Computer Society Press, July 1995.
Annotation: ok, Toronto July 1995 address = 10662 Los Vaqueros Circle, Los Alamitos CA 90720-1264,
R. Karinthi, D.~S. Nau, and Q. Yang, ``Handling feature interactions in process planning.'' 1991.
Annotation: planning to appear, Journal of Applied Artificial Intelligence
S. Raghunathan, "A planning aid: An intelligent modeling system for planning problems based on constraint satisfaction," IEEE Transactions on Knowledge and Data Engineering, vol. 4, pp. 317--335, Aug. 1992.
Annotation: ok, UW 93/94 Planning, constraint satisfaction not read yet, looks interesting
A.~S. Rao and M.~P. Georgeff, "Intentions and rational commitment," Technical note 8, Australian Artificial Intelligence Institute, 1990.
Annotation: planning - application ok, Aus
P.~J.~M. van Oosterom, Reactive data structures for geographic information systems. Oxford University Press, 1993.
Annotation: AUTHOR, ETC.: Oosterom, Petrus Johannes Maria van. TITLE: Reactive data structures for geographic information systems / Petrus Johannes Maria van Oosterom. SUBJECT(S): Geographic information systems * Data structures (Computer science) IMPRINT: Oxford ; Toronto : Oxford University Press, 1993. NOTES: Includes bibliographical references (p. [169]-187) and index. ISBN: 0198233205 (acid-free) LANGUAGE: eng PHYSICAL DESCRIPTION: x, 198 p. : ill. ; 24 cm. SERIES: Spatial information systems. >>ARTS STACKS G70.2.O56 1993 On Loan 94-11-01 24:00
A. Reinefeld and V. Schnecke, "AIDA* - Asynchronous parallel IDA*," ?, pp. 295--302, ?
Annotation: ok, uw possibly AAAI ?
R. Reiter, "On closed world data bases," in Logic and Data Bases, Gallaire and Minker (eds.), Plenum Publishing Corporation, 1978.
Annotation: ai general
C. Rich and R. Waters, The programmer's apprentice. Reading, Mass.: Addison-Wesley, 1990.
Annotation: recall for phd research AUTHOR: Rich, Charles, 1951- TITLE: The Programmer's apprentice / IMPRINT: New York : ACM Press ; Reading, Mass. ; Don Mills, Ont. : Addison-Wesley, c1990. CALL NUMBER: QA76.76.D47R53 1990 Loan Call Location Type Number Status EMS STACKS QA76.76.D47R53 1990 On Loan 95-04-12 24:00
C. Rich and R. Waters, "The Programmer's Apprentice: A research overview," IEEE Comput., vol. 21, no. 11, pp. 10--25, 1988.
Annotation: recall for phd research AUTHOR: Rich, Charles, 1951- TITLE: The Programmer's apprentice / IMPRINT: New York : ACM Press ; Reading, Mass. ; Don Mills, Ont. : Addison-Wesley, c1990. CALL NUMBER: QA76.76.D47R53 1990 Loan Call Location Type Number Status EMS STACKS QA76.76.D47R53 1990 On Loan 95-04-12 24:00
I. Rigoutsos and R. Hummel, "Massively parallel model matching," Computer Magazine, vol. 25, pp. 33--42, Feb. 1992.
Annotation: model matching ok, Laval - copy to Guy Feb 23/93
L. Rips, The psychology of proof: Deductive reasoning in human thinking, ch. 2, pp. 63--99. MIT Press, 1994. ISBN 0-262-18153-3.
Annotation: In 786G Course Notes, Only chapter 2, Pp 63-99
J. Robinson, "A machine-oriented logic based on the resolution principle," Journal of the ACM, vol. 12, no. 1, pp. 23--41, 1965.
Annotation: logic
M. Rokey and S. Grenander, "Planning for space telerobotics: the remote mission spcialist," IEEE Expert, vol. 5, pp. 8--15, June 1990.
Annotation: planning - application ok, Mmath
D. Rosenblitt, ``The plan integration problem.'' 1990.
Annotation: plan merging Submitted for publication
D. Rosenblitt, Supporting Collaborative Planning: The Plan Integration Problem. PhD thesis, MIT, Cambridge, MA, Feb. 1991.
Annotation: plan merging
F. Rossi, C. Petrie, and V. Dhar, "On the equivalence of constraint-satisfaction problems," Technical Report ACT-AI-22-89, MCC Corporation, Austin, Texas, 1989.
Annotation: 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.
D. Rumelhardt, G. Hinton, and R. Williams, "Learning representations by back-propagating errors," Nature, vol. 323, pp. 533--536, Oct. 1986.
Annotation: neural / connectionist ok, Mmath
K.~R. Ryu and B. Irani, Keki, "Learning from goal interactions in planning: goal stack analysis and generalization," in Proceedings of the 10th AAAI, pp. 401--407, 1992.
Annotation: planning - goals ok, Drev
E. Sacerdoti, "Planning in a hierarchy of abstraction spaces," Artificial Intelligence, vol. 5, pp. 115--135, 1974.
Annotation: planning - abstraction. Abstrips
E.~D. Sacerdoti, "The nonlinear nature of plans," Advance Papers, IJCAI, vol. 1, pp. 206--214, 1975.
Annotation: planning - nonlinear
E. Sacerdoti, A Structure for Plans and Behavior. American Elsevier, 1977.
Annotation: planning, Noah PR paper
M. Sahota and A. Mackworth, "Can situation robots play soccer ?," ?, pp. 249--254, ?
Annotation: ok, uw AAAI ?
C. Sallaberger, ``Space robotic path planning.'' Abstract of talk at UW Feb 10, 1993, 1993.
Annotation: path planning ok, Drev
H. Samet, "The quadtree and related hierarchical data structures," Computing Surveys, vol. 16, no. #2, pp. 187--260, 1984.
Annotation: Raumwissen / Mathematik/Geometrie / Konkreter Raum / Wissensrepräsentation >>EMS PER QA76.C76 v.16 1984 In Library >>EMSMIC MICFIC MFCL 1189 v.14 In Library
H. Samet, The Design and Analysis of Spatial Data Structures. Addison-Wesley, 1990.
Annotation: CALL NUMBER: QA76.9.D35S25 1990 >> EMS STACKS QA76.9.D35S25 1990 In Library >> EMS STACKS QA76.9.D35S26 1990 On Loan 94-12-14 24:00
D. Sankoff and J. Kruskal, eds., Time Warps, String Edits, and Macromolecules: The Theory and Practice of Sequence Comparison. Reading, Massachusetts: Addison-Wesley, 1983.
Annotation: merging
D. Sankoff, "Matching sequences under deletion/insertion constraints," Proceedings of the National Academy of Sciences USA, vol. 69, no. 1, pp. 4--6, 1972.
Annotation: plan merging
M. Sarner and S. Carberry, "Generating tailored definitions using a multifaceted user model," Journal of User Modeling and User-Adapted Interaction, vol. 2, no. 3, pp. 181--210, 1992.
Annotation: ok, phd research june 1994
R. Schank and R. Abelson, Scripts, Plans, Goals and Understanding. Lawrence Erlbaum Associates, 1977.
Annotation: planning
R. Schank, "Where's the ai?," Artificial Intelligence Magazine, vol. 12, no. 4, pp. 38--49, 1992.
Annotation: 786
R. Schneider and H.-P. Kriegel, "Indexing the spatiotemporal monitoring of a polygonal object," in Proceedings of the 5th International Symposium on Spatial Data Handling, vol. 1, (Charleston, SC), pp. 200--209, 1992.
Annotation: In Geographic Information Systems spatial objects may change their spatial location and/or shapes over time. Query processing of such spatiotemporal objects consists of spatial query conditions and temporal query conditions. Our study focuses on representing the spatiotemporal monitoring of a polygonal object and aims at developing an efficient data structure supporting queries and operations that refer to both spatial and temporal monitoring. In this paper, we present a first performance comparison which indicates that spatial indexing offers a possibility of efficient query processing of a spatiotemporal object. >>not found, although this reference seems highly relevant. Post looking >> for this journal
M.~J. Schoppers, "In defense of reaction plans as caches," AI Magazine, pp. 51--60, 1989.
Annotation: planning - general ok, Mmath
L. Schubert, "Monotonic solution of the frame problem in the situation calculus," in Knowledge Representation and Defeasible Reasoning (Kyburg, Loui, and Carlson, eds.), Kluwer, in press.
Annotation: frame problem ok, Mmath
R.~W. Schwanke and S.~J. Hanson, "Using neural networks to modularize software," Machine Learning, vol. 15, pp. 137--168, 1994.
Annotation: ok. phd problem decomposition work
M. Seidenberg and J. McClelland, "A distributed, developmental model of word recognition and naming.," Psychological Review, vol. 96, pp. 523--568, 1989.
Annotation: ok, 786G source material, week 8 in CS786G course notes
P. Selfridge, "Applying ai to software problems: assessing promises and pitfalls," IEEE Expert, pp. 65--68, June 1992.
Annotation: ai general, ok, Drev not read
P.~G. Selfridge, "Report on the first working conference on reverse engineering, may 21-23, 1993, baltimore, maryland, in conjunction with the international conference on software engineering," Automated Software Engineering, vol. 1, pp. 133--139, 1994.
Annotation: Qiang has journal - ref for proposal Deals with concepts obtained through parsing
T. Sellis, "Multiple query optimization," ACM Trasactions on Database Systems, vol. 13, March 1988.
Annotation: query opt
R. Sethi, Programming Languages. Addison-Wesley, 1990.
C. Shaffer and P. Brown, "Paged pointer-based quadtrees," in Proceedings of the 3rd International Conference on Large Spatial Databases (D. Abel and B.~C. Ooi, eds.), Advances in Spatial Databases, 3rd edition, pp. 89--104, Springer Verlag, June 1993.
Annotation: QA76.9 D26S95 3rd
L.~G. Shapiro, J.~D. Moriarty, R.~M. Haralick, and P.~G. Mulgaonkar, "Matching three-dimensional objects using a relational paradigm," Pattern Recognition, vol. 17, no. 4, pp. 385--405, 1984.
Annotation: Künstliche Intelligenz / Raumwissen / Mathematik/Geometrie / Konkreter Raum / Spatial Reasoning >> EMS PER Q327.P36 v.26 no.1-6 19> In Library
Y. Shoham, "Temporal logics in AI: Semantical and ontological considerations," Artificial Intelligence, vol. 33, no. 1, pp. 89--104, 1987.
Annotation: temporal
G. Sidebottom and W. Havens, "Hierarchical arc consistency for disjoint real intervals in constraint logic programming," Computational Intelligence, vol. 8, pp. 601--623, Nov. 1992.
Annotation: constraint satisfaction ok, Drev Mar/93
C.~L. Sidner and D.~J. Israel, "Recognizing intended meaning and speakers' plans," in IJCAI, (Vancouver), pp. 203--208, 1981.
Annotation: plan recog PR paper
K. Huff and V. Lesser, "Knowledge-based command understanding: An example for the software development environment," Technical Report 82-6, University of Massachusetts at Amherst, 1982.
L. Siklossy and J. Dreussi, "An efficient robot planner which generates its own procedures," in Proceedings of the 3rd IJCAI, pp. 423--430, 1973.
Annotation: planning - robot
L. Siklossy and J. Dreussi, "An efficient robot planner which generates its own procedures," in Proceedings of the Third International Joint Conference on Artificial Intelligence, pp. 423--430, 1973.
Annotation: planning - robot
T.~M. Silberberg, "A Survey on Object Representation and Recognition Techniques," Tech. Rep. CAR-TR-107, University of Maryland, Center for Automation Research, 1985.
D.~E. Smith, "A decision-theoretic approach to the control of planning search," Report LOGIC-87-11, Stanford Logic Group, 1988.
Annotation: planning search ok, Mmath PR paper
B. Smith, "The owl and the electric encyclopedia," Artificial Intelligence, vol. 47, pp. 251--288, 1991.
Annotation: embedded cognition critique of Lenat and al - very good paper used for 786G Thagard course, in course notes
J.~L. Smith, "A simulation model of multiple hire taxi-buses," Tech. Rep. TR-KA-92-02, CSIRO Australia, 1992.
Annotation: spatial reasoning ok, CSIRO
R. Sosic and J. Gu, "A polynomial time algorithm for the n-queens problem," SIGART, vol. 1, no. 3, 1990.
Annotation: constraint satisfaction cited in YF92 with respect to local search. Also see Minton-al:92
B. Spencer, Assimilation in Plan Recognition via Truth Maintenance with Reduced Redundancy. PhD thesis, University of Waterloo, 1991.
A. Kak and S. shing Chen, eds., Spatial reasoning and multi-sensor fusion : proceedings of the 1987 workshop. American Association of Artificial Intelligence, 1987.
Annotation: TITLE: Spatial reasoning and multi-sensor fusion : proceedings of the 1987 workshop / [edited by Avi Kak and Su-shing Chen].- SUBJECT(S): Artificial intelligence - Congresses. * Robotics - Congresses. * Machine vision - Congresses. IMPRINT: Los Altos, CA : M. Kaufmann, c1987. NOTES: Proceedings of the Workshop on Spatial Reasoning and Multi-Sensor Fusion, held at Pheasant Run (a resort hotel) in St. Charles, Ill. ; sponsored by the American Association for Artificial Intelligence. * Program committee, Su-shing chen, co-chair, ... [et al]. * Includes bibliographies and index. ISBN: 0934613591 (pbk.) LANGUAGE: eng PHYSICAL DESCRIPTION: xiv, 441 p. : ill. ; 28 cm. ASSOCIATED NAME(S): Kak, Avinash C. * Chen, Su-shing. * American Association> >>EMS STACKS Q334.S635 1987 On Loan 94-12-14 24:00
D. Stacey and A. Wong, ``A largest common subgraph isomorphism algorithm for attributed graphs.'' University of Waterloo, Systems Design Engineering, June 1988.
Annotation: ok c/o Phillip Wong related to 666, STR
L. Staub, M. Carlotto, B. Lee, and R. Upton, "A knowledge-based tactical decision support system integratin terrain and weather data," IEEE ?, pp. 434--440, 1985. CH2215-2/85/0000 0434.
Annotation: ok, Drev Templates background
S. Steel, "Notes on current trends in ai planning," in Lecture Notes in Artificial Intelligence (V. Marik, O. Stepankova, and R. Trappl, eds.), vol. 617 of Lecture Notes in Computer Science, pp. 198--297, Springer-Verlag, 1992.
Annotation: 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.
M. Stefik, "Planning with constraints (molgen: Part 1)," Artificial Intelligence, vol. 16, no. 2, pp. 111--140, 1981.
Annotation: constraint - planning. Molgen ok, Mmath
M. Stefik, "Planning and meta-planning (molgen: Part 2)," Artificial Intelligence, vol. 16, no. 2, pp. 141--170, 1981.
Annotation: constraint - planning. Molgen ok, Mmath
L.~A. Stein, "Resolving ambiguity in nonmonotonic inheritance hierarchies," Artificial Intelligence, vol. 55, pp. 259--310, 1992.
Annotation: abstraction ok, abstract only
A. Stevens and P. Coupe, "Distortions in judged spatial relations," Cognitive Psychology, vol. 10, pp. 422--437, 1978.
Annotation: Raumwissen / Abstrakter Raum / Mathematik/Geometrie / Spatial Reasoning / Kognitive Karten / Psychologie >> ARTS PER BF309.C62 v.25 1993 In Library
G.~C. Stockman, "Object Recognition and Localization via Pose Clustering," Computer Vision, Graphics, and Image Processing, vol. 40, pp. 361--387, 1987.
Annotation: >> EMS PER T385.C57 v.51-52 In Library
G. Sussman, "A computational model of skill acquisition," Technical Report AI-TR-2974, M.I.T., 1973.
Annotation: ai general. Hacker M.I.T. AI Lab Memo
M. of Defence, "Tactics of the soviet ground forces," Tech. Rep. B-GL-050-INT/FT-135, Ministry of Defence, Chief of the General Staff. Amendment No.1, Army Code 71031.
Annotation: restricted, c/o Intelligence Cpl Garant, Valcartier bldg 513, 844 6315
C. Forces, "Tactics troop aide memoire," Tech. Rep. QL 6B 8901 YO 9001 PH III 8902, Canadian Forces School of Military Engineering, 1988.
Annotation: ok, c/o Cpl Garant, Valcartier
M. Tan and J. Schlimmer, "Two case studies in cost-sensitive concept acquisition," Proceedings of the 8th AAAI, 1990.
Annotation: learning, robots ok, Mmath
A. Tate, "Interacting goals and their use," Advance Papers, IJCAI, vol. 1, 1975. Tbilisi, USSR.
Annotation: plan recog / planning PR paper
A. Tate, "Generating project networks," in Proceedings of the 5th IJCAI, pp. 888--893, 1977.
Annotation: planning. Nonlin
E.~R. Tello, Object Oriented Programming for Artificial Intelligence. Addison-Wesley, 1989.
Annotation: ai general - objects ok
J. Tenenberg, Abstraction in Planning. PhD thesis, University of Rochester, Dept.~of Computer Science, Rochester, NY, May 1988.
Annotation: planning - abstraction ok, Mmath
J. Tenenberg, "Inheritance in automated planning," in First International Conference on Principles of Knowledge Representation and Reasoning, 1989.
Annotation: planning - abstraction ok, Mmath in per. col.
J. Tenenberg, "Abstracting first-order theories," in Proceedings of the First International Workshop in Change of Representation and Inductive Bias, 1989.
Annotation: abstraction ok, Mmath
P. Thagard, Conceptual recolutions, ch. 2, pp. 13--33. Princeton University Press, 1992. ISBN 0-691-08745-8.
Annotation: ok in 786G course notes
P. Thagard, ``Introduction to cognitive science.'' Manuscript in preparation, Sept. 1994.
Annotation: 786G source material. Not for release or (outside) citation. Includes Ch 1-4 initially later Ch5
P. Thagard, ``786e invited talk on abduction.'' Summary by Phillip Fong and Ian Glaister, 1994.
Annotation: ok, 786e talk attended
P. Thagard, ``Collaborative knowledge.'' (forthcoming). Permission to copy granted by Paul Thagard, 1994.
Annotation: ok, for 786G in course notes
R. Thomason and D. Touretzky, ``Inheritance theory and networks with roles.'' Chapter 7 of a book, pages 231-266, 1990.
Annotation: ok, Australia ? objects
L. Des~Groseilliers, J.-C. Pare, and D. Soucy, "Tactical information fusion prototype: Enemy order of battle database," Tech. Rep. 3066/91, Defence Research Establishment Valcartier, June 1991. Unclassified.
Annotation: ok, Drev
D.~G. Inc., "Knowledge representation for tactical information fusion," Contract W7701-1-0659/01-XSK, Defense Research Establishment Valcartier, May 1992. Unclassified.
Annotation: ok, Drev
M. Gauvin, L. Des~Groseilliers, and D. Roy, "Tactical information fusion prototype: Research project definition," Memorandum 3068/91, Defense Research Establishment Valcartier, Valcartier, Quebec, May 1991. Unclassified.
Annotation: Unclassified, distribution limited to Defense and contractors NATO and TTCP countries
H. Tolba, F. Charpillet, and J.-P. Haton, "Representing and propagating constraints in temporal reasoning," in Proceedings of the International Conference on Tools for Artificial Intelligence, pp. 181--185, Nov. 1991.
Annotation: temporal - constraints ok, recvd in personal communication with Tolba
H. Tolba, F. Charpillet, and J. Haton, "Representing and propagating constraints in temporal reasoning," AI Communications : The European Journal on Artificial Intelligence, vol. 4, pp. 145--151, Dec. 1991.
Annotation: temporal - constraints ok, recvd 1992 via personal communication
H. Tolba, F. Charpillet, and J.-P. Haton, "A new temporal model combining qualitative and quantitative information," in Research and Development for Expert Systems (series), Dec. 1992.
Annotation: temporal - constraints ok - recvd in personal communication with Tolba
E. Ukkonen, "Finding approximate patterns in strings," Journal of Algorithms, vol. 6, pp. 132--137, 1985.
Annotation: plan merging
Chapter 5, Section 8 Sequential Constraint Satisfaction, pp. 108--113.
Annotation: constraint sat ok, location unknown - Aus ?
A. Unruh and P.~S. Rosenbloom, "Abstraction in problem solving and learning," in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pp. 681--687, 1989.
Annotation: planning - abstraction
P. van Beek, R. Cohen, and K. Schmidt, "From plan critiquing to clarification dialogue for cooperative response generation," Computational Intelligence, vol. 9, no. 3, 1993.
Annotation: via personal communication with Peter June 1994
G. Kondrak and P. van Beek, "A theoretical evaluation of selected backtracking algorithms," in Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 541--547, 1995.
Annotation: IJCAI95 Montreal Best Paper award
P. van Beek, ``Artificial intelligence research at the university of waterloo.'' 1989.
Annotation: ai general ok, published somewhere.
P. van Beek, "Reasoning about qualitative temporal information," in Proceedings of the 8th AAAI, (Boston, MA), 1990.
Annotation: temporal
P. van Beek, "On the minimality and decomposability of constraint networks," in Proceedings of the 10th AAAI, pp. 447--452, 1992.
Annotation: constraint sat ok, Drev
P. van Run, "Domain independent heuristics in hybrid algorithms for CSPs," Master's thesis, University of Waterloo, 1994.
Annotation: ok,UW 94 AI group I have read this only partially. Whole thesis on file.
N.~R. Vempaty, V. Kumar, and R.~E. korf, "Depth-first vs best-first search," in Proceedings of the 9th AAAI, vol. 2, pp. 434--440, 1991.
Annotation: search ok, Drev
N.~R. Vempaty, "Solving constraint satisfaction problems using finite automata," in Proceedings of the 10th AAAI, pp. 453--458, 1992.
Annotation: constraint sat ok, Drev
B.~C. Vemuri and J.~K. Aggarwal, "Resolving the Orientation and Identity of an Object From Range Data," in Proc. 1987 Workshop on Spatial Reasoning and Multisensor Fusion, pp. 178--187, Oct. 1987.
Annotation: >>EMS STACKS Q334.S635 1987 On Loan 94-12-14 24:00
S. Vere, "Planning in time: Windows and durations for activities and goals," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 5, 1983.
Annotation: planning
G. Vezina, ``Virtual battlefield applications.'' work in progress at DREV, June 1993.
M. Vilain and H. Kautz, "Constraint propagation algorithms for temporal reasoning," in Proceedings of the 5th AAAI, pp. 337--382, 1986.
Annotation: constraint satisfaction
R. Waldinger, "Achieving several goals simultaneously," in Machine Intelligence 8, Elcock and Michie (eds.), Ellis Horwood, 1977.
Annotation: planning - nonlinear
C. Walther, A Many-Sorted Calculus Based on Resolution and Paramodulation. London: Pitman, 1987.
Annotation: logic Research Notes in AI
D. Waltz, "Understanding line drawings of scenes with shadows," in The Psychology of Computer Vision (P. Winston, ed.), pp. 19--91, Cambridge, Massachusets: McGraw Hill, 1975.
H. Wang, "Logic of Many-Sorted Theories," Journal of Symbolic Logic, vol. 17, 1952.
Annotation: logic
D. Warren, "Warplan: A system for generating plans," Technical Report Memo No.~76, University of Edinburgh, 1974.
Annotation: planning. Warplan
K. Wasserman, Unifying Representation and Generalization: Understanding Hierarchically Structured Objects. PhD thesis, Columbia University, 1985.
Annotation: abstraction
P.~D. Wasserman, Neural Computing Theory and Practice. Van Nostrand Reinhold, 1989.
Annotation: UW 94, c/o Kevin Lanctot - cited for 786 learning termpaper
G. Weddell, ``Project proposal for office date management.'' Personal communication, Dec. 1994.
Annotation: ok phd see document given me by Grant in Dec 1994 following meeting with Qiang, Grant and myself. This document briefly overviews our involvement in the larger project.
M. Wellman and J. Doyle, "Preferential semantics for goals," in Proceedings of the 9th AAAI, vol. 2, pp. 698--703, 1991.
Annotation: planning - goals ok, Drev
W. Wilbur and D. Lipman, "Rapid similarity searches of nucleic acid and protein data banks," Proceedings of the National Academy of Sciences USA, vol. 80, pp. 726--730, 1983.
Annotation: plan merging. window method of sequence similarity scoring
R. Wilensky, Planning and Understanding. Addison Wesley, 1983.
Annotation: planning PR paper
D. Wilkins and A. Robinson, "An interactive planning system," Tech. Rep. 245, Stanford Research Insitute, 1981.
Annotation: planning - interactive. Sipe SRI Technical Note
D. Wilkins, "Domain-independent planning: Representation and plan generation," Artificial Intelligence, vol. 22, 1984.
Annotation: planning ok, Mmath PR paper
D. Wilkins, Practical Planning: Extending the Classical AI Planning Paradigm. CA: Morgan Kaufmann, 1988.
Annotation: planning ok, Mmath
D.~E. Wilkins, "Causal reasoning in planning," Computational Intelligence, vol. 4, pp. 373--380, 1988.
Annotation: planning - causal ok, Mmath
D.~E. Wilkins, "Can ai planners solve practical problems ?," Technical Note 468R, SRI International, Artifical Intelligence Centre, 1989.
Annotation: planning - general ok, Mmath
G. Williams and S. Woods, "Representing expectations in spatial information systems: A case study," in Proceedings of the 3rd International Conference on Large Spatial Databases (D. Abel and B.~C. Ooi, eds.), vol. 692 of Advances in Spatial Databases, 3rd edition, pp. 465--476, Springer Verlag, June 1993. Lecture Notes in Computer Science.
Annotation: Conference in Singapore Published while at CSIRO, Australia QA76.9 D26S95 3rd
G. Williams, ``Spatial reasoning: Ultrasonics project explorer.'' Sept. 1992.
Annotation: spatial reasoning ok, Internal comminication, CSIRO
L.~M. Wills, "Automated program recognition: A feasibility demonstration," Artificial Intelligence, vol. 45, pp. 113--172, Feb. 1990.
Annotation: phd cited by Quilici in reference to program decomposition into blocks
L.~M. Wills, Automated program recognition by Graph Parsing. PhD thesis, MIT, July 1992.
Annotation: ok, as other work, extended, including actual empirical results WWW available as http://www.cc.gatech.edu/cogsci/faculty/wills/phd-thesis.html
L.~M. Wills, "Automated program recognition by Graph Parsing," AI Laborary Technical Report 1358, MIT, 1992.
Annotation: phd cited by selfridge:94 as canonical in approach related to PUCSP in same sentence as Rich-Waters:90
S. Rugaber, K. Stirewalt, and L. Wills, "The interleaving problem in program understanding," in Proceedings of the Second Working Conference on Reverse-Engineering, (10662 Los Vaqueros Circle, Los Alamitos CA 90720-1264), pp. 166--175, IEEE Computer Society Press, July 1995.
Annotation: ok, Toronto July 1995
L. Wills, "Flexible control for program recognition," in Proceedings of the First Working Conference on Reverse-Engineering, (10662 Los Vaqueros Circle, Los Alamitos CA 90720-1264), pp. 124--148, IEEE Computer Society Press, May 1993. Baltimore, MD.
Annotation: ok,
J. WInkles, "The inarticulacy of expertise: an analysis from psychology," IEEE Expert, pp. 3--6, Aug. 1992.
Annotation: ok, Drev Templates - general not read
P.~H. Windston, Artificial Intelligence. Reading, Massachusetts: Addison-Wesley, 2nd ed., 1984.
Annotation: ai general ok
A. Wong, M. You, and S. Chan, "An algorithm for graph optimal monomorphism," IEEE Transactions on Systems, Man, and Cybernetics, vol. 20, pp. 628--636, May/June 1990.
Annotation: ok c/o Phillip Wong related to 666, STR
S. Woods and Q. Yang, ``Abtweak users manual.'' 1990.
Annotation: abtweak ok, Ongoing version of manual for Abtweak planning system
S. Woods and Q. Yang, ``A constraint-based approach to program plan recognition.'' submitted for publication, 1995.
Annotation: IJCAI95 submission, Montreal REJECTED
S. Woods and Q. Yang, "Program understanding as constraint satisfaction," in Proceedings of the IEEE Seventh International Workshop on Computer-Aided Software Engineering (CASE), pp. 318--327, July 1995.
Annotation: CASE95 Toronto July 10-14 1995 Also appears in the Proceedings of the Second Working Conference on Reverse Engineering (WCRE), July 1995 publisher = IEEE Computer Society Press,
S. Woods and Q. Yang, "Constraint-based plan recognition in legacy code," Working Notes of the Third Workshop on AI and Software Engineering : Breaking the Toy Mold (AISE), Aug. 1995.
Annotation: IJCAI 1995 Workshop submission In conjunction with the Fourteenth Int'l Joint Conference on Artificial Intelligence
S. Woods and Q. Yang, "Program understanding as constraint satisfaction: Representation and reasoning techniques," Technical Report CS 95-51, University of Waterloo, Department of Computer Science, 1995.
Annotation: JASE submission 1995
S. Woods, A. Quilici, and Q. Yang, "Program understanding : A constraint satisfaction modeling framework; understanding as plan recognition," Technical Report CS 95-52, University of Waterloo, Department of Computer Science, 1995.
Annotation: Contains Woods-Quilici:95 Program Understanding Workshop (w/ ICSE 96 at Berlin) A Constraint-Satisfaction Framework for Evaluating Program Understanding Algorithms Woods-Yang-Quilici:95 WPC 1996 submission (Edinburgh) Program Understanding and Plan Recognition : A comparative study
S. Woods and Q. Yang, "Program understanding as constraint satisfaction: Representation and reasoning techniques," Journal of Automated Software Engineering, 1996. To appear.
Annotation: ASE submission 1995
S. Woods and Q. Yang, "Approaching the program understanding problem: Analysis and a heuristic solution," in Proceedings of the 18th International Conference on Software Engineering, (Berlin, Germany), 1996. To appear.
S. Woods and Q. Yang, ``Hierarchical constraint satisfaction and program understanding.'' To be submitted by request to a Special Issue of Lecture Notes in Computer Science, 1995.
S. Woods and Q. Yang, ``An arc-consistency algorithm using hierarchical decomposition and approximation.'' To be submitted, 1996.
S. Woods, ``Applying a new hierarchical arc-consistency algorithm to program understanding.'' To be submitted, 1996.
A. Quilici, ``Ordered hierarchies for plan understanding and composition.'' Personal communication, Aug. 1995.
Annotation: The notion that the hierarchy should be ordered so that all higher plans are contructed only from lower plans AND that this ordering would enforce the fact that if one matched all indexed plans lowest-first, then it would be necessarily the case that any match that exists at any level would be found. Quilici credits this in part at least to his graduate student (?). This simple observation led to a major simplification of the DECODE understander since it would be no longer necessary to maintain a queue of plans "waiting" for the identification of other parts ... as was alluded in the memory-based ACM paper.....
S. Woods and A. Quilici, "A constraint-satisfaction framework for evaluating program-understanding algorithms," Technical Report CS 95-52, University of Waterloo, Department of Computer Science, 1995.
Annotation: Prog Under Workshop in Berlin Was titled Representing memory-based program understanding as constraint satisfaction
S. Woods and A. Quilici, ``An empirical comparison of program-understanding algorithms using constraint satisfaction.'' To be submitted to a Special Issue of Automated Software Engineering Journal, 1995.
Annotation: extendion of Prog Under Workshop in Berlin paper
S. Woods and A. Quilici, ``An empirical comparison of program-understanding algorithms using constraint satisfaction.'' Submitted for publication, 1995.
Annotation: Prog Under Workshop in Berlin
S. Woods, A. Quilici, and Q. Yang, "Program understanding and plan recognition: reasoning under different assumptions," Technical Report CS 95-52, University of Waterloo, Department of Computer Science, 1995.
Annotation: Planning conference in Edinburgh
S.~G. Woods, ``Planning for conjuntive goals.'' Term paper submitted for Qiang Yang., 1989.
Annotation: planning - conjunc goals ok, Mmath basis research paper and presentation - suggested by Qiang
S.~G. Woods, "An implementation and evaluation of a hierarchical non-linear planner," Masters Thesis available as technical report CS-91-17, Computer Science Department, University of Waterloo, 1991.
Annotation: planning - abstraction. This is my thesis. ok, Technical Report CS-91-17
S. Woods, Q. Yang, and J. Tenneberg, ``Evaluating the utility of goal protection and search strategies in abstract planning.'' 1991.
Annotation: planning - abstraction ok, unpublished - became later journal paper
S. Woods, "A method of interactive recognition of spatially defined model deployment templates using abstraction," in Proceedings of the Knowledge-Based Systems and Robotics Workshop (H. Merklinger, M. Farooq, P. Roberge, J. Grodski, and R. Dobson, eds.), pp. 665--675, Department of National Defence, Government of Canada, Nov. 1993.
Annotation: portion of tech report Woods:93b and related to Woods:93c
S. Woods, "A method of interactive recognition of spatially defined model deployment templates using abstraction," in Proceedings of the Knowledge Based Systems and Robotics Workshop, pp. 665--675, Government of Canada, Nov. 1993.
Annotation: portion of tech report Woods:93b and related to Woods:93c
S. Woods, "Interactive recognition of spatially defined model deployment templates," research memorandum, Combat Intelligence Automation Group, Defence Research Establishment Valcartier, Courcelette, Quebec CANADA, Aug. 1993. unclassified.
Annotation: 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.
S. Woods, ``Upward exploitation of constraint propagation in hybrid constraint satisfaction search..'' Defence Research Establishment Valcartier, Dept. of Defence, Courcelette, Quebec, CANADA. unclassified, Aug. 1993.
Annotation: 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.
S. Woods, "Topics in spatial template recognition: Learning, complexity and implementation," technical report, University of Waterloo, July 1994. in preparation.
Annotation: UW Tech Report all three term papers Woods:94a,b,c in a single tech report for simplicity.
S. Woods, ``Addressing spatial template recognition as a csp within the context of clp.'' advance copy, technical report, 1994.
Annotation: UW 94 642 Term paper originally
S. Woods, ``On the complexity of graph isomorphism : relationship to the spatial template recognition problem.'' advance copy, technical report, Mar. 1994.
Annotation: UW 94 666 Term paper originally
S. Woods, ``Learning refinements to spatial template models based on false-positive and false-negative examples.'' advance copy, technical report, Apr. 1994.
Annotation: UW 94 786 Term paper originally
S. Woods, ``Knowledge based model recognition in program understanding using constraint satisfaction.'' Cognitive Modeling termpaper submitted to Dr. Paul Thagard, University of Waterloo, Waterloo Ontario, Dec. 1994.
Annotation: IJCAI95 submission paper 1 of a 2 part paper set that will constitute most of PHD second stage submission/presentation Recognizing programming plans
S. Woods, ``On the utility of explicit application of spatial locality features in the automatic recognition of spatial templates.'' in progress, 1995.
Annotation: Drev tech report in progress contrat 2 w/ Lapointe
S. Woods, ``A constraint-based approach to program plan recognition in software reverse engineering.'' Ph.D. Thesis Proposal , University of Waterloo, Feb. 1995.
Annotation: ok
L. Wos, Automated Reasoning: 33 Basic Research Problems. New Jersey: Prentice-Hall, 1988.
Annotation: reasoning
X. Xu, J. Han, and W. Lu, "Rt-tree: An improved r-tree index structure for spatiotemporal databases," in Proceedings of the 4th International Symposium on Spatial Data Handling, 1990.
Annotation: >> R-TREES >> NOT FOUND, although this reference seems highly relevant. Post looking >> for this journal
R. Cohen and B. Spencer, "Specifying and updating plan libraries for plan recognition tasks," Technical Report cs-93-10, University of Waterloo, 1993.
Q. Yang and P. Fong, "Solving partial constraint satisfaction problems using local search and abstraction," Technical Report cs-92-50, University of Waterloo, 1992.
Annotation: constraint satisfaction ok, from UW archive
Q. Yang and P. Fong, ``Csp sample source code.'' personal communication, 1993.
Q. Yang, D.~S. Nau, and J. Hendler, "Merging separately generated plans in limited domains," Computational Intelligence, vol. 8, no. 4, pp. 648--676, 1992.
Annotation: plan merging ok
Q. Yang, J. Tenenberg, and S. Woods, "Abstraction in nonlinear planning," Technical Report cs-91-65, University of Waterloo, 1992.
Annotation: planning abstraction ok, This version rejected by AI journal - dist via FTP
Q. Yang, J. Tenenberg, and S. Woods, "Abstraction in nonlinear planning," Technical Report cs-91-65 (ii), University of Waterloo, 1992.
Annotation: planning abstraction ok, This version submiteed to CI journal - now under review and resubmitting as YTW94, however this paper will update the earlier tech report VERSION 2
Q. Yang, J. Tenenberg, and S. Woods, "On the implementation and evaluation of Abtweak," Computational Intelligence, vol. Vol. 12, 1996. to appear.
Annotation: planning abstraction
Q. Yang and J. Tenenberg, "Abtweak: Abstracting a nonlinear, least commitment planner," in Proceedings of the 8th AAAI, (Boston, MA), pp. 204--209, August 1990.
Annotation: planning - abstraction ok, in pers. col.
Q. Yang, Improving the Efficiency of Planning. Research report cs-89-34, University of Maryland, University of Waterloo, 1989.
Annotation: planning - efficiency ok, Mmath
Q. Yang, "Reasoning about conflicts in least-commitment planning," Tech. Rep. CS-90-23, University of Waterloo, 1990.
Annotation: planning - conflicts ok, Mmath
Q. Yang, "Formalizing planning knowledge for hierarchical planning," Computational Intelligence, vol. 6, 1990.
Annotation: ok, planning - abstraction
Q. Yang, "An algebraic approach to conflict resolution in planning," in Proceedings of the 8th AAAI, (Boston, MA), August 1990.
Annotation: planning - conflicts. Plan Algebra ok, Mmath
Q. Yang, "Solving the problem of hierarchical inaccuracy in planning," in Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, (Ottawa, ON), pp. 140--145, May 1990.
Annotation: planning - abstraction
Q. Yang, D.~S. Nau, and J. Hendler, ``Exploiting limited interactions in plan optimization.'' 1990.
Annotation: planning - optimization Submitted for Publication
Q. Yang, ``Understanding the essence of nonlinear, least-commitment planning.'' 1991.
Annotation: planning - nonlinear. Watplan ok, Mmath Submitted for Publication
Q. Yang, ``Integrating ai planning and scheduling.'' Oct. 1992.
Annotation: planning - scheduling ok, NSERC Research Note - confidential to me
Q. Yang, "A theory of conflict resolution in planning," Artificial Intelligence, vol. 58, no. 1-3, pp. 361--392, 1992. Special Issue on Constraint-directed Reasoning.
Annotation: planning - conflicts ok
Q. Yang, "Probably approximately sound and complete reactive planning," ?, 1994.
Annotation: ok, advance copy from Qiang Yang
Q. Yang, ``Decomposing problem spaces into non-interfering operator sets.'' Personal communication, Jan. 1995.
Annotation: Discussion w/ Qiang January 25, 1995 The concept is that a plan space can be decomposed or sliced into non-interfering sets, each subset can be solved according to goals, and then the resultant solutions merged with little difficulty. Qiang has a sketch algorithm worked out, and our discussion led us to believe that this approach has application to decomposing source programs into components for explanation.
Q. Yang, Intelligent Planning - algorithms and analyses for plan reasoning. 1996. Advance copy.
J. Yi and D. Chelberg, "Rapid object recognition from a large model database," in Proceedings of the 2nd IEEE Workshop on CAD-based Vision, 1994.
Annotation: This project attacks the difficult problem of rapid object recognition from a large model data base. The research focuses on efficient indexing. A decision-theoretic approach using a Bayesian framework is employed to achieve efficient indexing of model objects. A decision-theoretic measure of the discriminatory power of a feature for a model object is defined in terms of posterior probability...
Y. Zhang and A. Mackworth, "Constraint programming in constraint nets," ?, ?
Annotation: Obtained via Dominic Duggan cs642
R. Zimmer, A. MacDonald, and R. Holte, "Reasoning about representations: Towards the automatino of representation change," in Proceedings of the 4th Florida Artificial Intelligence Research Symposium, FLAIRS, Apr. 1991. ISBN 0-9620-1733-7/91/350-0201.
Annotation: ok, Drev personal commun via email with Holte c/o Stephane Lapointe. Sent my thesis. see also Holte-al 92,93 and talk notes
M. Zweben, E. Davis, E. Drascher, M. Deale, and M. Eskey, "Learning to improve constraint-based scheduling," Artificial Intelligence, vol. 58, pp. 271--296, 1992.
Annotation: scheduling ok, abstract only
A.~S. Zymelman, "An ai technology insertion experiment with analyst," IEEE ?, pp. 200--204, 1985. CH2225-1/85/0000/0200.
Annotation: templates ok, Drev
W.~L. Johnson, Intention Based Diagnosis of Novice Programming Errors. Los Altos, CA: Morgan Kaufman, 1986.
J. Hartman, "Understanding natural programs using proper decomposition," in Proceedings of the International Conference on Software Engineering, (Austin TX), pp. 62--73, 1991.
A. Quilici, "A hybrid approach to recognizing programming plans," in Proceedings of the Working Conference on Reverse Engineering, (Baltimore, MD), pp. 126--133, May 1993.
A. von Mayhrhauser and A.~M. Vans, "Program comprehension during software maintenance and evolution," IEEE Computer, pp. 44--55, 1995.
P. Devanbu, "GENOA/GENII - a cusomizable, language- and front-end- independent code analyzer," Proceedings of the 14th International Conference on Software Engineering, 1992.
Annotation: Ref for Gen++
P. Devanbu and L. Eaves, "Gen++ - an analyzer generator for c++ programs," technical report, AT & T Bell Labs, New Jersey, 1994.
Annotation: Year uncertain Artificial Intelligence Principles Research Department and Object Oriented and Artificial Intelligence Technologies Group