1. W. R. Wobcke. An Operational Semantics for a PRS-like Agent Architecture. In M. Stumptner, M., Corbett, D. & Brooks, editor,AI 2001: Advances in Artificial Intelligence.. Springer-Verlag, Berlin, 2001.
   Keywords: agentlab, procedural reasoning, models of interaction and context aware applications. [bibtex-entry]



2. David Morley, Michael P. Georgeff, and Anand S. Rao. A Monotonic Formalism for Events and Systems of Events. Journal of Logic and Computation, 4(5):701--720, 1994.
   Keywords: agentlab, model theory, procedural reasoning. [bibtex-entry]



3. M. Georgeff and A. Lansky. Procedural Knowledge. Proceedings of the IEEE (Special Issue on Knowledge Representation), 74:1383--1398, 1986.
   Keywords: procedural reasoning, honours reading, model theory, belief desires intentions, BDI, logistics. [bibtex-entry]

1. Wayne Wobcke. Modelling PRS-Like Agents Mental States.. In PRICAI 2002, pages 138--148, 2002.
   Keywords: procedural reasoning, model theory, intentionality, agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]



2. Wayne Wobcke. Intention and Rationality for PRS-Like Agents.. In Australian Joint Conference on Artificial Intelligence, pages 167--178, 2002.
   Keywords: procedural reasoning, model theory, intentionality, agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]



3. Clinton Heinze, Simon Goss, and Adrian Pearce. Plan Recognition in Military Simulation: Incorporating Machine Learning with Intelligent Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Workshop on Team Behaviour and Plan Recognition, Stockholm, Sweden, pages 53--63, 1999.
   Keywords: agents, procedural reasoning, agentlab, agent programming languages, agent-oriented software engineering. [bibtex-entry]



4. Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A Formal Specification of dMARS. In Proceedings of the Fourth International Workship on Agent Theories, Architectures, and Languages, ATAL'97 appears in Lecture Notes in Artificial Intelligence, volume 1365, pages 155--176, 1997.
   Keywords: model theory, procedural reasoning, agentlab, belief desires intentions, BDI. [bibtex-entry]



5. Michael Peter Georgeff and Anand S. Rao. A profile of the Australian Artificial Intelligence Institute. In IEEE Expert, pages 89--92, 1996.
   Keywords: procedural reasoning, honours reading, agents. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.