abadi-1987:tempotheor:thesis Martin Abadi Temporal-logic theorem proving Stanford University 1987 UMI NDS87-20365
abadi.manna-1985:non-ctempo:journal:1 M. Abadi and Z. Manna Non-clausal temporal deduction Logic of programs 1985 85 1--15 propositional temporal modal refutation resolution
abadi.manna-1987:tempologic:inbook:4 Martin Abadi and Zohar Manna Temporal Logic Programming International Symposium on Logic Programming 1987 4--16
San Francisco, CA
September IEEE abels-1975:concefor:inbook: R. P. Abelson Concepts for representing mundane reality in plans D. G. Bobrow and A. M. Collins Representation and Understanding Academic Press 1975
New York
 abram-1990:compuinter:TR S. Abramsky Computational interpretations of linear logic Department of Computation, Imperial College, University of London 1990 DOC 90/20 abram-1991:analyerror:inbook:744 Bruce Abramson An Analysis of Error Recovery and Sensory Integration for Dynamic Planners 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 The Shifting Bottleneck Procedure for Job Shop Scheduling Management Science 1983 34 391--401
aelio.kalag-1992:evaluopera:journal:2532 Vital Aelion and Jayant Kalagnanam and Gary J. Powers Evaluation of Operating Procedures Based on Stationary-State Stability Ind. Eng. Chem. Res. 1992 31 2532--2538
aelio.power-1991:unifistrat:journal:349 V. Aelion and G. J. Powers A Unified Strategy for the Retrofit Synthesis of Flowsheet Structures for Attaining or Improving Operating Procedures Computers chem. Engng. 1991 15 5 349--360
aelio.power-1993:riskreduc:journal:82 V. Aelion and G. J. Powers Risk Reduction of Operating Procedures and Process Flowsheets Industrial and Engineering Chemistry Research 1993 32 1 82--90
agha-1986:actormodel: G. Agha {ACTORS}: {A} Model of Concurrent Computation in Distributed Systems MIT Press 1986 agost-1995:formuimple:inbook:1 John M. Agosta Formulation and Implementation of an Equipment Configuration Problem with the {SIPE2} Generative Planner 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 Representation of Deliberation and Execution Time in Influence Diagrams 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 Some Questions about Interpreting Plans as Multi-Stage Influence Diagrams 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 Routines AI lab, MIT 1985 AIM-828 May agre-1988:dynamstruc:TR Philip E. Agre The dynamic structure of everyday life AI lab, MIT 1988 AI-TR-1087 October Could be AI-TR-1085
agre-1995:compuresea:journal:1 Philip E. Agre Computational research on interaction and agency Artificial Intelligence 1995 72 1--52
agre.chapm-1987:pengiimple:inbook:268 P. E. Agre and D. Chapman Pengi: An Implementation of a Theory of Activity Proceedings of AAAI-87, Seattle, Wa. 1987 268--272 July AAAI agre.chapm-1988:pengiimple:inbook:168 P. E. Agre and D. Chapman Pengi: An Implementation of a Theory of Activity ? 1988 168--272 agre.chapm-1988:whatare:TR Philip E. Agre and D. Chapman What are plans for? AI lab, MIT 1988 AIM-1050 September
agre.chapm-1990:whatare:journal:17 P. E. Agre and D. Chapman What are Plans for 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 Cultural Support for Improvisation 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 Plan formation and failure recovery in communicative acts Proceedings of the European Conference on AI (ECAI '84) 1984 airen.bara-1987:knowlfor:inbook: Gabriella Airenti and Bruno Bara and Marco Colombetti Knowledge for communication 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 A conceptual model of hierarchical skeletal planning and its formalisation Proc. 3rd KADS Meeting 1993
Siemens, Munich
 aitke.shadb-1992:plannknowl:inbook: S. Reichgelt Aitken and N. H. Shadbolt Planning, knowledge division and agency Proc. 11th UK Planning Special Interest Group 1992 aitke.shadb-1994:knowllevel:inbook:33 J. Stuart Aitken and Nigel Shadbolt Knowledge Level Planning 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 A Parallel Functional Database on {GRIP} 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 Task level teleprogramming for intervention robots IARP 1st Workshop, Mobile Robots for Subsea Environments 1992 119--136
CA, USA
October alami.simeo-1994:plannrobus:inbook: R. Alami and T. Simeon Planning robust motion strategies for a mobile robot Don't know 1994 albre-1990:autonmobil:inbook:16 R. W. Albrecht Autonomous mobile robot control: from {Mercator} to {Sperry} U. of Duisberg Colloquim on Automation and Robotics 1990 16--42
West Germany
 albre-1990:expersyste:inbook: R. W. Albrecht An expert system cartographer for mobile robots Proc. of the thirteenth IASTED Int. Symp. Robotics and manufacturing 1990
albre-1990:implesemi-:journal:941 R. W. Albrecht Implementation of Semi-Autonomous Mobile Robots in Semi-Structured environments Robotics and Manufacturing 1990 941--946
albre-1991:envirknowl:inbook: R. W. Albrecht Environmental knowledge representation for mobile robots Proc. of the 1991 Int. Symp. on Advanced Robot Technology 1991
albre-1992:mobilrobot:journal:27 R. W. Albrecht Mobile robotics: a paradigm for complex system engineering Int. Journal of Computer Vision 1992 9 1 27--33
albre-1992:modulagent:inbook:251 R. W. Albrecht A modular agent/deliverable modality for mobile robot development Third Annual Conf. on AI Simulation and Planning in High Autonomy Systems 1992 251--258
Perth, WA
 albre-1994:autonmobil: R. W. Albrecht An autonomous mobile robot performance controller 1994 Submitted to the IFAC Symp. on Robot Control
Capri
 albre-1994:robotadapt: R. W. Albrecht Robotic adaptive locomotion: robots moving amidst humans in built architectures 1994 September Submitted to IROS '94
Munich
 albre.moore-1995:integinter: R. W. Albrecht and V. Moore and M. R. Masliah Integrated interpreter drive and sense simulator, and animator for a mobile robot 1995 DRAFT albre.rajes-1995:complconfi: R. W. Albrecht and R. V. Rajesh Complex configuration space geometric representation and planning for mobile robots 1995 DRAFT albus-1981:brainbehav: James S Albus Brains, behaviour and control McGraw-Hill 1981 albus-1985:brainbehav: J. Albus Brains, Behavior and Robotics Byte Books 1985
Chichester
 albus-1988:multiauton:TR James S. Albus {M}ultiple {A}utonomous {U}ndersea {V}ehicles 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 Theory and practice of hierarchical control Intl. Conf. 23 1981 IEEE Computer Soc. albus.mccai-1989:nasanstand:TR James S. Albus and Harry G. McCain and Ronald Lumia {NASA}/{NBS} Standard Reference Model for Telerobot Control System Architecture ({NASREM}) 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 {NASA/NBS} Standard Reference Model for Telerobot Control System Architecture ({NASREM}) Gaithersburg National Institute of Standards and Technology 1989 NIST 1235 aldri.albre-1992:expersyste:inbook: B. L. Aldridge and R. W. Albrecht An expert system surveyor for mobile robots: translation of {CAD} to knowledge base models Proc. of the {CAD/CAM}, Robotics and Factories of the future conf. 1992
Metz, France
August alfer.perei-1996:6theurop:1126: 6th European Workshop on logics in artificial intelligence (Journees Europeenes sur la Logique en Intelligence Artificielle, {JELIA} '96) 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 Combining Navigational Planning and Reactive Control 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 The goal/subgoal knowledge representation for real-time process monitoring 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 A plan-based approach to speech act recognition Dept CS, Toronto University 1979 TR 131/79 allen-1981:genertheor:TR James F. Allen A general theory of action and time dept. CS, Rochester U 1981 tech report 97 November allen-1981:maintknowl:TR James F. Allen Maintaining knowledge about temporal intervals dept CS, Rochester U 1981 TR 86 January allen-1982:argotsyste:TR James F. Allen {ARGOT}: a system overview Dept CS, Rochester U 1982 TR-101 April allen-1983:interrepre:inbook:221 James F. Allen An interval-based representation of temporal knowledge Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81) 1983 221--226
allen-1983:maintknowl:journal:832 James F. Allen Maintaining knowledge about temporal intervals Communications of the ACM 1983 26 11 832--843
allen-1983:recoginten:inbook: James F. Allen Recognizing intentions from natural language utterances 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 Towards a general theory of action and time Artificial Intelligence 1984 23 2 123--154 North Holland
allen-1989:itstime:inbook: James F. Allen It's time for planning 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 {TRAINS} Project: {A} case study in building a conversational planning agent 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 The {TRAINS} Project: {A} case study in building a conversational planning agent 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 {ARGOT}: the Rochester dialogue system 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 A common-sense theory of time: the longer paper dept. CS, Rochester U 1984 December allen.hayes-1985:commotheor:inbook:528 James F. Allen and Patrick Hayes A common-sense theory of time 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 Moments and points in an interval-based temporal logic dept. CS, Rochester U 1987 TR 180 December allen.hendl-1990:readiin: James Allen and James Hendler and Austin Tate Readings in Planning 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 A model of naive temporal reasoning 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 Reasoning about Plans Morgan Kaufmann 1991 allen.kooma-1983:plannusing:inbook:741 J. F. Allen and J. A. Kooman Planning using a temporal world model 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 Planning using a temporal world model International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 741--747 TIMELOGIC allen.perra-1978:partiin:TR James F. Allen and C. R. Perrault Participating in dialogues: understanding via plan deduction Dept CS, Toronto U 1978 AI memo 78-4 allen.perra-1979:analyinten:TR James F. Allen and C. R. Perrault Analyzing intention in dialogues Dept CS, Rochester U 1979 TR 50 April
allen.perra-1980:analyinten:journal:143 James F. Allen and C. R. Perrault Analyzing intention in dialogues Artificial Intelligence 1980 15 3 143--178 North Holland
aloim.weiss-1988:activvisio:journal: J. Y. Aloimonos and I. Weiss and A. Bandyopadhyay Active Vision Int. Journal of Computer Vision 1988 1 4 January
alpay-1990:neuramodel:thesis E. Alpaydin Neural models of incremental supervised and unsupervised learning Ecole Polytechnique Federale Lausanne 1990 {These No. 863(1990)} alpay-1991:galnetwo:TR E. Alpaydin {GAL}: Networks that grow when they learn and shrink when they forget Int. Computer Science Institut 1991 TR-91-032
Berkeley, USA
 alsop.macch-1995:schedseque:inbook:125 N. Alsop and S. Macchietto Scheduling and Sequencing Operations for the Start-Up of an Evaporator Plant 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 Adaptive planning: refitting old plans to new situations Proc 7th Cognitive Science Society 1985 alter-1986:adaptplann:inbook:65 R. Alterman An adaptive planner 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 Issues in Adaptive planning Div.n CS, UC Berkeley 1986 UCB/CSD 87/304 1986
alter-1988:adaptplann:journal:393 R. Altermann Adaptive Planning Cognitive Science 1988 12 393--421
altma.bucha-1987:particompi:inbook:399 R. Altman and B. Buchanan Partial compilation of strategic knowledge 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 Model checking for real-time systems 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 Real-Time Self-Explanatory Simulation 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 Navigation and Planning in a Mixed Initiative User Interface 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 A Planner for Exploratory Data Analysis 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 On representations of problems of reasoning about actions. Donald Michie Machine Intelligence Edinburgh University Press 1968 3 131--171 amare-1977:repreactio:inbook: Saul Amarel Representation of actions and transformations in {AIMDS} International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 amare-1977:repreactio:TR Saul Amarel Representation of actions and transformations in {AIMDS} 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 Planning by Rewriting: Efficiently Generating High-Quality Plans 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 Relationships between planning and execution AISB Quarterly 1986 57 11--14
ambro-1986:teamw2:TR Jose Ambros-Ingerson and others Teamwork 2 - the system so far Dept. CS, Essex U 1986 CSCM-23 ambro-1987:ipeminteg:thesis Jose Ambros-Ingerson {IPEM}: Integrated planning, execution and monitoring Dept CS, Essex U 1987 MPhil ambro.steel-1988:integplann:inbook:83 Jose A. Ambros-lngerson and Sam Steel Integrating Planning, Execution and Monitoring 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 Integrating Planning, Execution and Monitoring 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 Proving total correctness of recursive procedures Information and Control 1990 84 126--162
ander-1966:formaanaly:inbook:147 Alan Ross Anderson The formal analysis of normative systems 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 Segregating Planners and Their Environments 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 On-line Planning Simulation 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 Animal Behavior as a Paradigm for Developing Robot Autonomy Robotics and Autonomous Systems 1990 6 145--168 North-Holland
ander.farle-1988:planabstr:inbook:100 John S. Anderson and Arthur M. Farley Plan Abstraction Based on Operator Generalization 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 Planning with occurrences and abstract operators Dept. CS, U. of Oregon 1989 andre.rist-1996:copinwith:inbook:142 E. Andr\'e and T. Rist Coping with Temporal Constraints in Multimedia Presentation Planning Proc. of 13th National Conference on Artificial Intelligence (AAAI 96) 1996 142--147 AAAI Press/MIT Press antzo-1996:valveseque:thesis Vassillis N. Antzoulatos Valve Sequence in a Batch Plant 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 Deontic logic 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 A planner for reasoning about knowledge and action 1st National Conference on Artificial Intelligence of the American Association for AI (AAAI 80) 1980 131--133 appel-1981:plannnatur:thesis Douglas E. Appelt Planning natural language utterances to satisfy multiple goals dept CS, Stanford U 1981 appel-1982:plannnatur:inbook: Douglas A. Appelt Planning natural language utterances 2nd National Conference on Artificial Intelligence of the American Association for AI (AAAI 82) 1982 appel-1982:plannnatur:TR Douglas A. Appelt Planning natural language utterances to satisfy multiple goals SRI International 1982 AI center technical note SRI-AI-259 appel-1983:reseaon: Douglas E. Appelt Research on natural language utterance planning NSF project proposal number ECU 83-133 1983 appel-1983:teleggramm:inbook:595 Douglas E. Appelt {TELEGRAM}: a grammar formalism for language planning International Joint Conference on Artificial Intelligence (IJCAI 83) 1983 595--599 appel-1985:plannengli: Douglas E. Appelt Planning English Sentences Cambridge University Press 1985
appel-1985:plannengli:journal:1 Douglas E. Appelt Planning English referring expressions Artificial Intelligence 1985 26 1--33 North Holland KAMP
apple.c-1990:archifor:journal:186 C. Applegate and Elsaesser C. and Sanborn J. An architecture for adversarial planning IEEE trans. on systems, man and cybernetics 1990 20 186--194
apple.cook-1991:compustudy:journal:149 D. Applegate and W. Cook A Computational Study of the Job-Shop Scheduling Problem ORSA Journal on Computing 1991 3 149--156
apt-1981:tenyears:journal:431 K. R. Apt Ten years of Hoare's logic ACM Transactions on Programming Languages and Systems 1981 3 431--483
apt-1985:logicmodel: K. R. Apt Logics and models of concurrent programs Springer 1985 apt.delpo-1983:axiominter:inbook:15 K. R. Apt and C. Delporte An axiomatization of the intermittent assertion method using temporal logic ICALP 10 1983 15--27 descendant of Burstall 74 arago-1995:testbarchi:inbook:16 Jim Aragones Testbed Architecture Methodology for Planning Applications 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 {GE}'s Applications of Case-Based Reasoning 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 Discrete-time controlled {M}arkov processes with average cost criterion: {A} survey {SIAM} Journal on Control and Optimization 1993 31 2 282--344 March
arbib-1976:progrsynth:journal: M. A. Arbib Program synthesis and sensorimotor coordination Brain theory newsletter 1976 2 32:33
arbib.liaw-1995:sensotrans:journal:53 M. A. Arbib and J.-S Liaw Sensorimotor transformations in the worlds of frogs and robots Artificial Intelligence 1995 72 1-2 53--80 January
arkin-1989:towarunifi:inbook: R. C. Arkin Towards the Unification of Navigational Planning and Reactive Control Working Notes of the AAAI Spring Symp. on Robot Navigation 1989
Stanford, USA
March
arkin-1990:integbehav:journal:105 R. C. Arkin Integrating behavioral, perceptual and world knowledge in reactive navigation Robotics and Autonomous Systems 1990 6 1-2 105--122 June
arkin-1991:multidimen:inbook: R. C. Arkin The Multiple Dimensions of Action-Oriented Robotics Perception: Fission, Fusion and Fashion 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 {AuRA}: {A} Hybrid Reactive/Hierarchical Robot Architecture 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} Buzz: An Instantiation of a Schema-Based Reactive Robotic System 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 A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance 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 Knowing what to ask next and why: {A}sking pertinent questions using cases and hypotheticals 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 Compare and contrast, a test of expertise Proceedings of the Fifth National Conference on Artificial Intelligence 1986
Philadelphia, PA
astro-1965:optimcontr:journal:174 K. J. Astr{"o}m Optimal Control of {M}arkov Decision Processes with Incomplete State Estimation Journal of Mathematical Analysis and Applications 1965 10 174--205
athan.falb-1966:optimcontr: M. Athans and P. L. Falb Optimal control: an introduction to the theory and its applications McGraw-Hill 1966 atkin.cohen-1993:genetprogr:inbook:36 Marc Atkin and Paul R. Cohen Genetic Programming to Learn an Agent's Monitoring Strategy 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 Detecting and Reacting to Unplanned-for World States 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 Detecting and Reacting to Unplanned-for World States 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 Detecting and Reacting to Unplanned-for World States 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: Automata, languages, and programming : 16th international colloquim ({ICALP} 89) 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 The Application of {AI} Techniques in the Nuclear Industry Proc. Conf. on Remote Technology for the Nuclear Industry 1991
London
 aylet-1995:multiplann:inbook: R. S. Aylett Multi-Agent Planning: Modelling Execution Agents 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 Planning and behaviours - a hybrid architecture for mobile robots 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 Enabling Multiple Execution Agents 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 Multiple Cooperating Robots - Combining Planning and Behaviours 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 {HELP} - {A} {Hierarchical Execution-Led Planner} for Robotic Domains 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 {Final Report:The ARRL Enabling Technology Programmes, Part 5: Artificial Intelligence (GR5) } 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 {Research Demonstrator (RD5), Robot Manipulator Task and Motion Planning} Advanced Robotics Research Centre (UK) 1992 ARRL.92.041 (Issue 2) December
aylet.jones-1996:planndomai:journal:279 Ruth Aylett and Steve Jones Planner and Domain: Domain Configuration for a Task Planner International Journal of Expert Systems 1996 9 2 279--318
azeve.barah-1994:timetin:inbook: F. Azevedo and P. Barahona Timetabling in Constraint Logic Programming 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 Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving Proc. of the Int. Joint Conf. on Artificial Intelligence 1987 1018--1024 baale-1984:excephandl:inbook:1 J. van Baalen Exception handling in a robot planning system Workshop on Principles of Knowledge-Based Systems 1984 1ff IEEE babin.gatel-1987:freshnaval:inbook:196 M. Babin and M. Gately and M. Sullivan {FRESH}: a naval scheduling system IEEE conf. on AI applications 1987 1987 196--201 bacch-1990:reasorepre: F. Bacchus Reasoning and representing with probabilistic knowledge MIT press 1990 bacch-1995:tlplausers: F. Bacchus {TLPlan} User's Manual 1995 University of Waterloo, ON, Canada. Anonymous ftp: ftp://logos.uwaterloo.ca/pub/bacchus/tlplan/tlplan-manual.ps bacch-1995:tlplaversi:TR Fahiem Bacchus {TLP}lan (Version 2.0) User's Manual 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 Rewarding Behaviors 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 Structured Solution Methods for Non-Markovian Decision Processes 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 Applying Decision Theory to Reactive Planning AAAI Decision-Theoretic Planning Spring Symposium 1994 1--5 AAAI Press bacch.kaban-1995:contrstrat:inbook:5 F. Bacchus and F. Kabanza Control Strategies in Planning 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 Using Temporal Logic to Control Search in a Forward Chaining Planner 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 Planning for Temporally Extended Goals 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 Using Temporal Logic to Control Search in a Forward Chaining Planner 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 Dynamic Variable Ordering in {CSP}s Available on the web. 1997
bacch.yang-1992:expecvalue:inbook:369 Fahiem Bacchus and Qiang Yang The Expected Value of Hierarchical Problem-Solving 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 Reasoning about interdependent actions School of Engineering, Link{"{o}}ping U, Sweden 1988 Licentiate thesis backs-1994:findileast:inbook:46 Christer Backstrom Finding Least Constrained Plans and Optimal Parallel Executions is Harder that We Thought 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 Expressive Equivalence of Planning Formalisms Artificial Intelligence 1995 76 1--2 17--34
backs-1996:fiveyears:inbook:19 C. Backstrom Five Years of Tractable Planning 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 Planning in polynomial time: the {SAS}-{PUBS} case Intl. workshop on expert systems in engineering 1990
Vienna
October backs.klein-1990:plannin:TR Christer B{"{a}}ckstr{"{o}}m and Inger Klein Planning in polynomial time: the {SAS}-{PUBS} case 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 Planning in Polynomial Time: {T}he {SAS-PUBS} Class Computational Intelligence 1991 7 3 181--197 August
backs.kraet-1994:distrplan:inbook:74 Clemens Backstein and Gerhard Kraetzshmar and Josef Schneeberger Distributed Plan Maintenance for Scheduling and Execution 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 Current Trends in {AI} Planning: {EWSP} '93 -- 2nd European WorkShop on Planning IOS Press 1994 20 Frontiers in Artificial Intelligence and Applications
Amsterdam
0922-6389 baete.klop-1990:concu90:458: {CONCUR} '90: Theories of concurrency: unification and extension 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 A Spreading Activation Mechanism for Decision-Theoretic Planning 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 Net-based plan synthesis Dept CS, North Carolina State U 1987 October TR-87-28 bahle-1987:plansynth:inbook: Dennis R. Bahler Plan synthesis by net growth Workshop on autonomous mobile robots 1987
Seattle
July bahle-1988:net-bappro:inbook:1856 D. Bahler A net-based approach to the synthesis of nondeterministic robot plans Proc IEEE Conf on Automation & Robotics 1988 1856? bahle-1988:towarautom:inbook:221 Dennis R. Bahler Towards the automated synthesis of nondeterministic plans using generalized condition/event nets 7th Conf. of the Canadian Society for the Computational Study of Intelligence (CSCSI '88) 1988 221--226
bajcs-1988:activperce:journal:996 R. Bajcsy Active Perception IEEE 1988 76 8 996--1006 August
baker-1974:introto: Kenneth K. R. Baker Introduction to sequencing and scheduling Wiley 1974 baker-1989:simplsolut:inbook:11 A. Baker A simple solution to the Yale shooting problem 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 Temporal projection and explanation 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 Synthesis of Operating Procedures for Complete Chemical Plants, Part {IV}: Planning with Quantitative Constraints 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 One the Facial Structure of Scheduling Polyhedra Mathematical Programming Study 1985 24 179--218
baner-1971:someprope:TR Ranan B. Banerji Some properties of {GPS}-type problem solvers Jennings computer centre, Case Western Reserve U 1971 report 1179 January baner-1983:gpspsych:inbook: Ranan B. Banerji {GPS} and the psychology of the Rubik's cubist 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 A comparison of three problem-solving methods 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 A theory for the complete mechanization of a {GPS}-type problem solver 5th International Joint Conference on Artificial Intelligence (IJCAI 77) 1977 450--456 bapti.pape-1995:theorexper:inbook:600 Philippe Baptiste and Claude Le Pape A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling 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 Disjunctive Constraints for Manufacturing Scheduling: Principles and Extensions International Journal of Computer Integrated Manufacturing 1996 9 4 306--310
bapti.pape-1996:edge-const:inbook: Philippe Baptiste and Claude Le Pape Edge-Finding Constraint Propagation Algorithms for Disjunctive and Cumulative Scheduling Proceedings of the Fifteenth Workshop of the U.K. Planning Special Interest Group 1996 baral-1995:reasoabout:inbook:10 Chitta Baral Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification 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 Relating Logic Programming Theories of Actions and Partial Order Planning 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 Representing Actions - {I}: (Laws, Observations and Hypothesis) 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 Relating Theories of Actions and Reactive Robot Control 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 {RCS}: the {NBS} real-time control system 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 A Supervisory Control Synthesis Case-Study: The Antenna Control System 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 A Comparison of two Synthesis Methods for Timed Discrete-Event Systems 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 An Efficient Algorithm for Controller Synthesis under Full Observation 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 Supervisory Control Synthesis from Metric Temporal Logic Specifications 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 Synthesizing Plant Controllers Using Real-Time Goals Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAI) 1995 791--798 Morgan Kaufmann barbu-1997:coordagent:inbook:16 Mihai Barbuceanu Coordinating Agents by Role Based Social Constraints and Conversation Plans 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 Developing Best Operating Procedures: {A} Guide to Designing Good Manuals and Job-aids SRD Human Factors Department 1991 SRDA-R1 barne.gray-1991:behav:inbook: D. P. Barnes and J. O. Gray {Behaviour Synthesis for Co-Operant Mobile Robot Control} Proc. of the IEE Int. Conf. on Control 1991
Edinburgh
March barre.chris-1995:ucpopusers:TR Anthony Barrett and Dave Christianson and Mark Friedman {UCPOP} User's Manual (Version 4.0) 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 Partial Order Planning: Evaluating Possible Efficiency Gains Artificial Intelligence 1994 July
barre.weld-1994:partiplann:journal:71 A. Barrett and D. S. Weld Partial-order planning; evaluating possible efficiency gains Artificial Intelligence 1994 67 1 71--112
barre.weld-1994:task-via:inbook:1117 Anthony Barrett and Daniel S. Weld Task-Decomposition via Plan Parsing 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 A survey of verification techniques for parallel programs Springer verlag 1985 191 Lecture Notes in Computer Science barri-1986:usingtempo:TR Howard Barringer Using temporal logic in the compositional specification of concurrent systems Dept. CS, Manchester U 1986 UMCS-86-10-1 barri.fishe-1989:fairsmg: Howard Barringer and M. Fisher and G. Gough Fair {SMG} and linear time model checking 1989 barri.fishe-1989:metatframe:TR Howard Barringer and M. Fisher and G. Gabbay and G. Gough and Owens R. Metate{M}: a framework for programming in temporal logic Dept. CS, Manchester U 1989 UMCS-89-10-4 barri.gough-1985:mechatempo: Howard Barringer and Graham D. Gough Mechanisation of temporal logics. Part {I}: techniques 1985 barro.hendl-1997:par-kknowl:inbook:1246 Leliane Nunes de Barros and James Hendler and V. Richard Benjamins Par-{KAP}: {A} Knowledge Acquisition Tool for Building Practical Planning Systems 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 Modelling Planning Tasks 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 The roles of knowledge and deduction in program synthesis 6th International Joint Conference on Artificial Intelligence (IJCAI 79) 1979 37--43 bartl-1932:remem: F. C. Bartlett Remembering Cambridge University Press 1932 bartl-1982:knowlrepre:TR Richard Bartle Knowledge representation for actors in a dynamic environment Dept CS, Essex U 1982 bartl-1983:explisyste:TR Richard Bartle Explication systems: an objective look at planning Dept CS, Essex U 1983 CSM-63 bartl-1984:crossplann:inbook: R. Bartle Cross-level planning Alvey planning SIG 2 1984 bartl-1984:crossplann:inbook:280 R. Bartle Cross-level planning European Conference on AI (ECAI 84) 1984 280 bartl-1984:crossplann:TR R. Bartle Cross-level planning Dept CS, Essex U 1984 CSCM-16 bartl-1986:threeways:inbook: R. Bartle Three ways to cross-level plan Alvey planning SIG 5 1986
bartl-1987:plannprobl:journal: R. Bartle Planning, problem-solving and search Society for AI and the Simulation of Behaviour (AISB) Quarterly 1987 62
bartl-1988:crossplann:thesis R. Bartle Cross-level planning Dept CS, Essex U 1988
barto.bradt-1995:learnto:journal:81 Andrew G. Barto and S. J. Bradtke and Satinder P. Singh Learning to Act Using Real-Time Dynamic Programming Artificial Intelligence 1995 72 1 81--138 rtdp
batal-1983:compuintro:TR John Batali Computational introspection 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 Operational Design for Startup and Shutdown of Chemical Plants Based on a Topological Approach Proceedings of the American Institute of Chemical Engineers 1995, Spring National Meeting 1995
Houston
March bauer-1994:integproba:inbook:620 Mathias Bauer Integrating Probabilistic Reasoning into Plan Recognition 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 Semantics from different points of view Springer 1979 6 Springer series in language and communication bauer.feite-1993:steerangle:inbook:67 R. Bauer and W. Feiten and G. Lawitzky Steer Angle Fields: An Approach to Robust Manoeuvring in Cluttered, Unknown Environments 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 Logic-based Plan Recognition for Intelligent Help Systems 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 Executing Plans in a Tank Battle Simulation 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 A Schema for Constraint Relaxation with Instantiations for Partial Constraint Satisfaction and Schedule Optimization 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 A Schema for Constraint Relaxation with Instantiations for Partial Constraint Satisfaction and Schedule Optimization 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 Beyond Contention: Extending Texture-Based Scheduling Heuristics 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 Texture-Based Heuristics for Scheduling Revisited 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 Using an Advice Language for Schedule Communication in a Flexible Manufacturing Automation Cel 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 A dynamical systems perspective on agent-environment interaction 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 A biological perspective on autonomous agent design Robotics and Autonomous Systems 1990 6 169--186 June
beetz.mcder-1992:declagoals:inbook:3 M. Beetz and D. McDermott Declarative Goals in Reactive Plans 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 Executing Structured Reactive Plans 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 Local Planning of Ongoing Activities 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 Resource management in automated planning AI Applications Inst., Edinburgh U 1985 AIAI-TR-8 bell-1985:usejusti:TR Colin Bell Use and justification of algorithms for managing temporal knowledge in {O}-Plan AI Applications Inst., Edinburgh U 1985 AIAI-TR-6 bell-1987:reprereaso: Colin Bell Representing and reasoning with disjunctive temporal constraints in a point-based model 1987 bell-1988:logicnon-m:TR John Bell The logic of non-monotonicity Dept CS, Essex U 1988 CSM-122 bell-1988:predicondi:TR John Bell Predictive conditionals Dept CS, Essex U 1988 CSCM-34 bell-1989:extencausa: John Bell Extended causal theories 1989 bell-1989:nonmoreaso:TR John Bell Nonmonotonic reasoning, nonmonotonic logics and reasoning about change Dept CS, Essex U 1989 CSM-126 February bell-1989:predicondi:TR John Bell Predictive conditionals and reasoning about the future Dept CS, Essex U 1989 CSM-127 March
bell-1990:whyframe:journal:3 John Bell Why the frame problem is not a problem AICOM 1990 3 1 3--10
bell.curri-1987:timewindo:TR Colin Bell and Ken Currie and Austin Tate Time window and resource usage in {O}-Plan AI Applications Inst., Edinburgh U 1987 AIAI-TR-32 bell.tate-1985:usingtempo:inbook: Colin Bell and Austin Tate Using temporal constraints to restrict search in a planner Alvey IKBS planning SIG workshop 3 1985 bell.tate-1985:usingtempo:TR Colin Bell and Austin Tate Using temporal constraints to restrict search in a planner 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 Keeping layered control simple 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 State configured layered control 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 Applied Dynamic Programming Princeton University Press, 1962 1962 benar-1985:knowlcontr:thesis David Ben-Arieh Knowledge-based control system for automated production and assembly Purdue U 1985 UMI NBS85-29256
benar.halpe-1982:deterpropo:journal:402 M. Ben-Ari and J. Y. Halpern and A. Pnueli Deterministic propositional dynamic logic: finite models, complexity, and completeness J. Computer and system sciences 1982 25 402--417
benar.manna-1981:tempologic:inbook: M. Ben-Ari and Z. Manna and A. Pnueli The temporal logic of branching time ACM symposium on principles of programming languages 8 1981 benja-1995:analylangu:inbook:23 D. Paul Benjamin Analyzing Languages of Actions for the Purpose of Synthesis 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 Reformulating Theories Of Action For Efficient Planning 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 {AI} planning systems in command and control Mitre Corp 1985 MP-85W00010 July benoi.david-1985:aiin:TR John W. Benoit and John R. Davidson and E. Gordon Powell {AI} in joint deployment planning Mitre Corp 1985 MP-85W00021 September benso.nilss-1995:reactplann:inbook: S. Benson and N. J. Nilsson Reacting, Planning and Learning in an Autonomous Agent K. Furukawa and D. Michie and S. Muggleton Machine Intelligence 14 1995 benth-1983:logictime:156: J. F. A. K. van Benthem The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse Reidel 1983 156 Synthese Library
Dordrecht
90-277-1421-5 benth-1984:partinonmo:TR J. F. A. K. van Benthem Partiality and nonmonotonicity in classical logic CSLI, Stanford U 1984 CSLI-84-12
benth-1984:tenselogic:journal:1 J. F. A. K. van Benthem Tense logic and time Notre Dame J. of Formal Logic 1984 25 1 1--16
benth-1985:manuainten:TR J. F. A. K. van Benthem A Manual of Intensional Logic CSLI (Center for the study of language and information), Stanford U 1985 benth-1986:timelogic:inbook: J. van Benthem Time, Logic and Computation 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 Use of Artificial Intelligence in Automated Process Planning Computers in Mechanical Engineering 1996 47--55 September
berge.hammo-1991:roentmemor:inbook:203 J. Berger and K. J. Hammond {ROENTGEN}: {A} Memory-Based Approach to Radiation Therapy Treatment Design Proc. of the Case-Based Reasoning Workshop 1991 203--214
Washington, D.C.
 bergm-1992:knowlacqui:inbook:125 Ralph Bergmann Knowledge acquisition by generating skeletal plans 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 Effizientes Problemloesen durch flexible Wiederverwendung von Faellen auf verschiedenen Abstraktionsebenen Infix-Verlag 1996 DISKI 138
Sankt Augustin
bergm.munio-1996:fallbplane:journal: Ralph Bergmann and Hector Munioz and Manuela Veloso Fallbasiertes Planen: Ausgewaehlte Methoden und Systeme KI - Kuenstliche Intelligenz 1996 1
bergm.wilke-1995:buildrefin:journal:53 Ralph Bergmann and Wolfgang Wilke Building and refining abstract planning cases by change of representation language Journal of Artificial Intelligence Research 1995 3 53--118
bergm.wilke-1995:flexireuse:inbook: Ralph Bergmann and Wolfgang Wilke Flexible Reuse of Plans by Abstraction and Refinement Proceedings of the IJCAI Workshop on Reuse of Plans, Proofs, and Programs. 1995 bergm.wilke-1995:learnabstr:inbook: Ralph Bergmann and Wolfgang Wilke Learning abstract planning cases 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 Process Algebra Semantics of \phi{SDL} 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 The axiomatic semantics of programs based on Hoare's logic Acta Informatica 1984 21 293--320
berli-1980:someobser:TR H. Berliner Some observations on problem solving Dept CS, CMU 1980 CMU-CS-80-113 April
berli-1984:reviewilen:journal:242 Daniel Berlin Review of (Wilensky 83) ``Planning and understanding'' Artificial Intelligence 1984 23 242--244 North Holland
berli-1985:integprobl:inbook:1047 D. L. S. Berlin Integrating problem-solving tactics International Joint Conference on Artificial Intelligence (IJCAI 85) 1985 1047--1051 berli-1985:spaninteg:inbook:1047 D. L. S. Berlin {SPAN}: Integrating Problem Solving Tactics Proc. of the Int. Joint Conf. on Artificial Intelligence 1985 1047--1051
berli.campb-1984:usingchunk:journal: H Berliner and M. S. Campbell Using chunking to solve chess pawn endgames Artificial Intelligence 1984 23 North Holland
berry.choue-1993:distrappro:inbook:23 Pauline M. Berry and Berthe Y. Choueiry and Lamia Friha A Distributed Approach Based on Temporal Abstractions for Planning, Scheduling and Resource Allocation 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 {DISA}: Distributed Resource Management Based on Problem Decomposition & Temporal Abstractions Seventh Australian Joint Conference on Artificial