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
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
Distributed approach to dynamic resource management
based on temporal influence
Intelligent Systems Engineering
1994
3
2
79--86
berry.cosse-1984:estersynch:inbook:389
G. Berry and L. Cosserat
The {ESTEREL} synchronous programming language and its
mathematical semantics
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
Programmation synchrone des syst\`emes r\'eactifs: le
langage {ESTEREL}
Technique et Science Informatique
1987
6
4
berts-1987:dynamprogr:
Dimitri P. Bertsekas
Dynamic Programming: {D}eterministic and Stochastic
Models
Prentice-Hall
1987
Englewood Cliffs, NJ
berts-1995:dynamprogr:
Dimitri P. Bertsekas
Dynamic Programming and Optimal Control
Athena Scientific
1995
Belmont, Massachusetts
Volumes 1 and 2
berts.casta-1989:adaptaggre:journal:589
Dimitri P. Bertsekas and David A. Casta\~{n}on
Adaptive Aggregation Methods for Infinite Horizon
Dynamic Programming
IEEE Transactions on Automatic Control
1989
34
6
589--598
June
berts.shrev-1978:stochoptim:
D. P. Bertsekas and S. E. Shreve
Stochastic Optimal Control: The Discrete Time Case
Academic Press, New York
1978
berts.tsits-1996:neuroprogr:
Dimitri P. Bertsekas and John N. Tsitsiklis
Neuro-Dynamic Programming
Athena Scientific
1996
Belmont, MA
besco-1992:globaplann:inbook:32
Sylvie Bescos
Global Planning of Several Plants
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
The {"A}riadne's Clew{" }Algorithm: Global Planning
with Local Mehtods
Proc. of the IEEE/RSJ Int. Conf. on Intelligent
Robots and Systems
1993
Yokohama, Japan
bibel-1985:deducsolut:inbook:
Wolfgang Bibel
A deductive solution for plan generation
Schmidt J. W. and Thanos C.
Workshop on KB management systems
1985
Chania, Greece
June
bibel-1985:deducsolut:TR
Wolfgang Bibel
A deductive solution for plan generation
TU Munich
1985
Report
ATP-38-II-85
bibel-1986:deducsolut:journal:115
Wolfgang Bibel
A deductive solution for plan generation
New Generation Computing
1986
4
115--132
theorem proving approach; linear connection proofs
without frame axioms
biefe-1992:iterarefin:inbook:42
Eric Biefeld
Iterative Refinement Scheduling
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
Generative Planning to Support Military Operations
Planning
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
Planning-based Integrated Decision Support Systems
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
Automatic program construction techniques
Macmillan publishing Co
1984
bierm.guiho-1984:overvautom:inbook:
A. W. Biermann and G. Guiho and Y. Kodratoff
An overview of automatic program construction
techniques
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
An overview of the basic knowledge needed to advance
the state of the art in robotics
IEEE trans. on systems, man and cybernetics (SMC)
1981
11
8
574--579
birnb-1986:integproce:thesis
L. Birnbaum
Integrated Processing in Planning and Understanding
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
Opportunistic planning and {F}reudian slips
Proceedings of the Sixth Annual Conference of the
Cognitive Science Society
1984
Boulder, Colorado
biund-1994:presededuc:inbook:1
Susanne Biundo
Present-Day Deductive 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
1--5
biund.steph-1996:modelplann:inbook:599
Susanne Biundo and Werner Stephan
Modeling Planning Domains Systematically
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
System Assistence in Structured Domain Model
Development
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
Scheduling Under Resource Constraints - Deterministic
Models
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
Guidance and control architecture for the {EAVE}
vehicle
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
Autonomous underwater vehicles: {C}urrent activities
and research opportunities
Robotics and Autonomous Systems
1991
7
139--150
blum.furst-1995:fastplann:inbook:1636
Avrim Blum and Merrick Furst
Fast Planning Through Planning Graph Analysis
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
Fast Planning Through Planning Graph Analysis
Carnegie Mellon University
1995
CMU-CS-95-221
December
blum.furst-1997:fastplann:journal:279
Avrim L. Blum and Merrick L. Furst
Fast planning through planning graph analysis
Artificial Intelligence
1997
90
1--2
279--298
blyth-1992:prodi4:TR
Jim Blythe and others
{PRODIGY} 4.0: The Manual and Tutorial
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
Decision-theoretic subgoaling for planning with
external events
Proceedings of the {AAAI} Spring Symposium on Decision
Theoretic Planning
1994
13--18
Stanford, CA
blyth-1994:plannwith:inbook:94
Jim Blythe
Planning with External Events
Proceedings of the Tenth Conference on Uncertainty in
Artificial Intelligence
1994
94--101
Seattle, Washington
blyth-1995:aiplann:inbook:28
Jim Blythe
{AI} Planning in Dynamic, Uncertain Domains
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
Decompositions of Markov Chains for Reasoning about
External Change in Planners
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
The Footprint Principle for Heuristics for
Probabilistic Planners
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
A Representation for Efficient Planning in Dynamic
Domains With External Events
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
On becoming reactive
Proc 6th International Machine Learning Workshop
1989
Morgan Kaufman, Los Altos
blyth.reill-1993:integreact:TR
J. Blythe and W. S. Reilly
Integrating reactive and Deliberative Planning for
Agents
Carnegie Mellon University
1993
CMU-CS-93-155
May
blyth.velos-1992:analysearc:inbook:13
Jim Blythe and Manuela Veloso
An Analysis of Search Techniques for a Totally-Ordered
Nonlinear Planner
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
Analogical Replay for Efficient Conditional Planning
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
Qualitative reasoning about physical systems
MIT press
1985
bobro.colli-1975:repreunder:
D. G. Bobrow and A. Collins
Representation and understanding
Academic press
1975
bocke.rende-1990:repreuse:journal:293
U. Bockenholt and L. Rendell and C. C. White
Representation and use of knowledge for decision
making in human mechanized and ideal agents
IEEE trans. on systems, man and cybernetics
1990
20
2
293--295
boddy-1991:anytiprobl:inbook:738
Mark Boddy
Anytime Problem Solving Using Dynamic Programming
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
Classical Nonlinear Planning in Complex Domains
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
Solving time-dependent planning problems
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
Managing Disjunction for Practical Temporal
Reasoning
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
An Exception Handling Model Applied to Autonomous
Mobile Robots
Proc. of the Int. Conf. on Intelligent Autononmous
Systems
1993
297--306
February
boiss-1992:probldu:thesis
O. Boissier
Probl\`eme du contr\^ole dans un syst\`eme integr\'e
de vision
LIFIA-IMAG
1992
bolli.duffi-1988:compucontr:
J. Bollinger and N. Duffie
Computer control of machines and processes
Addison Wesley
1988
bonas-1995:integdelib:inbook:21
R. Peter Bonasso
Integrating Deliberation in an Intelligent Agent
Architecture
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
A Reactive Robot System for Find and Fetch Tasks in an
Outdoor Environment
Proc. of the Nat. Conf. on Artificial
Intelligence
1992
bonas.korte-1995:charaarchi:inbook:
R. P. Bonasso and D. Kortenkamp
Characterizing an Architecture for Intelligent,
Reactive Agents
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
Experiences with an Architecture for Intelligent
Reactive Agents
Proc. of the Int. Joint Conf. on Artificial
Intelligence
1995
bonas.korte-1996:usinglayer:inbook:1
R. Peter Bonasso and David Kortenkamp
Using a Layered Control Architecture to Alleviate
Planning with Incomplete Information
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
Readings in distributed artificial intelligence
M. Kaufmann
1988
San Mateo, Calif
bonet.loeri-1997:robusfast:inbook:714
Blai Bonet and Gabor Loerincs and Hector Geffner
A Robust and Fast Action Selection Mechanism for
Planning
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
Merging strategic and tactical planning in dynamic,
uncertain environments
DARPA PCS workshop 90
1990
379--389
booch-1991:objecdesig:
G. Booch
Object-oriented design with applications
Addison-Wesley
1991
object oriented design
borgi-1981:ondefin:inbook:254
A. Borgida
On the definition of specialization hierarchies for
procedures
International Joint Conference on Artificial
Intelligence (IJCAI 81)
1981
254--256
borra.velos-1994:increlearn:inbook:5
Daniel Borrajo and Manuela Veloso
Incremental Learning of Control Knowledge for
Improvement of Planning Efficiency and Plan Quality
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
Incremental Learning of Control Knowledge for
Nonlinear Problem Solving
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
Lazy Incremental Learning of Control Knowledge for
Efficiently Obtaining Quality Plans
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
{IOPS} Advisor: Research in Progress on
Knowledge-Intensive Methods for Irregular Operations
Airline Scheduling
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
Globe-trotter, an intelligent flight itinerary
planner
IEEE Expert
1989
4
2
56--64
Summer
boswe-1986:analygoal:inbook:
Robin Boswell
Analytic goal regression: problems, solutions and
enhancements
European Conference on AI (ECAI '86)
1986
boswe-1986:analygoal:TR
Robin Boswell
Analytic goal regression: problems, solutions and
enhancements
Dept AI, Edinburgh U
1986
research report
282
bouil.simeo-1994:numertechn:TR
B. Bouilly and T. Simeon and R. Alami
A numerical technique for planning motion strategies
for a mobile robot in presence of uncertainties
LAAS, Toulouse, France
1994
94385
bourn.fox-1983:autonmanuf:inbook:7
David A. Bourne and Mark S. Fox
Autonomous manufacturing: automating the job-shop
CMU Robotics Institute's Annual Research Review
1983
7--19
bourn.fox-1984:autonmanuf:journal:76
David A. Bourne and Mark S. Fox
Autonomous manufacturing: automating the job-shop
Computer
1984
17
9
76--86
bouti-1996:plannlearn:inbook:195
C. Boutilier
Planning, Learning and Coordination in Multiagent
Decision Processes
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
Planning with Concurrent Interacting Actions
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
Prioritized Goal Decomposition of Markov Decision
Processes: Toward a Synthesis of Classical and Decision
Theoretic Planning
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
Planning Under Uncertainty: {S}tructural Assumptions
and Computational Leverage
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
Planning under Uncertainty: Structural Assumptions and
Computational Leverage
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
Using Abstractions for Decision-Theoretic Planning
with Time Constraints
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
Exploiting Structure in Policy Construction
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
Exploiting Structure in Policy Construction
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
Approximating Value Trees in Structured Dynamic
Programming
Lorenza Saitta
Proceedings of the Thirteenth International Conference
on Machine Learning
1996
bouti.fried-1995:nondeactio:inbook:39
Craig Boutilier and Nir Friedman
Nondeterministic Actions and the Frame Problem
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
Computing Optimal Policies for Partially Observable
Decision Processes Using Compact Representations
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
Generalization in Reinforcement Learning: {S}afely
Approximating the Value Function
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
The correctness problem in computer science
Academic press
1981
London
brach.leves-1985:readiin:
Ronald J. Brachman and Hector J. Levesque
Readings in knowledge representation
Morgan Kaufmann
1985
Los Altos, Calif
brada.hende-1992:reactbehav:inbook:178
M. Bradakis and T. C. Henderson and J. Zachary
Reactive Behavior Design Tools
Proc. IEEE Int. Symp. on Intelligent Control
1992
178--183
Glasgow, UK
brady-1982:robotmotio:
Michael Brady and others
Robot motion: planning and control
MIT Press
1982
Cambridge, MA
brady.berwi-1983:compumodel:
Michael Brady and R. C. Berwick
Computational models of discourse
MIT press
1983
brafm-1997:heurivaria:inbook:76
Ronen I. Brafman
A Heuristic Variable Grid Solution Method for
{POMDP}s
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
Towards Knowledge-Level Analysis of Motion Planning
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
Knowledge as a Tool in Motion Planning under
Uncertainty
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
Knowledge Considerations in Robotics and Distribution
of Robotic Tasks
Proc. of the 14th IJCAI
1995
96--102
Montreal, Canada
brand-1984:intenactin:
Myles Brand
Intending and acting: towards a naturalized action
theory
Bradford books, MIT press
1984
bratm-1983:takinplans:journal:271
M. Bratman
Taking plans seriously
Social theory and practice
1983
9
271--287
bratm-1984:twofaces:journal:375
M. Bratman
Two faces of intention
Philosophical review
1984
XCIII
3
375--405
bratm-1987:intenplans:
M. Bratman
Intentions, plans and practical reason
Harvard University Press
1987
bratm-1990:whatis:inbook:15
M. E. Bratman
What Is Intention?
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
Plans and Resource-Bounded Practical Reasoning
Computational Intelligence
1988
4
4
349--355
bratm.israe-1988:plansresou:TR
M. Bratman and D. J. Israel and Pollack M. E.
Plans and resource-bounded practical reason
SRI International
1988
AI center technical note
SRI-AI 425R
September
braue-1985:automlangu:194:
Automata, languages and programming : Proceedings of
the 12th colloquium
1985
Wilfried Brauer
194
Lecture notes in computer science
Nafplion, Greece
July
brege.lecor-1996:sosic:
D. Bregeon and L. Le\~Corre
{{SOSICOM} Suivi d'Objects par le Son et L'Image pour
la Communication M\'ediatis\'ee}
Projet {ENSIMAG} 3\'eme ann\'ee
1996
June
breit.lock-1994:improsearc:inbook:
Silvia Breitinger and Hendrik C. R. Lock
Improving Search for Job-Shop Scheduling with
{CLP}({FD})
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
Using Constraint Logic Programming for Industrial
Scheduling Problems
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
An interactive planner that creates a structured
annotated trace of its operation
CS research lab, Rutgers U
1981
CBM-TR-123
PLANX-10
bresi-1993:desigreact:inbook:5
John L. Bresina
Design of a Reactive System Based on Classical
Planning
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
Integrating planning and reaction: {A} preliminary
report
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
Managing Action Duration Uncertainty with Just-in-Case
Scheduling
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
Search Space Characterization for a Telescope
Scheduling Application
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
Operational Closed-loop Observation Scheduling and
Execution
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
Plan understanding, narrative comprehension and story
understanding
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 82)
1982
brewk.hertz-1990:howto:TR
G. Brewka and J. Hertzberg
How to Do Things with Worlds: On Formalizing Actions
and Plans
BMFT-Verbundprojekt TASSO
1990
TASSO-Report
11
britt.geoff-1992:real-conti:inbook:112
Daniel L. Britt and Amy L. Geoffroy
Real-Time Contingency Handling In Maestro
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
Symbolic error analysis and robot planning
Intl. J. of robotics research
1982
1
4
29--68
sensing, uncertainty, monitoring, space planning
brook-1982:symboerror:TR
Rodney A. Brooks
Symbolic error analysis and robot planning
MIT AI lab
1982
AIM-685
September
brook-1985:robuslayer:TR
Rodney A. Brooks
A robust layered control system for a mobile robot
AI Lab, MIT
1985
AIM-864
September
brook-1986:achieartif:TR
R. A. Brooks
Achieving Artificial Intelligence through building
robots
MIT
1986
AI Memo
brook-1986:hardwretar:TR
R. A. Brooks
A hardware retargetable distributed layered
architecture for mobile robot control
MIT
1986
AI Memo
brook-1986:robuslayer:journal:14
Rodney A. Brooks
A robust layered control system for a mobile robot
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
Elephants don't play chess
P. MAES
Reasoning about Actions and Plans
Elsevier
1990
3--16
brook-1991:intelwitho:inbook:569
Rodney A. Brooks
Intelligence without reason
International Joint Conference on Artificial
Intelligence (IJCAI-91)
1991
569--595
brook-1991:intelwitho:journal:139
Rodney A. Brooks
Intelligence without representation
Artificial Intelligence
1991
47
139--160
North Holland
brook.conne-1986:mobilrobot:inbook:
R. A. Brooks and J. H. Connell and A. Flynn
A mobile robot with onboard parallel processor and
large workspace arm
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
Fast, Cheap and out of Control: {A} Robot Invasion of
the Solar System
Journal of the British Interplanetary Society
1989
42
10
478--485
October
brove.croft-1987:reasoabout:inbook:190
C. Broverman and W. B. Croft
Reasoning about exceptions during plan execution
monitoring
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 87)
1987
190
brown-1984:expersyste:thesis
David C. Brown
Expert systems for design problem-solving using design
refinement with plan selection and redesign
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:
The frame problem in artificial intelligence: proc. of
1987 workshop
1987
Frank M. Brown
Morgan Kaufmann
brown-1987:modallogic:inbook:
Frank M. Brown
A modal logic for the representation of knowledge
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
Plan selection in design problem solving
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
Action, reflective possibility and the frame problem
Frank M. Brown
The frame problem in artificial intelligence: proc. of
1987 workshop
1987
Morgan Kaufmann
bruce-1972:modelfor:journal:1
Bertram C. Bruce
A model for temporal reference and its application to
a question answering program
Artificial Intelligence
1972
3
1
1--25
North Holland
CHRONOS. intervals defined by end-points
bruce-1977:planssocia:TR
Bertram C. Bruce
Plans and social actions
Bolt Beranek Newman
1977
Tech report
34
April
bruce-1980:analyinter:journal:295
Bertram C. Bruce
Analysis of interacting plans as a guide to the
understanding of story structure
Poetics
1980
9
295--311
bruce-1984:robotplans:TR
Bertram C. Bruce
Robot plans and human plans: implications for models
of communication
Bolt Beranek and Newman Inc.
1984
technical report
314
bruce.newma-1978:interplans:journal:195
B. Bruce and D. Newman
Interacting plans
Cognitive science
1978
2
3
195--233
bruce.newma-1978:interplans:TR
B. Bruce and D. Newman
Interacting plans
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
A rule-based system to schedule production
IEEE Computer
1986
19
7
32--40
July
bucha-1994:decistheor:inbook:281
Iain Buchanan
Decision Theory, Planning and Constraint
Satisfaction
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
A Distributed Asynchronous Hierarchical Problem
Solving Architecture Applied to Plant Scheduling
Conference on AAIE
1989
Cambridge, UK
July
budac-1985:5thinter:199:
5th International Conference on Fundamentals of
Computation Theory
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
Achieving Goals Through Interaction with Sensors and
Actuators
Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots
and Systems
1992
903--908
Raleigh, NC
July
bundy-1977:exploprope:TR
A. Bundy
Exploiting the properties of functions to control
search
Dept. Artificial Intelligence, University of
Edinburgh
1977
Research Report
45
October
bundy-1977:usingplan:TR
Alan Bundy
Using plan formation for prediction
???
1977
note 23
bundy-1978:caseframe:TR
Alan Bundy
Case frames and {STRIPS} operator tables
???
1978
note 28
bundy-1987:useexpli:inbook:
Alan Bundy
The use of explicit plans to guide inductive proofs
Conf. on Automated Deduction (CADE 9)
1987
bundy-1987:useexpli:TR
Alan Bundy
The use of explicit plans to guide inductive proofs
Dept AI, Edinburgh University
1987
research paper
349
burge-1984:basictense:inbook:89
J. P. Burgess
Basic tense logic
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
Quantification in Causal Link Planning
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
Scheduling in a Dynamic Environment
Dept. CS, U Strathclyde, Glasgow
1988
AISL-38-88
November
burke-1988:tempoconst:TR
Peter Burke
Temporal Constraint Propagation in {DAS}
Dept CS, U Strathclyde, Glasgow
1988
AISL-34-88
August
burke.pross-1990:distrasync:inbook:
Peter Burke and Patrick Prosser
Distributed Asynchronous Scheduling
J. S. Gero Gero
Applications of Artificial Intelligence in Engineering
V
Springer-Verlag
1990
burke.pross-1990:simuldistr:inbook:
Peter Burke and Patrick Prosser
Simulating Distributed Decision Making Under
Constraints
Proceedings of the 1990 Summer Computer Simulation
Conference
1990
Calgary
burme.sunde-1991:coopeprobl:inbook:77
B. Burmeister and K. Sundermeyer
Cooperative problem-solving guided by intentions and
perception
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
Formalizing the semantics of first-order logic in
first-order logic, and the application to planning for
robots
U Edinburgh
1970
MIP-R-73
burst-1974:progrprovi:inbook:308
R. M. Burstall
Program proving as hand simulation with a little
induction
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
{ITAS}: {A} Portable Interactive Transportation
Scheduling Tool Using a Search Engine Generated from
Formal Specifications
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
Complexity Results for Extended Planning
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
An Average Case Analysis of Planning
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
The Computational Complexity of Propositional {STRIPS}
Planning
Artificial Intelligence
1994
69
1-2
165--204
bylan-1996:probaanaly:journal:241
Tom Bylander
A probabilistic analysis of Propositional {STRIPS}
Planning
Artificial Intelligence
1996
81
241--270
bylan-1997:lineaprogr:inbook:694
Tom Bylander
A Linear Programming Heuristic for Optimal Planning
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
Planning meals: problem-solving on a real data base
Cognition
1977
5
287--332
cadol-1993:survecompl:inbook:131
Marco Cadoli
A Survey of Complexity Results for Planning
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
Indoor automation with many mobile robots
Proc. of the IEEE/RSJ Int. Workshop on Intelligent
Robots and Systems
1990
camar-1987:plangener:journal:291
L. Camarinha-Matos
Plan Generation in Robotics
Robotics
1987
3
(3 & 4)
291--328
September-December
camma.macar-1983:stratcoope:inbook:767
S. Cammarata and D. MacArthur and R. Steeb
Strategies of cooperation in distributed problem
solving
International Joint Conference on Artificial
Intelligence (IJCAI 83)
1983
767--770
camma.macar-1983:stratcoope:TR
S. Cammarata and D. MacArthur and R. Steeb
Strategies of cooperation in distributed problem
solving
Rand Corp.
1983
AD-136527/9
October
camma.mcart-1983:stratcoope:inbook:767
Stephanie Cammarata and David McArthur and Randall
Steeb
Strategies of Cooperation in Distributed Problem
Solving
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
Chunking as an abstraction mechanism
CMU
1988
February
campb-1988:chunkas:TR
Murray Campbell
Chunking as an abstraction mechanism
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
Case-Based Plan Recognition in Dynamic Domains
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
Pragmatic modeling in information system interfaces
Delaware University
1985
carbe-1988:modelusers:journal:23
S. Carberry
Modelling the user's plans and goals
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
The counterplanning process: reasoning under
adversity
6th International Joint Conference on Artificial
Intelligence (IJCAI 79)
1979
124--130
POLITICS
carbo-1979:countproce:TR
J. G. Carbonell
The counterplanning process: a model of
decision-making in adverse situations
Dept CS, Carnegie-Mellon University
1979
Tech Rept
February
carbo-1979:subjeunder:
J. G. Carbonell
Subjective understanding: computer models of belief
systems
Ann Arbor MI: UMI Research Press
1979
carbo-1979:subjeunder:thesis
J. G. Carbonell
Subjective understanding: computer models of belief
systems
Yale
1979
carbo-1980:politproje:TR
J. G. Carbonell
The {POLITICS} project: subjective reasoning in a
multi-actor planning domain
Dept of CS, CMU
1980
Annual Rept
carbo-1981:compumodel:inbook:147
J. G. Carbonell
A computational model of problem solving by analogy
7th International Joint Conference on Artificial
Intelligence (IJCAI 81)
1981
147--152
carbo-1981:countstrat:journal:295
J. G. Carbonell
Counterplanning: a strategy-based model of adversary
planning in real-world situations
Artificial Intelligence
1981
16
295--329
North Holland
carbo-1981:politexper:inbook:
J. G. Carbonell
{POLITICS}: an experiment in subjective understanding
and integrated reasoning
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
Subjective Understanding: Computer Models of Belief
Systems
UMI Research Press
1981
carbo-1982:derivanalo:journal:
J. G. Carbonell
Derivational analogy in problem solving and knowledge
acquisition
Intl. machine learning workshop 2
1982
June
Monticello Illinois
carbo-1982:experlearn:inbook:
J. G. Carbonell
Experiential learning in analogical problem solving
2nd National Conference on Artificial Intelligence
(AAAI 82)
1982
carbo-1982:learnby:inbook:
J. G. Carbonell
Learning by analogy: formulating and generalizing
plans from past
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
Learning by analogy: formulating and generalizing
plans from past
Dept CS, Carnegie-Mellon University
1982
CMU-CS-82-126
carbo-1983:derivanalo:inbook:
J. G. Carbonell
Derivational analogy and its role in problem solving
National Conference on Artificial Intelligence (AAAI
83)
1983
carbo-1985:derivanalo:inbook:371
J. Carbonell
Derivational Analogy: {A} Theory of Reconstructive
Problem Solving
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
Derivational Analogy: {A} Theory of Reconstructive
Problem Solving and Expertise Acquisition
Carnegie-Mellon University
1985
CMU-CS-85-115
carbo-1986:derivanalo:inbook:
J. G. Carbonell
Derivational analogy: {A} theory of reconstructive
problem solving and expertise acquisition
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
Integrating derivational analogy into a general
problem solving architecture
Proceedings of the DARPA Workshop on Case-Based
Reasoning
1988
104--124
Clearwater Beach, Florida
carbo-1988:prodiinteg:inbook:
J. G. Carbonell
{PRODIGY}: an integrated architecture for planning and
learning
Symposium for methodologies for intelligent systems
3
1988
Turin
October
carbo.yolan-1987:learnby:TR
Jaime G. Carbonell and G. I. L. Yolanda
Learning by Experimentation: The Operator Refinement
Method
CMU
1987
CMU-CS-87-167
September
PRODIGY
carle-1991:recovfrom:inbook:
Jean Carletta
Recovering from plan failure using a layered
architecture
10th UK planning SIG
1991
Logica Cambridge
carle-1991:recovfrom:TR
Jean Carletta
Recovering from plan failure using a layered
architecture
Department of AI, Edinburgh
1991
DAI research paper
524
carle-1991:statebelie:TR
Jean Carletta
A state-based belief representation for belief
modeeling in dialogue
Department of AI, Edinburgh
1991
DAI research paper
521
carli.pinso-1989:algorfor:journal:165
J. Carlier and E. Pinson
An Algorithm for Solving the Job-Shop Problem
Management Science
1989
35
165--176
carli.pinso-1990:practuse:journal:269
J. Carlier and E. Pinson
A practical use of {J}ackson's preemptive schedule for
solving the job-shop problem
Annals of Operations Research
1990
269--287
carli.pinso-1994:adjusheads:journal:146
J. Carlier and E. Pinson
Adjustment of heads and tails for the job-shop
problem
European Journal of Operational Research
1994
146--161
carls.nemha-1966:schedto:journal:52
R. C. Carlson and G. L. Nemhauser
Scheduling to minimize interaction cost
Operations Research
1966
14
52--58
OR
carmo.serna-1989:ineviin:inbook:41
J. Carmo and A. Sernadas
Inevitability in branching time
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
Branching v. linear logics yet again
Formal aspects of computing
1990
2
1
24--59
carna-1950:logicfound:
R. Carnap
Logical foundations of probability
Univ. Chicago Press
1950
carri-1984:onimple:inbook:14
Robert Carringer
On the Implementation of Group Technology Support
Software for Process Planning
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
Focusing in plan recognition
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
Focusing in plan recognition
Dept C&IS, U of Massachusetts
1984
report
84-23
carve.lesse-1991:newframe:inbook:
Norman Carver and Victor Lesser
A New Framework for Sensor Interpretation: Planning to
Resolve Sources of Uncertainty
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
Temporal Structures
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
Temporal Structures
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
{LUSTRE} a declarative language for real-time
programming
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
Acting Optimally in Partially Observable Stochastic
Domains
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
Acting under uncertainty: {D}iscrete Bayesian models
for mobile robot navigation
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
Incremental {P}runing: {A} Simple, Fast, Exact Method
for Partially Observable {M}arkov Decision Processes
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
Toward a Control Theory for Discrete Event Systems
IEEE Control Systems Magazine
1990
66--68
June
cassa.stric-1989:samplpath:journal:59
C. G. Cassandras and S. G. Strickland
Sample Path Properties of Timed Discrete Event
Systems
Proc. of the IEEE
1989
77
1
59--71
January
casta-1975:thinkdoing:
H. N. Castan\~{e}da
Thinking and doing
D. Reidel, Dordrecht
1975
casta.roman-1992:usingabstr:inbook:269
Amedeo Casta and Giovanni Romano
Using Abstraction-Based Similarity to Retrieve Reuse
Candidates
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
Bridging the Gap between Planning and Reactivity: a
Layered Architecture for Autonomous Indoor Navigation
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
Hierarchical Dimensions of a Mobile Robot Control
Architecture - Modelling with Colored Petri Net
IEEE/RSJ Int'l Conf. on Intelligent Robots and
Systems
1995
Pittsburg
August
causs.crowl-1993:manmachi:inbook:
O. Causse and J. L. Crowley
A Man Machine Interface for a Mobile Robot
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
Mission planning for an Autonomous Mobile Robot
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
Argos {II}. {A} production system for generating and
monitoring plans
Pocitace a Umela Inteligencia
1982
1
211--222
June
cerco.mccal-1987:knowlfront:
N. Cercone and G. McCalla
The knowledge frontier
Springer verlag
1987
cesta.oddi-1996:ddl1:inbook:341
A. Cesta and A. Oddi
{DDL}.1: {A} Formal Description of a Constraint
Representation Language for Pysical Domains
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
Common Sense Reasoning: Experiments and
Implementation
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
Unframing the frame problem
Frank M. Brown
The frame problem in artificial intelligence: proc. of
1987 workshop
1987
Morgan Kaufmann
chand-1987:towarfunct:inbook:1183
B. Chandrasekaran
Towards a Functional Architecture for Intelligence
Based on Generic Information Processing Tasks
Proc. of the Int. Joint Conf. on Artificial
Intelligence
1987
1183--1192
chang-1986:plannmodel:thesis
Kai-Hsiung Chang
A planning model with problem analysis and operator
hierarchy
U of Cincinnati
1986
UMI NDS86-22242
chang.wee-1988:plannmodel:journal:672
Kai-Hsiung Chang and William G. Wee
A planning Model with Problem Analysis and Operator
Hierarchy
IEEE Transactions on Pattern Matching and Machine
Intelligence
1988
10
672--675
chang.wysk-1985:introto:
Tien-Chien Chang and Richard A. Wysk
An Introduction to Automated Process Planning
Systems
Prentice-Hall
1985
survey, TIPPS
chapm-1985:nonliplann:inbook:1022
D. Chapman
Nonlinear planning: a rigorous reconstruction
International Joint Conference on Artificial
Intelligence (IJCAI '85)
1985
1022--1024
TWEAK
chapm-1985:plannfor:TR
D. Chapman
Planning for conjunctive goals
MIT AI Lab
1985
AI-TR-802
November
chapm-1986:cogniclich:TR
D. Chapman
Cognitive cliche/s
MIT AI Lab
1986
working paper
286
April
chapm-1987:plannfor:journal:333
D. Chapman
Planning for conjunctive goals
Artificial Intelligence
1987
32
333--377
North Holland
TWEAK
chapm-1988:fromplann:inbook:
D. Chapman
From planning to instruction use
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
Representation in Sonja
AI Lab, MIT
1988
Extended Abstract
chapm-1989:pengucan:journal:45
D. Chapman
Penguins can make cake
AI magazine
1989
10
4
45--50
chapm.agre-1986:abstrreaso:inbook:
D. Chapman and Philip E. Agre
Abstract reasoning as emergent form concrete
activity
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
Abstract Reasoning as Emergent from Concrete
activity
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
Learning from delayed reinforcement in a complex
domain
Teleos research
1990
TR-90-11
December
chapp-1987:blackbased:inbook:467
Steve G. Chappell
A blackboard based system for context sensitive
mission planning in an autonomous vehicle
Proceedings of the 5th Unmanned Untethered Submersible
Technology Symposium
1987
467--476
June
charn-1975:commorepre:journal:46
E. Charniak
A common representation for problem-solving and
language-comprehension information
Artificial Intelligence
1975
16
3
46--55
North Holland
charn-1985:knowlrepre:TR
E. Charniak
Knowledge Representation and the
Plan-Recognition-as-Planning\u-1\d Theory
dept CS, Brown University
1985
CS-85-01
charn.mcder-1985:managplans:inbook:
E. Charniak and D. McDermott
Managing plans of action
Introduction to Artificial Intelligence
Addison Wesley
1985
9
chati-1994:contrarchi:inbook:254
R. Chatila
Control Architectures for Autonomous Mobile Robots
IEE Perception $\rightarrow$ Action Symposium
1994
254--265
Lausanne, Switzerland
chati.alami-1992:archiinteg:inbook:16
R. Chatila and R. Alami and R. Prajoux
An Architecture Integrating Task Planning and Reactive
Execution Control
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
Integrated Planning and Execution Control of
Autonomous Robot Actions
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
Task and path planning for mobile robots
NATO Workshop on Machine Intelligence
1986
Marattea, Italy
May
chati.giral-1987:taskpath:inbook:
R. Chatila and G. Giralt
Task and path planning for mobile robots
Machine Intelligence and Knowledge Engineering for
Robotic Applications
1987
Springer-Verlag, Berlin, Heidelberg
chati.harmo-1992:ieeeint:
R. Chatila and S. Y. Harmon
Proc. of the {IEEE} Int. Conf. on Robotics and
Automation, Workshop on Architectures for Intelligent
Control Systems
IEEE
1992
Nice, France
May
chees-1983:repretime:TR
P. Cheeseman
A representation of time for planning
SRI International
1983
AI center technical note
SRI AI 278
February
chees-1984:repretime:inbook:513
P. Cheeseman
A representation of time for automatic planning
IEEE intl. conf. on robotics
1984
513--518
chell-1980:modallogic:
B. F. Chellas
Modal logic
Cambridge University Press
1980
chen-1985:shallplann:inbook:1064
D. Chen
Shallow planning and recovery planning based on the
vertical decomposition of the flight domain
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
Job Shop Scheduling Using Asynchronous Teams of
Optimization Agents
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
Architecture and automatic task planning for
integrated sensor-based robots
Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots
and Systems
1992
925--932
Raleigh, NC
July
cheng-1988:algorfor:thesis
Hsien-Te Cheng
Algorithms for Partially Observable {M}arkov Decision
Processes
University of British Columbia
1988
British Columbia, Canada
cheng.smith-1994:generfeasi:inbook:1086
Cheng-Chung Cheng and Stephen F. Smith
Generating Feasible Schedules under Complex Metric
Constraints
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
A Constraint Satisfaction Approach to Makespan
Scheduling
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
On the {NP}-Hardness of Blocks World
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
Program for timetable compilation by a look-ahead
method
Artificial Intelligence
1972
3
1
61--76
North Holland
chien-1994:towarintel:inbook:23
Steve Chien
Towards an Intelligent Planning Knowledge Base
Development Environment
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
Intelligent Tools for Planning Knowledge Base
Development and Verification
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
Learning to Integrate Reactivity and Deliberation in
Uncertain Planning and Scheduling Problems
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
A Statistical Approach to Adaptive Problem-Solving for
Large-Scale Scheduling and Resource-Allocation
Problems
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
Why Real-World Planning is Difficult
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
Robust, Multi-layered Plan Execution and Revision for
Operation of a Network of Communications Antennas
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
Why Real-Worldl Planning is Difficult: {A} Tale of Two
Applications
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 for Automated Image Processing
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
The Multimission {VICAR} Planner: {A} Field Planning
System for Scientific Data Analysis
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
Planning and execution in incompletely specified
environments
International Joint Conference on Artificial
Intelligence (IJCAI 4)
1975
169--174
chish-1966:freedactio:
R. M. Chisholm
Freedom and action
Random House, New York
1966
choue-1991:ordonstrat:journal:38
Berthe Y. Choueiry
Ordonnancement: Strat\={e}gies, d\={e}bats et
Intelligence Artificielle
March\={e} Suisse des Machines
1991
Nov. 21
38--47
http://liawww.epfl.ch/\~choueiry/papers.html
choue-1994:abstrmetho:thesis
Berthe Y. Choueiry
Abstraction Methods for Resource Allocation
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
Abstraction Methods for Resource Management in a
Distributed Information Network
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
Building Temporal Abstractions
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
Temporal Abstractions and a Partitioning Heuristic for
Interactive Resource Allocation
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
{A Decomposition Heuristic for Resource Allocation}
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
{Abstraction Methods for Resource Allocation}
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
Interactive Resource Allocation by Problem
Decomposition and Temporal Abstractions
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
{Abstraction by Interchangeability in Resource
Allocation}
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
{Using Abstractions for Resource Allocation}
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
Abstraction Methods for Resource Allocation (Video)
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
{A Tree Search Method for Maintenance Scheduling}
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
Blending {AI} and Mathematics: the Case of Resource
Allocation
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
Using Complete No-Good Sets to Build a Disjunctive
Decomposition Scheme for Discrete Constraint
Satisfaction Problems
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
{Knowledge Based Method for Power Generators
Maintenance Scheduling}
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
The history of planning methodologies: an annotated
bibliography
SIGART newsletter
1985
94
44--59
all useful refs (many were irrelevant) have been
included
chris-1990:hieraplann:inbook:1004
J. Christensen
A Hierarchical Planner that Generates its Own
Hierachies
Proc. of 8th National Conference on Artificial
Intelligence
1990
1004--1009
chris-1992:abstrproba:inbook:28
Lonnie Chrisman
Abstract Probabilistic Modeling of Action
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
Reasoning About Probabilistic Actions at Multiple
Levels of Granularity
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
{PDB} Reference Manual Version 4.0
1995
http://www.cs.washington.edu/research/projects/ai/www/pdb/pdb.html
chris.simmo-1991:sensiplann:inbook:756
Lonnie Chrisman and Reid Simmons
Sensible Planning: Focusing Perceptual Attention
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
A Representation for Temporal Sequence and Duration in
Massively Parallel Networks: Exploiting Link
Interactions
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 86)
1986
372--376
clanc-1985:reprecontr:TR
W. J. Clancey
Representing control knowledge as abstract tasks and
metarules
Stanford University
1985
KSL-85-16
clanc-1988:reprecontr:inbook:
W. J. Clancey
Representing control knowledge as abstract tasks and
metarules
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 synthesis of two approaches for verifying
finite-state concurrent systems
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:
Logics of programs: proceedings of the 1983 workshop
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
Tableau-based model checking in the propositional
mu-calculus
Acta Informatica
1990
27
8
725--748
coad.yourd-1991:objecdesig:
P. Coad and E. Yourdon
Object-oriented design
Prentice Hall
1991
object oriented design
cohen-1974:protonatur:thesis
Philip R. Cohen
A prototype natural language understanding system
Dept CS, University of Toronto
1974
{MSc} thesis
cohen-1978:onknowi:thesis
Philip Raymond Cohen
On Knowing What to Say: {P}lanning Speech Acts
University of Toronto
1978
January
Canadian theses on microfiche 36,6618
cohen-1978:onknowi:TR
Philip R. Cohen
On Knowing What to Say: {P}lanning Speech Acts
Department of Computer Science, University of Toronto,
Toronto, Canada
1978
Technical Report
118
January
cohen-1979:pragmcompo:inbook:
Philip R. Cohen
The pragmatics/discourse component
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
The need for identification as a planned action
Proc 7th International Joint Conference on Artificial
Intelligence (IJCAI 81)
1981
31--36
cohen-1982:plannprobl:inbook:
Paul Cohen
Planning and problem solving
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
Planning and problem solving
Dept. CS, Stanford University
1982
STAN-CS-82-939
cohen.day-1987:plannin:inbook:27
P. Cohen and D. Day
Planning in complex real-world time-dependent
domains
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
A declarative representation of control knowledge
IEEE Transactions on Systems, Man, and Cybernetics
1989
19
3
546--557
May/June
cohen.feige-1982:aihandb:
Paul Cohen and E. Feigenbaum
{AI} Handbook
Pitman
1982
United Kingdom
3 vols
cohen.feige-1982:handbartif:
P. R. Cohen and E. A. Feigenbaum
Handbook of Artificial Intelligence
Pitman
1982
London
cohen.green-1989:trialby:journal:32
P. R. Cohen and M. L. Greenberg and D. M. Hart and A.
E. Howe
Trial by fire: Understanding the design requirements
for agents in complex environments
AI Magazine
1989
3
10
32--48
cohen.howe-1990:respoto:inbook:85
P. Cohen and A. E. Howe
Responding to environmental change
DARPA PCS workshop
1990
85--92
cohen.leves-1980:speecacts:inbook:263
Philip R. Cohen and Hector J. Levesque
Speech acts and the recognition of shared plans
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
Speech acts and rationality
Assoc. for computational linguistics conf. 23
1985
49--59
Stanford CA
cohen.leves-1986:persiinten:inbook:297
Philip R. Cohen and Hector J. Levesque
Persistence, intention and commitment
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
Persistence, Intention, and Commitment
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
Rational interaction as a basis for communication
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
Persistence, intention and commitment
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
Rational interaction as a basis for communication
SRI International
1988
AI center technical note
SRI AI 433
April
cohen.leves-1990:intenis:
Philip R. Cohen and Hector J. Levesque
Intention is choice with commitment
Computer Science Dept., University of Toronto
1990
Toronto
cohen.leves-1990:intenis:journal:213
Philip R. Cohen and Hector J. Levesque
Intention is choice with commitment
Artificial Intelligence
1990
42
213--261
North Holland
cohen.morga-1988:intencommu:
Philip Cohen and J. L. Morgan and Martha E. Pollack
Intention and communication
MIT press
1988
cohen.perra-1979:elemeplan-:journal:177
Philip R. Cohen and C. R. Perrault
Elements of a plan-based theory of speech acts
Cognitive science
1979
3
3
177--212
cohen.perra-1981:elemeplan-:inbook:478
Philip R. Cohen and C. R. Perrault
Elements of a plan-based theory of speech acts
Webber B. N. and Nilsson N.
Readings in AI
Tioga
1981
478--495
cohn.thoma-1986:artifintel:
A. G. Cohn and J. R. Thomas
Artificial intelligence and its applications
Wiley
1986
Chichester
cole.l-1975:syntaseman:
P. Cole and Morgan J. L.
Syntax and semantics 3
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}
Decision Analysis for an Experimental Robot with
Unreliable Sensors
Proc 4th International Joint Conference on Artificial
Intelligence (IJCAI 75)
1975
749--754
colli-1987:plancreat:TR
Gregg Collins
Plan Creation: Using Strategies as Blueprints
Dept CS, Yale University
1987
report
599
colli-1989:planadapt:inbook:90
Gregg Collins
Plan Adaptation: {A} Transformational Approach
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
Real-time performance of intelligent autonomous
agents
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
Local Map Design and Task Function Planning for Mobile
Robots
Proc. of the IEEE/RSJ Int. Conf. on Intelligent
Robots and Systems
1994
273--280
Munich, Germany
September
colli.michi-1965:machiintel:
Machine Intelligence 1
1965
N. L. Collins and Donald Michie
Edinburgh University Press
colli.pape-1987:contrconst:inbook:
Anne L. E. Collinot and Claude Pape
Controlling Constraint Propagation
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
{SONIA}: {A} Knowledge-based Scheduling System
Artificial Intelligence in Engineering
1988
3
86--94
colli.pryor-1992:achiefunct:inbook:375
Gregg Collins and Louise Pryor
Achieving the Functionality of Filter Conditions in a
Partial Order Planner
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
What Are Filter Conditions For?
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
On the Misuse of Filter Conditions: {A} Critical
Analysis
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
Planning under uncertainty: {S}ome key issues
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
Smooth Visual Behaviors using Linear Interaction
Models
unpublished as yet
1994
colom.dorig-1994:trainagent:journal:247
M. Colombetti and M. Dorigo
Training Agents to Perform Sequential Behavior
Adaptive Behavior
1994
3
2
247--275
conne-1988:navigby:inbook:
J. H. Connell
Navigation by path remembering
SPIE-88
1988
conne-1992:ssshybri:inbook:
J. H. Connell
{SSS}: {A} Hybrid Architecture Applied to Robot
Navigation
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
The Planning of Actions in the Basal Ganglia
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
Decision-theoretic control of search in probabilistic
domains
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
Multistage Negotiation for Distributed Satisfaction
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
Cooperation through multistage negotiation in
distributed planning
1988
update of DAI Readings paper
conry.meyer-1988:multinegot:inbook:367
Susan E. Conry and Robert A. Meyer and Victor R.
Lesser
Multistage Negotiation in Distributed Planning
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
{LEW}-{P}: Learning by watching in the planning
domain
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
Learning from Opportunity
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
Theory of scheduling
1967
coope.shall-1995:symboconti:inbook:
R. Cooper and T. Shallice and J. Farringdon
Symbolic and continuous processes in the automatic
selection of actions
Proc. of AISB-95 Hyrid Problems, Hybrid Solutions
1995
cordw-1995:contrdexec:thesis
L. Cordwener
Contr\^ole d'execution de mission de robots mobile \`a
partir de t\^aches robot
Universit\'e de Technologie de Compiegne
1995
January
corki-1979:hieraplann:inbook:168
Daniel D. Corkill
Hierarchical Planning in a Distributed Environment
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
Hierarchical Planning in a Distributed Environment
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
An organizational approach to planning in distributed
problem solving
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
Unifying data-directed and goal-directed control: {A}n
example and experiments
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
The use of meta-level control for coordination in a
distributed problem solving network
International Joint Conference on Artificial
Intelligence (IJCAI 83)
1983
748--756
costa.cunni-1988:part2:TR
Marcos Costa and Jim Cunningham
Part 2: mechanising deduction in the Forest Logic
Dept Computing, Imperial College London
1988
Forest report 5
October
coste-1995:relatforma:inbook:45
Tom Costello
Relating Formalizations of Actions
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
Probability, frequency and reasonable expectation
American J. Physics
1946
14
1
1--13
crabt-1990:interwith:inbook:
B. Crabtree and others
Interacting with an intelligent planning sytem using
English sentences
1st Intl. conf. on planning systems
1990
Brighton
June
IEE
crabt-1990:interwith:TR
B. Crabtree
Interacting with an intelligent planning sytem using
English sentences
Edinburgh
1990
DAI 457
crane-1990:plannfor:thesis
S. J. S. Cranefield
Planning for Behaviour-Based Robotic Assembly: {A}
Logical Framework
University of Edinburgh
1990
Ph{D} Thesis
Deductive Planning, Equational Logic
crane-1992:logicframe:inbook:633
S. J. S. Cranefield
A Logical Framework for Practical Planning
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
Towards the deductive synthesis of nonlinear plans
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
An Approach to Resource Constrained Project
Scheduling
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
Experimental Results on the Application of
Satisfiability Algorithms to Scheduling Problems
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
Observations on Observations in Action Theories
(Position Paper)
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
Improving elevator performance using reinforcement
learning
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
Single-machine Early/Tardy Problems with Time Windows:
{A} Comparative Study Of Multiple Heuristic Search
Procedures
Robotics Institute, Carnegie Mellon University
1994
Pittsburgh, PA 15213
croft-1984:choicmade:thesis
David Croft
Choices made by a planner: identifying them and
improving the way in which they are made
Dept AI, Edinburgh University
1984
MPhil
croft-1985:choicmakin:inbook:
David Croft
Choice making in planning systems
Expert Systems 85
1985
croft-1985:choicmakin:TR
David Croft
Choice making in planning systems
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
Still planners run deep: shallow reasoning for fast
replanning
Proc Society of Photo-Optical Instrumentation
Engineers (SPIE), Technical Symposium East
1984
crook-1992:synthopera:thesis
Colin Andrew Crooks
Synthesis of Operating Procedures for Chemical
Plants
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
A Combined {MILP} and Logic-Based Approach to the
Synthesis of Operating Procedures for Batch Plants
Chemical Engineering Communications
1992
114
117--144
cross-1967:setsmodel:
J. N. Crossley
Sets, models and recursion theory
North-Holland
1967
crowl-1984:navigfor:TR
James Crowley
Navigation for an Intelligent Mobile Robot
C-MU Robotics Institute
1984
Technical Report
July 21
crowl-1987:coordactio:inbook:793
J. L. Crowley
Coordination of Action and Perception in a
Surveillance Robot
Proc. of the Int. Joint Conf. on Artificial
Intelligence
1987
793--796
crowl-1993:mobilrobot:inbook:
J. L. Crowley
Mobile Robot Navigation Using Active Vision
Proc. of the Symp. on Intelligent Robotic Systems
1993
crowl-1996:multitrack:inbook:317
J. L. Crowley
Multi-Modal Tracking for Video Compression
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
Integration and Control of Visual Processes
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
Integration and Control of Reactive Visual Processes
European Conf. on Computer Vision
1994
II
47--57
Stockholm
May
crowl.chris-1995:visioas:
J. L. Crowley and H. I. Christensen
Vision as Process
Springer
1995
Basic Reseach
ISBN 3-540-58143-X
crowl.marti-1995:compacorre:inbook:86
J. L. Crowley and J. Martin
Comparison of Correlation Techniques
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
Tests on a computer method for constructing school
timetables
Communications of the ACM
1964
7
160--163
curri-1987:interreaso:TR
Ken Currie
Interval-based reasoning: ... minor report from Alvey
planning {SIG} 6
AI Applications Inst., Edinburgh University
1987
AIAI-TR-28
June
curri-1987:planrepai:TR
Ken Currie
Plan repair: ... report from Alvey planning {SIG} 6
AI Applications Inst., Edinburgh University
1987
AIAI-TR-29
June
curri.tate-1985:o-placontr:inbook:225
Ken Currie and A. Tate
{O}-Plan: control in the open planning architecture
Expert Systems 85
1985
225--
curri.tate-1985:o-placontr:TR
Ken Currie and A. Tate
{O}-Plan: control in the open planning architecture
AI Applications Inst., Edinburgh University
1985
AIAI-TR-12
curri.tate-1989:o-plaopen:TR
K. W. Currie and A. Tate
{O}-Plan: the Open Planning Architecture
AI Applications Inst., Edinburgh University
1989
AIAI-TR-67
curri.tate-1989:usingdomai:TR
K. W. Currie and A. Tate
Using domain knowledge to restrict search in an {AI}
planner
AI Applications Inst., Edinburgh University
1989
AIAI-TR-70
curri.tate-1990:o-placontr:inbook:361
K. Currie and A. Tate
{O}-Plan: Control in the Open Planning Architecture
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
{O}-Plan: The Open Planning Architecture
Artificial Intelligence
1991
52
49--86
dale.michi-1966:machiintel:
Machine Intelligence 2
1966
Ella Dale and Donald Michie
Edinburgh University Press
danie-1974:and-ograph:inbook:818
Leslie Daniel
And-or graphs and critical paths
Intl. congress of the Intl. Federation for Information
Processing (IFIP '74)
1974
818--822
danie-1977:plannmodif:TR
Leslie Daniel
Planning: Modifying non-linear plans
Dept AI, Edinburgh University
1977
working paper
24
danie-1984:plannopera:inbook:423
Leslie Daniel
Planning and operations research
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
Using {AI} techniques to aid in the construction of
project networks
1976
danie.tate-1982:retroon:TR
Leslie Daniel and Austin Tate
A retrospective on the ``Planning: a joint {AI}/{OR}
approach'' project
Dept AI, Edinburgh University
1982
Working paper
125
a bundle of several papers
darli-1972:deducplan:inbook:129
J. L. Darlington
Deductive plan formation in higher-order logic
Bernard Meltzer and Donald Michie
Machine Intelligence 7
1972
129--137
Edinburgh University Press
darwi-1995:strucgener:inbook:56
Adnan Darwiche
Structured-Based Generation of Plans
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
{OARPLAN}: generating project plans by reasoning about
objects, actions and resources
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
Symbolic Causal Networks for Reasoning about Actions
and Plans
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
Actions, reasons and causes
J. Philosophy
1963
60
685--
david-1966:logicform:inbook:81
D. Davidson
The logical form of action sentences
N. Rescher
The logic of commands
Routledge and Kegan Paul
1966
81--95
david-1980:essayon:
D. Davidson
Essays on actions and events
Oxford University Press
1980
david-1995:grafcpower:journal:253
R. David
Grafcet: {A} Powerful Tool for Specification of Logic
Controllers
IEEE Trans. On Control Systems Technology
1995
3
3
253--267
September
david.alla-1994:petrinets:journal:175
R. David and H. Alla
Petri nets for modelling dynamic systems - a survey
Automatica
1994
30
2
175--202
david.fehli-1994:strucproba:inbook:48
Ron Davidson and Michael R. Fehling
A Structured, Probabilistic Model of Action
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
Semantics of natural language
Reidel
1972
Synthese Library
Dordrecht
davie-1989:towarfirst:TR
N. Davies
Towards a first-order theory of reasoning agents
Dept CS, U Essex
1989
CSM-130
June
davie.jacks-1990:makinthing:TR
J. Davies and D. Jackson and S. Schneider
Making things happen in timed {CSP}
Programming research group, Oxford University
1990
PRG-TR-2-90
davie.schne-1990:waitifor:TR
J. Davies and S. Schneider
Waiting for timed {CSP}
Programming research group, Oxford University
1990
PRG-TR-3-90
davie.smith-1981:negotas:TR
R. Davies and R. G. Smith
Negotiation as a metaphor for distributed problem
solving
MIT AI Lab
1981
AIM-624
May
davis-1977:onconst:TR
M. Davis
On constructing a pre-processor for Strips-world
problem-solvers
Machine intelligence unit, Edinburgh University
1977
MIP-R-111
March
davis-1979:theoractio:
L. Davis
Theory of action
Prentice-Hall
1979
Foundations of philosophy
davis-1981:modelfor:TR
M. Davis
A model for planning in a multi-agent environment:
steps toward principles for teamwork
MIT
1981
Working paper
June
davis-1987:constpropa:journal:281
E. Davis
Constraint Propagation with Interval Labels
Artificial Intelligence
1987
32
281--331
North Holland
davis-1988:inferignor:inbook:786
E. Davis
Inferring ignorance from the locality of visual
perception
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 88)
1988
786--790
davis-1992:semanfor:inbook:37
Ernest Davis
Semantics for Tasks that Can Be Interrupted or
Abandoned
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
Defeasible Codesignation Constraints for Planning
Variables
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
{ODO}: {A} Constraint-Based Scheduler Founded on a
Unified problem Solving Model
Department of Industrial Engineering, University of
Toronto
1994
Master's Thesis
davis.bucha-1984:meta-knowl:inbook:
R. Davis and B. G. Buchanan
Meta-level knowledge
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
Using and re-using partial plans
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
Using and re-using partial plans
Coordinated science lab, U Illinois at Urbana
1977
June
davis.fox-1994:odoconst:inbook:
G. Davis and M. S. Fox
{ODO}: {A} Constraint-Based Architecture for
Representing and Reasoning about Scheduling Problems
Proceedings of the 3rd Industrial Engineering Research
Conference
1994
Atlanta, GA, USA
May
davis.morge-1989:ijcaiworks:
{IJCAI} workshop on knowledge, perception and
planning
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
Schedule optimization with probabilistic search
IEEE Conf. on AI Applications 3
1987
231--236
davis.s-1993:odoconst:inbook:
G. Davis and M. S. and Fox
{ODO}: {A} Constraint-Based Scheduling Shell
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
Negotiation as a metaphor for distributed problem
solving
MIT AI
1981
MIT-AIM 624
May
davis.smith-1983:negotas:journal:63
Randall Davis and Reid G. Smith
Negotiation as a metaphor for distributed problem
solving
Artificial Intelligence
1983
20
63--109
North Holland
daws.olive-1994:verifet-lo:inbook:
C. Daws and A. Olivero and S. Yovine
Verifying {ET-LOTOS} programs with {KRONOS}
FORTE'94
1994
Bernt, Switzerland
dawso.siklo-1977:rolepre-p:inbook:465
Clive Dawson and Laurent Siklo/ssy
The role of pre-processing in problem solving
systems
5th International Joint Conference on Artificial
Intelligence (IJCAI '77)
1977
465--471
day-1992:acquisearc:inbook:45
David S. Day
Acquiring Search Heuristics Automatically for
Constraint-Based Planning and Scheduling
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
Time map maintenance
Dept CS, Yale University
1983
CSD-RR-289
dean-1984:managtime:inbook:
Thomas L. Dean
Managing time maps
Conf. of the Canadian Society for the Computational
Study of Intelligence (CSCSI '84)
1984
dean-1984:planntempo:inbook:131
Thomas L. Dean
Planning and temporal reasoning under uncertainty
IEEE workshop on principles of knowledge-based
systems
1984
131--
Denver
December
dean-1984:tnmsusers:TR
T. L. Dean
A {TNMS} User's Manual
Dept CS, Yale University
1984
report
dean-1985:tempoimage:thesis
Thomas L. Dean
Temporal imagery: an approach to reasoning about time
for planning and problem solving
Dept CS, Yale University
1985
October
UMI NDS86-27245
dean-1985:tempoimage:TR
Thomas L. Dean
Temporal imagery: an approach to reasoning about time
for planning and problem solving
Dept CS, Yale University
1985
YALE/CSD/RR #433
dean-1985:temporeaso:inbook:1060
Thomas L. Dean
Temporal reasoning involving counterfactuals and
disjunctions
International Joint Conference on Artificial
Intelligence (IJCAI '85)
1985
1060--1062
dean-1986:intratime-:inbook:245
Thomas L. Dean
Intractability and time-dependent planning
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
Intractability and Time-Dependent Planning
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
Planning, execution, and control
Proc DARPA Knowledge Based Planning Workshop
1987
29--1ff
Austin TX
dean-1988:onvalue:inbook:
Thomas L. Dean
On the value of goals
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
Incremental causal reasoning
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
Reasoning about partially ordered events
Artificial Intelligence
1987
36
375--399
North Holland
dean.boddy-1988:analytime-:inbook:49
Thomas Dean and Mark Boddy
An Analysis of Time-Dependent Planning
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
An Analysis of Time-Dependent Planning
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
The {FORBIN} paper
Dept of Computer Science, Yale University
1987
550
dean.firby-1988:hieraplann:journal:381
T. Dean and J. Firby and D. Miller
Hierarchical Planning Involving Deadlines, Travel Time
and Resources
Computational Intelligence
1988
4
4
381--398
FORBIN
dean.firby-1989:hieraplann:journal:
T. Dean and J. Firby and D. Miller
Hierarchical Planning Involving Deadlines, Travel Time
and Resources
Computational Intelligence
1989
3
dean.kaelb-1993:plannwith:inbook:574
Thomas Dean and Leslie Pack Kaelbling and Jak Kirman
and Ann Nicholson
Planning with Deadlines in Stochastic Domains
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
Planning Under Time Constraints in Stochastic
Domains
Artificial Intelligence
1995
76
1-2
35--74
dean.kanaz-1988:probacausa:inbook:125
Thomas Dean and Keiji Kanazawa
Probabilistic causal reasoning
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
Probabilistic temporal reasoning
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
Decision Theoretic Planning: {P}art {I}
1995
Submitted to the Journal for Artificial Intelligence
Research
dean.kirma-1992:probanetwo:inbook:273
Thomas Dean and Jak Kirman and Keiji Kanazawa
Probabilistic Network Representations fo
Continuous-Time Stochastic Processes for Applications
in Planning and Control
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
Decomposition Techniques for Planning in Stochastic
Domains
Proceedings of the 1995 International Joint Conference
on Artificial Intelligence
1995
dean.mcder-1987:tempodata:journal:1
Thomas Dean and Drew McDermott
Temporal data base management
Artificial Intelligence
1987
32
1--55
North Holland
dean.siegl-1990:approto:inbook:132
Thomas Dean and Greg Siegle
An Approach to Reasoning About Continuous Change for
Applications in Planning
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
Planning and Control
Morgan Kaufmann
1991
deard.bouti-1994:integplann:inbook:55
Richard Dearden and Craig Boutilier
Integrating Planning and Execution in Stochastic
Domains
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
Abstraction and approximate decision-theoretic
planning
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}
The pragmatics of discourse planning
J. Pragmatics
1980
3
debri-1994:neuroau:thesis
F. DeBriey
La neurophysiologie au service de la vision active:
Syst\'eme Robotique d'Orientation de regard
LIFIA
1994
June
INPG
decht.michi-1984:strucinduc:TR
Rina Dechter and Donald Michie
Structured induction of plans and programs
Turing Inst., Glasgow
1984
TIRM-84-006
decht.pearl-1988:netwoheuri:journal:1
R. Dechter and J. Pearl
Network-based heuristics for constraint satisfaction
problems
Artificial Intelligence
1988
34
1--38
dejon-1983:acquischem:inbook:462
G. Dejong
Acquiring schemata through understanding and
generalizing plans
International Joint Conference on Artificial
Intelligence (IJCAI '83)
1983
462--464
dejon.benne-1993:permiplann:inbook:508
Gerald DeJong and Scott Bennett
Permissive Planning: {A} Machine Learning Approach to
Linking Internal and External Worlds
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
Explanation-Based Learning: An Alternative View
Machine Learning
1986
1
145--176
Boston, Lancaster
Kluwer Academic
demel.sande-1986:andorgraph:inbook:1113
A. C. DeMello and L. H. Sanderson
And/Or graph representation of assembly plans
Proceedings of AAAI-86
1986
1113ff
AAAI
denar-1982:dynamprogr:
Eric V. Denardo
Dynamic Programming: {M}odels and Applications
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
Customized Plans Transmitted by Flexible Refinement
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 in a Temporal Logic Environment
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
A probabilistic production and inventory problem
Management Science
1963
10
98--108
derks.rulif-1972:qa4langu:TR
J. Derksen and J. F. Rulifson and R. J. Waldinger
The {QA4} language applied to robot planning
SRI International
1972
AI center technical note
SRI AI 65
derma-1970:finitstate:67:
Cyrus Derman
Finite State {M}arkovian Decision Processes
Academic Press
1970
67
Mathematics in Science and Engineering
New York, NY
dersh-1985:synthprogr:journal:323
N. Dershowitz
Synthetic programming
Artificial Intelligence
1985
25
3
323--373
North Holland
dersh.manna-1977:evoluprogr:journal:
N. Dershowitz and Z. Manna
The evolution of programs: automatic program
modification
IEEE trans. on software engineering
1977
SE-3
6
desco.latom-1981:gariprobl:inbook:766
Yannick Descotte and Jean-Claude Latombe
{GARI} : {A} Problem Solver that Plans how to Machine
Mechanical Parts
International Joint Conference on Artificial
Intelligence (IJCAI '81)
1981
766--772
desco.latom-1985:makincompr:journal:183
Y. Descotte and J. C. Latombe
Making compromises among antagonist constraints in a
planner
Artificial Intelligence
1985
27
183--217
North Holland
desim.holli-1989:casestudi:inbook:
R. Desimone and T. Hollidge
Case studies in fleet operation modelling: an
application of {AI} scheduling techniques
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
Case studies in fleet operation modelling: an
application of {AI} scheduling techniques
AI Applications Inst., Edinburgh U
1990
AIAI-TR-78
desim.malle-1989:complconsi:inbook:
R. Desimone and C. Mallen
Complete, consistent goal sets: controlling the search
for non-linear plan generation
Proc. 1 intl. conf. on expert planning systems
1989
Brighton UK
June
IEE
desim.malle-1989:complconsi:TR
R. Desimone and C. Mallen
Complete, consistent goal sets: controlling the search
for non-linear plan generation
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
{SOCAP}: Lessons Learned in Automating Military
Operations Planning
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
{PAGODA}: An Integrated Architecture for Autonomous
Agents
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
Knowledge Development Methods for Planning Systems
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
{PLANET}: An Intelligent Decision Support System for
the Formulation and Investigation of Formal Planning
Models
University of Pittsburgh
1984
diaz-1983:10thinter:154:
10th International Colloquium on Automata, Languages
and Programming ({ICALP} 83)
1983
Josep Diaz
154
Lecture notes in computer science
Barcelona, Spain
July
Springer-Verlag
diaz.oreja-1989:tapso89:352:
{TAPSOFT} '89: Proc. Intl. Joint Conf. on Theory and
Practice of Software Development
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
Guarded commands, nondeterminacy and formal derivation
of programs
Communications of the ACM
1975
18
8
453--457
dixon-1986:artifintel:inbook:872
John Dixon
Artificial Intelligence and Design: {A} Mechanical
Engineering View
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 86)
1986
872--877
djavd-1992:desigonlin:journal:281
P. Djavdan
Design of an Online Scheduling Stratergy for a
Combined Batch Continuous Plant Using Simulation
Computers and Chemical Engineering
1992
16
Supp
S281--S288
djavd-1993:desigonlin:journal:561
P. Djavdan
Design of an Online Scheduling Stratergy for a
Combined Batch Continuous Plant Using Simulation
Computers and Chemical Engineering
1993
17
5/6
561--567
doan-1996:modelproba:inbook:62
AnHai Doan
Modelling Probabilistic Actions for Practical Decision
Theoretic Planning
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
Generating Macro Operators for Decision-Theoretic
Planning
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
Learning Planning Heuristics through Observation
9th International Joint Conference on Artificial
Intelligence (IJCAI '85)
1985
dolan.dyer-1986:encodplann:inbook:
C. Dolan and M. G. Dyer
Encoding Planning Knowledge for Recognition,
Construction and Learning
Cognitive Science soc. Conf. 8
1986
Amherst
U of Mass is at Amherst
donal-1987:onplann:TR
Bruce Donald
On planning: what is to be done?
Dept. of Computer Science, Cornell Univ.
1987
87-890
December
donal.jenni-1992:constrecog:journal:41
B. R. Donald and J. Jennings
Constructive recognizability for task-directed robot
programming
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
Exploiting the Ordering of Observed Problem-Solving
Steps for Knowledge Base Refinement: An Apprenticeship
Approach
Proc. of AAAI-94
1994
569--575
Seattle, WA
doran-1979:plannrobot:inbook:519
J. E. Doran and others
Planning and robots
Machine Intelligence
1979
519--532
Original reference quoted MI 5 which is 1969
doran-1984:meta-commu:inbook:281
J. E. Doran
Meta-planning and communication in {TEAMWORK}
European Conference on Artificial Intelligence (ECAI
'84)
1984
281
doran-1985:compuappro:inbook:160
J. E. Doran
The computational approach to knowledge, communication
and structure in multi-actor systems
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
Meta-Planning and Communication in Teamwork
Proc. of the 6th ECAI
1984
281
Pisa, Italy
doran:weakstron:
J. E. Doran
Weak and strong cross-level planners
dorf-1986:modercontr:
R. C. Dorf
Modern Control Systems
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
Uncertainty Management by Relaxation of Conflicting
Constraints in Production Scheduling
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
A Truth maintenance system
Artificial Intelligence
1979
12
129--162
doyle-1980:modelfor:TR
Jon Doyle
A model for deliberation, action and introspection
AI lab, MIT
1980
AI-TR-581
doyle-1988:artifintel:TR
J. Doyle
Artificial intelligence and rational self-government
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
Generating perception requests and expectations to
verify the execution of plans
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
Representing Preferences as Ceteris Paribus
Comparatives
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
Execution plan monitoring and associated structure
Alvey planning SIG 8
1988
Nottingham
drabb-1988:execuplan:TR
Brian Drabble
Execution plan monitoring and associated structure
AIAI, Edinburgh University
1988
AIAI-TR-68
drabb-1988:intelexecu:thesis
Brian Drabble
Intelligent execution monitoring and error analysis in
planning involving processes
U Aston in Birmingham
1988
July
drabb-1988:plannreaso:inbook:
Brian Drabble
Planning and reasoning with processes
Alvey planning SIG 8
1988
Nottingham
drabb-1988:plannreaso:TR
Brian Drabble
Planning and reasoning with processes
AIAI, Edinburgh University
1988
AIAI-TR-56
drabb-1989:missisched:inbook:
B. Drabble
Mission scheduling for spacecraft: the diaries of
{T}-{SCHED}
Proc. 1 intl. conf. on expert planning systems
1989
Brighton UK
June
IEE
drabb-1989:missisched:TR
B. Drabble
Mission scheduling for spacecraft: the diaries of
{T}-{SCHED}
AIAI, Edinburgh University
1989
AIAI-TR-72
drabb-1989:qualireaso:inbook:
B. Drabble
Qualitative reasoning for plan generation and
execution
Proc. 1 intl. conf. on expert planning systems
1989
Brighton UK
June
IEE
drabb-1989:qualireaso:TR
B. Drabble
Qualitative reasoning for plan generation and
execution
AIAI, Edinburgh University
1989
AIAI-TR-73
drabb-1993:excal-:journal:1
B Drabble
Excalibur --- {A} program for planning and reasoning
with processes
Artificial Intelligence
1993
62
1
1--40
drabb.coxhe-1988:errordetec:inbook:201
Brian Drabble and P. Coxhead
Error detection and recovery in an uncertain
environment
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
Acquiring Criteria for Plan Quality Control
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
{O}-Plan2: The Open Planning Architecture
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
{O}-Plan: {A} Situated Planning Agent
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
Probabilistic Planning with Information Gathering and
Contingent Execution
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
Probabilistic Planning with Information Gathering and
Contingent Execution
University of Washington
1993
93-12-04
Seattle, WA
December
drape.hanks-1994:probaplann:inbook:76
Denise Draper and Steve Hanks and Daniel Weld
Probabilistic planning with information gathering and
contingent execution
Proceedings of the {AAAI} Spring Symposium on Decision
Theoretic Planning
1994
76--82
Stanford, CA
drumm-1985:non-lplann:TR
Mark E. Drummond
Non-linear planning in terms of cause and effect
Dept AI, Edinburgh University
1985
DAI research paper
251
drumm-1985:refinexten:inbook:1010
Mark E. Drummond
Refining and extending the procedural net
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
Plan nets: a formal representation of action and
belief for automatic planning systems
AI Applications Inst., Edinburgh University
1986
drumm-1986:repreactio:inbook:
Mark E. Drummond
A representation of action and belief for automatic
planning systems
Michael Georgeff and Amy Lansky
Reasoning about actions and plans: proceeding of 1986
workshop
1986
Morgan Kaufmann
drumm-1986:repreactio:TR
Mark E. Drummond
A representation of action and belief for automatic
planning systems
AI Applications Inst., Edinburgh University
1986
AIAI-TR-16
drumm-1988:goalorder:inbook:960
M. Drummond
Goal Ordering in Partially Ordered Plans
don't know
1988
960--965
drumm-1988:onlinea:TR
Mark E. Drummond
On linearity: An essay on the misuse of the word
`linear' in {AI} planning
AI Applications Inst., Edinburgh University
1988
AIAI-TR-42
drumm-1989:situacontr:inbook:103
Mark Drummond
Situated control rules
Proc. Intl. conf. on principles of knowledge
representation and reasoning 1
1989
103--113
Morgan Kaufman
drumm-1990:refinexten:inbook:667
Mark E. Drummond
Refining and Extending the Procedural Net
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
On Precondition Achievement and the Computational
Economics of Automatic 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
6--13
drumm.bresi-1990:anytisynth:inbook:138
M. Drummond and J. Bresina
Anytime Synthetic Projection: Maximizing Probability
of Goal Satisfaction
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
The Entropy Reduction Engine: Integrating Planning,
Scheduling, and Control
Sigart Bulletin
1991
2
4
drumm.bresi-1994:just-sched:inbook:1098
M. Drummond and J. Bresina and K. Swanson
Just-In-Case Scheduling
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
Contingent plan structures for spacecraft
AI Applications Inst., Edinburgh University
1987
AIAI-TR-22
drumm.curri-1987:tempocoher:TR
Mark E. Drummond and Ken Currie
Temporal coherence in non-linear plan construction
AI Applications Inst., Edinburgh University
1987
AIAI-TR-23
drumm.curri-1988:explotempo:journal:341
Mark E. Drummond and Ken Currie
Exploiting temporal coherence in nonlinear plan
construction
Computational Intelligence
1988
4
4
341--348
drumm.curri-1989:goalorder:inbook:960
Mark E. Drummond and Ken Currie
Goal ordering in partially ordered plans
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
Planning, Scheduling, and Control for Automatic
Telescopes
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
Reaction-First Search
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
Robust Scheduling and Execution for Automatic
Telescopes
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
Scheduling and Execution for Automatic Telescopes
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} planning: a tutorial and review
AI Applications Inst., Edinburgh U
1987
AIAI-TR-30
dudek.jenki-1993:multidistr:inbook:542
G. Dudek and M. Jenkin
A Multi-Layer Distributed Development Environment for
Mobile Robotics
Proc. of the Int. Conf. on Intelligent Autononmous
Systems
1993
542--550
February
duffa.latom-1983:approto:
P. Duffay and J. C. Latombe
An approach to automatic robot programming based on
inductive learning
IMAG, Grenoble
1983
TROPIC
duffi.prabh-1994:real-distr:journal:94
N. Duffie and V. V. Prabhu
Real-Time Distributed Scheduling of Heterarchical
Manufacturing Systems
Journal of Manufacturing Systems
1994
13
2
94--107
duffi.prabh-1995:distrsyste:journal:212
N. A. Duffie and V. V. Prabhu
Distributed System-Level Vehicle Control for a High
Performance Material Transfer System
IEEE Transactions on Control Systems Technology
1995
212--217
June
duffi.prabh-1996:hetercontr:journal:270
N. A. Duffie and V. V. Prabhu
Heterarchical Control of Highly Distributed
Manufacturing Systems
International Journal of Computer Integrated
Manufacturing
1996
9
4
270--281
dumme-1978:bringabout:inbook:
M. A. E. Dummett
Bringing about the past
M. A. E. Dummett
Truth and other enigmas
Duckworth
1978
London
dumme-1978:caneffec:inbook:
M. A. E. Dummett
Can an effect precede its cause?
M. A. E. Dummett
Truth and other enigmas
Duckworth
1978
London
dumme-1978:truthother:
M. A. E. Dummett
Truth and other enigmas
Duckworth
1978
London
durfe-1988:coorddistr:
Edmund H. Durfee
Coordination of distributed problem solvers
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
Increasing coherence in a distributed problem solving
network
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
Increasing coherence in a distributed problem solving
network
International Joint Conference on Artificial
Intelligence (IJCAI '86)
1986
58--64
durfe.lesse-1986:increplann:inbook:58
E. Durfee and V. Lesser
Incremental planning to control a blackboard-based
problem solver
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
Planning coordinated actions in dynamic domains
Proc. DARPA knowledge-based planning workshop
1987
18--1--18--10
Austin, TX
December
durfe.lesse-1988:increplann:journal:
E. Durfee and V. Lesser
Incremental planning to control a blackboard-based
problem solver
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
Predictability Versus Responsiveness: Coordinating
Problem Solvers In Dynamic Domains
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
Using partial global plans to coordinate distributed
problem solvers
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
Using partial global plans to coordinate distributed
problem solvers
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
Consistent Integration and Propagation of Disparate
Sensor Observations
Int. Journal of Robotics Research
1987
6
3
3--14
dutta-1981:someeffic:thesis
Amitava Dutta
Some efficiency and consistency issues in automatic
planning systems
Purdue U
1981
UMI 82-00669
dyer.wolse-1990:formusingl:journal:255
M. E. Dyer and L. A. Wolsey
Formulating the Single Machine Sequencing Problem with
Release Dates as a Mixed Integer Program
Discrete Applied Mathematics
1990
26
255--270
eagle-1984:optimsearc:journal:1107
James N. Eagle
The Optimal Search for a Moving Target When the Search
Path is Constrained
Operations Research
1984
32
5
1107--1115
earl.firby-1993:syntharchi:inbook:5
Charles Earl and R. James Firby
A Synthetic Architecture for Action and Learning
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
A program that generates difference orderings for
{GPS}
Systems research c.tr, Case Western Reserve
University
1969
SRC-69-6
eavar.ernst-1970:progrthat:inbook:
D. S. Eavarone and G. W. Ernst
A program that discovers good difference orderings and
tables of connections for {GPS}
IEEE systems science and cybernetics conf. record
1970
eick.raule-1978:problsolvi:inbook:103
Ch Eick and P. Raulefs
Problem solving by hyperplanning
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:
Machine Intelligence 8
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
The two frame problems
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
Artificial and human intelligence
North-Holland
1983
elith.jones-1973:artifhuman:
A. Elithorn and D. Jones
Artificial and human thinking
Jossey-Bass
1973
elkan-1990:increappro:inbook:145
Charles Elkan
Incremental, Approximate Planning
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
Formalizing Counterfactual and Nondeterministic
Actions in First Order Logic
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
On Solving the Qualification Problem
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
Temporal and Resource Reasoning in Planning: The
parc{PLAN} approach
W. Wahlster
Proceedings of the 12th European Conference on
Artificial Intelligence (ECAI-96)
1996
Wiley & Sons
614--618
elleb-1987:problsolvi:
Peter Elleby
Problem solving with temporal constraints
1987
elleb.fargh-1988:constsched:TR
P. Elleby and H. E. Fargher and T. R. Addis
A Constraint-Based Scheduling System for {VLSI} Wafer
Fabrication
Knowledge Systems Group, Department of Computer
Science, U Reading
1988
elleb.grant-1986:knowlsched:inbook:
Peter Elleby and Tim Grant
Knowledge-based scheduling
G. Mitra
Computer assisted decision making: expert systems,
decision analysis, mathematical programming
North-Holland
1986
elmag-1977:activnetwo:
S. E. Elmaghraby
Activity networks
Wiley Interscience
1977
emers.lei-1986:efficmodel:inbook:
A. Emerson and C. Lei
Efficient model checking in fragments of the modal
mu-calculus
Proc. LICS 1986
1986
emers.sistl-1984:decidfull:journal:175
E. A. Emerson and A. S. Sistla
Deciding full branching-time logic
Information and control
1984
61
175--201
engel-1979:knobsexper:inbook:247
C. Engelman
{KNOBS}: an experimental knowledge-based tactical air
mission planning system
6th International Joint Conference on Artificial
Intelligence (IJCAI 79)
1979
247--249
engel-1981:logicprogr:125:
Logic of programs: proceedings of the 1979 workshop
1981
Erwin Engeler
125
Lecture notes in computer science
Zurich
May-July
Springer
engel.morga-1988:blacksyste:
Robert Engelmore and Tony Morgan
Blackboard Systems
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
Exploitation of Decision Theory Techniques in
Multi-Agent Planning (Preliminary Report)
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
Incentive to Work: Deriving Cooperation Among
Self-Interested Agents (Preliminary Report)
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
A Cost-Directed Planner: Preliminary Report
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
A Multi-Level Organization for Problem Solving Using
Many, Diverse, Cooperating Sources of Knowledge
Proc. of the Int. Joint Conf. on Artificial
Intelligence
1975
ernst-1969:sufficondi:journal:517
George W. Ernst
Sufficient conditions for the success of {GPS}
Journal of the Association for Computing Machinery
1969
16
517--533
ernst.golds-1982:mechadisco:journal:
George W. Ernst and M. M. Goldstein
Mechanical discovery of classes of problem-solving
strategies
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
Tradeoffs in Automatic {SAT}-Compilation of Planning
Problems
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
{GPS}: a case study in generality and problem
solving
Academic Press
1969
ACM Monograph Series
New York
erol.hendl-1994:htnplann:inbook:1123
Kutluhan Erol and James Hendler and Dana S. Nau
{HTN} Planning: Complexity and Expressivity
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
On the Complexity of Domain-Independent Planning
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
When is Planning Decidable
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
Toward a General Framework for Hierarchical
Task-Network Planning
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
Complexity, decidability and undecidability results
for domain-independent planning
Artificial Intelligence
1995
76
75--88
ersch.lopez-1990:energappro:inbook:
J. Erschler and P. Lopez
Energy-based approach for task scheduling under time
and resource constraints
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
Characterizing the set of feasible sequences for n
jobs to be carried out on a single machine.
European Journal of Operational Research
1980
4
189--194
eshgh-1987:abducplann:inbook:
Kave Eshghi
Abductive planning with event calculus
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
Constraint-oriented cooperative scheduling for
aircraft manufacturing
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
Modeling and managing disjunctions in scheduling
problems
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
Constraint Programming
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
Hybrid Learning of Search Control for Partial-Order
Planning
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
Multi-Strategy Learning of Search Control for
Partial-Order Planning
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
Learning to Improve both Efficiency and Quality of
Planning
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
{APEL}: {A} Graphical Yet Executable Formalism for
Process Modelling.
Automated Software Enginnering (ASE)
1997
March
ether-1988:non-mreaso:inbook:
David W. Etherington
Non-monotonic reasoning: is the answer harder than the
question?
Conf. of the Canadian Society for the Computational
Study of Intelligence (CSCSI 88)
1988
invited talk
etzio-1993:acquisearc:journal:255
O. Etzioni
Acquiring search-control knowledge via static
analysis
Artificial Intelligence
1993
62
2
255--302
etzio.lesh-1993:plannwith:inbook:24
Oren Etzioni and Neal Lesh
Planning with Incomplete Information in the {UNIX}
Domain
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
A Softbot-Based Interface to the Internet
Communications of the ACM
1994
37
7
72--76
eugen.webbe-1992:planrecog:inbook:52
Barbara Di Eugenio and Bonnie Webber
Plan Recognition in Understanding Instructions
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
Graph Algorithms
Computer Science Press, Inc
1979
Computer Software Engineering
11 Taft Ct., Rockille, Maryland 20850
fagan-1980:repretime-:thesis
J. J. Fagan
Representing Time-Dependent Relations in a Medical
Setting
Stanford University
1980
fagin.halpe-1990:logicfor:journal:78
R. Fagin and J. Y. Halpern and N. Megiddo
A logic for reasoning about probabilities
Information and control
1990
87
78--128
fahlm-1973:plannsyste:thesis
Scott E. Fahlman
A planning system for robot construction tasks
AI Lab, MIT
1973
MS
fahlm-1973:plannsyste:TR
Scott E. Fahlman
A planning system for robot construction tasks
AI Lab, MIT
1973
AI-TR 283
May
fahlm-1974:plannsyste:journal:1
Scott E. Fahlman
A planning system for robot construction tasks
Artificial Intelligence
1974
5
1
1--49
North Holland
about BUILD
falet-1982:pando-:inbook:185
J. Faletti
{PANDORA} - a program for doing commonsense planning
in complex situations
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 82)
1982
185--188
falet-1982:pandoprogr:inbook:
J. Faletti
{PANDORA}: a program for doing common-sense planning
in complex situations
Proceedings of AAAI-82
1982
AAAI
fargh.smith-1992:plannfor:inbook:57
Hugh E. Fargher and Richard A. Smith
Planning for the Semiconductor Manufacturer of the
Future
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
The coordination of multiple goal satisfaction
5th International Joint Conference on Artificial
Intelligence (IJCAI 77)
1977
495--
farle-1980:issuein:journal:446
Arthur M. Farley
Issues in knowledge-based problem solving
IEEE Trans. on systems, man and cybernetics
1980
SMC-10
8
446--559
farle-1980:onwaiti:inbook:
Arthur M. Farley
On waiting
1st National Conference on Artificial Intelligence of
the American Association for AI (AAAI 80)
1980
farle-1981:probamodel:TR
Arthur M. Farley
A probabilistic model for uncertain problem solving
SRI International
1981
AI center technical note
SRI AI 256
farle-1982:increplann:inbook:8
Arthur M. Farley
Incremental planning in a probabilistic model for
uncertain problem solving
Conf. of the Canadian Society for the Computational
Study of Intelligence (CSCSI 82)
1982
8--11
farle-1983:probamodel:journal:
Arthur M. Farley
A probabilistic model for uncertain problem solving
IEEE Transactions on systems, man and cybernetics
1983
fayma.rivli-1995:activvisio:inbook:315
J. A. Fayman and E. Rivlin and H. I. Christensen
The Active Vision Shell
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
A System For Active Vision Driven Robotics
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
A computational model for decision-theoretic control
of problem-solving under uncertainty
Proc. 4th workshop on uncertainty in AI
1988
Minneapolis MN
feige.feldm-1963:computhoug:
E. A. Feigenbaum and J. Feldman
Computers and thought
McGraw-Hill
1963
feldm-1984:decidpropo:journal:11
Y. A. Feldman
A decidable propositional dynamic logic with explicit
probabilities
Information and control
1984
63
11--38
feldm.harel-1984:probadynam:journal:193
Y. A. Feldman and D. Harel
A probabilistic dynamic logic
Journal of Computer and System Sciences
1984
28
193--215
feldm.morri-1990:admiscrite:inbook:151
Roy Feldman and Paul Morris
Admissible Criteria for Loop Control in Planning
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
Decision Theory and Artificial Intelligence {II}: The
Hungry Monkey
University of Rochester, Department of Computer
Science
1975
feldm.sprou-1977:decistheor:journal:158
Jerome A. Feldman and Robert F. Sproull
Decision theory and artificial intelligence {II}: the
hungry monkey
Cognitive science
1977
1
158--192
felle-1985:protomanuf:journal:413
Craig Fellenstein and others
A Prototype Manufacturing Knowledge Base in Syllog
IBM Journal of Research and Development
1985
29
4
413--421
July
fenst-1967:repreproba:inbook:
J. E. Fenstad
Representations of probabilities defined on
first-order languages
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
Toward an architecture for adaptive, rational, mobile
agents
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
{TouringMachines}: an architecture for dynamic,
rational, mobile agents
U. of Cambridge
1992
No. 273
November
fergu-1994:autonagent:inbook:
I. A. Ferguson
Autonomous Agent Control: a Case for Integrating
Models and Behaviors
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
Models and Behaviours a Way Forward for Robotics
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
Towards a Mixed Initiative Planning Assistant
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
On the Average Cost Optimality Equation and the
Structure of Optimal Policies for Partially Observable
{M}arkov Processes
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
Analysis of an adaptive control scheme for a partially
observed controlled {M}arkov chain
{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
Controlled {M}arkov processes on the Infinite planning
horizon: {W}eighted and overtaking cost criteria
Institute for Systems Research, The University of
Maryland
1995
TR 93-6
1--29
ficka-1980:automgoal-:inbook:68
Stephen Fickas
Automatic Goal-directed Program Transformation
National Conference on Artificial Intelligence of the
American Association for AI (AAAI-80)
1980
68--70
ficka-1982:automtrans:thesis
Stephen Fickas
Automating the Transformational Development of
Software
University of California at Irvine
1982
ficka-1985:automtrans:journal:1268
Stephen Fickas
Automating the transformational development of
software
IEEE Transactions on Software Engineering
1985
SE-11
11
1268--1277
fikes-1971:failutests:TR
R. E. Fikes
Failure tests and goals in plans
SRI International
1971
AI center technical note
SRI AI 53
March
fikes-1971:monitexecu:inbook:
R. E. Fikes
Monitored execution of robot plans produced by
{STRIPS}
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
Deductive retrieval mechanisms for state description
models
International Joint Conference on Artificial
Intelligence (IJCAI 75)
1975
99--106
fikes-1976:knowlrepre:TR
R. E. Fikes
Knowledge representation in automatic planning
systems
SRI International
1976
AI center technical note
SRI AI 119
fikes-1977:knowlrepre:inbook:63
Richard E. Fikes
Knowledge Representation in Automatic Planning
Systems
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
Automating the problem-solving in procedural office
work
AFIPS Conf. on office automation
1981
Houston, TX
March
fikes-1981:automprobl:TR
Richard E. Fikes
Automating the problem-solving in procedural office
work
CIS group, Xerox PARC
1981
tech memo
January
fikes-1981:commiframe:TR
Richard E. Fikes
A commitment-based framework for describing informal
cooperative work
CIS group, Xerox PARC
1981
tech memo
June
fikes-1982:commiframe:journal:331
Richard E. Fikes
A commitment-based framework for describing informal
cooperative work
Cognitive science
1982
6
331--347
fikes.hart-1971:stripnew:journal:189
R. Fikes and P. E. Hart and N. J. Nilsson
{STRIPS}: {A} new approach to the application of
theorem proving
Artificial Intelligence
1971
2
189--208
fikes.hart-1972:learnexecu:journal:251
Richard E. Fikes and Peter E. Hart and Nils J.
Nilsson
Learning and Executing Generalized Robot Plans
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
Some new directions in robot problem solving
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
{STRIPS}: a new approach to the application of theorem
proving to problem solving
2nd International Joint Conference on Artificial
Intelligence (IJCAI 71)
1971
608--620
fikes.nilss-1971:stripnew:journal:189
Richard E. Fikes and Nils Nilsson
{STRIPS}: a new approach to the application of theorem
proving to problem solving
Artificial Intelligence
1971
2
189--208
North Holland
fikes.nilss-1971:stripnew:TR
Richard E. Fikes and Nils Nilsson
{STRIPS}: a new approach to the application of theorem
proving to problem solving
SRI International
1971
AI center technical note
SRI AI 76
fikes.nilss-1972:learnexecu:journal:251
R. Fikes and N. J. Nilsson
Learning and Executing Generalized Robots
Artificial Intelligence
1972
3
4
251--288
fikes.nilss-1990:stripnew:inbook:88
R. E. Fikes and N. J. Nilsson
{STRIPS}: {A} New Approach to the Application of
Theorem Proving to Problem Solving
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
Reasoning with worlds and truth maintenance in a
knowledge-based programming environment
Communications of the ACM
1988
31
4
382--401
April
findl.chen-1969:onprobl:inbook:531
N. Findler and D. Chen
On the problems of time retrieval of temporal
relations, causality and coexistence
1st International Joint Conference on Artificial
Intelligence (IJCAI 69)
1969
531--545
findl.chen-1973:onprobl:journal:
N. Findler and D. Chen
On the problems of time retrieval of temporal
relations, causality and coexistence
Intl. J. of computing and information science
1973
2
findl.meltz-1971:artifintel:
N. V. Findler and B. Meltzer
Artificial intelligence and heuristic programming
Edinburgh University Press
1971
fine-1973:theorproba:
T. L. Fine
Theories of probability: an examination of
foundations
Academic Press
1973
finge-1982:sensoplann:TR
Joseph Jeffrey Finger
Sensory planning
Heuristic programming project, Stanford University
1982
HPP-82-12
Planning to sense
finge-1986:exploconst:thesis
Joseph Jeffrey Finger
Exploiting constraints in design synthesis
Stanford
1986
UMI NDS87-20386
finge-1986:exploconst:TR
J. J. Finger
Exploiting constraints in deductive design synthesis
Stanford University
1986
Ph.D. thesis
fink.velos-1994:prodiplann:TR
Eugene Fink and Manuela Veloso
Prodigy Planning Algorithm
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
Formalizing the {PRODIGY} Planning Algorithm
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
Automatically Abstracting the Effects of Operators
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
Forbidding Preconditions and Ordered Abstraction
Hierarchies
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
A Spectrum of Plan Justifications
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
Well structured transition systems
Lab. de recherche en informatique, Center d'Orsay, U
de Paris-Sud
1987
report
365
firby-1987:invesinto:inbook:202
R. James Firby
An investigation into reactive planning in complex
domains
Proceedings of the Sixth National Conference on
Artificial Intelligence (AAAI 87)
1987
202--206
firby-1989:adaptexecu:thesis
R. James Firby
Adaptive execution in complex dynamic worlds
Dept CS, Yale
1989
firby-1989:adaptexecu:TR
R. James Firby
Adaptive execution in complex dynamic worlds
Dept CS, Yale
1989
RR-672
RAPS
firby-1992:buildsymbo:inbook:62
R. J. Firby
Building Symbolic Primitives with Continuous Control
Routines
Proc. of the First Int. Conf. on AI Planning
Systems
1992
62--29
College Park, MD
June
firby-1993:archifor:inbook:
R. J. Firby
An Architecture for {A} Synthetic Vacuum Cleaner
Proc. of the AAAI Fall Symp. Series Workshop on
Instantiating Real-World Agents
1993
Raleigh, NC
October
firby-1994:archirepre:inbook:
R. J. Firby
Architecture, Representation and Integration: An
Example From Robot Navigation
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
Task Networks for Controlling Continuous Processes
Proc. of the Second Int. Conf. on AI Planning
Systems
1994
Chicago, IL
June
firby-1996:modulissue:inbook:78
R. James Firby
Modularity Issues in Reactive Planning
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
Efficient robot planning with deadlines and travel
time
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
Representing and solving temporal planning problems
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
Plan Representations for Picking Up Trash
Proc. of the Int. Joint Conf. on Artificial
Intelligence
1995
Montreal, Canada
firby.slack-1995:taskexecu:inbook:
R. J. Firby and M. G. Slack
Task Execution: Interfacing to Reactive Skill
Networks
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
Propositional dynamic logic of regular programs
Journal of Computer and system sciences
1979
18
194--211
fishb-1985:interorder:
Peter. C. Fishburn
Interval Orders and Interval Graphs
Wiley-Interscience
1985
Discrete Mathematics
fishe-1988:charamodal:TR
Michael Fisher
Characterizing modal logic
Dept CS, Manchester University
1988
report
useful survey and references
fishe-1989:templproje:TR
Michael Fisher
Temple project final report
Dept. CS, Manchester University
1989
March
fishe.barri-1986:progrlogic:TR
Michael Fisher and Howard Barringer
Program logics: a short survey
Dept. CS, Manchester University
1986
UMCS-86-11-1
useful survey and references
fishe.barri-1987:progrlogic:TR
Michael Fisher and Howard Barringer
Program logics: a short survey [revised]
Dept. CS, Manchester University
1987
June
fitzg.firby-1996:itemdescr:inbook:48
Will Fitzgerald and R. James Firby
Item Descriptions Add Value to Plans
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
Design of a Modular Architecture for Autonomous
Robot
Proc. of the IEEE Int. Conf. on Robotics and
Automation
1994
3508--3513
floyd-1967:assigmeani:inbook:19
R. W. Floyd
Assigning meaning to programs
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
{MIT} mobile robots -- what's next?
Proc IEEE Conf on Automation & Robotics
1988
611--
folle-1980:synthrecur:journal:175
Ria Follet
Synthesising recursive functions with side-effects
Artificial Intelligence
1980
13
175--200
North Holland
folle-1984:combiprogr:inbook:
Ria Follet
Combining program synthesis with program analysis
A. W. Biermann and G. Guiho and Kodratoff Y.
Automatic program construction techniques
Macmillan publishing Co
1984
forbu-1985:qualiproce:inbook:
Kenneth D. Forbus
Qualitative process theory
D. Bobrow
Qualitative reasoning about physical systems
MIT press
1985
forbu-1988:intelcompu:journal:23
Ken Forbus
Intelligent computer-aided engineering
AI magazine
1988
9
3
23--36
brief section on plans with QP operators
QP operators
forbu-1989:introactio:inbook:1273
Kenneth D. Forbus
Introducing actions into qualitative simulations
International Joint Conference on Artificial
Intelligence (IJCAI-89)
1989
1273--1279
Morgan Kaufman
forgy-1982:retefast:journal:17
C. L. Forgy
Rete: {A} Fast Algorithm for the Many Pattern/Many
Object Pattern Matching Problem
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
Computer-Aided Synthesis of Complex Pump and Valve
Operations
Comput. chem. Engng
1988
12
9/10
1035--1044
fouls.li-1991:quanttheor:inbook:673
David E. Foulser and Ming Li and Qiang Yang
A Quantitative Theory for Plan Merging
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
Factory modelling, simulation and scheduling in the
intelligent management system
International Joint Conference on Artificial
Intelligence (IJCAI 81)
1981
1058--
fox-1981:reasowith:inbook:313
M. S. Fox
Reasoning with incomplete information in a
resource-limited environment
7th International Joint Conference on Artificial
Intelligence (IJCAI 81)
1981
313--318
fox-1983:constsearc:thesis
M. S. Fox
Constraint-directed search: a case study of job-shop
scheduling
Dept. CS, Carnegie-Mellon University
1983
UMI DA 84-06442
fox-1983:constsearc:TR
M. S. Fox
Constraint-directed search: a case study of job-shop
scheduling
Dept. CS, Carnegie-Mellon University
1983
CMU-CS-83-161
fox-1983:intelmanag:inbook:105
M. S. Fox
The intelligent management system: an overview
Sol H. G.
Processes and tools for decision support
North-Holland
1983
105--130
fox-1983:intelmanag:TR
M. S. Fox
The intelligent management system: an overview
Robotics Inst, Carnegie-Mellon University
1983
tech report
fox-1986:obseron:inbook:172
M. S. Fox
Observations on the role of constraints in problem
solving
6th Conf. of the Canadian Society for the
Computational Study of Intelligence (CSCSI 86)
1986
172--187
Montreal
fox-1987:constsearc:
M. S. Fox
Constraint-directed search: a case study of job-shop
scheduling
Pitman/Morgan Kaufman
1987
Research notes in AI
fox-1988:commoreaso:TR
Maria Fox
Commonsense reasoning in a hierarchical non-linear
planner
Division of CS, Hatfield Polytechnic, UK
1988
fox.allen-1982:job-ssched:inbook:155
M. S. Fox and Brad Allen and Gary Strohm
Job-shop scheduling: an investigation in
constraint-directed reasoning
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
{ISIS}: a constraint-directed reasoning approach to
job shop scheduling: system summary
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
Using predicate logic to integrate qualitative
reasoning and classical decision theory
IEEE trans. on systems, man and cybernetics
1990
20
2
347--357
fox.kempf-1985:compluncer:inbook:
B. R. Fox and K. G. Kempf
Complexity, Uncertainty and Opportunistic Scheduling
Proceedings 2nd. Intl. Conf. on Artificial
Intelligence
1985
IEEE
fox.kempf-1988:plannsched:inbook:
B. Fox and K. Kempff
Planning, scheduling and uncertainty in the sequence
of future events
J. LEMMER and L. KANAL
Uncertainty in AI
North-Holland
1988
fox.long-1994:oneffic:inbook:
Maria Fox and Derek Long
On the Efficient Validation of Partial Plans
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
Constrained Heuristic Search
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
Why Is Scheduling Difficult? {A} {CSP} Perspective
Proceedings of the 1990 European Conference on
Artificial Intelligence (ECAI-90)
1990
fox.smith-1983:isis-:TR
M. S. Fox and S. Smith
{ISIS} - a constraint-directed reasoning approach to
job-shop scheduling
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
{ISIS}: a constraint-directed reasoning approach to
job-shop scheduling
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
{ISIS} - a knowledge-based system for factory
scheduling
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
On line reactive planning for a non holonomic mobile
in a dynamic world
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
Using On-Board {AI} to Increase Spacecraft Autonomy
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
Temporal Planning for Transportation Planning and
Scheduling
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
Time, Petri Nets and Robotics
IEEE Transaction on Robotics and Automation
1991
7
4
417--433
August
freed-1996:usingrap:inbook:52
Michael Freed
Using the Rap System to Simulate Human Error
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
\'{E}tude sur des techniques, m\'ethodes et outils de
d\'eveloppement logiciel de syst\`eme temps r\'eel
Centre de Recherche Informatique de Montr\'eal
1995
CRIM-95/12-40
December
frenc-1987:decistheor:
Simon French
Decision theory: an introduction to the mathematics of
rationality
Ellis Horwood
1987
0-85312-682-8
frgem.olsen-1994:introto:journal:1143
O. F{\ae}rgemand and A. Olsen
Introduction to {SDL-92}
Computer Networks and ISDN Systems
1994
26
1143--1167
fried-1977:robotlearn:inbook:736
Leonard Friedman
Robot learning and error correction
5th International Joint Conference on Artificial
Intelligence (IJCAI 77)
1977
736--
fried-1979:knowlexper:inbook:285
P. Friedland
Knowledge-based experiment design in molecular
genetics
6th International Joint Conference on Artificial
Intelligence (IJCAI 79)
1979
285--287
fried-1979:knowlexper:thesis
P. Friedland
Knowledge-based experiment design in molecular
genetics
Dept CS, Stanford University
1979
STAN-CS-79-771
fried-1981:acquiproce:inbook:856
P. Friedland
Acquisition of procedural knowledge from domain
experts
7th International Joint Conference on Artificial
Intelligence (IJCAI 81)
1981
856--861
fried-1986:gametheor:
J. W. Friedman
Game theory with applications to economics
Oxford University Press
1986
fried.iwasa-1983:conceimple:TR
Peter E. Friedland and Yumi Iwasaki
The Concept and Implementation of Skeletal Plans
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
The concept and implementation of skeletal plans
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
Least-Commitment Action Selection
Proceedings of AIPS-96
1996
May
fried.weld-1996:leastcommi:inbook:86
Marc Friedman and Daniel S. Weld
Least Commitment Action Selection
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
{DISA}: {A} Distributed Scheduler Using Abstractions
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
Action and Perception in Man-Made Environments
Proc. of the 14th IJCAI
1995
464--469
Montreal, Canada
fuchs-1988:experplann:TR
J. J. Fuchs and others
Expert planning system for space applications
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
{PLANNERS}-1: an expert planning systems for
generating spacecraft
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
{PLANNERS}-1: an expert planning systems for
generating spacecraft mission plans
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
Speeding Safely: {M}ulti-criteria optimization in
probabilistic planning
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:
Machine intelligence 13
1994
K. Furukawa and D. Michie and S. Muggleton
Oxford
Clarendon
fusil-1988:methofor:thesis
Robert Henry Fusillo
A methodology for the synthesis of operating
procedures for continuous chemical processes
Carnegie Mellon University
1988
Pittsburgh, Pennsylvania, U.S.A.
fusil.power-1987:synthmetho:journal:369
R. H. Fusillo and G. J. Powers
A Synthesis Method for Chemical Plant Operating
Procedures
Computers chem. Engng.
1987
11
4
369--382
fusil.power-1988:compuplann:journal:558
R. H. Fusillo and G. J. Powers
Computer-Aided Planning of Purge Operations
AIChE Journal
1988
34
4
558--566
April
fusil.power-1988:operaproce:journal:1023
R. H. Fusillo and G. J. Powers
Operating Procedure Synthesis using Local Models and
Distributed Goals
Computers chem. Engng.
1988
12
9/10
1023--1034
fusuo.seki-1983:descrreaso:inbook:405
A. Fusuoka and H. Seki and K. Takahashi
Description and reasoning in plant controllers in
temporal logic
International Joint Conference on Artificial
Intelligence (IJCAI 83)
1983
405--408
gabba-1976:invesin:
D. Gabbay
Investigations in Modal and Tense Logics with
Applications to Problems in Philosophy and
Linguistics
D. Reidel
1976
gabba.guent-1984:handbphilo:
Dov Gabbay and F. Guenthner
Handbook of philosophical logic
Reidel
1984
(3 volumes)
gabba.pneul-1980:ontempo:inbook:112
Dov Gabbay and A. Pneuli and S. Shelah and J. Stain
On the temporal logic of programs
Symposium on mathematical foundations of CS 18
1980
LNCS
88
112--152
gabri.frank-1988:statespeci:inbook:2
A. Gabrielian and M. Franklin
State-based specification of complex real-time
systems
Proc Real-time Systems Symposium
1988
2ff
gabri.frank-1989:hieramulti:journal:8
A. Gabrielian and M. Franklin
Hierarchical multi-state ({HMS}) specification of
real-time systems
Real-time Systems Newsletter
1989
5/1
8--12
Winter
gabri.stick-1987:hierarepre:inbook:82
A. Gabrielian and M. Stickney
Hierarchical representation of causal knowledge
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
Learning Emergent Tasks for an Autonomous Mobile
Robot
Proc. of the IEEE/RSJ Int. Conf. on Intelligent
Robots and Systems
1994
290--297
gadsd-1986:flypainter:inbook:
Julie Gadsden
FlyPast: an interactive knowledge-based planning
support system
Alvey planning SIG 5
1986
gaine-1976:behavstruc:journal:337
B. R. Gaines
Behavior structure transformations under uncertainty
Int'l J Man-Machine Studies
1976
8
337--365
gaine-1996:gtd-pbridg:inbook:74
D. Gaines
{GTD}-{POP}: Bridging The Gap between Soundness and
Efficiency in Practical Planners
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
Operator Constructions: {A} Compact, Maintainable
Representation for Real World Planners
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
Representing procedural knowledge in expert systems:
an application to process control
Proc. 9th International Joint Conference on Artificial
Intelligence (IJCAI 85)
1985
345ff
galle-1993:mapbuild:inbook:390
D. Galles
Map Building and Following Using Teleo Reactive
Trees
Proc. of the Int. Conf. on Intelligent Autononmous
Systems
1993
390--398
February
galli-1988:stratframe:inbook:
J. Galliers
A strategic framework for multiagent cooperative
dialogue
8th European Conference on Artificial Intelligence
(ECAI 88)
1988
Munich
galli-1988:theorframe:thesis
J. Galliers
A theoretical framework for computer models of
cooperative dialogue, acknowledging speaker conflict
Open University, UK
1988
September
galto-1987:logicoccur:inbook:
Anthony P. Galton
The logic of occurrence
Anthony P. Galton
Temporal logics and their application
Academic press
1987
galto-1987:logicoccur:TR
Anthony P. Galton
The logic of occurrence
Dept. CS, Exeter U
1987
Report R-139
galto-1987:tempologic:
Anthony P. Galton
Temporal logics and their application
Academic press
1987
galto-1987:tempologic:inbook:1
A. Galton
Temporal logic and computer science: an overview
Anthony P. Galton
Temporal logics and their application
Academic press
1987
1--52
galto-1996:critiexami:TR
Anthony P. Galton
A critical examination of {J}. {F}. Allen's theory of
action and time
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
Planning, Learning, and Executing in Autonomous
Systems
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
Planning Actions with Context-dependent Effects: {A}
State Space Based Approach
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
Hierarchisation of the Seach Space in Temporal
Planning
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
The complexity of flowshop and jobshop scheduling
Mathematical Operations Research
1976
1
117--129
garey.johns-1979:compuintra:
Michael R. Garey and David S. Johnson
Computers and Intractability
W. H. Freeman and Company
1979
San Francisco
garve-1984:issueappro:TR
T. D. Garvey
Issues and approaches to planning under uncertainty
AI Center, SRI International
1984
Final report for Project 2402
garve.humph-1993:taskinter:inbook:580
Alan Garvey and Marty Humphrey and Victor Lesser
Task Interdependencies in Design-to-time Real-time
Scheduling
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
Knowledge based helicopter route planning
Proc DARPA Knowledge-Based Planning Workshop
1987
Austin, TX
December
gat-1991:alfalangu:inbook:1116
E. Gat
{ALFA}: {A} language for programming reactive robot
control systems
Proc. of the IEEE Int. Conf. on Robotics and
Automation
1991
1116--1121
Sacramento, CA
gat-1992:integplann:inbook:809
E. Gat
Integrating Planning and Reacting in a Heterogeneous
Asynchronous Architecture for Controlling Real-World
Mobile Robots
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
On the Role of Stored Internal State in the Control of
Autonomous Mobile Robots
AI Magazine
1993
Spring
gat-1996:esllangu:inbook:59
Erann Gat
{ESL}: {A} Language for Supporting Robust Plan
Execution in Embedded Autonomous Agents
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
News from the Trenches: An Overview of Unmanned
Spacecraft for {AI} Researchers
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
Behavior Control for Robotic Exploration of Planetary
Surfaces
IEEE Journal of Robotics and Automation
1993
Not certain on the year
gat.dorai-1994:robotnavig:inbook:1293
E. Gat and G. Dorais
Robot Navigation by Conditional Sequencing
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
A Taxonomy of Independent Variables Affecting Human
Performance
Int. Journal of Man-Machine Studies
1989
31
643--672
gecse.csiri-1989:interon:380:
International Conference on the Fundamentals of
computation theory ({FTC} 89)
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
A Qualitative Model for Temporal Reasoning with
Incomplete Information
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
A Consequence of Incorporating Intentions in Means-End
Planning
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
{PVM} 3 User's Guide and Reference Manual
Oak Ridge National Laboratory
1994
ORNL/TM-12187
September
genes-1979:roleplans:inbook:
M. R. Genesereth
The role of plans in automated consultation
International Joint Conference on Artificial
Intelligence (IJCAI 79)
1979
genes-1982:roleplans:inbook:
M. R. Genesereth
The role of plans in intelligent teaching systems
D. Sleeman and J. S. Brown
Intelligent tutoring systems
Academic press
1982
London
genes-1983:overvmeta:inbook:119
M. R. Genesereth
An overview of meta level architectures
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 83)
1983
119--124
genes-1984:partiprogr:TR
M. R. Genesereth
Partial programs
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
Cooperation without communication
don't know
1988
220--226
genes.nilss-1987:logicfound:
M. R. Genesereth and N. Nilsson
Logical foundations of artificial intelligence
Morgan Kaufman
1987
genes.nourb-1993:time-tips:inbook:
Michael Genesereth and Illah R. Nourbakhsh
Time-Saving Tips for Problem-Solving with Incomplete
Information
Proceedings of the Eleventh National Conference on
Artificial Intelligence
1993
genes.smith-1981:metalarchi:TR
D. E. Genesereth and M. R. Smith
Metalevel architecture
Stanford University
1981
Memo
HPP-81-6
genes.smith-1982:metalarchi:TR
M. R. Genesereth and D. E. Smith
Metalevel architecture
Stanford University
1982
Memo-81-6
georg-1983:commuinter:inbook:125
Michael P. Georgeff
Communications and Interaction in Multiagent
Planning
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
Communication and interaction in multi-agent
planning
SRI International
1983
AI center technical note
SRI AI 313
georg-1984:expersyste:inbook:153
Michael Georgeff
An expert system for representing procedural
knowledge
Proc Joint Services Workshop on AI in Maintenance
1984
153--170
georg-1984:expersyste:TR
Michael Georgeff
Expert systems for representing procedural knowledge
SRI International
1984
SRI tech report AD-P003923/0
georg-1984:proceexper:inbook:121
M. Georgeffl
Procedural expert systems
Proceedings of AAAI-84
1984
121--125
georg-1984:theoractio:inbook:121
Michael P. Georgeff
A Theory of Action for Multiagent Planning
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
Reasoning about procedural knowledge
Proc AIAA/ACM/NASA/IEEE Computers in Aerospace Conf
1985
Long Beach, California
georg-1986:actioproce:inbook:
Michael Georgeff
Actions, processes and causality
Michael Georgeff and Amy Lansky
Reasoning about actions and plans: proceeding of 1986
workshop
1986
Morgan Kaufmann
georg-1986:repreevent:inbook:70
Michael Georgeff
A representation of events in multi-agent domains
National Conference on Artificial Intelligence of the
American Association for AI (AAAI 86)
1986
70--75
georg-1987:actioproce:inbook:123
M. P. Georgeff
Actions, Processes, and Causality
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
Communication and interaction in multi-agent
planning
Proc. of the Nat. Conf. on Artificial
Intelligence
1987
200--204
Seattle, Washington, USA
July
georg-1987:manyagent:inbook:
Michael P. Georgeff
Many Agents are Better than One
Proceedings of the 1987 Workshop on the Frame Problem
in Artificial Intelligence
1987
Lawrence, Kansas
georg-1987:manyagent:TR
M. P. Georgeff
Many agents are better than one [revised]
SRI International
1987
AI center technical note
SRI-AI 417
March
georg-1987:plann:inbook:
M. P. Georgeff
Planning
J. Traub
Annual review of computer science 2
Annual Reviews Inc
1987
Palo Alto
georg-1987:plann:journal:359
Michael P. Georgeff
Planning
Annual Review of Computer Science
1987
2
359--400
georg-1987:plann:TR
M. P. Georgeff
Planning
SRI International
1987
Technical Note
418
georg-1987:repreevent:inbook:210
M. P. Georgeff
The representation of events in multi-agent domains
Proc. of the Nat. Conf. on Artificial
Intelligence
1987
210--215
Seattle, Washington, USA
July
georg-1988:embedreal-:inbook:
Michael Georgeff
An embedded real-time reasoning system
Proc. 12 IMACS world congress
1988
Paris
georg-1988:embedreaso:inbook:
Michael Georgeff
An embedded reasoning and planning system
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
Reasoning about plans and actions
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
Procedural expert systems
Proc 8th International Joint Conference on Artificial
Intelligence (IJCAI 83)
1983
151ff
georg.ingra-1988:reseaon:
M. P. Georgeff and F. F. Ingrand
Research on procedural reasoning systems
1988
Final Report, Phase 1, AI Center, SRI International,
Menlo Park, California.
georg.ingra-1988:reseaon:TR
M. Georgeff and F. F. Ingrand
Research on procedural reasoning systems
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
Decision-making in an embedded reasoning system
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
Real-time reasoning: the monitoring and control of
spacecraft systems
SRI International
1990
AI center technical note
SRI AI 478
January
georg.ingra-1993:decisin:inbook:
M. Georgeff and F. Ingrad
Decision-making in an Embedded Reasoning System
Proc. of 11th National Conference on Artificial
Intelligence
1993
--
georg.lansk-1985:procelogic:inbook:516
Michael Georgeff and Amy Lansky and P. Bessiere
A procedural logic
International Joint Conference on Artificial
Intelligence (IJCAI 85)
1985
August
516--523
Los Angeles
georg.lansk-1985:procelogic:TR
Michael Georgeff and Amy Lansky
A procedural logic
SRI International
1985
AI center technical note
georg.lansk-1986:bdiseman:TR
Michael Georgeff and Amy Lansky
A bdi semantics for the procedural reasoning system
SRI International
1986
AI center technical note
georg.lansk-1986:proceknowl:inbook:
Michael P. Georgeff and Amy L. Lansky
Procedural Knowledge
Proceedings of the {IEEE} Special Issue on Knowledge
Representation
1986
georg.lansk-1986:proceknowl:journal:1383
Michael Georgeff and Amy Lansky
Procedural knowledge
Proceedings of the IEEE, Speicial Issue on Knowledge
Representation
1986
74
10
1383--1398
October
georg.lansk-1986:reasoabout:
Reasoning about actions and plans: Proceeding of 1986
workshop
1986
Michael Georgeff and Amy Lansky
Temberline, Oregon
Morgan Kaufmann
georg.lansk-1986:reasoplann:TR
M. Georgeff and M. Lansky and A. Schoppers
Reasoning and planning in dynamic domains: an
experiment with a mobile robot
AI Center, SRI International
1986
Technical Note
380
georg.lansk-1986:systefor:TR
Michael Georgeff and Amy Lansky
A system for reasoning in dynamic domains: Fault
diagnosis on the space shuttle
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
Reactive reasoning and planning: an experiment with a
mobile robot
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
Reasoning and planning in dynamic domains: An
experiment with a Mobile Robot
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
Reasoning and planning in dynamic domains: An
experiment with a Mobile Robot
SRI International
1987
AI center technical note
380
Flakey
georg.lansk-1987:theoractio:inbook:205
M. P. Georgeff and A. L. Lansky
A theory of action for multi-agent planning
Proc. of the Nat. Conf. on Artificial
Intelligence
1987
205--209
Seattle, Washington, USA
July
ger-1977:logicalgor:journal:243