abadi-1987:tempotheor:thesis Martin Abadi Stanford University 1987 UMI NDS87-20365

abadi.manna-1985:non-ctempo:journal:1 M. Abadi and Z. Manna Logic of programs 1985 85 1--15 propositional temporal modal refutation resolution

abadi.manna-1987:tempologic:inbook:4 Martin Abadi and Zohar Manna International Symposium on Logic Programming 1987 4--16

San Francisco, CA

September IEEE abels-1975:concefor:inbook: R. P. Abelson D. G. Bobrow and A. M. Collins Representation and Understanding Academic Press 1975

New York

abram-1990:compuinter:TR S. Abramsky Department of Computation, Imperial College, University of London 1990 DOC 90/20 abram-1991:analyerror:inbook:744 Bruce Abramson Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) 1991 2

Anaheim, California, USA

July AAAI Press/MIT Press 0-262-51059-6 Sensing and Reaction 744--749

adams.balas-1983:shiftbottl:journal:391 J. Adams and E. Balas and D. Zawack Management Science 1983 34 391--401

aelio.kalag-1992:evaluopera:journal:2532 Vital Aelion and Jayant Kalagnanam and Gary J. Powers Ind. Eng. Chem. Res. 1992 31 2532--2538

aelio.power-1991:unifistrat:journal:349 V. Aelion and G. J. Powers Computers chem. Engng. 1991 15 5 349--360

aelio.power-1993:riskreduc:journal:82 V. Aelion and G. J. Powers Industrial and Engineering Chemistry Research 1993 32 1 82--90

agha-1986:actormodel: G. Agha MIT Press 1986 agost-1995:formuimple:inbook:1 John M. Agosta Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium 1995 1--10 AAAI Press, Menlo Park, California 0-929280-87-3 agost-1995:repredelib:inbook:1 John M. Agosta Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 1--4 AAAI Press, Menlo Park, California 0-929280-90-3 agost.desim-1994:somequest:inbook:279 John M. Agosta and Roberto Desimone Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 279--280 AAAI Press, Menlo Park, California 0-929280-70-9 agre-1985:routi:TR Philip E. Agre AI lab, MIT 1985 AIM-828 May agre-1988:dynamstruc:TR Philip E. Agre AI lab, MIT 1988 AI-TR-1087 October Could be AI-TR-1085

agre-1995:compuresea:journal:1 Philip E. Agre Artificial Intelligence 1995 72 1--52

agre.chapm-1987:pengiimple:inbook:268 P. E. Agre and D. Chapman Proceedings of AAAI-87, Seattle, Wa. 1987 268--272 July AAAI agre.chapm-1988:pengiimple:inbook:168 P. E. Agre and D. Chapman ? 1988 168--272 agre.chapm-1988:whatare:TR Philip E. Agre and D. Chapman AI lab, MIT 1988 AIM-1050 September

agre.chapm-1990:whatare:journal:17 P. E. Agre and D. Chapman Int. Journal of Robotics Systems 1990 6 1-2 17--34 June planification

agre.horsw-1992:cultusuppo:inbook:363 Philip E. Agre and Ian D. Horswill Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92) 1992

San Jose, California, USA

July AAAI Press/MIT Press 0-262-51063-4 Planning 363--368 airen.bara-1984:planforma:inbook: Gabriella Airenti and Bruno Bara and Marco Colombetti Proceedings of the European Conference on AI (ECAI '84) 1984 airen.bara-1987:knowlfor:inbook: Gabriella Airenti and Bruno Bara and Marco Colombetti Structures of multi-modal dialogues including voice North Holland 1987 aitke.kuhn-1993:concemodel:inbook: S. Aitken and O. Kuhn and N Shadbolt and F. Schmalhofer Proc. 3rd KADS Meeting 1993

Siemens, Munich

aitke.shadb-1992:plannknowl:inbook: S. Reichgelt Aitken and N. H. Shadbolt Proc. 11th UK Planning Special Interest Group 1992 aitke.shadb-1994:knowllevel:inbook:33 J. Stuart Aitken and Nigel Shadbolt C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 33--45 akerh.hammo-1992:paralfunct:inbook:1 G. Akerholt and K. Hammond and P. Trinder and S. P. Jones R. Heldal and C. K. Holst and P. Wadler Proc. of the 1991 Glasgow Workshop on Functional Programming Springer 1992 1--24

London

alami.chati-1992:tasklevel:inbook:119 R. Alami and R. Chatila and P. Freedman IARP 1st Workshop, Mobile Robots for Subsea Environments 1992 119--136

CA, USA

October alami.simeo-1994:plannrobus:inbook: R. Alami and T. Simeon Don't know 1994 albre-1990:autonmobil:inbook:16 R. W. Albrecht U. of Duisberg Colloquim on Automation and Robotics 1990 16--42

West Germany

albre-1990:expersyste:inbook: R. W. Albrecht Proc. of the thirteenth IASTED Int. Symp. Robotics and manufacturing 1990

albre-1990:implesemi-:journal:941 R. W. Albrecht Robotics and Manufacturing 1990 941--946

albre-1991:envirknowl:inbook: R. W. Albrecht Proc. of the 1991 Int. Symp. on Advanced Robot Technology 1991

albre-1992:mobilrobot:journal:27 R. W. Albrecht Int. Journal of Computer Vision 1992 9 1 27--33

albre-1992:modulagent:inbook:251 R. W. Albrecht Third Annual Conf. on AI Simulation and Planning in High Autonomy Systems 1992 251--258

Perth, WA

albre-1994:autonmobil: R. W. Albrecht 1994 Submitted to the IFAC Symp. on Robot Control

Capri

albre-1994:robotadapt: R. W. Albrecht 1994 September Submitted to IROS '94

Munich

albre.moore-1995:integinter: R. W. Albrecht and V. Moore and M. R. Masliah 1995 DRAFT albre.rajes-1995:complconfi: R. W. Albrecht and R. V. Rajesh 1995 DRAFT albus-1981:brainbehav: James S Albus McGraw-Hill 1981 albus-1985:brainbehav: J. Albus Byte Books 1985

Chichester

albus-1988:multiauton:TR James S. Albus National Institute of Standards and Technology 1988 NIST Technical Note 1251

Gaithersburg, MD 20899

albus.barbe-1981:theorpract:inbook: James S Albus and Anthony J Barbera and Roger N Nagel Intl. Conf. 23 1981 IEEE Computer Soc. albus.mccai-1989:nasanstand:TR James S. Albus and Harry G. McCain and Ronald Lumia U.S. Department of Commerce, National Institute of Standards and Technology 1989 NIST Technical Note 1235

NIST, Gaithersburg, MD 20899

albus.mclea-1989:nasanstand:TR J. S. Albus and C. R. McLean and A. J. Barbera and R. Lumia Gaithersburg National Institute of Standards and Technology 1989 NIST 1235 aldri.albre-1992:expersyste:inbook: B. L. Aldridge and R. W. Albrecht Proc. of the {CAD/CAM}, Robotics and Factories of the future conf. 1992

Metz, France

August alfer.perei-1996:6theurop:1126: 1996 Jose Julio Alferes and Luis Moniz Pereira and Ewa Orlowska 1126 Lecture notes in artificial intelligence

Evora, Portugal

September Springer ali.goel-1996:combinavig:inbook:1 K. Ali and A. Goel Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 1--9

Menlo Park, California

AAAI Press 1-57735-021-9 allar.kaemm-1987:goalsknowl:inbook:394 J. Allard and W. Kaemmerer Proceedings of the National conference on Artificial Intelligence (AAAI '87) 1987 394--398 American Association for AI allen-1979:plan-appro:thesis James F. Allen Dept CS, Toronto University 1979 TR 131/79 allen-1981:genertheor:TR James F. Allen dept. CS, Rochester U 1981 tech report 97 November allen-1981:maintknowl:TR James F. Allen dept CS, Rochester U 1981 TR 86 January allen-1982:argotsyste:TR James F. Allen Dept CS, Rochester U 1982 TR-101 April allen-1983:interrepre:inbook:221 James F. Allen Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81) 1983 221--226

allen-1983:maintknowl:journal:832 James F. Allen Communications of the ACM 1983 26 11 832--843

allen-1983:recoginten:inbook: James F. Allen R. S. Boyer and J. S. Moore The correctness problem in computer science Academic press 1983

London

allen-1984:towargener:journal:123 James F. Allen Artificial Intelligence 1984 23 2 123--154 North Holland

allen-1989:itstime:inbook: James F. Allen Conference of the Society for Artificial Intelligence and the Simulation of Behaviour (AISB '89) 1989 allen-1994:trainproje:TR James F. Allen and others The University of Rochester, Computer Science Department, Rochester, New York 14627 1994 TRAINS Technical Note 94-3 September

allen-1995:trainproje:journal:7 James F. Allen Journal of Experimental and Theoretical AI (JETAI) 1995 7 7--48

allen.frisc-1982:argotroche:inbook:66 James F. Allen and Alan M. Frisch and Diane J. Litman Proceedings of the 2nd National Conference on Artificial Intelligence (AAAI '82) 1982 66--70 allen.hayes-1984:commotheor:TR James F. Allen and Patrick Hayes dept. CS, Rochester U 1984 December allen.hayes-1985:commotheor:inbook:528 James F. Allen and Patrick Hayes Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-85)

Los Angeles, CA, USA

1985 528--531 allen.hayes-1987:momenpoint:TR James F. Allen and Patrick Hayes dept. CS, Rochester U 1987 TR 180 December allen.hendl-1990:readiin: James Allen and James Hendler and Austin Tate Morgan Kaufmann 1990 Representation and Reasoning Series

San Mateo, California

1-55860-130-9 allen.kautz-1985:modelnaive:inbook:251 James F. Allen and Henry Kautz Moore R. C. Hobbs J. R. Formal theories of the commonsense world Ablex publishing corp. 1985 251--268

Norwood, NJ

allen.kautz-1991:reasoabout: J. F. Allen and H. A. Kautz and R. N. Pelavin and J. D. Teenberg Morgan Kaufmann 1991 allen.kooma-1983:plannusing:inbook:741 J. F. Allen and J. A. Kooman Proc. of the Int. Joint Conf. on Artificial Intelligence 1983 741--747

West Germany

Karlsruhe allen.koome-1983:plannusing:inbook:741 James F. Allen and J. A. Koomen International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 741--747 TIMELOGIC allen.perra-1978:partiin:TR James F. Allen and C. R. Perrault Dept CS, Toronto U 1978 AI memo 78-4 allen.perra-1979:analyinten:TR James F. Allen and C. R. Perrault Dept CS, Rochester U 1979 TR 50 April

allen.perra-1980:analyinten:journal:143 James F. Allen and C. R. Perrault Artificial Intelligence 1980 15 3 143--178 North Holland

aloim.weiss-1988:activvisio:journal: J. Y. Aloimonos and I. Weiss and A. Bandyopadhyay Int. Journal of Computer Vision 1988 1 4 January

alpay-1990:neuramodel:thesis E. Alpaydin Ecole Polytechnique Federale Lausanne 1990 {These No. 863(1990)} alpay-1991:galnetwo:TR E. Alpaydin Int. Computer Science Institut 1991 TR-91-032

Berkeley, USA

alsop.macch-1995:schedseque:inbook:125 N. Alsop and S. Macchietto The 1995 ICHEME Research Event, First European conference for Young Researchers in Chemical Engineering 1995 1 125--127 January alter-1985:adaptplann:inbook: R. Alterman Proc 7th Cognitive Science Society 1985 alter-1986:adaptplann:inbook:65 R. Alterman Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI 86) 1986 65--69

Los Altos, California

Morgan Kaufmann Publishers, Inc. PLEXUS alter-1986:issuein:TR R. Alterman Div.n CS, UC Berkeley 1986 UCB/CSD 87/304 1986

alter-1988:adaptplann:journal:393 R. Altermann Cognitive Science 1988 12 393--421

altma.bucha-1987:particompi:inbook:399 R. Altman and B. Buchanan National Conference on Artificial Intelligence of the American Association for AI (AAAI 87) 1987 399 alur.courc-1990:modelcheck:inbook:414 R. Alur and C. Courcoubetis and D. Dill Proc. of the Fifth IEEE Symp. on Logics in Computer Science 1990 414--425

Philadelphia, PA

June amado.finke-1993:real-self-:inbook:562 Franz G. Amador and Adam Finkelstein and Daniel S. Weld Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, D.C., USA

August AAAI Press/MIT Press 0-262-51071-5 Real-Time Planning and Simulation 562--567 amant-1997:navigplann:inbook:64 Robert St. Amant Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 64--69 Automated Reasoning & the User Interface amant.cohen-1996:plannfor:inbook:205 Robert St. Amant and Paul R. Cohen B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 205--212 amare-1968:onrepre:inbook:131 S. Amarel Donald Michie Machine Intelligence Edinburgh University Press 1968 3 131--171 amare-1977:repreactio:inbook: Saul Amarel International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 amare-1977:repreactio:TR Saul Amarel Computer in biomedicine, Dept CS, Rutgers U 1977 CBM-TR-76 March ambit.knobl-1997:plannby:inbook:706 Jose Luis Ambite and Craig A. Knoblock Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 706--713 Plan Generation

ambro-1986:relatbetwe:journal:11 Jose Ambros-Ingerson AISB Quarterly 1986 57 11--14

ambro-1986:teamw2:TR Jose Ambros-Ingerson and others Dept. CS, Essex U 1986 CSCM-23 ambro-1987:ipeminteg:thesis Jose Ambros-Ingerson Dept CS, Essex U 1987 MPhil ambro.steel-1988:integplann:inbook:83 Jose A. Ambros-lngerson and Sam Steel Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88) 1988

Saint Paul, Minnesota, USA

August AAAI Press/MIT Press 0-262-51055-3 Planning 83--88 ambro.steel-1990:integplann:inbook:735 J. A. Ambros-Ingerson and S. Steel J. Allen and J. Hendler and A. Tate Readings in Planning Kaufmann 1990 735--740

San Mateo, CA

plans

ameri-1990:provitotal:journal:126 Pierre America Information and Control 1990 84 126--162

ander-1966:formaanaly:inbook:147 Alan Ross Anderson N. Rescher The logic of commands Routledge and Kegan Paul 1966 147--214 ander.cohen-1995:segreplann:inbook:11 Scott D. Anderson and Paul R. Cohen Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium 1995 11--15 AAAI Press, Menlo Park, California 0-929280-87-3 ander.cohen-1996:on-liplann:inbook:3 Scott D. Anderson and Paul R. Cohen B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 3--10

ander.donat-1990:animabehav:journal:145 T. L. Anderson and M. Donath Robotics and Autonomous Systems 1990 6 145--168 North-Holland

ander.farle-1988:planabstr:inbook:100 John S. Anderson and Arthur M. Farley Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88) 1988

Saint Paul, Minnesota, USA

August AAAI Press/MIT Press 0-262-51055-3 Planning 100--104 ander.farle-1989:plannwith:TR J. S. Anderson and A. M. Farley Dept. CS, U. of Oregon 1989 andre.rist-1996:copinwith:inbook:142 E. Andr\'e and T. Rist Proc. of 13th National Conference on Artificial Intelligence (AAAI 96) 1996 142--147 AAAI Press/MIT Press antzo-1996:valveseque:thesis Vassillis N. Antzoulatos Department of Chemicall Engineering, Loughborough University of Technology, United Kingdom 1996 Masters thesis supervised by Dr P. K. Andow aoqvi-1984:deontlogic:inbook:605 A(o)qvist, Lennart Dov Gabbay and F. Guenthner Handbook of philosophical logic (3 vols) Reidel 1984 II.11 605--714 appel-1980:plannfor:inbook:131 Douglas E. Appelt 1st National Conference on Artificial Intelligence of the American Association for AI (AAAI 80) 1980 131--133 appel-1981:plannnatur:thesis Douglas E. Appelt dept CS, Stanford U 1981 appel-1982:plannnatur:inbook: Douglas A. Appelt 2nd National Conference on Artificial Intelligence of the American Association for AI (AAAI 82) 1982 appel-1982:plannnatur:TR Douglas A. Appelt SRI International 1982 AI center technical note SRI-AI-259 appel-1983:reseaon: Douglas E. Appelt NSF project proposal number ECU 83-133 1983 appel-1983:teleggramm:inbook:595 Douglas E. Appelt International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 595--599 appel-1985:plannengli: Douglas E. Appelt Cambridge University Press 1985

appel-1985:plannengli:journal:1 Douglas E. Appelt Artificial Intelligence 1985 26 1--33 North Holland KAMP

apple.c-1990:archifor:journal:186 C. Applegate and Elsaesser C. and Sanborn J. IEEE trans. on systems, man and cybernetics 1990 20 186--194

apple.cook-1991:compustudy:journal:149 D. Applegate and W. Cook ORSA Journal on Computing 1991 3 149--156

apt-1981:tenyears:journal:431 K. R. Apt ACM Transactions on Programming Languages and Systems 1981 3 431--483

apt-1985:logicmodel: K. R. Apt Springer 1985 apt.delpo-1983:axiominter:inbook:15 K. R. Apt and C. Delporte ICALP 10 1983 15--27 descendant of Burstall 74 arago-1995:testbarchi:inbook:16 Jim Aragones Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium 1995 16--20 AAAI Press, Menlo Park, California 0-929280-87-3 arago.bonis-1994:gesappli:inbook:1 Jim Aragones and Piero Bonissone Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 1--4 AAAI Press, Menlo Park, California 0-929280-75-x

arapo.borka-1993:discrcontr:journal:282 Aristotle Arapostathis and Vivek S. Borkar and Emmanuel Fern\'andez-Gaucherand and Mrinal K. Ghosh and Steven I. Marcus {SIAM} Journal on Control and Optimization 1993 31 2 282--344 March

arbib-1976:progrsynth:journal: M. A. Arbib Brain theory newsletter 1976 2 32:33

arbib.liaw-1995:sensotrans:journal:53 M. A. Arbib and J.-S Liaw Artificial Intelligence 1995 72 1-2 53--80 January

arkin-1989:towarunifi:inbook: R. C. Arkin Working Notes of the AAAI Spring Symp. on Robot Navigation 1989

Stanford, USA

March

arkin-1990:integbehav:journal:105 R. C. Arkin Robotics and Autonomous Systems 1990 6 1-2 105--122 June

arkin-1991:multidimen:inbook: R. C. Arkin Working Notes of the AAAI Fall Symp. on Sensory Aspects of Robotic Intelligence 1991

Monterey, CA

November arkin-1992:aurahybri:inbook:9 R. C. Arkin Proc. of the IEEE Int. Conf. on Robotics and Automation, Workshop on Architecture for Intelligent Control Systems 1992 9--13 arkin.k.ward.tbalc-1993:buzzinsta:inbook:418 R. C. Arkin and K. Ward {T. Balcher, T.R. Collins, A.M. Henshaw, D.C. MacKenzie, E. Nitz, D. Rodriguez} Proc. of the Int. Conf. on Intelligent Autononmous Systems 1993 418--427 February ash.hayes-1993:compaactio:inbook:568 David Ash and Barbara Hayes-Roth Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, D.C., USA

August AAAI Press/MIT Press 0-262-51071-5 Real-Time Planning and Simulation 568--573 ashle-1986:knowiwhat:inbook: K. D. Ashley Proceedings of the Eighth Annual Conference of the Cognitive Science Society 1986

Amhearst, Massachusetts

ashle.rissl-1986:compacontr:inbook: K. D. Ashley and E. L Rissland Proceedings of the Fifth National Conference on Artificial Intelligence 1986

Philadelphia, PA

astro-1965:optimcontr:journal:174 K. J. Astr{"o}m Journal of Mathematical Analysis and Applications 1965 10 174--205

athan.falb-1966:optimcontr: M. Athans and P. L. Falb McGraw-Hill 1966 atkin.cohen-1993:genetprogr:inbook:36 Marc Atkin and Paul R. Cohen Learning Action Models: Papers from the 1993 AAAI Workshop 1993 36--41

Menlo Park, California

AAAI Press 0-929280-66-0 atkin.durfe-1996:detecreact:inbook:1 Ella M. Atkins and Edmund H. Durfee and Kang G. Shin Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 1--7 AAAI Press, Menlo Park, California 1-57735-015-4 atkin.durfe-1996:detecreact:inbook:10 E. Atkins and E. Durfee and K. Shin Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 10--17

Menlo Park, California

AAAI Press 1-57735-021-9 atkin.durfe-1997:detecreact:inbook:571 Ella M. Atkins and Edmund H. Durfee and Kang G. Shin Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 571--576 Reactive Behavior ausie.dezan-1989:automlangu:372: 1989 G. Ausiello and M. Dezani-Ciancaglini and S. Ronchi Della Rocca 372 Lecture notes in computer science

Stresa, Italy

July Springer-Verlag aylet-1991:appliai:inbook: R. S. Aylett Proc. Conf. on Remote Technology for the Nuclear Industry 1991

London

aylet-1995:multiplann:inbook: R. S. Aylett 14th UK Planning SIG, University of Essex 1995 November UK Planning and Scheduling Special Interest Group http://www.salford.ac.uk/iti/projects/MACTA/papers/SIG95.ps aylet.coddi-1995:plannbehav:inbook:87 R. S. Aylett and A. M. Coddington and D. P. Barnes and R. Ghanea-Hercock and J. O. Gray Kari Koskinen Aarne Halme 2nd IFAC Conference on Intelligent Autonomous Vehicles 1995 87 June International Federation of Automatic Control http://www.salford.ac.uk/iti/projects/MACTA/macta-papers.html aylet.coddi-1996:enablmulti:inbook:8 Ruth Aylett and Alex Coddington and David Barnes and Rob Ghanea-Hercock Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 8--14 AAAI Press, Menlo Park, California 1-57735-015-4 aylet.eusta-1993:multicoope:inbook: R. Aylett and D. Eustace Proceedings, Cooperating Knowledge Based Systems SIG 1993

Keele

http://cgenie.lboro.ac.uk/bib/papers aylet.fish-1991:help-:inbook:1 R. S. Aylett and A. N. Fish and S. R. Bartrum Proc. of the 1st European Workshop on Planning 1991 1--12 Springer-Verlag aylet.jones-1992:final:TR R. S. Aylett and S. D. Jones and C. P. Milton Advanced Robotics Research Centre (UK) 1992 ARRL.92.044 (Issue 1) July aylet.jones-1992:resea:TR R. S. Aylett and S. D. Jones and C. P. Milton Advanced Robotics Research Centre (UK) 1992 ARRL.92.041 (Issue 2) December

aylet.jones-1996:planndomai:journal:279 Ruth Aylett and Steve Jones International Journal of Expert Systems 1996 9 2 279--318

azeve.barah-1994:timetin:inbook: F. Azevedo and P. Barahona Proceedings of 2nd World Congress on Expert Systems 1994

Estoril, Portugal

January ftp://ftp.cs.unh.edu/pub/csp/archive/papers/nato/timetabling.dvi.Z b.cheng-1987:subgoorder:inbook:1018 Irani K. B. and J. Cheng Proc. of the Int. Joint Conf. on Artificial Intelligence 1987 1018--1024 baale-1984:excephandl:inbook:1 J. van Baalen Workshop on Principles of Knowledge-Based Systems 1984 1ff IEEE babin.gatel-1987:freshnaval:inbook:196 M. Babin and M. Gately and M. Sullivan IEEE conf. on AI applications 1987 1987 196--201 bacch-1990:reasorepre: F. Bacchus MIT press 1990 bacch-1995:tlplausers: F. Bacchus 1995 University of Waterloo, ON, Canada. Anonymous ftp: ftp://logos.uwaterloo.ca/pub/bacchus/tlplan/tlplan-manual.ps bacch-1995:tlplaversi:TR Fahiem Bacchus Dept. of Computer Science 1995

University of Waterloo, Canado, N2L 3G1

http://logos.uwaterloo.ca/tlplan/tlplan.html bacch.bouti-1996:rewarbehav:inbook:1160 Fahiem Bacchus and Craig Boutilier and Adam Grove Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) 1996

Portland, Oregon, USA

August AAAI Press / The MIT Press 0-262-51091-x Planning, Handling Uncertainty 1160--1167 bacch.bouti-1997:strucsolut:inbook:112 F. Bacchus and C. Boutilier and A. Grove Proc. of 14th National Conference on Artificial Intelligence (AAAI 96) 1997 112--117 AAAI Press/MIT Press bacch.kaban-1994:applydecis:inbook:1 F. Bacchus and F. Kabanza AAAI Decision-Theoretic Planning Spring Symposium 1994 1--5 AAAI Press bacch.kaban-1995:contrstrat:inbook:5 F. Bacchus and F. Kabanza Proc. of the AAAI Spring Symposium Series on Extending Theories of Action: Formal Theory and Practical Applications 1995 5--10

Stanford University, CA, USA

March bacch.kaban-1995:usingtempo:inbook: F. Bacchus and F. Kabanza Proc. of the TIME-95 International Workshop on Temporal Representation and Reasoning 1995

Melbourne, Florida

April bacch.kaban-1996:plannfor:inbook:1215 Fahiem Bacchus and Froduald Kabanza Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) 1996

Portland, Oregon, USA

August AAAI Press / The MIT Press 0-262-51091-x Planning, Temporal Reasoning 1215--1222 bacch.kaban-1996:usingtempo:inbook:141 F. Bacchus and F. Kabanza M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Search Control 141--156

bacch.run-1997:dynamvaria:journal: F. Bacchus and P. van Run Available on the web. 1997

bacch.yang-1992:expecvalue:inbook:369 Fahiem Bacchus and Qiang Yang Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92) 1992

San Jose, California, USA

July AAAI Press/MIT Press 0-262-51063-4 Planning 369--374 backs-1988:reasoabout:thesis Christer B{"{a}}ckstr{"{o}}m School of Engineering, Link{"{o}}ping U, Sweden 1988 Licentiate thesis backs-1994:findileast:inbook:46 Christer Backstrom C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 46--59

backs-1995:expreequiv:journal:17 Christer B{"{a}}ckstr{"{o}}m Artificial Intelligence 1995 76 1--2 17--34

backs-1996:fiveyears:inbook:19 C. Backstrom M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 19--36 backs.klein-1990:plannin:inbook: Christer B{"{a}}ckstr{"{o}}m and Inger Klein Intl. workshop on expert systems in engineering 1990

Vienna

October backs.klein-1990:plannin:TR Christer B{"{a}}ckstr{"{o}}m and Inger Klein Dept. Comp. & info. science, Link{"{o}}ping U, Sweden 1990 LiTH-IDA-R-90-16

backs.klein-1991:plannin:journal:181 Christer B{"{a}}ckstr{"{o}}m and Inger Klein Computational Intelligence 1991 7 3 181--197 August

backs.kraet-1994:distrplan:inbook:74 Clemens Backstein and Gerhard Kraetzshmar and Josef Schneeberger C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 74--86 backs.sande-1994:curretrend:20: C. B{"{a}}ckstr{"{o}}m and E. Sandewell IOS Press 1994 20 Frontiers in Artificial Intelligence and Applications

Amsterdam

0922-6389 baete.klop-1990:concu90:458: 1990 J. C. M. Baeten and J. W. Klop 458 Lecture Notes in Computer Science

Amsterdam, the Netherlands

August Springer Verlag bagch.biswa-1994:spreaactiv:inbook:6 Sugato Bagch and Gautam Biswas and Kazuhiko Kawamura Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 6--12 AAAI Press, Menlo Park, California 0-929280-70-9 bahle-1987:net-bplan:thesis Dennis R. Bahler Dept CS, North Carolina State U 1987 October TR-87-28 bahle-1987:plansynth:inbook: Dennis R. Bahler Workshop on autonomous mobile robots 1987

Seattle

July bahle-1988:net-bappro:inbook:1856 D. Bahler Proc IEEE Conf on Automation & Robotics 1988 1856? bahle-1988:towarautom:inbook:221 Dennis R. Bahler 7th Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI '88) 1988 221--226

bajcs-1988:activperce:journal:996 R. Bajcsy IEEE 1988 76 8 996--1006 August

baker-1974:introto: Kenneth K. R. Baker Wiley 1974 baker-1989:simplsolut:inbook:11 A. Baker Proc 1st International Conference on Principles of Knowledge Representation and Reasoning 1989 11--20 Morgan Kaufman, Los Altos. baker.ginsb-1989:tempoproje:inbook:906 A. Baker and M. Ginsberg International Joint Conference on Artificial Intelligence (IJCAI 89) 1989 906--911 baksh.laksh-1989:synthopera:TR Bhavik R. Bakshi and Ramachandran Lakshmanan and George Stephanopoulos Laboratory for Intelligent Systems in Process Engineering, Department of Chemical Engineering, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A. 1989 LISPE-89-065 Fall

balas-1985:onefacia:journal:179 E. Balas Mathematical Programming Study 1985 24 179--218

baner-1971:someprope:TR Ranan B. Banerji Jennings computer centre, Case Western Reserve U 1971 report 1179 January baner-1983:gpspsych:inbook: Ranan B. Banerji A. Elithorn and R. B. Banerji Artificial and human intelligence North-Holland 1983 baner.ernst-1977:compathree:inbook:442 Ranan B. Banerji and George W. Ernst 5th International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 442--449 baner.ernst-1977:theorfor:inbook:450 Ranan B. Banerji and George W. Ernst 5th International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 450--456 bapti.pape-1995:theorexper:inbook:600 Philippe Baptiste and Claude Le Pape Chris S. Mellish Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence 1995 1 600--606 August Morgan Kaufmann

bapti.pape-1996:disjuconst:journal:306 Philippe Baptiste and Claude Le Pape International Journal of Computer Integrated Manufacturing 1996 9 4 306--310

bapti.pape-1996:edge-const:inbook: Philippe Baptiste and Claude Le Pape Proceedings of the Fifteenth Workshop of the U.K. Planning Special Interest Group 1996 baral-1995:reasoabout:inbook:10 Chitta Baral Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 10--16 AAAI Press, Menlo Park, California 0-929280-90-3 baral-1996:relatlogic:inbook:18 C. Baral Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 18--27

Menlo Park, California

AAAI Press 1-57735-021-9 baral.gelfo-1995:repreactio:inbook:17 Chitta Baral and Michael Gelfond and Alessandro Provetti Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 17--22 AAAI Press, Menlo Park, California 0-929280-90-3 baral.son-1996:relattheor:inbook:28 C. Baral and T. Son Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 28--35

Menlo Park, California

AAAI Press 1-57735-021-9 barbe-1984:rcsnbs:inbook: A. Barbera and others Proc. Robots 8 conf. 1984

Detroit, MI

June barbe.frapp-1997:supercontr:inbook: M. Barbeau and M. Frappier and F. Kabanza and R. St-Denis Proc. of 35th Annual Allerton Conference on Communication, Control, and Computing 1997

Urbana-Chambaign

October

barbe.kaban-1995:compatwo:journal:809 M. Barbeau and F. Kabanza and R. St-Denis Proc. of Canadian Conference on Electrical and Computer Engineering 1995 809--812 Sptember

barbe.kaban-1995:efficalgor:TR M. Barbeau and F. Kabanza and R. St-Denis Computer Science Dept., University of Sherbrooke 1995 166 (To appear in Journal of Algorithms)

barbe.kaban-1995:supercontr:journal:96 M. Barbeau and F. Kabanza and R. St-Denis Proc. of 33th Annual Allerton Conference on Communication, Control, and Computing 1995 96--105 October

Urbana-Chambaign

barbe.kaban-1995:synthplant:inbook:791 M. Barbeau and F. Kabanza and R. St-Denis Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI) 1995 791--798 Morgan Kaufmann barbu-1997:coordagent:inbook:16 Mihai Barbuceanu Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 16--21 Agent Coordination bards.jenki-1991:develbest:TR A. S. Bardsley and A. M. Jenkins and Dr A. Shepherd SRD Human Factors Department 1991 SRDA-R1 barne.gray-1991:behav:inbook: D. P. Barnes and J. O. Gray Proc. of the IEE Int. Conf. on Control 1991

Edinburgh

March barre.chris-1995:ucpopusers:TR Anthony Barrett and Dave Christianson and Mark Friedman Department of Computer Science and Engineering, University of Washington, Seattle, WA, USA 1995 93-09-06d November

barre.weld-1994:partiorder:journal: Anthony Barrett and Daniel S. Weld Artificial Intelligence 1994 July

barre.weld-1994:partiplann:journal:71 A. Barrett and D. S. Weld Artificial Intelligence 1994 67 1 71--112

barre.weld-1994:task-via:inbook:1117 Anthony Barrett and Daniel S. Weld Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1994 2

Seattle, Washington, USA

August AAAI Press/MIT Press 0-262-51078-2 Task Network Planning 1117--1122 barri-1985:surveverif:191: Howard Barringer Springer verlag 1985 191 Lecture Notes in Computer Science barri-1986:usingtempo:TR Howard Barringer Dept. CS, Manchester U 1986 UMCS-86-10-1 barri.fishe-1989:fairsmg: Howard Barringer and M. Fisher and G. Gough 1989 barri.fishe-1989:metatframe:TR Howard Barringer and M. Fisher and G. Gabbay and G. Gough and Owens R. Dept. CS, Manchester U 1989 UMCS-89-10-4 barri.gough-1985:mechatempo: Howard Barringer and Graham D. Gough 1985 barro.hendl-1997:par-kknowl:inbook:1246 Leliane Nunes de Barros and James Hendler and V. Richard Benjamins M. Pollack Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 1997 Morgan Kaufmann 1246--1251 barro.valen-1996:modelplann:inbook:11 Lelian Barros and Andre Valente and Richard Benjamins B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 11--18 barst-1979:rolesknowl:inbook:37 D. R. Barstow 6th International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 37--43 bartl-1932:remem: F. C. Bartlett Cambridge University Press 1932 bartl-1982:knowlrepre:TR Richard Bartle Dept CS, Essex U 1982 bartl-1983:explisyste:TR Richard Bartle Dept CS, Essex U 1983 CSM-63 bartl-1984:crossplann:inbook: R. Bartle Alvey planning SIG 2 1984 bartl-1984:crossplann:inbook:280 R. Bartle European Conference on AI (ECAI 84) 1984 280 bartl-1984:crossplann:TR R. Bartle Dept CS, Essex U 1984 CSCM-16 bartl-1986:threeways:inbook: R. Bartle Alvey planning SIG 5 1986

bartl-1987:plannprobl:journal: R. Bartle Society for AI and the Simulation of Behaviour (AISB) Quarterly 1987 62

bartl-1988:crossplann:thesis R. Bartle Dept CS, Essex U 1988

barto.bradt-1995:learnto:journal:81 Andrew G. Barto and S. J. Bradtke and Satinder P. Singh Artificial Intelligence 1995 72 1 81--138 rtdp

batal-1983:compuintro:TR John Batali AI Lab, MIT 1983 AIM-701 February batre.naka-1995:operadesig:inbook: R. Batres and Yuji Naka and A. Adriani and K. Arai and M. Lu D. Pradubsripetch and S. Lee and I. Yamada Proceedings of the American Institute of Chemical Engineers 1995, Spring National Meeting 1995

Houston

March bauer-1994:integproba:inbook:620 Mathias Bauer Proceedings of the 11th European Conference on Artificial Intelligence (ECAI '94) 1994 620--624 http://www.dfki.uni-sb.de/\~phisys/papers.html bauer.egli-1979:semanfrom:6: R. Bauerle and U. Egli and Arnim von Stechow Springer 1979 6 Springer series in language and communication bauer.feite-1993:steerangle:inbook:67 R. Bauer and W. Feiten and G. Lawitzky Proc. of the Symp. on Intelligent Robotic Systems 1993 67--70

Zakopane, Poland

July bauer.paul-1994:logicplan:inbook:60 Mathias Bauer and Gabriele Paul C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 60--73 baxte-1996:execuplans:inbook:15 Jeremy W. Baxter Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 15--18 AAAI Press, Menlo Park, California 1-57735-015-4 beck-1994:schemfor:thesis J. Christopher Beck Department of Industrial Engineering, University of Toronto 1994 Master's Thesis http://128.100.52.15/EIL/profiles/chris/msc.thesis.abstract.html beck-1994:schemfor:TR J. Christopher Beck Department of Industrial Engineering, University of Toronto 1994 EIT-94-3 beck.daven-1997:beyonconte:inbook:233 J. Christopher Beck and Andrew J. Davenport and Edward M. Sitarski and Mark S. Fox Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 233--240 http://128.100.52.15/EIL/profiles/chris/beyond.abstract.html Heuristics for Scheduling beck.daven-1997:textuheuri:inbook:241 J. Christopher Beck and Andrew J. Davenport and Edward M. Sitarski and Mark S. Fox Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 241--248 http://128.100.52.15/EIL/profiles/chris/revisited.abstract.html Heuristics for Scheduling beck.krame-1996:usingadvic:inbook:19 Howard Beck and Reto Kramer Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 19--21 AAAI Press, Menlo Park, California 1-57735-015-4

beer-1995:dynamsyste:journal:173 R. D. Beer Artificial Intelligence 1995 72 1-2 173--216 January

beer.chiel-1990:biolopersp:journal:169 R. D. Beer and H. J. Chiel and L. S. Sterling Robotics and Autonomous Systems 1990 6 169--186 June

beetz.mcder-1992:declagoals:inbook:3 M. Beetz and D. McDermott Proc. of the First Int. Conf. on AI Planning Systems 1992 3--12

San Mateo

Morgan Kaufman beetz.mcder-1996:execustruc:inbook:22 Michael Beetz and Drew McDermott Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 22--28 AAAI Press, Menlo Park, California 1-57735-015-4 beetz.mcder-1996:localplann:inbook:19 Michael Beetz and Drew McDermott B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 19--26 bell-1985:resoumanag:TR Colin Bell AI Applications Inst., Edinburgh U 1985 AIAI-TR-8 bell-1985:usejusti:TR Colin Bell AI Applications Inst., Edinburgh U 1985 AIAI-TR-6 bell-1987:reprereaso: Colin Bell 1987 bell-1988:logicnon-m:TR John Bell Dept CS, Essex U 1988 CSM-122 bell-1988:predicondi:TR John Bell Dept CS, Essex U 1988 CSCM-34 bell-1989:extencausa: John Bell 1989 bell-1989:nonmoreaso:TR John Bell Dept CS, Essex U 1989 CSM-126 February bell-1989:predicondi:TR John Bell Dept CS, Essex U 1989 CSM-127 March

bell-1990:whyframe:journal:3 John Bell AICOM 1990 3 1 3--10

bell.curri-1987:timewindo:TR Colin Bell and Ken Currie and Austin Tate AI Applications Inst., Edinburgh U 1987 AIAI-TR-32 bell.tate-1985:usingtempo:inbook: Colin Bell and Austin Tate Alvey IKBS planning SIG workshop 3 1985 bell.tate-1985:usingtempo:TR Colin Bell and Austin Tate AI Applications Inst., Edinburgh U 1985 AIAI-TR-5 belli.consi-1990:keepilayer:inbook:3 James G. Bellingham and Thomas R. Consi and Robert M. Beaton and William Hall Proceedings of the Symposium on Autonomous Underwater Vehicle Technology ({AUV '90}) 1990 3--9 IEEE belli.consi-1992:stateconfi:inbook:75 J. G. Bellingham and T. R. Consi IARP 1st Workshop, Mobile Robots for Subsea Environments 1992 75--80

CA, USA

October bellm.dreyf-1962:applidynam: R. E. Bellman and S. E. Dreyfus Princeton University Press, 1962 1962 benar-1985:knowlcontr:thesis David Ben-Arieh Purdue U 1985 UMI NBS85-29256

benar.halpe-1982:deterpropo:journal:402 M. Ben-Ari and J. Y. Halpern and A. Pnueli J. Computer and system sciences 1982 25 402--417

benar.manna-1981:tempologic:inbook: M. Ben-Ari and Z. Manna and A. Pnueli ACM symposium on principles of programming languages 8 1981 benja-1995:analylangu:inbook:23 D. Paul Benjamin Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995

Stanford, CA, USA

March 23--27 AAAI Press (Menlo Park, California) 0-929280-90-3 benja-1996:refortheor:inbook:36 D. Benjamin Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 36--44

Menlo Park, California

AAAI Press 1-57735-021-9 benoi-1985:aiplann:TR John W. Benoit Mitre Corp 1985 MP-85W00010 July benoi.david-1985:aiin:TR John W. Benoit and John R. Davidson and E. Gordon Powell Mitre Corp 1985 MP-85W00021 September benso.nilss-1995:reactplann:inbook: S. Benson and N. J. Nilsson K. Furukawa and D. Michie and S. Muggleton Machine Intelligence 14 1995 benth-1983:logictime:156: J. F. A. K. van Benthem Reidel 1983 156 Synthese Library

Dordrecht

90-277-1421-5 benth-1984:partinonmo:TR J. F. A. K. van Benthem CSLI, Stanford U 1984 CSLI-84-12

benth-1984:tenselogic:journal:1 J. F. A. K. van Benthem Notre Dame J. of Formal Logic 1984 25 1 1--16

benth-1985:manuainten:TR J. F. A. K. van Benthem CSLI (Center for the study of language and information), Stanford U 1985 benth-1986:timelogic:inbook: J. van Benthem J. W. de Bakker and W. -P. de Roever and G. Rozenberg Current Trends in concurrency: Overviews and Tutorials Springer-Verlag 1986 224 Lecture notes in computer science

beren.khosh-1996:useartif:journal:47 Hamid Berenji and Behrokh Khoshnevis Computers in Mechanical Engineering 1996 47--55 September

berge.hammo-1991:roentmemor:inbook:203 J. Berger and K. J. Hammond Proc. of the Case-Based Reasoning Workshop 1991 203--214

Washington, D.C.

bergm-1992:knowlacqui:inbook:125 Ralph Bergmann F. Schmalhofer and G. Strube and T. Wetter Contemporary Knowledge Engineering and Cognition 1992 Lecture Notes in AI 125--133 bergm-1996:effizprobl: Ralph Bergmann Infix-Verlag 1996 DISKI 138

Sankt Augustin

bergm.munio-1996:fallbplane:journal: Ralph Bergmann and Hector Munioz and Manuela Veloso KI - Kuenstliche Intelligenz 1996 1

bergm.wilke-1995:buildrefin:journal:53 Ralph Bergmann and Wolfgang Wilke Journal of Artificial Intelligence Research 1995 3 53--118

bergm.wilke-1995:flexireuse:inbook: Ralph Bergmann and Wolfgang Wilke Proceedings of the IJCAI Workshop on Reuse of Plans, Proofs, and Programs. 1995 bergm.wilke-1995:learnabstr:inbook: Ralph Bergmann and Wolfgang Wilke N. Lavrac and S. Wrobel Machine Learning: ECML: 95 1995 Lecture Notes in AI bergs.midde-1995:procealgeb:inbook: J. A. Bergstra and C. A. Middelburg Proc. 2nd Workshop on Algebra of Communicating Processes 1995 May processs algebra

bergs.tucke-1984:axiomseman:journal:293 J. A. Bergstra and J. V. Tucker Acta Informatica 1984 21 293--320

berli-1980:someobser:TR H. Berliner Dept CS, CMU 1980 CMU-CS-80-113 April

berli-1984:reviewilen:journal:242 Daniel Berlin Artificial Intelligence 1984 23 242--244 North Holland

berli-1985:integprobl:inbook:1047 D. L. S. Berlin International Joint Conference on Artificial Intelligence (IJCAI 85) 1985 1047--1051 berli-1985:spaninteg:inbook:1047 D. L. S. Berlin Proc. of the Int. Joint Conf. on Artificial Intelligence 1985 1047--1051

berli.campb-1984:usingchunk:journal: H Berliner and M. S. Campbell Artificial Intelligence 1984 23 North Holland

berry.choue-1993:distrappro:inbook:23 Pauline M. Berry and Berthe Y. Choueiry and Lamia Friha Working notes of the Workshop on Knowledge-Based Production Planning, Scheduling and Control, IJCAI-93 1993 23--31

Chamb\={e}ry, France

http://liawww.epfl.ch/\~choueiry/papers.html berry.choue-1994:disadistr:inbook:386 Pauline M. Berry and Berthe Y. Choueiry and Lamia Friha Seventh Australian Joint Conference on Artificial Intelligence 1994 386--394

Armidale, Australia

World Scientific Publishing Company http://liawww.epfl.ch/\~choueiry/papers.html

berry.choue-1994:distrappro:journal:79 Pauline M. Berry and Berthe Y. Choueiry and Lamia Friha Intelligent Systems Engineering 1994 3 2 79--86

berry.cosse-1984:estersynch:inbook:389 G. Berry and L. Cosserat LNCS 197: Proc. CMU seminar on concurrency 1984 389--448 Springer-Verlag

berry.couro-1987:progrsynch:journal: G. Berry and P. Couronn\'e and G. Gonthier Technique et Science Informatique 1987 6 4

berts-1987:dynamprogr: Dimitri P. Bertsekas Prentice-Hall 1987

Englewood Cliffs, NJ

berts-1995:dynamprogr: Dimitri P. Bertsekas Athena Scientific 1995

Belmont, Massachusetts

Volumes 1 and 2

berts.casta-1989:adaptaggre:journal:589 Dimitri P. Bertsekas and David A. Casta\~{n}on IEEE Transactions on Automatic Control 1989 34 6 589--598 June

berts.shrev-1978:stochoptim: D. P. Bertsekas and S. E. Shreve Academic Press, New York 1978 berts.tsits-1996:neuroprogr: Dimitri P. Bertsekas and John N. Tsitsiklis Athena Scientific 1996

Belmont, MA

besco-1992:globaplann:inbook:32 Sylvie Bescos Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 32--36

Menlo Park, California

AAAI Press 0-929280-32-6 bessi.ahuac-1993:ariadclew.:inbook: B. Bessiere and J.-M. Ahuactzin and El.-G. Tabli and E. Mazer Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1993

Yokohama, Japan

bibel-1985:deducsolut:inbook: Wolfgang Bibel Schmidt J. W. and Thanos C. Workshop on KB management systems 1985

Chania, Greece

June bibel-1985:deducsolut:TR Wolfgang Bibel TU Munich 1985 Report ATP-38-II-85

bibel-1986:deducsolut:journal:115 Wolfgang Bibel New Generation Computing 1986 4 115--132 theorem proving approach; linear connection proofs without frame axioms

biefe-1992:iterarefin:inbook:42 Eric Biefeld Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 42--46

Menlo Park, California

AAAI Press 0-929280-32-6 bienk.desja-1994:generplann:inbook: Marie Bienkowski and Marie desJardins and Roberto Desimone 1994 Symposium on Command and Control Research and Decision Aids 1994

Monterey, CA

Science Applications International Corp., McLean, VA bienk.desja-1994:planninteg:inbook: Marie Bienkowski and Marie desJardins Proceedings of the 1994 Conference on AI Planning Systems 1994

Chicago, IL

Morgan Kaufmann Publishers Inc., San Mateo, CA bierm.guiho-1984:automprogr: A. W. Biermann and G. Guiho and Y. Kodratoff Macmillan publishing Co 1984 bierm.guiho-1984:overvautom:inbook: A. W. Biermann and G. Guiho and Y. Kodratoff A. W. Biermann and G. Guiho and Y. Kodratoff Automatic program construction techniques Macmillan publishing Co 1984

birk.kelly-1981:overvbasic:journal:574 J. R. Birk and R. B. Kelly IEEE trans. on systems, man and cybernetics (SMC) 1981 11 8 574--579

birnb-1986:integproce:thesis L. Birnbaum Yale, Department of Computer Science 1986 December, 1986, Technical Report YALEU/CSD/RR\#480 (New Haven, CT). birnb.colli-1984:opporplann:inbook: L. Birnbaum and G. Collins Proceedings of the Sixth Annual Conference of the Cognitive Science Society 1984

Boulder, Colorado

biund-1994:presededuc:inbook:1 Susanne Biundo C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 1--5 biund.steph-1996:modelplann:inbook:599 Susanne Biundo and Werner Stephan W. Wahlster Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96) 1996 Wiley & Sons 599--603 biund.steph-1997:systeassis:inbook:1240 Susanne Biundo and Werner Stephan M. Pollack Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 1997 Morgan Kaufmann 1240--1245 blaze.cella-1986:schedunder:inbook: Jacek Blazewicz and Wojciech Cellary and Roman Slowinski and Jan Weglarz J. C. Baltzer Annals of Operations Research 7 A. G. Scientific Publishing Company. Basel-Switzerland 1986

blidb.chapp-1986:guidacontr:journal:449 D. Richard Blidberg and Steven G. Chappell IEEE Journal of Oceanic Engineering 1986 OE--11 4 449--461

blidb.turne-1991:autonunder:journal:139 D. Richard Blidberg and Roy M. Turner and Steven G. Chappell Robotics and Autonomous Systems 1991 7 139--150

blum.furst-1995:fastplann:inbook:1636 Avrim Blum and Merrick Furst Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 95) 1995 1636--1642 August blum.furst-1995:fastplann:TR A. L. Blum and M. L. Furst Carnegie Mellon University 1995 CMU-CS-95-221 December

blum.furst-1997:fastplann:journal:279 Avrim L. Blum and Merrick L. Furst Artificial Intelligence 1997 90 1--2 279--298

blyth-1992:prodi4:TR Jim Blythe and others School of Computer Science, Carnegie Mellon University 1992 CMU-CS-92-150

Pittsburgh, PA 15213, USA

June http://www.cs.cmu.edu/afs/cs.cmu.edu/project/prodigy/Web/papers.html blyth-1994:decissubgo:inbook:13 Jim Blythe Proceedings of the {AAAI} Spring Symposium on Decision Theoretic Planning 1994 13--18

Stanford, CA

blyth-1994:plannwith:inbook:94 Jim Blythe Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence 1994 94--101

Seattle, Washington

blyth-1995:aiplann:inbook:28 Jim Blythe Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 28--32 AAAI Press, Menlo Park, California 0-929280-90-3 blyth-1996:decommarko:inbook:27 Jim Blythe B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 27--34 blyth-1996:footpprinc:inbook:173 J. Blythe M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Probabilistic Planning 173--186 blyth-1996:reprefor:inbook:45 J. Blythe Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 45--54

Menlo Park, California

AAAI Press 1-57735-021-9 blyth.mitch-1989:onbecom:inbook: J. Blythe and T. Mitchell Proc 6th International Machine Learning Workshop 1989 Morgan Kaufman, Los Altos blyth.reill-1993:integreact:TR J. Blythe and W. S. Reilly Carnegie Mellon University 1993 CMU-CS-93-155 May blyth.velos-1992:analysearc:inbook:13 Jim Blythe and Manuela Veloso James Hendler Artificial Intelligence and Planning Systems --- proceedings of the first international conference 1992 13--19 June Morgan Kaufmann blyth.velos-1997:analorepla:inbook:668 Jim Blythe and Manuela Veloso Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 668--673 Case-Based Reasoning and Planning bobro-1985:qualireaso: D. Bobrow MIT press 1985 bobro.colli-1975:repreunder: D. G. Bobrow and A. Collins Academic press 1975

bocke.rende-1990:repreuse:journal:293 U. Bockenholt and L. Rendell and C. C. White IEEE trans. on systems, man and cybernetics 1990 20 2 293--295

boddy-1991:anytiprobl:inbook:738 Mark Boddy Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) 1991 2

Anaheim, California, USA

July AAAI Press/MIT Press 0-262-51059-6 Sensing and Reaction 738--743 boddy-1993:classnonli:inbook:1 Mark Boddy Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 1--4 AAAI Press, Menlo Park, California boddy.dean-1989:solvitime-:inbook:979 M. Boddy and Thomas Dean International Joint Conference on Artificial Intelligence (IJCAI 89) 1989 979--984 boddy.schra-1992:managdisju:inbook:20 Mark Boddy and Bob Schrag and Jim Carciofini Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 20--24

Menlo Park, California

AAAI Press 0-929280-32-6 boer.albad-1993:excephandl:inbook:297 G. A. den Boer and G. D. van Albada and L. O. Hertzberger and G. R. Meijer and J.-B. Thevenon and P. Le\~Page and E. J. Gaussens and F. Arlabosse Proc. of the Int. Conf. on Intelligent Autononmous Systems 1993 297--306 February boiss-1992:probldu:thesis O. Boissier LIFIA-IMAG 1992 bolli.duffi-1988:compucontr: J. Bollinger and N. Duffie Addison Wesley 1988 bonas-1995:integdelib:inbook:21 R. Peter Bonasso Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium 1995 21--25 AAAI Press, Menlo Park, California 0-929280-87-3 bonas.anton-1992:reactrobot:inbook: R. P. Bonasso and H. J. Antonisse and M. G. Slack Proc. of the Nat. Conf. on Artificial Intelligence 1992 bonas.korte-1995:charaarchi:inbook: R. P. Bonasso and D. Kortenkamp Proc. of the AAAI Spring Symp. on Lessons Learned from Implememted Software Architectures for Physical Agents 1995

Stanford, CA

bonas.korte-1995:experwith:inbook: R. P. Bonasso and D. Kortenkamp and D. P. Miller and M. G. Slack Proc. of the Int. Joint Conf. on Artificial Intelligence 1995 bonas.korte-1996:usinglayer:inbook:1 R. Peter Bonasso and David Kortenkamp Planning with Incomplete Information for Robot Problems: Papers from the 1996 AAAI Spring Symposium 1996 1--4 AAAI Press, Menlo Park, California 1-57735-006-5 bond.gasse-1988:readiin: Alan H. Bond and Les Gasser M. Kaufmann 1988

San Mateo, Calif

bonet.loeri-1997:robusfast:inbook:714 Blai Bonet and Gabor Loerincs and Hector Geffner Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 714--719 Plan Generation bonis.dutta-1990:mergistrat:inbook:379 P. Bonissone and S. Dutta DARPA PCS workshop 90 1990 379--389 booch-1991:objecdesig: G. Booch Addison-Wesley 1991 object oriented design borgi-1981:ondefin:inbook:254 A. Borgida International Joint Conference on Artificial Intelligence (IJCAI 81) 1981 254--256 borra.velos-1994:increlearn:inbook:5 Daniel Borrajo and Manuela Veloso Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 5--9 AAAI Press, Menlo Park, California 0-929280-75-x borra.velos-1994:increlearn:inbook:64 Daniel Borrajo and Manuela Veloso Proceedings of the European Conference on Machine Learning 1994 Lecture Notes in Artificial Intelligence 64--82

Sicily, Italy

Springer Verlag http://grial.uc3m.es/\~dborrajo/papers/ecml94.ps

borra.velos-1997:lazyincre:journal:371 Daniel Borrajo and Manuela Veloso AI Review Journal. Special Issue on Lazy Learning 1997 11 1-5 371--405 February http://grial.uc3m.es/\~dborrajo/papers/aireview.ps

borse.owens-1992:iopsadvis:inbook:127 John E. Borse and Christopher C. Owens Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 127--135

Menlo Park, California

AAAI Press 0-929280-32-6

bose.biswa-1989:globeintel:journal:56 Prasanta K. Bose and Gautam Biswas and Adithya M. Rao Padala IEEE Expert 1989 4 2 56--64 Summer

boswe-1986:analygoal:inbook: Robin Boswell European Conference on AI (ECAI '86) 1986 boswe-1986:analygoal:TR Robin Boswell Dept AI, Edinburgh U 1986 research report 282 bouil.simeo-1994:numertechn:TR B. Bouilly and T. Simeon and R. Alami LAAS, Toulouse, France 1994 94385 bourn.fox-1983:autonmanuf:inbook:7 David A. Bourne and Mark S. Fox CMU Robotics Institute's Annual Research Review 1983 7--19

bourn.fox-1984:autonmanuf:journal:76 David A. Bourne and Mark S. Fox Computer 1984 17 9 76--86

bouti-1996:plannlearn:inbook:195 C. Boutilier Proc. of the 6th Conference on Theoretical Aspects of Rationality and Knowledge 1996 195--210

Amsterdam

bouti.brafm-1997:plannwith:inbook:720 Craig Boutilier and Ronen I. Brafman Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 720--726 Plan Generation bouti.brafm-1997:priorgoal:inbook:1156 Craig Boutilier and Ronen I. Brafman and Christopher Geib M. Pollack Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 1997 Morgan Kaufmann 1156--1162 bouti.dean-1995:plannunder:inbook: Craig Boutilier and Thomas Dean and Steve Hanks Proceedings of the Second European Workshop on Planning 1995

Assisi, Italy

bouti.dean-1996:plannunder:inbook:157 C. Boutilier and T. Dean and S. Hanks M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Probabilistic Planning 157--172 bouti.deard-1994:usingabstr:inbook:1016 Craig Boutilier and Richard Dearden Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1994 2

Seattle, Washington, USA

August AAAI Press/MIT Press 0-262-51078-2 Planning: Agents 1016--1022 bouti.deard-1995:explostruc:inbook:1104 Craig Boutilier and Richard Dearden and Moises Goldszmidt Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence 1995 1104--1113 bouti.deard-1995:explostruc:inbook:33 Craig Boutilier and Richard Dearden and Moise's Goldszmidt Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 33--38 AAAI Press, Menlo Park, California 0-929280-90-3 bouti.deard-1996:approvalue:inbook: Craig Boutilier and Richard Dearden Lorenza Saitta Proceedings of the Thirteenth International Conference on Machine Learning 1996 bouti.fried-1995:nondeactio:inbook:39 Craig Boutilier and Nir Friedman Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 39--44 AAAI Press, Menlo Park, California 0-929280-90-3 bouti.poole-1996:compuoptim:inbook:1168 Craig Boutilier and David Poole Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) 1996

Portland, Oregon, USA

August AAAI Press / The MIT Press 0-262-51091-x Planning, Handling Uncertainty 1168--1175 boyan.moore-1995:generin:inbook:369 Justin A. Boyan and Andrew W. Moore G. Tesauro and D. S. Touretzky and T. K. Leen Advances in Neural Information Processing Systems 7 1995 369--376

Cambridge, MA

The MIT Press boyer.moore-1981:correprobl: R. S. Boyer and J. S. Moore Academic press 1981

London

brach.leves-1985:readiin: Ronald J. Brachman and Hector J. Levesque Morgan Kaufmann 1985

Los Altos, Calif

brada.hende-1992:reactbehav:inbook:178 M. Bradakis and T. C. Henderson and J. Zachary Proc. IEEE Int. Symp. on Intelligent Control 1992 178--183

Glasgow, UK

brady-1982:robotmotio: Michael Brady and others MIT Press 1982

Cambridge, MA

brady.berwi-1983:compumodel: Michael Brady and R. C. Berwick MIT press 1983 brafm-1997:heurivaria:inbook:76 Ronen I. Brafman Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 76--81 Belief and Decision brafm.latom-1993:towarknowl:inbook:670 Ronen I. Brafman and Jean-Claude Latombe and Yoav Shoham Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, D.C., USA

August AAAI Press/MIT Press 0-262-51071-5 Representation for Actions and Motion 670--675 brafm.latom-1994:knowlas:inbook:208 R. I. Brafman and J.-C. Latombe and Y. Moses and Y. Shoham R. Fagin Theoretical Aspects of Reasoning about Knowledge: Proc. of the 5th Conference (TARK 1994) Kaufmann 1994 208--224

San Francisco, CA

brafm.shoha-1995:knowlconsi:inbook:96 R. I. Brafman and Y. Shoham Proc. of the 14th IJCAI 1995 96--102

Montreal, Canada

brand-1984:intenactin: Myles Brand Bradford books, MIT press 1984

bratm-1983:takinplans:journal:271 M. Bratman Social theory and practice 1983 9 271--287

bratm-1984:twofaces:journal:375 M. Bratman Philosophical review 1984 XCIII 3 375--405

bratm-1987:intenplans: M. Bratman Harvard University Press 1987 bratm-1990:whatis:inbook:15 M. E. Bratman P. R. Cohen and J. Morgan and M. E. Pollack Intentions in Communication MIT Press 1990 15--31

Cambridge, MA

bratm.israe-1988:plansresou:journal:349 Michael E. Bratman and David J. Israel and Martha E. Pollack Computational Intelligence 1988 4 4 349--355

bratm.israe-1988:plansresou:TR M. Bratman and D. J. Israel and Pollack M. E. SRI International 1988 AI center technical note SRI-AI 425R September braue-1985:automlangu:194: 1985 Wilfried Brauer 194 Lecture notes in computer science

Nafplion, Greece

July brege.lecor-1996:sosic: D. Bregeon and L. Le\~Corre Projet {ENSIMAG} 3\'eme ann\'ee 1996 June breit.lock-1994:improsearc:inbook: Silvia Breitinger and Hendrik C. R. Lock Manuel Hermenegildo and Jaan Penjam Programming Language Implementation and Logic Programming (PLILP) 1994 LNCS 844

277 - 291

Springer breit.lock-1995:usingconst:inbook:273 Silvia Breitinger and Hendrik C. R. Lock C. Beierle and L. Pl{"{u}}mer Logic Programming: Formal Methods and Practical Applications Elsevier Science 1995 273--299 bresi-1981:interplann:TR J. L. Bresina CS research lab, Rutgers U 1981 CBM-TR-123 PLANX-10 bresi-1993:desigreact:inbook:5 John L. Bresina Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 5--9 March http://strips.lboro.ac.uk/bib/papers AAAI Press, Menlo Park, California bresi.drumm-1990:integplann:inbook: J. Bresina and M. Drummond AAAI Spring Symposium on Foundations of Automated Planning 1990 http://cgenie.lboro.ac.uk/bib/papers bresi.drumm-1994:managactio:inbook:19 John Bresina and Mark Drummond and Keith Swanson Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994

Stanford, CA

19--26 http://ic-www.arc.nasa.gov/ic/projects/xfr/jic/jic.html AAAI Press, Menlo Park, California 0-929280-70-9 bresi.drumm-1994:searcspace:inbook:10 John Bresina and Mark Drummond and Keith Swanson Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 10--15 AAAI Press, Menlo Park, California 0-929280-75-x bresi.edgin-1996:operaclose:inbook:29 John Bresina and Will Edgington and Keith Swanson and Mark Drummond Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 29--33 AAAI Press, Menlo Park, California 1-57735-015-4 brewe-1982:planunder:inbook: W. F. Brewer National Conference on Artificial Intelligence of the American Association for AI (AAAI 82) 1982 brewk.hertz-1990:howto:TR G. Brewka and J. Hertzberg BMFT-Verbundprojekt TASSO 1990 TASSO-Report 11 britt.geoff-1992:real-conti:inbook:112 Daniel L. Britt and Amy L. Geoffroy Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 112--116

Menlo Park, California

AAAI Press 0-929280-32-6

brook-1982:symboerror:journal:29 Rodney A. Brooks Intl. J. of robotics research 1982 1 4 29--68 sensing, uncertainty, monitoring, space planning

brook-1982:symboerror:TR Rodney A. Brooks MIT AI lab 1982 AIM-685 September brook-1985:robuslayer:TR Rodney A. Brooks AI Lab, MIT 1985 AIM-864 September brook-1986:achieartif:TR R. A. Brooks MIT 1986 AI Memo brook-1986:hardwretar:TR R. A. Brooks MIT 1986 AI Memo

brook-1986:robuslayer:journal:14 Rodney A. Brooks IEEE J. robotics and automation 1986 2 1 14--24

brook-1990::journal:3 R. A. Brooks Robotics and Autonomous Systems 1990 6 3--15

brook-1990:elephdont:inbook:3 Rodney A. Brooks P. MAES Reasoning about Actions and Plans Elsevier 1990 3--16 brook-1991:intelwitho:inbook:569 Rodney A. Brooks International Joint Conference on Artificial Intelligence (IJCAI-91) 1991 569--595

brook-1991:intelwitho:journal:139 Rodney A. Brooks Artificial Intelligence 1991 47 139--160 North Holland

brook.conne-1986:mobilrobot:inbook: R. A. Brooks and J. H. Connell and A. Flynn National Conference on Artificial Intelligence of the American Association for AI (AAAI 86) 1986

brook.flynn-1989:fastcheap:journal:478 R. A. Brooks and A. Flynn Journal of the British Interplanetary Society 1989 42 10 478--485 October

brove.croft-1987:reasoabout:inbook:190 C. Broverman and W. B. Croft National Conference on Artificial Intelligence of the American Association for AI (AAAI 87) 1987 190 brown-1984:expersyste:thesis David C. Brown Ohio State University 1984

UMI NBS84-26358

What is planned is the process of designing an air cylinder. Design is execution of that plan. most important part is chap 5 about knowledge-based handling of failure, which leads to replanning and re-execution; ie redesign. brown-1987:frameprobl: 1987 Frank M. Brown Morgan Kaufmann brown-1987:modallogic:inbook: Frank M. Brown Frank M. Brown The frame problem in artificial intelligence: proc. of 1987 workshop 1987 Morgan Kaufmann brown.chand-1985:planselec:inbook:108 D. Brown and B. Chandrasekaran Conf. of the Society for AI and the Simulation of Behaviour (AISB '85) 1985 108--124 brown.park-1987:actiorefle:inbook: Frank M. Brown and Seung S. Park Frank M. Brown The frame problem in artificial intelligence: proc. of 1987 workshop 1987 Morgan Kaufmann

bruce-1972:modelfor:journal:1 Bertram C. Bruce Artificial Intelligence 1972 3 1 1--25 North Holland CHRONOS. intervals defined by end-points

bruce-1977:planssocia:TR Bertram C. Bruce Bolt Beranek Newman 1977 Tech report 34 April

bruce-1980:analyinter:journal:295 Bertram C. Bruce Poetics 1980 9 295--311

bruce-1984:robotplans:TR Bertram C. Bruce Bolt Beranek and Newman Inc. 1984 technical report 314

bruce.newma-1978:interplans:journal:195 B. Bruce and D. Newman Cognitive science 1978 2 3 195--233

bruce.newma-1978:interplans:TR B. Bruce and D. Newman center for study of reading, U Illinois 1978 report 88

bruno.elia-1986:rule-syste:journal:32 Giorgio Bruno and Antonio Elia and Pietro Laface IEEE Computer 1986 19 7 32--40 July

bucha-1994:decistheor:inbook:281 Iain Buchanan Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 281ff AAAI Press, Menlo Park, California 0-929280-70-9 bucha.burke-1989:distrasync:inbook: Iain Buchanan and Peter Burke and John Costello and Patrick Prosser Conference on AAIE 1989

Cambridge, UK

July budac-1985:5thinter:199: 1985 Lothar Budach 199 Lecture notes in computer science

Cottbus, GDR

September Springer-Verlag buden.gini-1992:achiegoals:inbook:903 J. Budenske and M. Gini Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1992 903--908

Raleigh, NC

July bundy-1977:exploprope:TR A. Bundy Dept. Artificial Intelligence, University of Edinburgh 1977 Research Report 45 October bundy-1977:usingplan:TR Alan Bundy ??? 1977 note 23 bundy-1978:caseframe:TR Alan Bundy ??? 1978 note 28 bundy-1987:useexpli:inbook: Alan Bundy Conf. on Automated Deduction (CADE 9) 1987 bundy-1987:useexpli:TR Alan Bundy Dept AI, Edinburgh University 1987 research paper 349 burge-1984:basictense:inbook:89 J. P. Burgess Dov Gabbay and F. Guenthner Handbook of philosophical logic Reidel 1984 II.2 89--134 burge.steel-1996:quantin:inbook:57 Andrew Burgess and Sam Steel The 15th Workshop of the UK Planning & Scheduling Special Interest Group 1996 1 57--72 November Liverpool John Moors University, School of Computing and Mathematical Sciences, Byrom Street, Liverpool, United Kingdom burke-1988:schedin:TR Peter Burke Dept. CS, U Strathclyde, Glasgow 1988 AISL-38-88 November burke-1988:tempoconst:TR Peter Burke Dept CS, U Strathclyde, Glasgow 1988 AISL-34-88 August burke.pross-1990:distrasync:inbook: Peter Burke and Patrick Prosser J. S. Gero Gero Applications of Artificial Intelligence in Engineering V Springer-Verlag 1990 burke.pross-1990:simuldistr:inbook: Peter Burke and Patrick Prosser Proceedings of the 1990 Summer Computer Simulation Conference 1990

Calgary

burme.sunde-1991:coopeprobl:inbook:77 B. Burmeister and K. Sundermeyer Proc. of the third European Workshop on Modelling Autonomous Agents in a Multi-Agent World 1991 77--92

Kaiserslautern, Germany

August North-Holland burst-1970:formaseman:TR R. M. Burstall U Edinburgh 1970 MIP-R-73 burst-1974:progrprovi:inbook:308 R. M. Burstall International congress of the International Federation for Information Processing (IFIP '74) 1974 308--312 burst.smith-1996:itasporta:inbook:35 Mark H. Burstein and Douglas R. Smith B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 35--44 bylan-1992:complresul:inbook:20 Tom Bylander James Hendler Artificial Intelligence Planning Systems --- proceedings of the first international conference 1992 20--27 June Morgan Kaufmann bylan-1993:averacase:inbook:480 Tom Bylander Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, D.C., USA

August AAAI Press/MIT Press 0-262-51071-5 Plan Generation 480--485

bylan-1994:compucompl:journal:165 Tom Bylander Artificial Intelligence 1994 69 1-2 165--204

bylan-1996:probaanaly:journal:241 Tom Bylander Artificial Intelligence 1996 81 241--270

bylan-1997:lineaprogr:inbook:694 Tom Bylander Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97) 1997

Providence, Rhode Island

July AAAI Press / MIT Press 0-262-51095-2 694--699 Formal Analyses of Learning

byrne-1977:plannmeals:journal:287 R. Byrne Cognition 1977 5 287--332

cadol-1993:survecompl:inbook:131 Marco Cadoli A. Cesta and S. Gaglio Italian Planning Workshop 1993 131--145

Rome, Italy

September National Research Council of Italy (CNR) http://www.dis.uniroma1.it/pub/AI/papers/cado-93.ps.gz calou.choi-1990:indooautom:inbook: P. Caloud and W. Choi and J. C. Latombe and C. Le\~Pape and M. Yim Proc. of the IEEE/RSJ Int. Workshop on Intelligent Robots and Systems 1990

camar-1987:plangener:journal:291 L. Camarinha-Matos Robotics 1987 3 (3 & 4) 291--328 September-December

camma.macar-1983:stratcoope:inbook:767 S. Cammarata and D. MacArthur and R. Steeb International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 767--770 camma.macar-1983:stratcoope:TR S. Cammarata and D. MacArthur and R. Steeb Rand Corp. 1983 AD-136527/9 October camma.mcart-1983:stratcoope:inbook:767 Stephanie Cammarata and David McArthur and Randall Steeb Proceedings of the Eighth International Joint Conference on Artificial Intelligence 1983 767--770

Karlsruhe, Federal Republic of Germany

August (Also published in {\it Readings in Distributed Artificial Intelligence}, Alan H. Bond and Les Gasser, editors, pages\~102--105, Morgan Kaufmann, 1988.) campb-1988:chunkas:thesis Murray Campbell CMU 1988 February campb-1988:chunkas:TR Murray Campbell Dept CS, CMU 1988 CMU-CS-88-116 canam.kodra-1994:case-plan:inbook:16 Dolores Canamero and Yves Kodratoff and Jean-Francois Delannoy and Michel Bares Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 16--22 AAAI Press, Menlo Park, California 0-929280-75-x carbe-1985:pragmmodel:thesis Sandra M. Carberry Delaware University 1985

carbe-1988:modelusers:journal:23 S. Carberry Computational Linguistics: Special issue on user modelling 1988 14 3 23--37 A. Kobsa and W. Wahlster

carbo-1979:countproce:inbook:124 J. G. Carbonell 6th International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 124--130 POLITICS carbo-1979:countproce:TR J. G. Carbonell Dept CS, Carnegie-Mellon University 1979 Tech Rept February carbo-1979:subjeunder: J. G. Carbonell Ann Arbor MI: UMI Research Press 1979 carbo-1979:subjeunder:thesis J. G. Carbonell Yale 1979 carbo-1980:politproje:TR J. G. Carbonell Dept of CS, CMU 1980 Annual Rept carbo-1981:compumodel:inbook:147 J. G. Carbonell 7th International Joint Conference on Artificial Intelligence (IJCAI 81) 1981 147--152

carbo-1981:countstrat:journal:295 J. G. Carbonell Artificial Intelligence 1981 16 295--329 North Holland

carbo-1981:politexper:inbook: J. G. Carbonell R. C. Schank and C. K. Riesbeck Inside computer understanding: five programs plus miniatures Lawrence Erlbaum Associates 1981

New Jersey

carbo-1981:subjeunder: J. G. Carbonell UMI Research Press 1981

carbo-1982:derivanalo:journal: J. G. Carbonell Intl. machine learning workshop 2 1982 June

Monticello Illinois

carbo-1982:experlearn:inbook: J. G. Carbonell 2nd National Conference on Artificial Intelligence (AAAI 82) 1982 carbo-1982:learnby:inbook: J. G. Carbonell R. S. Michalski and J. G. Carbonell and T. M. Mitchell Machine learning: an AI approach Tioga Press 1982

Palo Alto CA

carbo-1982:learnby:TR J. G. Carbonell Dept CS, Carnegie-Mellon University 1982 CMU-CS-82-126 carbo-1983:derivanalo:inbook: J. G. Carbonell National Conference on Artificial Intelligence (AAAI 83) 1983 carbo-1985:derivanalo:inbook:371 J. Carbonell R. Michalski and J. Carbonell and T. Mitchell Machine Learning: An Artificial Intelligence Approach Morgan Kaufmann 1985 371--392 carbo-1985:derivanalo:TR J. Carbonell Carnegie-Mellon University 1985 CMU-CS-85-115 carbo-1986:derivanalo:inbook: J. G. Carbonell R. S. Michalski and J. G. Carbonell and T. M. Mitchell Machine Learning: An Artificial Intelligence Approach Morgan Kaufmann Publishers, Inc. 1986 II

Palo Alto, California

carbo-1988:integderiv:inbook:104 J. G. Carbonell Proceedings of the DARPA Workshop on Case-Based Reasoning 1988 104--124

Clearwater Beach, Florida

carbo-1988:prodiinteg:inbook: J. G. Carbonell Symposium for methodologies for intelligent systems 3 1988

Turin

October carbo.yolan-1987:learnby:TR Jaime G. Carbonell and G. I. L. Yolanda CMU 1987 CMU-CS-87-167 September PRODIGY carle-1991:recovfrom:inbook: Jean Carletta 10th UK planning SIG 1991

Logica Cambridge

carle-1991:recovfrom:TR Jean Carletta Department of AI, Edinburgh 1991 DAI research paper 524 carle-1991:statebelie:TR Jean Carletta Department of AI, Edinburgh 1991 DAI research paper 521

carli.pinso-1989:algorfor:journal:165 J. Carlier and E. Pinson Management Science 1989 35 165--176

carli.pinso-1990:practuse:journal:269 J. Carlier and E. Pinson Annals of Operations Research 1990 269--287

carli.pinso-1994:adjusheads:journal:146 J. Carlier and E. Pinson European Journal of Operational Research 1994 146--161

carls.nemha-1966:schedto:journal:52 R. C. Carlson and G. L. Nemhauser Operations Research 1966 14 52--58 OR

carmo.serna-1989:ineviin:inbook:41 J. Carmo and A. Sernadas A. R. Meyer and M. A. Taitslin Logic at Botik '89: Symposium on Logical Foundations of Computer Science 1989 Lecture notes in computer science 363 41--62

Pereslavl-Zalessky, Russia

July Springer-Verlag

carmo.serna-1990:brancv:journal:24 J. Carmo and A. Sernadas Formal aspects of computing 1990 2 1 24--59

carna-1950:logicfound: R. Carnap Univ. Chicago Press 1950 carri-1984:onimple:inbook:14 Robert Carringer Proceedings of Autofact 6 1984 14--10--14--30

S.M.E.; Anaheim CA

October carve.lesse-1984:focusin:inbook:42 N. F. Carver and V. R. Lesser and D. L. McCue National Conference on Artificial Intelligence (AAAI 84) 1984 42--48 carve.lesse-1984:focusin:TR N. F. Carver and V. R. Lesser and D. L. McCue Dept C&IS, U of Massachusetts 1984 report 84-23 carve.lesse-1991:newframe:inbook: Norman Carver and Victor Lesser Proceedings of the National Conference on Artificial Intelligence 1991

Anaheim, California

July casle.crew-1989:tempostruc:inbook:21 R. T Casley and R. F. Crew and J. Meseguer and V. R. Pratt Proc. Conf. on Category Theory and Computer Science 1989 Lecture Notes in Computer Science 389 21--51

Manchester

September Springer-Verlag

casle.crew-1991:tempostruc:journal:179 R. T Casley and R. F. Crew and J. Meseguer and V. R. Pratt Math. Structures in Comp. Sci. 1991 1 2 179--213 July

caspi.pilau-1987:lustrdecla:inbook: P. Caspi and D. Pilaud and N. Halbwachs and J. Plaice Proc. of the Conf. on the Principles of Programming Languages 1987

Munich, Germany

cassa.kaelb-1994:actinoptim:inbook:1023 Anthony R. Cassandra and Leslie Pack Kaelbling and Michael L. Littman Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1994 2

Seattle, Washington, USA

August AAAI Press/MIT Press 0-262-51078-2 Planning: Agents 1023--1028 cassa.kaelb-1996:actinunder:inbook: Anthony R. Cassandra and Leslie Pack Kaelbling and James A. Kurien Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems 1996 cassa.littm-1997:increpruni:inbook:54 Anthony Cassandra and Michael L. Littman and Nevin L. Zhang Dan Geiger and Prakash Pundalik Shenoy Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--97) 1997 54--61

San Francisco, CA

Morgan Kaufmann Publishers http://www.cs.duke.edu/\~mlittman/docs/uai97-pomdp.ps

cassa.ramad-1990:towarcontr:journal:66 C. G. Cassandras and P. J. Ramadge IEEE Control Systems Magazine 1990 66--68 June

cassa.stric-1989:samplpath:journal:59 C. G. Cassandras and S. G. Strickland Proc. of the IEEE 1989 77 1 59--71 January

casta-1975:thinkdoing: H. N. Castan\~{e}da D. Reidel, Dordrecht 1975 casta.roman-1992:usingabstr:inbook:269 Amedeo Casta and Giovanni Romano James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 269--270

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x catto.caro-1994:bridggap:inbook:878 R. Cattoni and G. Di Caro and M. Aste and B. Caprile Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1994 878--885 causs.chris-1995:hieradimen:inbook: O. Causse and H. I. Christensen IEEE/RSJ Int'l Conf. on Intelligent Robots and Systems 1995

Pittsburg

August causs.crowl-1993:manmachi:inbook: O. Causse and J. L. Crowley Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1993 causs.crowl-1993:missiplann:inbook:14 O. Causse and J. L. Crowley Proc. of the Symp. on Intelligent Robotic Systems 1993 14--20

Zakopane, Poland

July

cayro.fade-1982:argosii:journal:211 M. Cayrol and B. Fade and H. Farreny Pocitace a Umela Inteligencia 1982 1 211--222 June

cerco.mccal-1987:knowlfront: N. Cercone and G. McCalla Springer verlag 1987 cesta.oddi-1996:ddl1:inbook:341 A. Cesta and A. Oddi M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Situations and States 341--352 chaig.levy-1996:commosense:inbook:604 Nathalie Chaignaud and Francois Levy W. Wahlster Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96) 1996 Wiley & Sons 604--608 champ-1987:unfraframe:inbook: Dennis de Champeaux Frank M. Brown The frame problem in artificial intelligence: proc. of 1987 workshop 1987 Morgan Kaufmann chand-1987:towarfunct:inbook:1183 B. Chandrasekaran Proc. of the Int. Joint Conf. on Artificial Intelligence 1987 1183--1192 chang-1986:plannmodel:thesis Kai-Hsiung Chang U of Cincinnati 1986

UMI NDS86-22242

chang.wee-1988:plannmodel:journal:672 Kai-Hsiung Chang and William G. Wee IEEE Transactions on Pattern Matching and Machine Intelligence 1988 10 672--675

chang.wysk-1985:introto: Tien-Chien Chang and Richard A. Wysk Prentice-Hall 1985 survey, TIPPS chapm-1985:nonliplann:inbook:1022 D. Chapman International Joint Conference on Artificial Intelligence (IJCAI '85) 1985 1022--1024 TWEAK chapm-1985:plannfor:TR D. Chapman MIT AI Lab 1985 AI-TR-802 November chapm-1986:cogniclich:TR D. Chapman MIT AI Lab 1986 working paper 286 April

chapm-1987:plannfor:journal:333 D. Chapman Artificial Intelligence 1987 32 333--377 North Holland TWEAK

chapm-1988:fromplann:inbook: D. Chapman Jay Weber and Josh Tenenberg and J. Allen From formal systems to practical systems: Advance proc. Rochester planning workshop Dept CS, U Rochester 1988

Rochester NY

October chapm-1988:reprein:TR D. Chapman AI Lab, MIT 1988 Extended Abstract

chapm-1989:pengucan:journal:45 D. Chapman AI magazine 1989 10 4 45--50

chapm.agre-1986:abstrreaso:inbook: D. Chapman and Philip E. Agre Michael Georgeff and Amy Lansky Reasoning about actions and plans: proceeding of 1986 workshop 1986 Morgan Kaufmann chapm.agre-1987:abstrreaso:inbook:411 D. Chapman and P. E. Agre M. P. Georgeff and A. Lansky Reasonning about Actions and Plans, Proceedings of the 1986 Workshop 1987 411--424

Timberline, Oregon

Morgan Kaufmann chapm.kaelb-1990:learnfrom:TR D. Chapman and L. P. Kaelbling Teleos research 1990 TR-90-11 December chapp-1987:blackbased:inbook:467 Steve G. Chappell Proceedings of the 5th Unmanned Untethered Submersible Technology Symposium 1987 467--476 June

charn-1975:commorepre:journal:46 E. Charniak Artificial Intelligence 1975 16 3 46--55 North Holland

charn-1985:knowlrepre:TR E. Charniak dept CS, Brown University 1985 CS-85-01 charn.mcder-1985:managplans:inbook: E. Charniak and D. McDermott Introduction to Artificial Intelligence Addison Wesley 1985 9 chati-1994:contrarchi:inbook:254 R. Chatila IEE Perception $\rightarrow$ Action Symposium 1994 254--265

Lausanne, Switzerland

chati.alami-1992:archiinteg:inbook:16 R. Chatila and R. Alami and R. Prajoux Proc. of the IEEE Int. Conf. on Robotics and Automation, Workshop on Architectures for Intelligent Control Systems 1992 16--22 chati.alami-1992:integplann:inbook:2689 R. Chatila and R. Alami and B. Degallaix and H. Laruelle Proc. of the IEEE Int. Conf. on Robotics and Automation 1992 2689--2696

Nice

May chati.giral-1986:taskpath:inbook: R. Chatila and G. Giralt NATO Workshop on Machine Intelligence 1986

Marattea, Italy

May chati.giral-1987:taskpath:inbook: R. Chatila and G. Giralt Machine Intelligence and Knowledge Engineering for Robotic Applications 1987 Springer-Verlag, Berlin, Heidelberg chati.harmo-1992:ieeeint: R. Chatila and S. Y. Harmon IEEE 1992

Nice, France

May chees-1983:repretime:TR P. Cheeseman SRI International 1983 AI center technical note SRI AI 278 February chees-1984:repretime:inbook:513 P. Cheeseman IEEE intl. conf. on robotics 1984 513--518 chell-1980:modallogic: B. F. Chellas Cambridge University Press 1980 chen-1985:shallplann:inbook:1064 D. Chen Proc 9th International Joint Conference on Artificial Intelligence (IJCAI) 1985 1064--1066 chen.taluk-1993:jobshop:inbook: S. Chen and S. Talukdar and N. Sadeh Proceedings of the IJCAI-93 Workshop on Knowledge-based Production Planning, Scheduling, and Control 1993

Chambery, France

August chen.trive-1992:archiautom:inbook:925 C. X. Chen and M. H. Trivedi Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1992 925--932

Raleigh, NC

July cheng-1988:algorfor:thesis Hsien-Te Cheng University of British Columbia 1988

British Columbia, Canada

cheng.smith-1994:generfeasi:inbook:1086 Cheng-Chung Cheng and Stephen F. Smith Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1994 2

Seattle, Washington, USA

August AAAI Press/MIT Press 0-262-51078-2 Scheduling 1086--1091 cheng.smith-1996:constsatis:inbook:45 Cheng-Chung Cheng and Stephen F. Smith B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 45--52 cheno-1991:onnp-ha:inbook:623 Stephen V. Chenoweth Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) 1991 2

Anaheim, California, USA

July AAAI Press/MIT Press 0-262-51059-6 Mathematical Foundations of Planning 623--628

chern-1972:progrfor:journal:61 A. L. Cherniavsky Artificial Intelligence 1972 3 1 61--76 North Holland

chien-1994:towarintel:inbook:23 Steve Chien Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 23--27 AAAI Press, Menlo Park, California 0-929280-75-x chien-1996:inteltools:inbook:53 Steve A. Chien B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 53--61 chien.gerva-1992:learnto:inbook:117 Steve A. Chien and Melinda T. Gervasio and Gerald F. DeJong Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 117--121

Menlo Park, California

AAAI Press 0-929280-32-6 chien.gratc-1994:statiappro:inbook:27 Steve Chien and Jonathan Gratch and Michael Burl Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 27--33 AAAI Press, Menlo Park, California 0-929280-70-9 chien.hill-1994:whyreal-:inbook:28 Steve Chien and Randall W. Hill and Jr. and Kristina Fayyad Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 28--33 AAAI Press, Menlo Park, California 0-929280-75-x chien.hill-1996:robusmulti:inbook:34 S. A. Chien and R. W. Hill Jr. and A. Govindjee and X. Wang and T. Estlin and M. A. Griesel and R. Lam and K. V. Fayyad Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 34--40 AAAI Press, Menlo Park, California 1-57735-015-4 chien.hill-1996:whyreal-:inbook:287 S. Chien and R. Hill Jr. and Xue Mei Wang and T. Estlin and K. Fayyad and H. Mortenson M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Practical and Algorithmic Complexities 287--298 chien.morte-1995:integplann:inbook:26 Steve Chien and Helen Mortensen and Christine Ying and Shouyi Hsiao Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium 1995 26--35 AAAI Press, Menlo Park, California 0-929280-87-3 chien.morte-1996:multivicar:inbook:371 S. A. Chien and H. B. Mortensen M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Seeing and Learning 371--382 chien.weiss-1975:plannexecu:inbook:169 R. T. Chien and S. Weissman International Joint Conference on Artificial Intelligence (IJCAI 4) 1975 169--174 chish-1966:freedactio: R. M. Chisholm Random House, New York 1966

choue-1991:ordonstrat:journal:38 Berthe Y. Choueiry March\={e} Suisse des Machines 1991 Nov. 21 38--47 http://liawww.epfl.ch/\~choueiry/papers.html

choue-1994:abstrmetho:thesis Berthe Y. Choueiry Swiss Federal Institute of Technology in Lausanne (EPFL) 1994

Switzerland

October Thesis No\~1292 http://liawww.epfl.ch/\~choueiry/papers.html choue.allem-1995:abstrmetho:inbook: Berthe Y. Choueiry and Dean Allemang Workshop on Artificial Intelligence in Distributed Information Networks IJCAI'95 1995

Montreal, Canada

http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1992:buildtempo:inbook:47 Berthe Y. Choueiry and Boi Faltings Working Notes of the Workshop on Approximation and Abstraction of Computational Theories, AAAI-92 1992 47--51

San Jose, CA

http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1993:tempoabstr:inbook:59 Berthe Y. Choueiry and Boi Faltings Working notes of the Workshop on Knowledge-Based Production Planning, Scheduling and Control, IJCAI-93 1993 59--72

Chamb\={e}ry, France

August http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1994:a.dec:inbook:585 Berthe Y. Choueiry and Boi Faltings Proc. of the 11$^{\~th}$ ECAI 1994 585--589

Amsterdam, The Netherlands

http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1994:abstr:inbook:2 Berthe Y. Choueiry and Boi Faltings and Guevara Noubir Proceedings of the Workshop on Theory Reformulation and Abstraction 1994 2--71/2--90

Jackson Hole, Wyoming

http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1994:interresou:inbook:87 Berthe Y. Choueiry and Boi Faltings C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 87--104 choue.falti-1995:abstr:inbook:1694 Berthe Y. Choueiry and Boi Faltings and Rainer Weigel Proc. of the 14$^{\~th}$ IJCAI 1995 1694--1701

Montreal, Canada

http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1995:using:inbook:1027 Berthe Y. Choueiry and Boi Faltings IEEE 1995 International Conference on Robotics and Automation 1995 1027--1033

Nagoya, Japan

http://liawww.epfl.ch/\~choueiry/papers.html choue.falti-1996:abstrmetho:inbook:11 Berthe Y. Choueiry and Boi Faltings Practical Applications of Constraint Technologies 1996 11--13

London, UK

http://liawww.epfl.ch/\~choueiry/papers.html choue.nakag-1987:a.tre:inbook:101 B. Y. Choueiry and T. Nakagawa and T. Kumano and Y. Sekine National Conference IEE Japan, PE-87-170 1987 101--110

Nagoya, Japan

http://liawww.epfl.ch/\~choueiry/papers.html choue.noubi-1996:blendai:inbook:32 Berthe Y. Choueiry and Guevara Noubir and Boi Faltings Fourth International Symposium on Artificial Intelligence and Mathematics 1996 32--37

Fort Lauderdale, Florida

http://liawww.epfl.ch/\~choueiry/papers.html choue.noubi-1997:usingcompl:inbook:40 Berthe Y. Choueiry and Guevara Noubir 10th International FLAIRS conference (FLAIRS'97) 1997 40--46

Daytona Beach, FL

Erratum available via anonymous ftp from liaftp.epfl.ch:\~/lia/flairs-97-fig-erratum.ps http://liawww.epfl.ch/\~choueiry/papers.html choue.sekin-1988:knowl:inbook:9 Berthe Y. Choueiry and Yasuji Sekine Symposium on Expert Systems Application to Power Systems 1988 9--7 to 9--14

Stockholm and Helsinki

http://liawww.epfl.ch/\~choueiry/papers.html

chris-1985:histoplann:journal:44 A. D. Christiansen SIGART newsletter 1985 94 44--59 all useful refs (many were irrelevant) have been included

chris-1990:hieraplann:inbook:1004 J. Christensen Proc. of 8th National Conference on Artificial Intelligence 1990 1004--1009 chris-1992:abstrproba:inbook:28 Lonnie Chrisman James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 28--36

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x chris-1994:reasoabout:inbook:34 Lonnie Chrisman Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 34--40 AAAI Press, Menlo Park, California 0-929280-70-9 chris.kwock-1995pdbrefermanua:manual David Christianson and Chung Kwock 1995 http://www.cs.washington.edu/research/projects/ai/www/pdb/pdb.html chris.simmo-1991:sensiplann:inbook:756 Lonnie Chrisman and Reid Simmons Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) 1991 2

Anaheim, California, USA

July AAAI Press/MIT Press 0-262-51059-6 Sensing and Reaction 756--761 chun-1986:reprefor:inbook:372 Hon Wai Chun National Conference on Artificial Intelligence of the American Association for AI (AAAI 86) 1986 372--376 clanc-1985:reprecontr:TR W. J. Clancey Stanford University 1985 KSL-85-16 clanc-1988:reprecontr:inbook: W. J. Clancey N. Coombs and L. Bolc Computer expert systems Springer verlag 1988 clark.grumb-1989:synthtwo:inbook:81 E. M. Clarke and O. Grumberg and R. P. Kurshan A. R. Meyer and M. A. Taitslin Logic at Botik '89: Symposium on Logical Foundations of Computer Science 1989 Lecture notes in computer science 363 81--90

Pereslavl-Zalessky, Russia

July Springer-Verlag clark.kozen-1984:logicprogr:164: 1984 E. M. Clarke and Dexter Kozen 164 Lecture notes in computer science

Carnegie Mellon University, Pittsburgh, PA

June Springer-Verlag lot of temporal stuff

cleav-1990:tablemodel:journal:725 R. Cleaveland Acta Informatica 1990 27 8 725--748

coad.yourd-1991:objecdesig: P. Coad and E. Yourdon Prentice Hall 1991 object oriented design cohen-1974:protonatur:thesis Philip R. Cohen Dept CS, University of Toronto 1974 {MSc} thesis cohen-1978:onknowi:thesis Philip Raymond Cohen University of Toronto 1978 January Canadian theses on microfiche 36,6618 cohen-1978:onknowi:TR Philip R. Cohen Department of Computer Science, University of Toronto, Toronto, Canada 1978 Technical Report 118 January cohen-1979:pragmcompo:inbook: Philip R. Cohen Brachman and Bobrow and Cohen and Kloustad and Webber and Woods Research in natural language understanding quarterly progress report Bold, Beranek and Newman 1979

Cambridge, Mass

September 78 -- August 79 BBN tech report, 4274 cohen-1981:needfor:inbook:31 P. R. Cohen Proc 7th International Joint Conference on Artificial Intelligence (IJCAI 81) 1981 31--36 cohen-1982:plannprobl:inbook: Paul Cohen Paul Cohen and E. Feigenbaum AI Handbook Pitman 1982 3 15

United Kingdom

A clear, though very selective, review of planning in historical order. review cohen-1982:plannprobl:TR Paul Cohen Dept. CS, Stanford University 1982 STAN-CS-82-939 cohen.day-1987:plannin:inbook:27 P. Cohen and D. Day Proc DARPA Knowledge Based Planning Workshop 1987 27--

Austin TX

cohen.delis-1989:declarepre:journal:546 Paul R. Cohen and Jefferson De{L}isio and David Hart IEEE Transactions on Systems, Man, and Cybernetics 1989 19 3 546--557 May/June

cohen.feige-1982:aihandb: Paul Cohen and E. Feigenbaum Pitman 1982

United Kingdom

3 vols cohen.feige-1982:handbartif: P. R. Cohen and E. A. Feigenbaum Pitman 1982

London

cohen.green-1989:trialby:journal:32 P. R. Cohen and M. L. Greenberg and D. M. Hart and A. E. Howe AI Magazine 1989 3 10 32--48

cohen.howe-1990:respoto:inbook:85 P. Cohen and A. E. Howe DARPA PCS workshop 1990 85--92 cohen.leves-1980:speecacts:inbook:263 Philip R. Cohen and Hector J. Levesque 3rd Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI '80) 1980 263--271 cohen.leves-1985:speecacts:inbook:49 Philip R. Cohen and Hector J. Levesque Assoc. for computational linguistics conf. 23 1985 49--59

Stanford CA

cohen.leves-1986:persiinten:inbook:297 Philip R. Cohen and Hector J. Levesque Michael Georgeff and Amy Lansky Reasoning about actions and plans: proceeding of 1986 workshop 1986 297--340 Morgan Kaufmann cohen.leves-1987:persiinten:inbook:297 P. R. Cohen and H. J. Levesque M. P. Georgeff and A. Lansky Reasonning about Actions and Plans, Proceedings of the 1986 Workshop, Timberline, Oregon 1987 297--340 Morgan Kaufmann 0-934613-30-3 cohen.leves-1987:ratiointer:TR Philip R. Cohen and Hector J. Levesque Center for the study of language and information, Stanford University 1987 report 89 cohen.leves-1988:persiinten:inbook: Philip R. Cohen and Hector J. Levesque Philip Cohen and J. L. Morgan and Martha E. Pollack Intention and communication MIT press 1988 cohen.leves-1988:ratiointer:TR Philip R. Cohen and Hector J. Levesque SRI International 1988 AI center technical note SRI AI 433 April cohen.leves-1990:intenis: Philip R. Cohen and Hector J. Levesque Computer Science Dept., University of Toronto 1990

Toronto

cohen.leves-1990:intenis:journal:213 Philip R. Cohen and Hector J. Levesque Artificial Intelligence 1990 42 213--261 North Holland

cohen.morga-1988:intencommu: Philip Cohen and J. L. Morgan and Martha E. Pollack MIT press 1988

cohen.perra-1979:elemeplan-:journal:177 Philip R. Cohen and C. R. Perrault Cognitive science 1979 3 3 177--212

cohen.perra-1981:elemeplan-:inbook:478 Philip R. Cohen and C. R. Perrault Webber B. N. and Nilsson N. Readings in AI Tioga 1981 478--495 cohn.thoma-1986:artifintel: A. G. Cohn and J. R. Thomas Wiley 1986

Chichester

cole.l-1975:syntaseman: P. Cole and Morgan J. L. Academic press 1975 coles.robb-1975:decisanaly:inbook:749 L. S. Coles and A. M. Robb and P. L. Sinclair and R. R. {Smith, M. H. Sobek} Proc 4th International Joint Conference on Artificial Intelligence (IJCAI 75) 1975 749--754 colli-1987:plancreat:TR Gregg Collins Dept CS, Yale University 1987 report 599 colli-1989:planadapt:inbook:90 Gregg Collins Proc. Workshop on Case-Based Reasoning 1989 90--93

(Holiday Inn, Pensacola Beach, Florida

May Morgan Kaufmann colli.hayes-1991:real-perfo:inbook:341 A. Collinot and B. Hayes-Roth Proc. of the third European Workshop on Modelling Autonomous Agents in a Multi-Agent World 1991 341--356

Kaiserslautern, Germany

August North-Holland colli.meize-1994:localmap:inbook:273 I. Collin and D. Meizel and N. Lefort and G. Govaert Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1994 273--280

Munich, Germany

September colli.michi-1965:machiintel: 1965 N. L. Collins and Donald Michie Edinburgh University Press colli.pape-1987:contrconst:inbook: Anne L. E. Collinot and Claude Pape International Joint Conference on Artificial Intelligence (IJCAI 1987) 1987

colli.pape-1988:soniaknowl:journal:86 Anne L. E. Collinot and Claude Pape and Gerard Pinoteau Artificial Intelligence in Engineering 1988 3 86--94

colli.pryor-1992:achiefunct:inbook:375 Gregg Collins and Louise Pryor Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92) 1992

San Jose, California, USA

July AAAI Press/MIT Press 0-262-51063-4 Planning 375--380 colli.pryor-1993:whatare:inbook:10 Gregg Collins and Louise Pryor Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 10--14 AAAI Press, Menlo Park, California colli.pryor-1994:onmisus:inbook:105 Gregg Collins and Louise Pryor C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 105--116 colli.pryor-1995:plannunder:inbook:1567 Gregg Collins and Louise Pryor Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI) 1995 1567--1573 http://www.dai.ed.ac.uk/staff.old/personal_pages/louisep/papers/keys-and-boxes.ps describes cassandra colom.crowl-1994:smootvisua: C. Colombo and J. L. Crowley unpublished as yet 1994

colom.dorig-1994:trainagent:journal:247 M. Colombetti and M. Dorigo Adaptive Behavior 1994 3 2 247--275

conne-1988:navigby:inbook: J. H. Connell SPIE-88 1988 conne-1992:ssshybri:inbook: J. H. Connell Proc. of the IEEE Int. Conf. on Robotics and Automation 1992

Nice, France

May conno.burns-1992:plannactio:inbook:271 Christopher I. Connolly and J. Brian Burns James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 271--272

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x conro-1989:deciscontr:TR J. M. Conroy CS division, UC Berkeley 1989 MS report Forthcoming as of 1989

conry.kuwab-1991:multinegot:journal:1462 S. E. Conry and K. Kuwabara and V. R. Lesser and R. A. Meyer IEEE Transactions on Systems, Man and Cybernetics 1991 21 6 1462--1477 November/December

conry.meyer-1988:coopethrou: S. E. Conry and R. A. Meyer and V. R. Lesser 1988 update of DAI Readings paper conry.meyer-1988:multinegot:inbook:367 Susan E. Conry and Robert A. Meyer and Victor R. Lesser Alan H. Bond and Les Gasser Readings in Distributed Artificial Intelligence Morgan Kaufman 1988 367--384 const.matwi-1988:lew-plearn:inbook:242 Patrick Constant and Stan Matwin and Franz Oppacher 7th Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI 88) 1988 242--248 conve.hammo-1989:learnfrom:inbook:246 T. Converse and K. Hammond and M. Marks Proc. of the Sixth International Workshop on Machine Learning 1989 246--248

Ithaca, New York

conwa.maxwe-1967:theorsched: R. W. Conway and W. L. Maxwell and L. W. Miller 1967 coope.shall-1995:symboconti:inbook: R. Cooper and T. Shallice and J. Farringdon Proc. of AISB-95 Hyrid Problems, Hybrid Solutions 1995 cordw-1995:contrdexec:thesis L. Cordwener Universit\'e de Technologie de Compiegne 1995 January corki-1979:hieraplann:inbook:168 Daniel D. Corkill Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 168--175

Tokyo, Japan

August corki-1979:hieraplann:TR Daniel D. Corkill Department of Computer and Information Science, University of Massachusetts, Amherst, Massachusetts 01003 1979 Technical Report 79-13 February Limited but solid results about linearization in different agents corki-1980:organappro:TR D. D. Corkill Dept comp. and info. science, U Massachusetts 1980 COINS TR 80-13 May corki.lesse-1982:unifydata-:inbook:143 Daniel D. Corkill and Victor R. Lesser and Eva Hudlicka Proceedings of the National Conference on Artificial Intelligence 1982 143--147

Pittsburgh, PA

corki.lesse-1983:usemeta-:inbook:748 D. D. Corkill and V. R. Lesser International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 748--756 costa.cunni-1988:part2:TR Marcos Costa and Jim Cunningham Dept Computing, Imperial College London 1988 Forest report 5 October coste-1995:relatforma:inbook:45 Tom Costello Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 45--50 AAAI Press, Menlo Park, California 0-929280-90-3

cox-1946:probafrequ:journal:1 R. Cox American J. Physics 1946 14 1 1--13

crabt-1990:interwith:inbook: B. Crabtree and others 1st Intl. conf. on planning systems 1990

Brighton

June IEE crabt-1990:interwith:TR B. Crabtree Edinburgh 1990 DAI 457 crane-1990:plannfor:thesis S. J. S. Cranefield University of Edinburgh 1990 Ph{D} Thesis Deductive Planning, Equational Logic crane-1992:logicframe:inbook:633 S. J. S. Cranefield B. Neumann Proceedings of the 10th European Conference on Artificial Intelligence (ECAI'92) 1992 633--637 John Wiley and Sons Deductive Planning 0-471-93608-1 crane-1994:towardeduc:inbook:314 S. J. S. Cranefield C. Zhang and J. Debenham and D. Lukose Proceedings of the 7th Australian Joint Conference on Artificial Intelligence 1994 314--321 World Scientific Deductive Planning 981-02-1920-2 crawf-1996:approto:inbook: J. M. Crawford Proceedings of the 1996 Artificial Intelligence and Manufacturing Research Planning Workshop 1996 crawf.baker-1994:experresul:inbook:1092 James M. Crawford and Andrew B. Baker Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1994 2

Seattle, Washington, USA

August AAAI Press/MIT Press 0-262-51078-2 Scheduling 1092--1097 crawf.ether-1995:obseron:inbook:51 James M. Crawford and David W. Etherington Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 51--55 AAAI Press, Menlo Park, California 0-929280-90-3 crite.barto-1996:improeleva:inbook: Robert H. Crites and Andrew G. Barto D. S. Touretzky and M. C. Mozer and M. E. Hasselmo Advances in Neural Information Processing Systems 8 1996

Cambridge, MA

The MIT Press croce.sadeh-1994:singlearly:TR Federico Della Croce and Norman M. Sadeh Robotics Institute, Carnegie Mellon University 1994

Pittsburgh, PA 15213

croft-1984:choicmade:thesis David Croft Dept AI, Edinburgh University 1984 MPhil croft-1985:choicmakin:inbook: David Croft Expert Systems 85 1985 croft-1985:choicmakin:TR David Croft AI Applications Inst., Edinburgh University 1985 AIAI-TR-11 croma.shapi-1984:stillplann:inbook: A. S. Cromarty and D. G. Shapiro and M. R. Fehling Proc Society of Photo-Optical Instrumentation Engineers (SPIE), Technical Symposium East 1984 crook-1992:synthopera:thesis Colin Andrew Crooks Department of Chemical Engineering and Chemical Technology, Imperial College of Science, Technology and Medicine 1992

London SW7, United Kingdom

crook.macch-1992:combimilp:journal:117 Colin A. Crooks and Sandro Macchietto Chemical Engineering Communications 1992 114 117--144

cross-1967:setsmodel: J. N. Crossley North-Holland 1967 crowl-1984:navigfor:TR James Crowley C-MU Robotics Institute 1984 Technical Report July 21 crowl-1987:coordactio:inbook:793 J. L. Crowley Proc. of the Int. Joint Conf. on Artificial Intelligence 1987 793--796 crowl-1993:mobilrobot:inbook: J. L. Crowley Proc. of the Symp. on Intelligent Robotic Systems 1993 crowl-1996:multitrack:inbook:317 J. L. Crowley Proc. of the Symp. on Intelligent Robotic Systems 1996 317--324

Lisbon, Portugal

July crowl.bedru-1994:integcontr:inbook:340 J. L. Crowley and J.-M. Bedrune and M. Bekker and M. Schneider Proc. of the Symp. on Intelligent Robotic Systems 1994 340--349

Grenoble, France

July crowl.bedru-1994:integcontr:inbook:47 J. L. Crowley and J.-M. Bedrune European Conf. on Computer Vision 1994 II 47--57

Stockholm

May crowl.chris-1995:visioas: J. L. Crowley and H. I. Christensen Springer 1995 Basic Reseach ISBN 3-540-58143-X crowl.marti-1995:compacorre:inbook:86 J. L. Crowley and J. Martin Proc. of the Int. Conf. on Intelligent Autononmous Systems 1995 86--93

Karlsruhe

March

csima.gotli-1964:testson:journal:160 J. Csima and C. C. Gotlieb Communications of the ACM 1964 7 160--163

curri-1987:interreaso:TR Ken Currie AI Applications Inst., Edinburgh University 1987 AIAI-TR-28 June curri-1987:planrepai:TR Ken Currie AI Applications Inst., Edinburgh University 1987 AIAI-TR-29 June curri.tate-1985:o-placontr:inbook:225 Ken Currie and A. Tate Expert Systems 85 1985 225-- curri.tate-1985:o-placontr:TR Ken Currie and A. Tate AI Applications Inst., Edinburgh University 1985 AIAI-TR-12 curri.tate-1989:o-plaopen:TR K. W. Currie and A. Tate AI Applications Inst., Edinburgh University 1989 AIAI-TR-67 curri.tate-1989:usingdomai:TR K. W. Currie and A. Tate AI Applications Inst., Edinburgh University 1989 AIAI-TR-70 curri.tate-1990:o-placontr:inbook:361 K. Currie and A. Tate J. Allen and J. Hendler and A. Tate Readings in Planning Kaufmann 1990 361--368

San Mateo, CA

curri.tate-1991:o-plaopen:journal:49 Ken Currie and Austin Tate Artificial Intelligence 1991 52 49--86

dale.michi-1966:machiintel: 1966 Ella Dale and Donald Michie Edinburgh University Press danie-1974:and-ograph:inbook:818 Leslie Daniel Intl. congress of the Intl. Federation for Information Processing (IFIP '74) 1974 818--822 danie-1977:plannmodif:TR Leslie Daniel Dept AI, Edinburgh University 1977 working paper 24 danie-1984:plannopera:inbook:423 Leslie Daniel T. O'Shea and M. Eisenstadt Artificial Intelligence Harper and Row 1984 423--452

New York

danie.tate-1976:usingai: Leslie Daniel and Austin Tate 1976 danie.tate-1982:retroon:TR Leslie Daniel and Austin Tate Dept AI, Edinburgh University 1982 Working paper 125 a bundle of several papers darli-1972:deducplan:inbook:129 J. L. Darlington Bernard Meltzer and Donald Michie Machine Intelligence 7 1972 129--137 Edinburgh University Press darwi-1995:strucgener:inbook:56 Adnan Darwiche Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 56--61 AAAI Press, Menlo Park, California 0-929280-90-3 darwi.levit:oarplgener: A. Darwiche and R. E. Levitt and B. Hayes-Roth listed as `recent paper' in flier for this journal, early 1990 Artificial intelligence for engineering design, analysis and manufacturing Academic press darwi.pearl-1994:symbocausa:inbook:41 Adnan Darwiche and Judea Pearl Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 41--47 AAAI Press, Menlo Park, California 0-929280-70-9

david-1963:actioreaso:journal:685 D. Davidson J. Philosophy 1963 60 685--

david-1966:logicform:inbook:81 D. Davidson N. Rescher The logic of commands Routledge and Kegan Paul 1966 81--95 david-1980:essayon: D. Davidson Oxford University Press 1980

david-1995:grafcpower:journal:253 R. David IEEE Trans. On Control Systems Technology 1995 3 3 253--267 September

david.alla-1994:petrinets:journal:175 R. David and H. Alla Automatica 1994 30 2 175--202

david.fehli-1994:strucproba:inbook:48 Ron Davidson and Michael R. Fehling Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 48--54 AAAI Press, Menlo Park, California 0-929280-70-9 david.harma-1972:semannatur: Donald Davidson and Gilbert Harman Reidel 1972 Synthese Library

Dordrecht

davie-1989:towarfirst:TR N. Davies Dept CS, U Essex 1989 CSM-130 June davie.jacks-1990:makinthing:TR J. Davies and D. Jackson and S. Schneider Programming research group, Oxford University 1990 PRG-TR-2-90 davie.schne-1990:waitifor:TR J. Davies and S. Schneider Programming research group, Oxford University 1990 PRG-TR-3-90 davie.smith-1981:negotas:TR R. Davies and R. G. Smith MIT AI Lab 1981 AIM-624 May davis-1977:onconst:TR M. Davis Machine intelligence unit, Edinburgh University 1977 MIP-R-111 March davis-1979:theoractio: L. Davis Prentice-Hall 1979 Foundations of philosophy davis-1981:modelfor:TR M. Davis MIT 1981 Working paper June

davis-1987:constpropa:journal:281 E. Davis Artificial Intelligence 1987 32 281--331 North Holland

davis-1988:inferignor:inbook:786 E. Davis National Conference on Artificial Intelligence of the American Association for AI (AAAI 88) 1988 786--790 davis-1992:semanfor:inbook:37 Ernest Davis James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 37--44

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x davis-1993:defeacodes:inbook:15 William S. Davis Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 15--19 AAAI Press, Menlo Park, California davis-1994:odoconst:thesis G. Davis Department of Industrial Engineering, University of Toronto 1994 Master's Thesis davis.bucha-1984:meta-knowl:inbook: R. Davis and B. G. Buchanan B. G. Buchanan and E. H. Shortliffe Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project Addison--Wesley Publishing Company 1984

Reading, Massachusetts

davis.chien-1977:usingre-us:inbook:494 P. R. Davis and R. T. Chien International Joint Conference on Artificial Intelligence (IJCAI 5) 1977 494-- abstract: too short davis.chien-1977:usingre-us:TR P. R. Davis and R. T. Chien Coordinated science lab, U Illinois at Urbana 1977 June davis.fox-1994:odoconst:inbook: G. Davis and M. S. Fox Proceedings of the 3rd Industrial Engineering Research Conference 1994

Atlanta, GA, USA

May davis.morge-1989:ijcaiworks: 1989 E. Davis and L. Morgenstern and K. Sanders

Detroit

August [includes papers by] Davis, Durfee, Goldweic & Roquette, Hendler, Lespe/rance, Morgenstern & Sanders, Rayner & Janson, Schoppers, Firby davis.ritte-1987:schedoptim:inbook:231 L. Davis and F. Ritter IEEE Conf. on AI Applications 3 1987 231--236 davis.s-1993:odoconst:inbook: G. Davis and M. S. and Fox Proceedings of the Workshop on Production Planning, Scheduling and Control, IJCAI-93 1993

Chambery, France

August davis.smith-1981:negotas:TR Randall Davis and Reid G. Smith MIT AI 1981 MIT-AIM 624 May

davis.smith-1983:negotas:journal:63 Randall Davis and Reid G. Smith Artificial Intelligence 1983 20 63--109 North Holland

daws.olive-1994:verifet-lo:inbook: C. Daws and A. Olivero and S. Yovine FORTE'94 1994

Bernt, Switzerland

dawso.siklo-1977:rolepre-p:inbook:465 Clive Dawson and Laurent Siklo/ssy 5th International Joint Conference on Artificial Intelligence (IJCAI '77) 1977 465--471 day-1992:acquisearc:inbook:45 David S. Day James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 45--51

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x dean-1983:timemap:TR Thomas L. Dean Dept CS, Yale University 1983 CSD-RR-289 dean-1984:managtime:inbook: Thomas L. Dean Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI '84) 1984 dean-1984:planntempo:inbook:131 Thomas L. Dean IEEE workshop on principles of knowledge-based systems 1984 131--

Denver

December dean-1984:tnmsusers:TR T. L. Dean Dept CS, Yale University 1984 report dean-1985:tempoimage:thesis Thomas L. Dean Dept CS, Yale University 1985 October UMI NDS86-27245 dean-1985:tempoimage:TR Thomas L. Dean Dept CS, Yale University 1985 YALE/CSD/RR #433 dean-1985:temporeaso:inbook:1060 Thomas L. Dean International Joint Conference on Artificial Intelligence (IJCAI '85) 1985 1060--1062 dean-1986:intratime-:inbook:245 Thomas L. Dean Michael Georgeff and Amy Lansky Reasoning about actions and plans: proceeding of 1986 workshop Morgan Kaufmann 1986 245--266 dean-1987:intratime-:inbook:245 T. L. Dean M. P. Georgeff and Amy Lansky Reasonning about Actions and Plans, Proceedings of the 1986 Workshop, Timberline, Oregon 1987 245--266 0-934613-30-3 dean-1987:plannexecu:inbook:29 T. L. Dean Proc DARPA Knowledge Based Planning Workshop 1987 29--1ff

Austin TX

dean-1988:onvalue:inbook: Thomas L. Dean Jay Weber and Josh Tenenberg and J. Allen From formal systems to practical systems: Advance proc. Rochester planning workshop 1988

Rochester NY

October Dept CS, U Rochester dean.boddy-1987:increcausa:inbook:196 Thomas Dean and M. Boddy National Conference on Artificial Intelligence of the American Association for AI (AAAI 87) 1987 196--201

dean.boddy-1987:reasoabout:journal:375 Thomas Dean and M. Boddy Artificial Intelligence 1987 36 375--399 North Holland

dean.boddy-1988:analytime-:inbook:49 Thomas Dean and Mark Boddy Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88) 1988

Saint Paul, Minnesota, USA

August AAAI Press/MIT Press 0-262-51055-3 Planning 49--54 dean.body-1988:analytime-:inbook:49 T. Dean and M. Body Proc. of 6th National Conference on Artificial Intelligence 1988 49--54 dean.firby-1987:forbipaper:TR T. L. Dean and R. J. Firby and D. Miller Dept of Computer Science, Yale University 1987 550

dean.firby-1988:hieraplann:journal:381 T. Dean and J. Firby and D. Miller Computational Intelligence 1988 4 4 381--398 FORBIN

dean.firby-1989:hieraplann:journal: T. Dean and J. Firby and D. Miller Computational Intelligence 1989 3

dean.kaelb-1993:plannwith:inbook:574 Thomas Dean and Leslie Pack Kaelbling and Jak Kirman and Ann Nicholson Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, DC

574--579 Describes the {\sc PLEXUS} algorithm for producing acceptable solutions to large {\sc MDP} problems quickly.

dean.kaelb-1995:plannunder:journal:35 Thomas Dean and Leslie Pack Kaelbling and Jak Kirman and Ann Nicholson Artificial Intelligence 1995 76 1-2 35--74

dean.kanaz-1988:probacausa:inbook:125 Thomas Dean and Keiji Kanazawa 7th Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI '88) 1988 125--132 dean.kanaz-1988:probatempo:inbook:524 T. Dean and K. Kanazawa National Conference on Artificial Intelligence of the American Association for AI (AAAI 88) 1988 524--529 dean.kanaz-1995:decistheor: Thomas Dean and Keiji Kanazawa and Daphne Koller and Stuart Russell 1995 Submitted to the Journal for Artificial Intelligence Research dean.kirma-1992:probanetwo:inbook:273 Thomas Dean and Jak Kirman and Keiji Kanazawa James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 273--274

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x dean.lin-1995:decomtechn:inbook: Thomas Dean and Shieu-Hong Lin Proceedings of the 1995 International Joint Conference on Artificial Intelligence 1995

dean.mcder-1987:tempodata:journal:1 Thomas Dean and Drew McDermott Artificial Intelligence 1987 32 1--55 North Holland

dean.siegl-1990:approto:inbook:132 Thomas Dean and Greg Siegle Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90) 1990

Boston, Massachusetts, USA

July AAAI Press/MIT Press 0-262-51057-X Planning 132--137 dean.wellm-1991:planncontr: T. L. Dean and M. P. Wellman Morgan Kaufmann 1991 deard.bouti-1994:integplann:inbook:55 Richard Dearden and Craig Boutilier Proceedings of the {AAAI} Spring Symposium on Decision Theoretic Planning 1994 55--61

Stanford, CA

deard.bouti-1997:abstrappro:journal:219 Richard Dearden and Craig Boutilier Artificial Intelligence 1997 89 1--2 219--283 http://www.cs.ubc.ca/spider/cebly/Papers/abstraction.ps

debea-1980:pragmdisco:journal: R. {de Beaugrande} J. Pragmatics 1980 3

debri-1994:neuroau:thesis F. DeBriey LIFIA 1994 June INPG decht.michi-1984:strucinduc:TR Rina Dechter and Donald Michie Turing Inst., Glasgow 1984 TIRM-84-006

decht.pearl-1988:netwoheuri:journal:1 R. Dechter and J. Pearl Artificial Intelligence 1988 34 1--38

dejon-1983:acquischem:inbook:462 G. Dejong International Joint Conference on Artificial Intelligence (IJCAI '83) 1983 462--464 dejon.benne-1993:permiplann:inbook:508 Gerald DeJong and Scott Bennett Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, D.C., USA

August AAAI Press/MIT Press 0-262-51071-5 Plan Learning 508--513

dejon.moone-1986:explalearn:journal:145 G. F. DeJong and R. J. Mooney Machine Learning 1986 1 145--176

Boston, Lancaster

Kluwer Academic

demel.sande-1986:andorgraph:inbook:1113 A. C. DeMello and L. H. Sanderson Proceedings of AAAI-86 1986 1113ff AAAI denar-1982:dynamprogr: Eric V. Denardo Prentice-Hall 1982

Englewood Cliffs, NJ

(JAB) good chapter on MDP covering policy iteration = LP, value iteration, and speedups dengl-1996:custoplans:inbook:609 Dietmar Dengler W. Wahlster Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96) 1996 Wiley & Sons 609--613 dengl-1996:planexecu:inbook:41 Dietmar Dengler Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 41--47 AAAI Press, Menlo Park, California 1-57735-015-4

depen-1963:probaprodu:journal:98 F. {D'E}penoux Management Science 1963 10 98--108

derks.rulif-1972:qa4langu:TR J. Derksen and J. F. Rulifson and R. J. Waldinger SRI International 1972 AI center technical note SRI AI 65 derma-1970:finitstate:67: Cyrus Derman Academic Press 1970 67 Mathematics in Science and Engineering

New York, NY

dersh-1985:synthprogr:journal:323 N. Dershowitz Artificial Intelligence 1985 25 3 323--373 North Holland

dersh.manna-1977:evoluprogr:journal: N. Dershowitz and Z. Manna IEEE trans. on software engineering 1977 SE-3 6

desco.latom-1981:gariprobl:inbook:766 Yannick Descotte and Jean-Claude Latombe International Joint Conference on Artificial Intelligence (IJCAI '81) 1981 766--772

desco.latom-1985:makincompr:journal:183 Y. Descotte and J. C. Latombe Artificial Intelligence 1985 27 183--217 North Holland

desim.holli-1989:casestudi:inbook: R. Desimone and T. Hollidge Proc. 3 intl. conf. on industrial and commercial applications of AI and expert systems 1989

Charleston USA

July ACM desim.holli-1990:casestudi:TR R. Desimone and T. Hollidge AI Applications Inst., Edinburgh U 1990 AIAI-TR-78 desim.malle-1989:complconsi:inbook: R. Desimone and C. Mallen Proc. 1 intl. conf. on expert planning systems 1989

Brighton UK

June IEE desim.malle-1989:complconsi:TR R. Desimone and C. Mallen AI Applications Inst., Edinburgh U 1989 AIAI-TR-71 desim.wilki-1993:socaplesso:inbook:384 Roberto Desimone and David E. Wilkins and Marie Bienkowski and Marie desJardins Paul W. H. Chung and Gillian Lovegrove and Moonis Ali Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 93) 1993 384--393

Edinburgh, Scotland

June Gordon and Breach Science Publishers desja-1993:pagodinteg:inbook:15 Marie desJardins Learning Action Models: Papers from the 1993 AAAI Workshop 1993 15--19

Menlo Park, California

AAAI Press 0-929280-66-0 desja-1994:knowldevel:inbook:34 Marie desJardins Planning and Learning: On to Real Applications: Papers from the 1994 AAAI Fall Symposium 1994 34--40 AAAI Press, Menlo Park, California 0-929280-75-x dhar-1984:planeintel:thesis Vasant Dhar University of Pittsburgh 1984 diaz-1983:10thinter:154: 1983 Josep Diaz 154 Lecture notes in computer science

Barcelona, Spain

July Springer-Verlag diaz.oreja-1989:tapso89:352: 1989 J. Diaz and F. Orejas 352 Lecture notes in computer science

Barcelona, Spain

March Springer-Verlag

dijks-1975:guardcomma:journal:453 E. W. Dijkstra Communications of the ACM 1975 18 8 453--457

dixon-1986:artifintel:inbook:872 John Dixon National Conference on Artificial Intelligence of the American Association for AI (AAAI 86) 1986 872--877

djavd-1992:desigonlin:journal:281 P. Djavdan Computers and Chemical Engineering 1992 16 Supp S281--S288

djavd-1993:desigonlin:journal:561 P. Djavdan Computers and Chemical Engineering 1993 17 5/6 561--567

doan-1996:modelproba:inbook:62 AnHai Doan B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 62--69 doan.hadda-1995:genermacro:inbook:68 AnHai Doan and Peter Haddawy Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 68--73 AAAI Press, Menlo Park, California 0-929280-90-3 dolan.dyer-1985:learnplann:inbook: C. Dolan and M. G. Dyer 9th International Joint Conference on Artificial Intelligence (IJCAI '85) 1985 dolan.dyer-1986:encodplann:inbook: C. Dolan and M. G. Dyer Cognitive Science soc. Conf. 8 1986

Amherst

U of Mass is at Amherst donal-1987:onplann:TR Bruce Donald Dept. of Computer Science, Cornell Univ. 1987 87-890 December

donal.jenni-1992:constrecog:journal:41 B. R. Donald and J. Jennings Robotics and Autonomous Systems 1992 9 41--74 robotics, task-directed sensing, mobile robots, recognizability, perceptual equivalence, autonomous agents, uncertainty models Elsevier Science Publishers (North Holland)

donoh.wilki-1994:exploorder:inbook:569 S. K. Donoho and D. C. Wilkins Proc. of AAAI-94 1994 569--575

Seattle, WA

doran-1979:plannrobot:inbook:519 J. E. Doran and others Machine Intelligence 1979 519--532 Original reference quoted MI 5 which is 1969 doran-1984:meta-commu:inbook:281 J. E. Doran European Conference on Artificial Intelligence (ECAI '84) 1984 281 doran-1985:compuappro:inbook:160 J. E. Doran G. N. Gilbert and C. Heath Social action and artificial intelligence Gower 1985 160--171

Aldershot

doran.steel-1984:meta-commu:inbook:281 J. E. Doran and S. Steel and C. Trayner and Y. Wilks Proc. of the 6th ECAI 1984 281

Pisa, Italy

doran:weakstron: J. E. Doran dorf-1986:modercontr: R. C. Dorf Addison-Wesley 1986 4th ISBN 0-201-053 19-5 control dorn.slany-1992:uncermanag:inbook:62 Jurgen Dorn and Wolfgang Slany and Christian Stary Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 62--66

Menlo Park, California

AAAI Press 0-929280-32-6

doyle-1979:truthmaint:journal:129 J. Doyle Artificial Intelligence 1979 12 129--162

doyle-1980:modelfor:TR Jon Doyle AI lab, MIT 1980 AI-TR-581 doyle-1988:artifintel:TR J. Doyle CS dept, Carnegie-Mellon University 1988 CMU-CS-88-124 doyle.atkin-1986:generperce:inbook:81 R. J. Doyle and D. J. Atkinson and R. S. Doshi National Conference on Artificial Intelligence of the American Association for AI (AAAI 86)

Philadelphia, PA

1986 81ff AAAI doyle.wellm-1994:repreprefe:inbook:69 Jon Doyle and Michael P. Wellman Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 69--75 AAAI Press, Menlo Park, California 0-929280-70-9 drabb-1988:execuplan:inbook: Brian Drabble Alvey planning SIG 8 1988

Nottingham

drabb-1988:execuplan:TR Brian Drabble AIAI, Edinburgh University 1988 AIAI-TR-68 drabb-1988:intelexecu:thesis Brian Drabble U Aston in Birmingham 1988 July drabb-1988:plannreaso:inbook: Brian Drabble Alvey planning SIG 8 1988

Nottingham

drabb-1988:plannreaso:TR Brian Drabble AIAI, Edinburgh University 1988 AIAI-TR-56 drabb-1989:missisched:inbook: B. Drabble Proc. 1 intl. conf. on expert planning systems 1989

Brighton UK

June IEE drabb-1989:missisched:TR B. Drabble AIAI, Edinburgh University 1989 AIAI-TR-72 drabb-1989:qualireaso:inbook: B. Drabble Proc. 1 intl. conf. on expert planning systems 1989

Brighton UK

June IEE drabb-1989:qualireaso:TR B. Drabble AIAI, Edinburgh University 1989 AIAI-TR-73

drabb-1993:excal-:journal:1 B Drabble Artificial Intelligence 1993 62 1 1--40

drabb.coxhe-1988:errordetec:inbook:201 Brian Drabble and P. Coxhead IASTED intl. symp. on expert systems 1988 201--206

Anaheim

June Acta Press drabb.gil-1995:acquicrite:inbook:36 Brian Drabble and Yolanda Gil and Austin Tate Integrated Planning Applications: Papers from the 1995 AAAI Spring Symposium 1995 36--40 AAAI Press, Menlo Park, California 0-929280-87-3 drabb.kirby-1992:o-plaopen:inbook:87 B. Drabble and R. Kirby and A. Tate Proc. of the 1992 AAAI Spring Symposium on Practical Approaches to Scheduling and Planning 1992 87--91

Stanford, CA

drabb.tate-1996:o-plasitua:inbook:247 B. Drabble and A. Tate M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Architectures 247--260 drape.-1994:probaplann:inbook:76 Denise Draper and and Steve Hanks and Daniel Weld Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 76--82 AAAI Press, Menlo Park, California 0-929280-70-9 drape.hanks-1993:probaplann:TR Denise Draper and Steve Hanks and Dan Weld University of Washington 1993 93-12-04

Seattle, WA

December drape.hanks-1994:probaplann:inbook:76 Denise Draper and Steve Hanks and Daniel Weld Proceedings of the {AAAI} Spring Symposium on Decision Theoretic Planning 1994 76--82

Stanford, CA

drumm-1985:non-lplann:TR Mark E. Drummond Dept AI, Edinburgh University 1985 DAI research paper 251 drumm-1985:refinexten:inbook:1010 Mark E. Drummond Proc. of the 9th International Joint Conference on Artificial Intelligence (IJCAI 85) 1985

Los Angeles, California

August 1010--1012 drumm-1986:plannets:thesis Mark E. Drummond AI Applications Inst., Edinburgh University 1986 drumm-1986:repreactio:inbook: Mark E. Drummond Michael Georgeff and Amy Lansky Reasoning about actions and plans: proceeding of 1986 workshop 1986 Morgan Kaufmann drumm-1986:repreactio:TR Mark E. Drummond AI Applications Inst., Edinburgh University 1986 AIAI-TR-16 drumm-1988:goalorder:inbook:960 M. Drummond don't know 1988 960--965 drumm-1988:onlinea:TR Mark E. Drummond AI Applications Inst., Edinburgh University 1988 AIAI-TR-42 drumm-1989:situacontr:inbook:103 Mark Drummond Proc. Intl. conf. on principles of knowledge representation and reasoning 1 1989 103--113 Morgan Kaufman drumm-1990:refinexten:inbook:667 Mark E. Drummond 1990 Readings in Planning J. Allen and J. Hendler and A. Tate Kaufmann

San Mateo, CA

667--669 drumm-1994:onpreco:inbook:6 Mark Drummond C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 6--13 drumm.bresi-1990:anytisynth:inbook:138 M. Drummond and J. Bresina Proc. of 8th National Conference on Artificial Intelligence (AAAI 90) 1990

Boston, MA.

http://ic-www.arc.nasa.gov/ic/projects/xfr/jic/jic.html 138--144 AAAI Press / MIT Press

drumm.bresi-1991:entroreduc:journal: M. Drummond and J. Bresina and S. Kedar Sigart Bulletin 1991 2 4

drumm.bresi-1994:just-sched:inbook:1098 M. Drummond and J. Bresina and K. Swanson Proc. of the Twelth National Conference on Artificial Intelligence (AAAI-94) 1994

Seattle, WA

AAAI Press http://ic-www.arc.nasa.gov/ic/projects/xfr/jic/jic.html 1098--1104 drumm.curri-1987:contiplan:TR Mark E. Drummond and Ken Currie and Austin Tate AI Applications Inst., Edinburgh University 1987 AIAI-TR-22 drumm.curri-1987:tempocoher:TR Mark E. Drummond and Ken Currie AI Applications Inst., Edinburgh University 1987 AIAI-TR-23

drumm.curri-1988:explotempo:journal:341 Mark E. Drummond and Ken Currie Computational Intelligence 1988 4 4 341--348

drumm.curri-1989:goalorder:inbook:960 Mark E. Drummond and Ken Currie International Joint Conference on Artificial Intelligence (IJCAI-89) 1989 960--965

Detroit, M.I.

Temporal Coherence drumm.swans-1992:plannsched:inbook:82 Mark Drummond and Keith Swanson and John Bresina and Andy Philips and Rich Levinson Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 82--86

Menlo Park, California

AAAI Press 0-929280-32-6 drumm.swans-1993:reactsearc:inbook:1408 M. Drummond and K. Swanson and J. Bresina and R. Levinson Proc. of the Int. Joint Conf. on Artificial Intelligence 1993 1408--1414

Chambery, France

drumm.swans-1994:robussched:inbook: M. Drummond and K. Swanson and J. Bresina M. Fox and M. Zweben Heuristic Scheduling Systems Morgan-Kaufman 1994 drumm.swans-1994:schedexecu:inbook:341 M. Drummond and K. Swanson and J. Bresina M. Zweben and M. S. Fox Intelligent Scheduling Morgan Kaufmann Publishers 1994 341--369 drumm.tate-1987:aiplann:TR Mark E. Drummond and A. Tate AI Applications Inst., Edinburgh U 1987 AIAI-TR-30 dudek.jenki-1993:multidistr:inbook:542 G. Dudek and M. Jenkin Proc. of the Int. Conf. on Intelligent Autononmous Systems 1993 542--550 February duffa.latom-1983:approto: P. Duffay and J. C. Latombe IMAG, Grenoble 1983 TROPIC

duffi.prabh-1994:real-distr:journal:94 N. Duffie and V. V. Prabhu Journal of Manufacturing Systems 1994 13 2 94--107

duffi.prabh-1995:distrsyste:journal:212 N. A. Duffie and V. V. Prabhu IEEE Transactions on Control Systems Technology 1995 212--217 June

duffi.prabh-1996:hetercontr:journal:270 N. A. Duffie and V. V. Prabhu International Journal of Computer Integrated Manufacturing 1996 9 4 270--281

dumme-1978:bringabout:inbook: M. A. E. Dummett M. A. E. Dummett Truth and other enigmas Duckworth 1978

London

dumme-1978:caneffec:inbook: M. A. E. Dummett M. A. E. Dummett Truth and other enigmas Duckworth 1978

London

dumme-1978:truthother: M. A. E. Dummett Duckworth 1978

London

durfe-1988:coorddistr: Edmund H. Durfee Kluwer 1988 The Kluwer international series in engineering and computer science ; Artificial intelligence

Boston

durfe.lesse-1985:increcoher:inbook:1025 E. Durfee and V. Lesser and D. D. Corkill 9th International Joint Conference on Artificial Intelligence (IJCAI '85) 1985 1025-- durfe.lesse-1986:increcoher:inbook:58 E. Durfee and V. Lesser and D. D. Corkill International Joint Conference on Artificial Intelligence (IJCAI '86) 1986 58--64 durfe.lesse-1986:increplann:inbook:58 E. Durfee and V. Lesser 5th National Conference on Artificial Intelligence of the American Association for AI (AAAI-86) 1986 58--64 durfe.lesse-1987:planncoord:inbook:18 E. Durfee and V. Lesser Proc. DARPA knowledge-based planning workshop 1987 18--1--18--10

Austin, TX

December

durfe.lesse-1988:increplann:journal: E. Durfee and V. Lesser IEEE trans. on aerospace and electronic systems 1988 May be a later year

durfe.lesse-1988:prediversu:inbook:66 Edmund H. Durfee and Victor R Lesser Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88) 1988

Saint Paul, Minnesota, USA

August AAAI Press/MIT Press 0-262-51055-3 Planning 66--71 durfe.lesse-1988:usingparti:inbook: E. Durfee and V. Lesser Alan H. Bond and Les Gasser Readings in distributed artificial intelligence M. Kaufmann 1988

San Mateo, Calif

durfe.lesse-1988:usingparti:inbook:66 E. Durfee and V. Lesser 7th National Conference on Artificial Intelligence of the American Association for AI (AAAI-88) 1988 66--71

durra-1987:consiinteg:journal:3 H. Durrant-Whyte Int. Journal of Robotics Research 1987 6 3 3--14

dutta-1981:someeffic:thesis Amitava Dutta Purdue U 1981 UMI 82-00669

dyer.wolse-1990:formusingl:journal:255 M. E. Dyer and L. A. Wolsey Discrete Applied Mathematics 1990 26 255--270

eagle-1984:optimsearc:journal:1107 James N. Eagle Operations Research 1984 32 5 1107--1115

earl.firby-1993:syntharchi:inbook:5 Charles Earl and R. James Firby Learning Action Models: Papers from the 1993 AAAI Workshop 1993 5--9

Menlo Park, California

AAAI Press 0-929280-66-0 eavar-1969:progrthat:TR D. S. Eavarone Systems research c.tr, Case Western Reserve University 1969 SRC-69-6 eavar.ernst-1970:progrthat:inbook: D. S. Eavarone and G. W. Ernst IEEE systems science and cybernetics conf. record 1970 eick.raule-1978:problsolvi:inbook:103 Ch Eick and P. Raulefs Conf. of the Society for AI and the Simulation of Behaviour (AISB-78) 1978 103--104 just an abstract meta-planning elcoc.michi-1977:machiintel: 1977 E. W. Elcock and Donald Michie

Chichester, U.K.

Ellis Horwood Ltd elgot.mille-1987:twoframe:inbook: J. Elgot-Drapkin and M. Miller and D. Perlis Frank M. Brown The frame problem in artificial intelligence: proc. of 1987 workshop 1987 Morgan Kaufmann elith.baner-1983:artifhuman: A. Elithorn and R. B. Banerji North-Holland 1983 elith.jones-1973:artifhuman: A. Elithorn and D. Jones Jossey-Bass 1973 elkan-1990:increappro:inbook:145 Charles Elkan Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90) 1990

Boston, Massachusetts, USA

July AAAI Press/MIT Press 0-262-51057-X Planning 145--150 elkan-1995:formacount:inbook:74 Charles Elkan Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 74--76 AAAI Press, Menlo Park, California 0-929280-90-3 elkan-1995:onsolvi:inbook:77 Charles Elkan Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium 1995 77--79 AAAI Press, Menlo Park, California 0-929280-90-3 elkho.richa-1996:temporesou:inbook:614 Amin El-Kholy and Barry Richards W. Wahlster Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96) 1996 Wiley & Sons 614--618 elleb-1987:problsolvi: Peter Elleby 1987 elleb.fargh-1988:constsched:TR P. Elleby and H. E. Fargher and T. R. Addis Knowledge Systems Group, Department of Computer Science, U Reading 1988 elleb.grant-1986:knowlsched:inbook: Peter Elleby and Tim Grant G. Mitra Computer assisted decision making: expert systems, decision analysis, mathematical programming North-Holland 1986 elmag-1977:activnetwo: S. E. Elmaghraby Wiley Interscience 1977 emers.lei-1986:efficmodel:inbook: A. Emerson and C. Lei Proc. LICS 1986 1986

emers.sistl-1984:decidfull:journal:175 E. A. Emerson and A. S. Sistla Information and control 1984 61 175--201

engel-1979:knobsexper:inbook:247 C. Engelman 6th International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 247--249 engel-1981:logicprogr:125: 1981 Erwin Engeler 125 Lecture notes in computer science

Zurich

May-July Springer engel.morga-1988:blacksyste: Robert Engelmore and Tony Morgan Addison-Wesley 1988 the insight series in artificial intelligence

New York

ephra.-1994:explodecis:inbook:90 Eithan Ephrati and and Martha E. Pollack and Jeffrey S. R.osenschein Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 90--196 AAAI Press, Menlo Park, California 0-929280-70-9 ephra.perry-1994:incento:inbook:83 Eithan Ephrati and Motty Perry and Jeffrey S. Rosenscheill Decision-Theoretic Planning: Papers from the 1994 Spring AAAI Symposium 1994 83--89 AAAI Press, Menlo Park, California 0-929280-70-9 ephra.polla-1996:cost-plann:inbook:1223 Eithan Ephrati and Martha E. Pollack and Marina Milshtein Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) 1996

Portland, Oregon, USA

August AAAI Press / The MIT Press 0-262-51091-x Planning, Temporal Reasoning 1223--1228 erman.lesse-1975:multiorgan:inbook: L. D. Erman and V. R. Lesser Proc. of the Int. Joint Conf. on Artificial Intelligence 1975

ernst-1969:sufficondi:journal:517 George W. Ernst Journal of the Association for Computing Machinery 1969 16 517--533

ernst.golds-1982:mechadisco:journal: George W. Ernst and M. M. Goldstein Journal of the Association for Computing Machinery 1982 29 1

ernst.mills-1997:tradein:inbook:1169 Michael D. Ernst and Todd D. Millstein and Daniel S. Weld M. Pollack Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 1997 Morgan Kaufmann 1169--1176 ernst.newel-1969:gpscase: George W. Ernst and Allen Newell Academic Press 1969 ACM Monograph Series

New York

erol.hendl-1994:htnplann:inbook:1123 Kutluhan Erol and James Hendler and Dana S. Nau Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) 1994 2

Seattle, Washington, USA

August AAAI Press/MIT Press 0-262-51078-2 Task Network Planning 1123--1128 erol.nau-1992:oncompl:inbook:381 Kutluhan Erol and Dana S. Nau and V. S. Subrahmanian Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92) 1992

San Jose, California, USA

July AAAI Press/MIT Press 0-262-51063-4 Planning 381--386 erol.nau-1992:whenis:inbook:222 Kutluhan Erol and Dana S. Nau and V. S. Subrahmanian James Hendler Artificial Intelligence and Planning Systems --- proceedings of the first international conference 1992 222--227 June Morgan Kaufmann erol.nau-1993:towargener:inbook:20 Kutluhan Erol and Dana Nau and James Hendler Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 20--23 AAAI Press, Menlo Park, California

erol.nau-1995:compldecid:journal:75 Kutluhan Erol and Dana S. Nau and V. S. Subrahmanian Artificial Intelligence 1995 76 75--88

ersch.lopez-1990:energappro:inbook: J. Erschler and P. Lopez Proc. of the 2$^{nd}$ International Workshop on Project Management and Scheduling 1990

Compiegne, France

June http://doc.laas.fr:8889/ows-bin/owa/publis.rech_auteur?langage=FR&clef=1192

ersch.roube-1980:charaset:journal:189 J. Erschler and F. Roubellat and J. P. Vernhes European Journal of Operational Research 1980 4 189--194

eshgh-1987:abducplann:inbook: Kave Eshghi Alvey planning SIG 7 1987 IEE publishing scheme

esqui.haudo-1997:constcoope:journal:32 P. Esquirol and L. Haudot and P. Lopez and M. Sicard IEEE Expert, Intelligent Systems and their Applications 1997 12 1 32--39 January-February http://doc.laas.fr:8889/ows-bin/owa/publis.rech_auteur?langage=FR&clef=1192

esqui.hugue-1995:modelmanag:journal:133 P. Esquirol and M.-J. Huguet and P. Lopez Journal of Intelligent Manufacturing 1995 6 133--144 http://www.laas.fr/\~lopez

esqui.lopez-1995:constprogr:journal:5 P. Esquirol and P. Lopez and H. Fargier and T. Schiex JORBEL (Belgian Journal of Operations Research, Statistics and Computer Science) 1995 35 2 5--36 http://doc.laas.fr:8889/ows-bin/owa/publis.rech_auteur?langage=FR&clef=1192

estli.moone-1996:hybrilearn:inbook:129 T. A. Estlin and R. J. Mooney M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Search Control 129--140 estli.moone-1996:multilearn:inbook:843 Tara A. Estlin and Raymond J. Mooney Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) 1996

Portland, Oregon, USA

August AAAI Press / The MIT Press 0-262-51091-x Learning, Planning 843--848 estli.moone-1997:learnto:inbook:1227 Tara A. Estlin and Raymond J. Mooney M. Pollack Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 1997 Morgan Kaufmann 1227--1232

estub.dami-1997:apelgraph:journal: J Estublier and S. Dami and A. Amiour Automated Software Enginnering (ASE) 1997 March

ether-1988:non-mreaso:inbook: David W. Etherington Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI 88) 1988 invited talk

etzio-1993:acquisearc:journal:255 O. Etzioni Artificial Intelligence 1993 62 2 255--302

etzio.lesh-1993:plannwith:inbook:24 Oren Etzioni and Neal Lesh Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 24--28 AAAI Press, Menlo Park, California

etzio.weld-1994:softbinter:journal:72 O. Etzioni and Daniel Weld Communications of the ACM 1994 37 7 72--76

eugen.webbe-1992:planrecog:inbook:52 Barbara Di Eugenio and Bonnie Webber James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 52--61

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x eve-1979:graphalgor: Shimon Eve Computer Science Press, Inc 1979 Computer Software Engineering

11 Taft Ct., Rockille, Maryland 20850

fagan-1980:repretime-:thesis J. J. Fagan Stanford University 1980

fagin.halpe-1990:logicfor:journal:78 R. Fagin and J. Y. Halpern and N. Megiddo Information and control 1990 87 78--128

fahlm-1973:plannsyste:thesis Scott E. Fahlman AI Lab, MIT 1973 MS fahlm-1973:plannsyste:TR Scott E. Fahlman AI Lab, MIT 1973 AI-TR 283 May

fahlm-1974:plannsyste:journal:1 Scott E. Fahlman Artificial Intelligence 1974 5 1 1--49 North Holland about BUILD

falet-1982:pando-:inbook:185 J. Faletti National Conference on Artificial Intelligence of the American Association for AI (AAAI 82) 1982 185--188 falet-1982:pandoprogr:inbook: J. Faletti Proceedings of AAAI-82 1982 AAAI fargh.smith-1992:plannfor:inbook:57 Hugh E. Fargher and Richard A. Smith Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 57--61

Menlo Park, California

AAAI Press 0-929280-32-6 farle-1977:coordmulti:inbook:495 Arthur M. Farley 5th International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 495--

farle-1980:issuein:journal:446 Arthur M. Farley IEEE Trans. on systems, man and cybernetics 1980 SMC-10 8 446--559

farle-1980:onwaiti:inbook: Arthur M. Farley 1st National Conference on Artificial Intelligence of the American Association for AI (AAAI 80) 1980 farle-1981:probamodel:TR Arthur M. Farley SRI International 1981 AI center technical note SRI AI 256 farle-1982:increplann:inbook:8 Arthur M. Farley Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI 82) 1982 8--11

farle-1983:probamodel:journal: Arthur M. Farley IEEE Transactions on systems, man and cybernetics 1983

fayma.rivli-1995:activvisio:inbook:315 J. A. Fayman and E. Rivlin and H. I. Christensen Proc. of the Symp. on Intelligent Robotic Systems 1995 315--322

Pisa, Italy

July fayma.rivli-1996:systefor:inbook:1986 J. A. Fayman and E. Rivlin and H. I. Christensen Proc. of the IEEE Int. Conf. on Robotics and Automation 1996 1986--1992

Minneapolis

April fehli.brees-1988:compumodel:inbook: M. R. Fehling and J. S. Breese Proc. 4th workshop on uncertainty in AI 1988

Minneapolis MN

feige.feldm-1963:computhoug: E. A. Feigenbaum and J. Feldman McGraw-Hill 1963

feldm-1984:decidpropo:journal:11 Y. A. Feldman Information and control 1984 63 11--38

feldm.harel-1984:probadynam:journal:193 Y. A. Feldman and D. Harel Journal of Computer and System Sciences 1984 28 193--215

feldm.morri-1990:admiscrite:inbook:151 Roy Feldman and Paul Morris Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90) 1990

Boston, Massachusetts, USA

July AAAI Press/MIT Press 0-262-51057-X Planning 151--157 feldm.sprou-1975:decistheor:TR R. F. Feldman and J. A. Sproull University of Rochester, Department of Computer Science 1975

feldm.sprou-1977:decistheor:journal:158 Jerome A. Feldman and Robert F. Sproull Cognitive science 1977 1 158--192

felle-1985:protomanuf:journal:413 Craig Fellenstein and others IBM Journal of Research and Development 1985 29 4 413--421 July

fenst-1967:repreproba:inbook: J. E. Fenstad J. N. Crossley Sets, models and recursion theory North-Holland 1967 similar idea, but via algebraic logic rather than Kripke models fergu-1991:towararchi:inbook:249 I. A Ferguson Proc. of the third European Workshop on Modelling Autonomous Agents in a Multi-Agent World 1991 249--261

Kaiserslautern, Germany

August North-Holland fergu-1992:touriarchi:TR I. A. Ferguson U. of Cambridge 1992 No. 273 November fergu-1994:autonagent:inbook: I. A. Ferguson Proc.\AAAI Fall Symp. on Control of the Physical World by Intelligent Agents 1994

New Orleans, LA

November fergu-1994:modelbehav:inbook: I. A. Ferguson AISB Workshop series, Models or behaviours - which way forward for robotics 1994

Leeds, UK

April fergu.allen-1996:towarmixed:inbook:70 George Ferguson and James Allen and Brad Miller B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 70--77

ferna.arapo-1991:onavera:journal:471 Emmanuel Fern\'{a}ndez-Gaucherand and Aristotle Arapostathis and Steven I. Marcus Annals of Operations Research 1991 29 471--512

ferna.arapo-1993:analyadapt:journal:987 Emmanuel Fern\'andez-Gaucherand and Aristotle Arapostathis and Steven I. Marcus {IEEE} Transactions on Automatic Control 1993 38 6 987--993 June

ferna.ghosh-1995:contrmarko:TR E. Fern\'andez-Gaucherand and M. K. Ghosh and S. I. Marcus Institute for Systems Research, The University of Maryland 1995 TR 93-6 1--29 ficka-1980:automgoal-:inbook:68 Stephen Fickas National Conference on Artificial Intelligence of the American Association for AI (AAAI-80) 1980 68--70 ficka-1982:automtrans:thesis Stephen Fickas University of California at Irvine 1982

ficka-1985:automtrans:journal:1268 Stephen Fickas IEEE Transactions on Software Engineering 1985 SE-11 11 1268--1277

fikes-1971:failutests:TR R. E. Fikes SRI International 1971 AI center technical note SRI AI 53 March fikes-1971:monitexecu:inbook: R. E. Fikes Proceedings of the IFIP Congress (Information processing '71) 1971

Ljubljana (Yugoslavia)

Intl. Federation for Information Processing Triangle tables fikes-1975:deducretri:inbook:99 Richard E. Fikes International Joint Conference on Artificial Intelligence (IJCAI 75) 1975 99--106 fikes-1976:knowlrepre:TR R. E. Fikes SRI International 1976 AI center technical note SRI AI 119 fikes-1977:knowlrepre:inbook:63 Richard E. Fikes Anita K. Jones Perspectives in Computer Science from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University Academic Press 1977 ACM monograph series 63--75

New York

fikes-1981:automprobl:inbook: Richard E. Fikes AFIPS Conf. on office automation 1981

Houston, TX

March fikes-1981:automprobl:TR Richard E. Fikes CIS group, Xerox PARC 1981 tech memo January fikes-1981:commiframe:TR Richard E. Fikes CIS group, Xerox PARC 1981 tech memo June

fikes-1982:commiframe:journal:331 Richard E. Fikes Cognitive science 1982 6 331--347

fikes.hart-1971:stripnew:journal:189 R. Fikes and P. E. Hart and N. J. Nilsson Artificial Intelligence 1971 2 189--208

fikes.hart-1972:learnexecu:journal:251 Richard E. Fikes and Peter E. Hart and Nils J. Nilsson Artificial Intelligence 1972 3 4 251--288 North Holland

fikes.hart-1972:somenew:inbook:405 Richard E. Fikes and Peter E. Hart and Nils Nilsson Bernard Meltzer and Donald Michie Machine Intelligence 7 Edinburgh University Press 1972 405-- fikes.nilss-1971:stripnew:inbook:608 Richard E. Fikes and Nils Nilsson 2nd International Joint Conference on Artificial Intelligence (IJCAI 71) 1971 608--620

fikes.nilss-1971:stripnew:journal:189 Richard E. Fikes and Nils Nilsson Artificial Intelligence 1971 2 189--208 North Holland

fikes.nilss-1971:stripnew:TR Richard E. Fikes and Nils Nilsson SRI International 1971 AI center technical note SRI AI 76

fikes.nilss-1972:learnexecu:journal:251 R. Fikes and N. J. Nilsson Artificial Intelligence 1972 3 4 251--288

fikes.nilss-1990:stripnew:inbook:88 R. E. Fikes and N. J. Nilsson J. Allen and J. Hendler and A. Tate Readings in Planning Kaufmann 1990 88--97

San Mateo, CA

filma-1988:reasowith:journal:382 Robert E. Filman Communications of the ACM 1988 31 4 382--401 April

findl.chen-1969:onprobl:inbook:531 N. Findler and D. Chen 1st International Joint Conference on Artificial Intelligence (IJCAI 69) 1969 531--545

findl.chen-1973:onprobl:journal: N. Findler and D. Chen Intl. J. of computing and information science 1973 2

findl.meltz-1971:artifintel: N. V. Findler and B. Meltzer Edinburgh University Press 1971 fine-1973:theorproba: T. L. Fine Academic Press 1973 finge-1982:sensoplann:TR Joseph Jeffrey Finger Heuristic programming project, Stanford University 1982 HPP-82-12 Planning to sense finge-1986:exploconst:thesis Joseph Jeffrey Finger Stanford 1986 UMI NDS87-20386 finge-1986:exploconst:TR J. J. Finger Stanford University 1986 Ph.D. thesis fink.velos-1994:prodiplann:TR Eugene Fink and Manuela Veloso School of Computer Science, Carnegie Mellon University 1994 Tech. report CMU-CS-93-123 March http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/project/prodigy/Web/techreports.html fink.velos-1996:formaprodi:inbook:261 E. Fink and M. Veloso M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Architectures 261--272 fink.yang-1992:automabstr:inbook:243 Eugene Fink and Qiang Yang James Hendler Artificial Intelligence Planning Systems: Proceedings of the First International Conference (AIPS 92) 1992 243--251

College Park, Maryland, USA

June Morgan Kaufmann 1-55860-250-x fink.yang-1993:forbipreco:inbook:34 Eugene Fink and Qiang Yang Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 34--38 AAAI Press, Menlo Park, California fink.yang-1993:spectplan:inbook:29 Eugene Fink and Qiang Yang Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 29--33 AAAI Press, Menlo Park, California finke-1987:wellstruc:TR A. Finkel Lab. de recherche en informatique, Center d'Orsay, U de Paris-Sud 1987 report 365 firby-1987:invesinto:inbook:202 R. James Firby Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 87) 1987 202--206 firby-1989:adaptexecu:thesis R. James Firby Dept CS, Yale 1989 firby-1989:adaptexecu:TR R. James Firby Dept CS, Yale 1989 RR-672 RAPS firby-1992:buildsymbo:inbook:62 R. J. Firby Proc. of the First Int. Conf. on AI Planning Systems 1992 62--29

College Park, MD

June firby-1993:archifor:inbook: R. J. Firby Proc. of the AAAI Fall Symp. Series Workshop on Instantiating Real-World Agents 1993

Raleigh, NC

October firby-1994:archirepre:inbook: R. J. Firby Proc. of the AAAI Fall Symp. Series Workshop on Control of the Physical World by Intelligent Agents 1994

New Orleans, LA

November firby-1994:tasknetwo:inbook: R. J. Firby Proc. of the Second Int. Conf. on AI Planning Systems 1994

Chicago, IL

June firby-1996:modulissue:inbook:78 R. James Firby B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 78--85 firby.dean-1985:efficrobot:inbook: R. James Firby and Thomas Dean and David Miller Intl. symposium on robotics and automation 6 1985

Santa Barbara

May IASTED (Advances in robotics) firby.mcder-1987:represolvi:inbook: R. James Firby and D. V. McDermott N. Cercone and G. McCalla The knowledge frontier Springer verlag 1987 14 firby.proko-1995:planrepre:inbook: R. J. Firby and P. Prokopowicz and M. Swain Proc. of the Int. Joint Conf. on Artificial Intelligence 1995

Montreal, Canada

firby.slack-1995:taskexecu:inbook: R. J. Firby and M. G. Slack Proc. of the AAAI Spring Symp. on Lessons Learned from Implememted Software Architectures for Physical Agents 1995

Stanford, CA

fisch.ladne-1979:propodynam:journal:194 M. J. Fischer and R. E. Ladner Journal of Computer and system sciences 1979 18 194--211

fishb-1985:interorder: Peter. C. Fishburn Wiley-Interscience 1985 Discrete Mathematics fishe-1988:charamodal:TR Michael Fisher Dept CS, Manchester University 1988 report useful survey and references fishe-1989:templproje:TR Michael Fisher Dept. CS, Manchester University 1989 March fishe.barri-1986:progrlogic:TR Michael Fisher and Howard Barringer Dept. CS, Manchester University 1986 UMCS-86-11-1 useful survey and references fishe.barri-1987:progrlogic:TR Michael Fisher and Howard Barringer Dept. CS, Manchester University 1987 June fitzg.firby-1996:itemdescr:inbook:48 Will Fitzgerald and R. James Firby Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 48--51 AAAI Press, Menlo Park, California 1-57735-015-4 fleur.herrb-1994:desigmodul:inbook:3508 S. Fleury and M. Herrb and R. Chatila Proc. of the IEEE Int. Conf. on Robotics and Automation 1994 3508--3513 floyd-1967:assigmeani:inbook:19 R. W. Floyd J. T. Schwartz Mathematical aspects of computer science: Proc. American Mathematics Soc. symposia 1967 19 19--31

Providence RI

American Mathematical Society flynn.brook-1988:mitmobil:inbook:611 A. Flynn and R. Brooks Proc IEEE Conf on Automation & Robotics 1988 611--

folle-1980:synthrecur:journal:175 Ria Follet Artificial Intelligence 1980 13 175--200 North Holland

folle-1984:combiprogr:inbook: Ria Follet A. W. Biermann and G. Guiho and Kodratoff Y. Automatic program construction techniques Macmillan publishing Co 1984 forbu-1985:qualiproce:inbook: Kenneth D. Forbus D. Bobrow Qualitative reasoning about physical systems MIT press 1985

forbu-1988:intelcompu:journal:23 Ken Forbus AI magazine 1988 9 3 23--36 brief section on plans with QP operators QP operators

forbu-1989:introactio:inbook:1273 Kenneth D. Forbus International Joint Conference on Artificial Intelligence (IJCAI-89) 1989 1273--1279 Morgan Kaufman

forgy-1982:retefast:journal:17 C. L. Forgy Artificial Intelligence 1982 19 17--37

foulk.walto-1988:compusynth:journal:1035 N. R. Foulkes and M. J. Walton and P. K. Andow and M. Galluzzo Comput. chem. Engng 1988 12 9/10 1035--1044

fouls.li-1991:quanttheor:inbook:673 David E. Foulser and Ming Li and Qiang Yang Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) 1991 2

Anaheim, California, USA

July AAAI Press/MIT Press 0-262-51059-6 Hierarchy in Planning 673--678 fox-1981:factomodel:inbook:1058 M. S. Fox International Joint Conference on Artificial Intelligence (IJCAI 81) 1981 1058-- fox-1981:reasowith:inbook:313 M. S. Fox 7th International Joint Conference on Artificial Intelligence (IJCAI 81) 1981 313--318 fox-1983:constsearc:thesis M. S. Fox Dept. CS, Carnegie-Mellon University 1983 UMI DA 84-06442 fox-1983:constsearc:TR M. S. Fox Dept. CS, Carnegie-Mellon University 1983 CMU-CS-83-161 fox-1983:intelmanag:inbook:105 M. S. Fox Sol H. G. Processes and tools for decision support North-Holland 1983 105--130 fox-1983:intelmanag:TR M. S. Fox Robotics Inst, Carnegie-Mellon University 1983 tech report fox-1986:obseron:inbook:172 M. S. Fox 6th Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI 86) 1986 172--187

Montreal

fox-1987:constsearc: M. S. Fox Pitman/Morgan Kaufman 1987 Research notes in AI fox-1988:commoreaso:TR Maria Fox Division of CS, Hatfield Polytechnic, UK 1988 fox.allen-1982:job-ssched:inbook:155 M. S. Fox and Brad Allen and Gary Strohm National Conference on Artificial Intelligence of the American Association for AI (AAAI 82) 1982 155--158 fox.allen-1983:isisconst:TR M. S. Fox and B. P. Allen and S. F. Smith and G. A. Strohm Robotics Institute, Carnegie-Mellon University 1983 CMU-RI-TR-83-8

fox.clark-1990:usingpredi:journal:347 John Fox and D. A. Clark and A. J. Glowinski and M. J. O.'Neil IEEE trans. on systems, man and cybernetics 1990 20 2 347--357

fox.kempf-1985:compluncer:inbook: B. R. Fox and K. G. Kempf Proceedings 2nd. Intl. Conf. on Artificial Intelligence 1985 IEEE fox.kempf-1988:plannsched:inbook: B. Fox and K. Kempff J. LEMMER and L. KANAL Uncertainty in AI North-Holland 1988 fox.long-1994:oneffic:inbook: Maria Fox and Derek Long Proceedings of The Thirteenth Workshop of the UK Planning Special Interest Group 1994

University of Strathclyde, Glasgow

September fox.sadeh-1989:constheuri:inbook:309 Mark S. Fox and Norman Sadeh and Can Baykan Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89) 1989 309--315 fox.sadeh-1990:whyis:inbook: Mark S. Fox and Norman Sadeh Proceedings of the 1990 European Conference on Artificial Intelligence (ECAI-90) 1990 fox.smith-1983:isis-:TR M. S. Fox and S. Smith Robotics Inst., Carnegie-Mellon University 1983 CMU-RI-TR-83-8 fox.smith-1983:isisconst:inbook:76 M. S. Fox and S. Smith and Brad Allen and Gary Strohm and F. C. Wimberly Proc. trends and applications, 1983 : automating intelligent behavior, applications and frontiers 0818604727

Gaithersburg, Maryland, USA

1983 May IEEE Computer Society Press 76--81

fox.smith-1984:isis-:journal:25 M. S. Fox and S. Smith Expert systems 1984 1 1 25--49 A clear and wide, but not very deep, account of planning with only constraints Learned Information Inc

fraic.laugi-1991:online:inbook:432 Th. Fraichard and C. Laugier Proc. of the IEEE Int. Conf. on Robotics and Automation 1991 432--437

Sacremento, California

April frase.conwa-1988:usingon-bo:inbook:173 J. Fraser and S. Conway and K. Currie and M. Drummond and R. Lockwood and A. Macintosh and A. Tate Proc. of the International Conference on Human-Machine Interaction and Artificial Intelligence in Aeronautics and Space 1988 173--185

Toulouse-Blagnac, France

frede.musce-1992:tempoplann:inbook:6 Robert E. Frederking and Nicola Muscettola Practical Approaches to Scheduling and Planning: Papers from the 1992 Spring Symposium 1992 6--10

Menlo Park, California

AAAI Press 0-929280-32-6

freed-1991:timepetri:journal:417 P. Freedman IEEE Transaction on Robotics and Automation 1991 7 4 417--433 August

freed-1996:usingrap:inbook:52 Michael Freed Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 52--58 AAAI Press, Menlo Park, California 1-57735-015-4 freed.gouta-1995:etudesur:TR P. Freedman and J.-M. Goutal and Y. Leborgne and D. Gaudreau Centre de Recherche Informatique de Montr\'eal 1995 CRIM-95/12-40 December frenc-1987:decistheor: Simon French Ellis Horwood 1987 0-85312-682-8

frgem.olsen-1994:introto:journal:1143 O. F{\ae}rgemand and A. Olsen Computer Networks and ISDN Systems 1994 26 1143--1167

fried-1977:robotlearn:inbook:736 Leonard Friedman 5th International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 736-- fried-1979:knowlexper:inbook:285 P. Friedland 6th International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 285--287 fried-1979:knowlexper:thesis P. Friedland Dept CS, Stanford University 1979 STAN-CS-79-771 fried-1981:acquiproce:inbook:856 P. Friedland 7th International Joint Conference on Artificial Intelligence (IJCAI 81) 1981 856--861 fried-1986:gametheor: J. W. Friedman Oxford University Press 1986 fried.iwasa-1983:conceimple:TR Peter E. Friedland and Yumi Iwasaki Computer Science Department, Stanford University 1983 Draft Technical Report

Stanford, California 94305

April

fried.iwasa-1985:conceimple:journal:161 P. E. Friedland and Y. Iwasaki Journal of automated reasoning 1985 1 2 161--208 The first part is about planning with expansion (Friedland). The second is about a form of meta-planning (cruder than Stefik's (I think), but clearer) applied to it (Iwasaki)

fried.weld-1996:leastactio:inbook: Marc Friedman and Daniel S. Weld Proceedings of AIPS-96 1996 May fried.weld-1996:leastcommi:inbook:86 Marc Friedman and Daniel S. Weld B. Drabble Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96) 1996 AAAI Press 86--93

friha.berry-1997:disadistr:journal:27 Lamia Friha and Pauline M. Berry and Berthe Y. Choueiry Revue d'intelligence Artificielle, Hermes 1997 11 1/1997 27--42 http://liawww.epfl.ch/\~choueiry/papers.html

fu.hammo-1995:actioperce:inbook:464 D. D. Fu and K. J. Hammond and M. J. Swain Proc. of the 14th IJCAI 1995 464--469

Montreal, Canada

fuchs-1988:experplann:TR J. J. Fuchs and others AI Applications Inst., Edinburgh U 1988 AIAI-TR-55 fuchs.gasqu-1989:plannexper:inbook: J. Fuchs and A. Gasquet and B. Olalainty and K. Currie Proc. 1 intl. conf. on expert planning systems 1989

Brighton UK

June IEE fuchs.gasqu-1989:plannexper:TR J. Fuchs and A. Gasquet and B. Olalainty and K. Curie AI Applications Inst., Edinburgh U 1989 AIAI-TR-74 fulke.littm-1997:speedsafel:inbook:831 Michael S. Fulkerson and Michael L. Littman and Greg A. Keim Proceedings of the Fourteenth National Conference on Artificial Intelligence 1997 831 AAAI Press/The MIT Press http://www.cs.duke.edu/\~mlittman/docs/safety.ps furuk.michi-1994:machiintel: 1994 K. Furukawa and D. Michie and S. Muggleton

Oxford

Clarendon fusil-1988:methofor:thesis Robert Henry Fusillo Carnegie Mellon University 1988

Pittsburgh, Pennsylvania, U.S.A.

fusil.power-1987:synthmetho:journal:369 R. H. Fusillo and G. J. Powers Computers chem. Engng. 1987 11 4 369--382

fusil.power-1988:compuplann:journal:558 R. H. Fusillo and G. J. Powers AIChE Journal 1988 34 4 558--566 April

fusil.power-1988:operaproce:journal:1023 R. H. Fusillo and G. J. Powers Computers chem. Engng. 1988 12 9/10 1023--1034

fusuo.seki-1983:descrreaso:inbook:405 A. Fusuoka and H. Seki and K. Takahashi International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 405--408 gabba-1976:invesin: D. Gabbay D. Reidel 1976 gabba.guent-1984:handbphilo: Dov Gabbay and F. Guenthner Reidel 1984 (3 volumes) gabba.pneul-1980:ontempo:inbook:112 Dov Gabbay and A. Pneuli and S. Shelah and J. Stain Symposium on mathematical foundations of CS 18 1980 LNCS 88 112--152 gabri.frank-1988:statespeci:inbook:2 A. Gabrielian and M. Franklin Proc Real-time Systems Symposium 1988 2ff

gabri.frank-1989:hieramulti:journal:8 A. Gabrielian and M. Franklin Real-time Systems Newsletter 1989 5/1 8--12 Winter

gabri.stick-1987:hierarepre:inbook:82 A. Gabrielian and M. Stickney Proc Western Conf on Expert Systems (WESTEX) 1987 82ff gache.salic-1994:learnemerg:inbook:290 D. Gachet and M. A. Salichs and L. Moreno and J. R. Pimentel Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1994 290--297 gadsd-1986:flypainter:inbook: Julie Gadsden Alvey planning SIG 5 1986

gaine-1976:behavstruc:journal:337 B. R. Gaines Int'l J Man-Machine Studies 1976 8 337--365

gaine-1996:gtd-pbridg:inbook:74 D. Gaines Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 74--77

Menlo Park, California

AAAI Press 1-57735-021-9 gaine.hayes-1996:operaconst:inbook:65 D. Gaines and C. Hayes Theories of Action, Planning, and Robot Control: Bridging the Gap: Proceedings of the 1996 AAAI Workshop 1996 65--73

Menlo Park, California

AAAI Press 1-57735-021-9 galla.guida-1985:repreproce:inbook:345 M. Gallanti and G. Guida and A. Spampinato and L. Stefinini Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI 85) 1985 345ff galle-1993:mapbuild:inbook:390 D. Galles Proc. of the Int. Conf. on Intelligent Autononmous Systems 1993 390--398 February galli-1988:stratframe:inbook: J. Galliers 8th European Conference on Artificial Intelligence (ECAI 88) 1988

Munich

galli-1988:theorframe:thesis J. Galliers Open University, UK 1988 September galto-1987:logicoccur:inbook: Anthony P. Galton Anthony P. Galton Temporal logics and their application Academic press 1987 galto-1987:logicoccur:TR Anthony P. Galton Dept. CS, Exeter U 1987 Report R-139 galto-1987:tempologic: Anthony P. Galton Academic press 1987 galto-1987:tempologic:inbook:1 A. Galton Anthony P. Galton Temporal logics and their application Academic press 1987 1--52 galto-1996:critiexami:TR Anthony P. Galton Dept. CS, Exeter U 1996 Report R-137 June garca.borra-1997:plannlearn:inbook:210 Ram\'on Garc\'{\i}a-Mart\'{\i}nez and Daniel Borrajo Sam Steel Proceedings of the Fourth European Conference on Planning 1997 Lecture Notes in Artificial Intelligence 210--222

Toulouse, Francia

September Springer-Verlag garci-1994:plannactio:inbook:117 Frederick Garcia C. B{"{a}}ckstr{"{o}}m and E. Sandewell Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93) 1994

Vadstena, Sweeden

December IOS Press (Amsterdam) 90-5199-153-3 117--130 garci.labor-1996:hieraseach:inbook:217 F. Garcia and P. Laborie M. Ghallab and A. Milani New Directions in AI Planning IOS Press (Amsterdam) 1996 90-5199-237-8 Abstraction, Heirarchisation and Compiling 217--232

garey.johns-1976:complflows:journal:117 M. Garey and D. Johnson and R. Sethi Mathematical Operations Research 1976 1 117--129

garey.johns-1979:compuintra: Michael R. Garey and David S. Johnson W. H. Freeman and Company 1979

San Francisco

garve-1984:issueappro:TR T. D. Garvey AI Center, SRI International 1984 Final report for Project 2402 garve.humph-1993:taskinter:inbook:580 Alan Garvey and Marty Humphrey and Victor Lesser Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) 1993

Washington, D.C., USA

August AAAI Press/MIT Press 0-262-51071-5 Real-Time Planning and Simulation 580--587 garve.wesle-1987:knowlbased:inbook: T. D. Garvey and L. P. Wesley Proc DARPA Knowledge-Based Planning Workshop 1987

Austin, TX

December gat-1991:alfalangu:inbook:1116 E. Gat Proc. of the IEEE Int. Conf. on Robotics and Automation 1991 1116--1121

Sacramento, CA

gat-1992:integplann:inbook:809 E. Gat Proc. of the Nat. Conf. on Artificial Intelligence 1992 809--815

San Jose, CA, USA

July mobile, reactive navigation, hybrid, planning

gat-1993:onrole:journal: E. Gat AI Magazine 1993 Spring

gat-1996:esllangu:inbook:59 Erann Gat Plan Execution: Problems and Issues: Papers from the 1996 AAAI Fall Symposium 1996 59--64 AAAI Press, Menlo Park, California 1-57735-015-4 gat-1996:newsfrom:inbook:5 Erann Gat Planning with Incomplete Information for Robot Problems: Papers from the 1996 AAAI Spring Symposium 1996 5--12 AAAI Press, Menlo Park, California 1-57735-006-5

gat.desai-1993:behavcontr:journal: E. Gat and R. Desai and R. Ivlev and J. Loch and D. P. Miller IEEE Journal of Robotics and Automation 1993 Not certain on the year

gat.dorai-1994:robotnavig:inbook:1293 E. Gat and G. Dorais Proc. of the IEEE Int. Conf. on Robotics and Automation 1994 1293--1299

gawro.drury-1989:taxonindep:journal:643 V. J. Gawron and C. G. Drury and S. J. Czaja and D. M. Wilkins Int. Journal of Man-Machine Studies 1989 31 643--672

gecse.csiri-1989:interon:380: 1989 Ferenc Gecseg and Janos Csirik and Janos Demetrovics 380 Lecture notes in computer science

Szeged, Hungary

August Springer-Verlag geffn-1996:qualimodel:inbook:1176 Hector Geffner Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96) 1996

Portland, Oregon, USA

August AAAI Press / The MIT Press 0-262-51091-x Planning, Handling Uncertainty 1176--1181 geib.webbe-1993:conseincor:inbook:39 Christopher Geib and Bonnie Webber Foundations of Automatic Planning: The Classical Approach and Beyond: Papers from the 1993 AAAI Spring Symposium 1993 39--43 AAAI Press, Menlo Park, California geist.begue-1994:pvm3:TR A. Geist and A. Beguelin and J. Dongarra and W. Jiang and R. Manchek and V. Sunderam Oak Ridge National Laboratory 1994 ORNL/TM-12187 September genes-1979:roleplans:inbook: M. R. Genesereth International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 genes-1982:roleplans:inbook: M. R. Genesereth D. Sleeman and J. S. Brown Intelligent tutoring systems Academic press 1982

London

genes-1983:overvmeta:inbook:119 M. R. Genesereth National Conference on Artificial Intelligence of the American Association for AI (AAAI 83) 1983 119--124 genes-1984:partiprogr:TR M. R. Genesereth Heuristic programming project, Dept CS, Stanford U 1984 HPP-84-1 genes.ginsb-1988:coopewitho:inbook:220 M. R. Genesereth and M. L. Ginsberg and J. S. Rosenschein don't know 1988 220--226 genes.nilss-1987:logicfound: M. R. Genesereth and N. Nilsson Morgan Kaufman 1987 genes.nourb-1993:time-tips:inbook: Michael Genesereth and Illah R. Nourbakhsh Proceedings of the Eleventh National Conference on Artificial Intelligence 1993 genes.smith-1981:metalarchi:TR D. E. Genesereth and M. R. Smith Stanford University 1981 Memo HPP-81-6 genes.smith-1982:metalarchi:TR M. R. Genesereth and D. E. Smith Stanford University 1982 Memo-81-6 georg-1983:commuinter:inbook:125 Michael P. Georgeff Proceedings of the 1983 National Conference on Artificial Intelligence 1983 125--129

American Association for Artificial Intelligence, Menlo Park, CA

August georg-1983:commuinter:TR Michael Georgeff SRI International 1983 AI center technical note SRI AI 313 georg-1984:expersyste:inbook:153 Michael Georgeff Proc Joint Services Workshop on AI in Maintenance 1984 153--170 georg-1984:expersyste:TR Michael Georgeff SRI International 1984 SRI tech report AD-P003923/0 georg-1984:proceexper:inbook:121 M. Georgeffl Proceedings of AAAI-84 1984 121--125 georg-1984:theoractio:inbook:121 Michael P. Georgeff Proceedings of the 1984 National Conference on Artificial Intelligence 1984 121--125

American Association for Artificial Intelligence, Menlo Park, CA

August georg-1985:reasoabout:inbook: M. P. Georgeff Proc AIAA/ACM/NASA/IEEE Computers in Aerospace Conf 1985

Long Beach, California

georg-1986:actioproce:inbook: Michael Georgeff Michael Georgeff and Amy Lansky Reasoning about actions and plans: proceeding of 1986 workshop 1986 Morgan Kaufmann georg-1986:repreevent:inbook:70 Michael Georgeff National Conference on Artificial Intelligence of the American Association for AI (AAAI 86) 1986 70--75 georg-1987:actioproce:inbook:123 M. P. Georgeff M. P. Georgeff and A. Lansky Reasonning about Actions and Plans, Proceedings of the 1986 Workshop, Timberline, Oregon 1987 123--159 Morgan Kaufmann 0-934613-30-3 georg-1987:commuinter:inbook:200 M. P. Georgeff Proc. of the Nat. Conf. on Artificial Intelligence 1987 200--204

Seattle, Washington, USA

July georg-1987:manyagent:inbook: Michael P. Georgeff Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence 1987

Lawrence, Kansas

georg-1987:manyagent:TR M. P. Georgeff SRI International 1987 AI center technical note SRI-AI 417 March georg-1987:plann:inbook: M. P. Georgeff J. Traub Annual review of computer science 2 Annual Reviews Inc 1987

Palo Alto

georg-1987:plann:journal:359 Michael P. Georgeff Annual Review of Computer Science 1987 2 359--400

georg-1987:plann:TR M. P. Georgeff SRI International 1987 Technical Note 418 georg-1987:repreevent:inbook:210 M. P. Georgeff Proc. of the Nat. Conf. on Artificial Intelligence 1987 210--215

Seattle, Washington, USA

July georg-1988:embedreal-:inbook: Michael Georgeff Proc. 12 IMACS world congress 1988

Paris

georg-1988:embedreaso:inbook: Michael Georgeff Jay Weber and Josh Tenenberg and J. Allen From formal systems to practical systems: Advance proc. Rochester planning workshop Dept CS, U Rochester 1988

Rochester NY

October georg-1988:reasoabout:inbook: M. P. Georgeff H. E. Shrobe Exploring artificial intelligence: survey talks from the natl. conf. on AI Morgan Kaufman 1988 0-934613-69-9 georg.bonol-1983:proceexper:inbook:151 U. Georgeff and M. Bonollo Proc 8th International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 151ff georg.ingra-1988:reseaon: M. P. Georgeff and F. F. Ingrand 1988 Final Report, Phase 1, AI Center, SRI International, Menlo Park, California. georg.ingra-1988:reseaon:TR M. Georgeff and F. F. Ingrand AI center, SRI International 1988 Final report, phase 1 for NASA Ames research center, Moffet Field, CA October georg.ingra-1989:decisin:inbook:972 Michael P. Georgeff and Francois Felix Ingrand Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89) 1989 972--978

Detroit, Michigan

AAAI Press, Menlo Park, CA georg.ingra-1990:real-reaso:TR M. Georgeff and F. F. Ingrand SRI International 1990 AI center technical note SRI AI 478 January georg.ingra-1993:decisin:inbook: M. Georgeff and F. Ingrad Proc. of 11th National Conference on Artificial Intelligence 1993 -- georg.lansk-1985:procelogic:inbook:516 Michael Georgeff and Amy Lansky and P. Bessiere International Joint Conference on Artificial Intelligence (IJCAI 85) 1985 August 516--523

Los Angeles

georg.lansk-1985:procelogic:TR Michael Georgeff and Amy Lansky SRI International 1985 AI center technical note georg.lansk-1986:bdiseman:TR Michael Georgeff and Amy Lansky SRI International 1986 AI center technical note georg.lansk-1986:proceknowl:inbook: Michael P. Georgeff and Amy L. Lansky Proceedings of the {IEEE} Special Issue on Knowledge Representation 1986

georg.lansk-1986:proceknowl:journal:1383 Michael Georgeff and Amy Lansky Proceedings of the IEEE, Speicial Issue on Knowledge Representation 1986 74 10 1383--1398 October

georg.lansk-1986:reasoabout: 1986 Michael Georgeff and Amy Lansky

Temberline, Oregon

Morgan Kaufmann georg.lansk-1986:reasoplann:TR M. Georgeff and M. Lansky and A. Schoppers AI Center, SRI International 1986 Technical Note 380 georg.lansk-1986:systefor:TR Michael Georgeff and Amy Lansky SRI International 1986 AI center technical note 375

Menlo Park, California

January georg.lansk-1987:reactreaso:inbook:677 Michael P. Georgeff and Amy L. Lansky Proceedings of the 1987 National Conference on Artificial Intelligence (AAAI 87) 1987 677--682

Seattle, Washington

July georg.lansk-1987:reasoplann:inbook: Michael Georgeff and Amy Lansky and M. Schoppers G. Rodriguez Workshop on Space Telerobotics 1987

NASA Jet Propulsion Laboratory, Pasadena, California

georg.lansk-1987:reasoplann:TR Michael Georgeff and Amy Lansky and M. Schoppers SRI International 1987 AI center technical note 380 Flakey georg.lansk-1987:theoractio:inbook:205 M. P. Georgeff and A. L. Lansky Proc. of the Nat. Conf. on Artificial Intelligence 1987 205--209

Seattle, Washington, USA

July

ger-1977:logicalgor:journal:243