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