Note that these are all also available via anonymous ftp to www.aaii.com.au
M. P. Georgeff, "The role of
artificial intelligence in industrial applications," Tech. Rep. 01,
Australian Artificial Intelligence Institute, Melbourne, Australia, Nov
1989.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, "Dynamics of
belief systems: A philosophical, logical, and ai perspective," Tech. Rep.
02, Australian Artificial Intelligence Institute, Melbourne, Australia, Jul
1989.
View the abstract, retrieve gzipped postscript, or postscript
M. P. Georgeff and F. F. Ingrand, "Monitoring
and control of spacecraft systems using procedural reasoning," Tech. Rep.
03, Australian Artificial Intelligence Institute, Melbourne, Australia, Nov
1989.
View the abstract, retrieve gzipped postscript, or postscript
M. P. Georgeff and F. F. Ingrand, "Decision-making in an embedded reasoning system," Tech. Rep. 04, Australian
Artificial Intelligence Institute, Melbourne, Australia, Nov 1989.
View the abstract, retrieve gzipped postscript, or postscript
L. Cavedon, "Continuity,
consistency, and completeness properties for logic programs," Tech. Rep.
05, Australian Artificial Intelligence Institute, Melbourne, Australia, Nov
1989.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley and G. Smith, "Ai planning
applied to military deployments," Tech. Rep. 06, Australian Artificial
Intelligence Institute, Melbourne, Australia, Nov 1989.
View the abstract, retrieve gzipped postscript, or postscript
P. Lim and D. Morley, "Meta-programming and clp," Tech. Rep. 07, Australian Artificial Intelligence
Institute, Melbourne, Australia, Jan 1990.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Intentions
and rational comment," Tech. Rep. 08, Australian Artificial Intelligence
Institute, Melbourne, Australia, 1990.
View the abstract, retrieve gzipped postscript, or postscript
L. Cavedon, M. Ljungberg, and D. Morley, "A
search-based system for manufacturing scheduling," Tech. Rep. 09,
Australian Artificial Intelligence Institute, Melbourne, Australia, Aug
1990.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Deliberation and intentions," Tech. Rep. 10, Australian Artificial Intelligence
Institute, Melbourne, Australia, May 1991.
View the abstract, retrieve gzipped postscript, or postscript
D. N. Kinny, "Measuring
the effectiveness of situated agents," Tech. Rep. 11, Australian
Artificial Intelligence Institute, Melbourne, Australia, Nov 1990.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley and G. Smith, "Multiple
solutions for problem reduction - the $aao^ algorithm," Tech. Rep.
12, Australian Artificial Intelligence Institute, Melbourne, Australia, Dec
1990.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Asymmetry
thesis and side-effect problems in linear-time and branching-time intention
logics," Tech. Rep. 13, Australian Artificial Intelligence Institute,
Melbourne, Australia, Apr 1991.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Modeling
rational agents within a bdi-architecture," Tech. Rep. 14, Australian
Artificial Intelligence Institute, Melbourne, Australia, Feb 1991.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Intelligent
real-time network management," Tech. Rep. 15, Australian Artificial
Intelligence Institute, Melbourne, Australia, Apr 1991.
View the abstract, retrieve gzipped postscript, or postscript
N. Karppinen, A. Lucas, M. Ljungberg, and P. Repusseau, "Artificial
intelligence in air traffic flow management," Tech. Rep. 16, Australian
Artificial Intelligence Institute, Melbourne, Australia, Apr 1991.
View the abstract, retrieve gzipped postscript, or postscript
D. N. Kinny and M. P. Georgeff, "Commitment
and effectiveness of situated agents," Tech. Rep. 17, Australian
Artificial Intelligence Institute, Melbourne, Australia, Apr 1991.
View the abstract, retrieve gzipped postscript, or postscript
P. Belegrinos and M. Georgeff, "A model of
events and processes," Tech. Rep. 18, Australian Artificial Intelligence
Institute, Melbourne, Australia, Apr 1991.
View the abstract, retrieve gzipped postscript, or postscript
F. F. Ingrand and M. P. Georgeff, "Managing
deliberation and reasoning in real-time ai systems," Tech. Rep. 20,
Australian Artificial Intelligence Institute, Melbourne, Australia, Apr
1991.
View the abstract, retrieve gzipped postscript, or postscript
M. P. Georgeff, "Situated
reasoning and rational behaviour," Tech. Rep. 21, Australian Artificial
Intelligence Institute, Melbourne, Australia, Apr 1991.
View the abstract, retrieve gzipped postscript, or postscript
C. A. Lucas, "The effects
of icing on the dynamic response of thick aerofoils," Tech. Rep. 22,
Australian Artificial Intelligence Institute, Melbourne, Australia, Aug
1991.
View the abstract, retrieve gzipped postscript, or postscript
C. A. Lucas and D. J. Maull, "The effects
of aerofoil profile on wing buffet at low speeds," Tech. Rep. 23,
Australian Artificial Intelligence Institute, Melbourne, Australia, Mar
1990.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, M. P. Georgeff, and E. A. Sonenberg, "Social
plans: A preliminary report," Tech. Rep. 24, Australian Artificial
Intelligence Institute, Melbourne, Australia, Jan 1992.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, A. Rao, and M. Ljungberg, "Distributed
air-traffic management system," Tech. Rep. 25, Australian Artificial
Intelligence Institute, Melbourne, Australia, Jan 1992.
View the abstract, retrieve gzipped postscript, or postscript
E. Sonenberg, G. Tidhar, E. Werner, D. Kinny, M. Ljungberg, and A. Rao, "Planned
team activity," Tech. Rep. 26, Australian Artificial Intelligence
Institute, Melbourne, Australia, Jul 1992.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, A. Rao, M. Ljungberg, D. Kinny, and E. Sonenberg, "Skills and
capabilities in real-time team formation," Tech. Rep. 27, Australian
Artificial Intelligence Institute, Melbourne, Australia, July 1992.
View the abstract, retrieve gzipped postscript, or postscript
M. Ljungberg and A. Lucas, "The OASIS
air traffic management system," Tech. Rep. 28, Australian Artificial
Intelligence Institute, Melbourne, Australia, August 1992.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley, "$gao^
search: A generalization of $ao^," Tech. Rep. 29, Australian
Artificial Intelligence Institute, Melbourne, Australia, August 1992.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley, M. Georgeff, and A. Rao, "A monotonic
formalism for events and systems of events," Tech. Rep. 30, Australian
Artificial Intelligence Institute, Melbourne, Australia, October 1994.
View the abstract, retrieve gzipped postscript, or postscript
D. Kinny, M. Ljungberg, A. Rao, G. Tidhar, E. Werner, and E. Sonenberg, "Planned
team activity," Tech. Rep. 31, Australian Artificial Intelligence
Institute, Melbourne, Australia, July 1992.
View the abstract, retrieve gzipped postscript, or postscript
D. Kinny, M. Georgeff, and J. Hendler, "Experiments
in optimal sensing for situated agents," Tech. Rep. 32, Australian
Artificial Intelligence Institute, Melbourne, Australia, July 1992.
View the abstract, retrieve gzipped postscript, or postscript
M. Ljungberg, A. Rao, G. Tidhar, D. Kinny, and E. Sonenberg, "Representing and executing social plans," Tech. Rep. 33, Australian Artificial
Intelligence Institute, Melbourne, Australia, July 1992.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, "Distributed
air traffic flow management," Tech. Rep. 36, Australian Artificial
Intelligence Institute, Melbourne, Australia, Sep 1992.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "A
model-theoretic approach to the verification of agent-oriented systems,"
Tech. Rep. 37, Australian Artificial Intelligence Institute, Melbourne,
Australia, April 1993.
View the abstract, retrieve gzipped postscript, or postscript
M. Georgeff, D. Morley, and A. Rao, "Events and
processes in situation semantics," Tech. Rep. 38, Australian Artificial
Intelligence Institute, Melbourne, Australia, October 1992.
View the abstract, retrieve gzipped postscript, or postscript
G. B. Smith, "Automating
client account administration," Tech. Rep. 39, Australian Artificial
Intelligence Institute, Melbourne, Australia, Dec 1992.
View the abstract, retrieve gzipped postscript, or postscript
G. B. Smith, "Scheduling
manufacturing operations," Tech. Rep. 40, Australian Artificial
Intelligence Institute, Melbourne, Australia, Dec 1992.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, "Team-oriented programming: Preliminary report," Tech. Rep. 41, Australian Artificial
Intelligence Institute, Melbourne, Australia, April 1993.
View the abstract, retrieve gzipped postscript, or postscript
A. Rao, A. Lucas, D. Morley, M. Selvestrel, and G. Murray, "Agent-oriented architecture for air combat simulation," Tech. Rep. 42, Australian
Artificial Intelligence Institute, Melbourne, Australia, April 1993.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, "Decision
procedures for propositional belief-desire-intention logics," Tech. Rep.
44, Australian Artificial Intelligence Institute, Melbourne, Australia,
September 1993.
View the abstract, retrieve gzipped postscript, or postscript
F. Dalle-Vedove, D. Huet, and G. Tidhar, "Wombats:
Wide operational management over beacons for airtraffic sectors," Tech.
Rep. 45, Australian Artificial Intelligence Institute, Melbourne, Australia,
August 1993.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, "Team-oriented programming: Social structures," Tech. Rep. 47, Australian Artificial
Intelligence Institute, Melbourne, Australia, September 1993.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, "Means-end
plan recognition -- towards a theory of reactive recognition," Tech. Rep.
49, Australian Artificial Intelligence Institute, Melbourne, Australia, June
1994.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and G. Murray, "Multi-agent
mental-state recognition and its application to air-combat modelling,"
Tech. Rep. 50, Australian Artificial Intelligence Institute, Melbourne,
Australia, June 1994.
View the abstract, retrieve gzipped postscript, or postscript
A. Lucas, M. Ljungberg, R. Evertsz, G. Tidhar, R. Goldie, and P. Maisano, "New
techniques for air traffic management for single and multiple airports,"
Tech. Rep. 51, Australian Artificial Intelligence Institute, Melbourne,
Australia, April 1994.
View the abstract, retrieve gzipped postscript, or postscript
D. Weerasooriya, A. S. Rao, and K. Ramamohanarao, "Design of a
concurrent agent-oriented language," Tech. Rep. 52, Australian Artificial
Intelligence Institute, Melbourne, Australia, October 1994.
View the abstract, retrieve gzipped postscript, or postscript
D. Kinny, M. Georgeff, J. Bailey, D. B. Kemp, and K. Ramamohanarao, "Active
databases and agent systems --- a comparison," Tech. Rep. 53, Australian
Artificial Intelligence Institute, Melbourne, Australia, July 1995.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Bdi agents:
From theory to practice," Tech. Rep. 56, Australian Artificial
Intelligence Institute, Melbourne, Australia, April 1995.
View the abstract, retrieve gzipped postscript, or postscript
M. P. Georgeff and A. S. Rao, "The
semantics of intention maintenance for rational agents," Tech. Rep. 57,
Australian Artificial Intelligence Institute, Melbourne, Australia, May
1995.
View the abstract, retrieve gzipped postscript, or postscript
D. Kinny, M. Georgeff, and A. Rao, "A
methodology and modelling technique for systems of BDI agents," Tech.
Rep. 58, Australian Artificial Intelligence Institute, Melbourne, Australia,
January 1996.
View the abstract, retrieve gzipped postscript, or postscript
D. Kinny and M. Georgeff, "Modelling
and design of multi-agent systems," Tech. Rep. 59, Australian Artificial
Intelligence Institute, Melbourne, Australia, November 1996.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, M. Selvestrel, and C. Heinze, "Modelling
teams and team tactics in whole air mission modelling," Tech. Rep. 60,
Australian Artificial Intelligence Institute, Melbourne, Australia, April
1995.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao and M. P. Georgeff, "Formal
models and decision procedures for multi-agent systems," Tech. Rep. 61,
Australian Artificial Intelligence Institute, Melbourne, Australia, June
1995.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley, L. Sonenberg, and M. Georgeff, "Saying you
are there," Tech. Rep. 62, Australian Artificial Intelligence Institute,
Melbourne, Australia, April 1996.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, "Decision
procedures for propositional linear-time belief-desire-intention logics,"
Tech. Rep. 63, Australian Artificial Intelligence Institute, Melbourne,
Australia, August 1995.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," Tech. Rep.
64, Australian Artificial Intelligence Institute, Melbourne, Australia,
February 1996.
View the abstract, retrieve gzipped postscript, or postscript
L. Cavedon, G. Tidhar, and D. Morley, "A framework
for modelling multi-agent systems," Tech. Rep. 65, Australian Artificial
Intelligence Institute, Melbourne, Australia, August 1995.
View the abstract, retrieve gzipped postscript, or postscript
L. Cavedon and G. Tidhar, "A logical
framework for modelling multi-agent systems and joint attitudes," Tech.
Rep. 66, Australian Artificial Intelligence Institute, Melbourne, Australia,
August 1995.
View the abstract, retrieve gzipped postscript, or postscript
G. Tidhar, A. S. Rao, and E. A. Sonenberg, "Guided team
selection," Tech. Rep. 67, Australian Artificial Intelligence Institute,
Melbourne, Australia, September 1995.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley and L. Sonenberg, "A logic for
concurrent events and action failure," Tech. Rep. 68, Australian
Artificial Intelligence Institute, Melbourne, Australia, May 1996.
View the abstract, retrieve gzipped postscript, or postscript
A. Rao, "Modelling
the service assurance process for optus using gem: A case study," Tech.
Rep. 69, Australian Artificial Intelligence Institute, Melbourne, Australia,
September 1996.
View the abstract, retrieve gzipped postscript, or postscript
J. Curmi, R. Fiusco, R. Keeling, K. King, S. Pickup, G. Tidhar, and G. Tudor,
"Modelling
pilot behaviour in air traffic control simulation," Tech. Rep. 70,
Australian Artificial Intelligence Institute, Melbourne, Australia, November
1997.
View the abstract, retrieve gzipped postscript, or postscript
M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge, "A formal
specification of dMARS," Tech. Rep. 72, Australian Artificial
Intelligence Institute, Melbourne, Australia, November 1997.
View the abstract, retrieve gzipped postscript, or postscript
A. K. Bansal, K. Ramamohanarao, and A. S. Rao, "Distributed
storage of replicated beliefs to facilitate recovery of distributed
intelligent agents," Tech. Rep. 73, Australian Artificial Intelligence
Institute, Melbourne, Australia, May 1997.
View the abstract, retrieve gzipped postscript, or postscript
D. Morley, "Semantics
of bdi agents and their environment," Tech. Rep. 74, Australian
Artificial Intelligence Institute, Melbourne, Australia, May 1996.
View the abstract, retrieve gzipped postscript, or postscript
L. Crnogorac, A. S. Rao, and K. Ramamohanarao, "Inheritance
anomaly - a formal treatment," Tech. Rep. 75, Australian Artificial
Intelligence Institute, Melbourne, Australia, June 1997.
View the abstract, retrieve gzipped postscript, or postscript
L. Crnogorac, A. S. Rao, and K. Ramamohanarao, "Analysis of
inheritance mechanisms in agent-oriented programming," Tech. Rep. 76,
Australian Artificial Intelligence Institute, Melbourne, Australia, August
1997.
View the abstract, retrieve gzipped postscript, or postscript
A. S. Rao, "A unified
view of plans as recipes," Tech. Rep. 77, Australian Artificial
Intelligence Institute, Melbourne, Australia, August 1997.
View the abstract, retrieve gzipped postscript, or postscript
M. d'Inverno, D. Kinny, and M. Luck, "Interaction
protocols in Agentis," Tech. Rep. 78, Australian Artificial
Intelligence Institute, Melbourne, Australia, February 1998.
View the abstract, retrieve gzipped postscript, or postscript