1. Jeffrey Bradshaw. Software Agents. MIT Press, 1997.
   Keywords: agents, honours reading. [bibtex-entry]



2. Eyal Kushilevitz and Noam Nisan. Communication complexity. Cambridge University Press, New York, 1997.
   Note: 96012840 96012840 Eyal Kushilevitz, Noam Nisan. Includes bibliographical references (p. 176-185) and index. 1. Basics -- 2. More on Covers -- 3. Randomization -- 4. Advanced Topics -- 5. The Communication Complexity of Relations -- 6. Multiparty Communication Complexity -- 7. Variable Partition Models -- 8. Networks, Communication, and VLSI -- 9. Decision Trees and Data Structures -- 10. Boolean Circuit Depth -- 11. More Boolean Circuit Lower Bounds -- 12. Time and Space -- 13. Randomness -- 14. Further Topics -- Index of Notation -- A. Mathematical Background.
   Keywords: Computational complexity, computational complexity, honours reading. [abstract] [bibtex-entry]



3. Tom M. Mitchell. Machine Learning. McGraw-Hill, New York, 1997.
   Note: Tom M. Mitchell. Includes bibliographical references and indexes. 1. Introduction -- 2. Concept Learning and the General-to-Specific Ordering -- 3. Decision Tree Learning -- 4. Artificial Neural Networks -- 5. Evaluating Hypotheses -- 6. Bayesian Learning -- 7. Computational Learning Theory -- 8. Instance-Based Learning -- 9. Genetic Algorithms -- 10. Learning Sets of Rules -- 11. Analytical Learning -- 12. Combining Inductive and Analytical Learning -- 13. Reinforcement Learning.
   Keywords: machine learning, honours reading. [bibtex-entry]



4. Anil Nerode and Richard A. Shore. Logic for applications, Graduate texts in computer science.. Springer, New York, 2nd edition, 1997.
   Note: 96043297 Anil Nerode, Richard A. Shore. Includes bibliographical references (p. [409]-438) and indexes. I. Propositional Logic -- II. Predicate Logic -- III. Prolog -- IV. Modal Logic -- V. Intuitionistic Logic -- VI. Elements of Set Theory -- Appendix A. An Historical Overview -- Appendix B. A Genealogical Database. Graduate texts in computer science (Springer-Verlag New York Inc.).
   Keywords: proof theory, honours reading. [abstract] [bibtex-entry]



5. Shan-Hwei Nienhuys-Cheng and Ronald de Wolf. Foundations of Inductive Logic Programming. Springer-Verlag, New York, 1997.
   Keywords: inductive logic programming, honours reading. [bibtex-entry]



6. Michael Sipser. Introduction to the theory of computation. PWS Pub., Boston, 1997.
   Note: 96035322 Michael Sipser. Includes bibliographical references (p. - ) and index. Pt. 1. Automata and Languages. 1. Regular Languages. 2. Context-Free Languages -- Pt. 2. Computability Theory. 3. The Church-Turing Thesis. 4. Decidability. 5. Reducibility. 6. Advanced Topics in Computability Theory -- Pt. 3. Complexity Theory. 7. Time Complexity. 8. Space Complexity. 9. Intractability. 10. Advanced topics in complexity theory.
   Keywords: computational complexity, honours reading. [bibtex-entry]

1. A. R. Pearce and T. Caelli. Relational Evidence Theory and Schematic Interpretation. In T. Caelli and W. F. Bischof, editors,Machine Learning and Image Interpretation, pages 67--118. New York, USA, 1997.
   Keywords: graph theory, inductive logic programming, agentlab. [download paper ] [bibtex-entry]



2. R. A. Bazzi and G. Neiger. The Complexity of Almost-Optimal Simultaneous Coordination. Algorithmica, 17:308--321, 1997.
   Keywords: multiagent coordination, modal logic, honours reading. [bibtex-entry]



3. Antonio Brogi, Evelina Lamma, Paolo Mancarella, and Paola Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theoretical Computer Science, 184(1-2):1--59, 1997.
   Keywords: logic programming, nonmonotonic logic, honours reading. [bibtex-entry]



4. Marcos A. Castilho, Luis Farinas del Cerro, Olivier Gasquet, and Andreas Herzig. Modal Tableaux with Propagation Rules and Structural Rules. Fundamenta Informaticae, 32(3-4):281--297, 1997.
   Keywords: modal logic, model theory, honours reading. [bibtex-entry]



5. Philip W. Dart, Lorraine Johnston, Cameron Schmidt, and Liz Sonenberg. Developing an Accredited Software Engineering Program. IEEE Software, 14(6):66--70, 1997.
   Keywords: agentlab. [bibtex-entry]



6. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199--225, 1997.
   Note: Publisher: Springer-Verlag, Germany.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [abstract] [bibtex-entry]



7. H. Kitano, M. Asada, Y. Kuniyoshi, I. Noda, E. Osawa, and H. Matsubara. RoboCup: a challenge problem for AI. AI Magazine, 18(1):73--85, 1997.
   Note: Publisher: American Assoc. Artificial Intelligence, USA.
   Keywords: agent-oriented software engineering, honours reading. [abstract] [bibtex-entry]



8. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59--84, 1997.
   Keywords: honours reading, situation calculus, modal logic, model theory, GOLOG. [bibtex-entry]



9. R. J. Mooney. Inductive logic programming for natural language processing. Inductive Logic Programming, 1314:3--22, 1997.
   Note: Times Cited: 1 Lecture Notes in Artificial Intelligence Article English Cited References Count: 63 Bn72g.
   Keywords: inductive logic programming, computational linguistics, honours reading. [abstract] [download paper ] [bibtex-entry]



10. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7--56, 1997.
    Note: Publisher: Elsevier, Netherlands.
    Keywords: Markov theory, agents, game theory, honours reading. [abstract] [bibtex-entry]



11. S. J. Russell. Rationality and intelligence. Artificial Intelligence, 94(1-2):57--77, 1997.
    Note: Publisher: Elsevier, Netherlands.
    Keywords: artificial intelligence, honours reading. [abstract] [bibtex-entry]

1. Graham Barrington and Liz Sonenberg. Following the path to the gorillas ... or the banana tree: reasoning with nested beliefs. In Proceedings of the AI'97 workshop on Theoretical and Practical Foundations of Intelligent Agents and Agent-Oriented Systems, pages 1--16, 1997.
   Keywords: agentlab. [bibtex-entry]



2. Terry Caelli and Adrian R. Pearce. Cooperative and distributed architectures for image interpretation. In Proceedings of the First International Workshop on Cooperative Distributed Vision, Kyoto, 1997, pages 55--74, 1997. cdvws@vision.kuee.kyoto-u.ac.jp Research for the Futre Program, The Japan Society for the Promotion of Science.
   Keywords: coordination, agentlab. [bibtex-entry]



3. Andrew Cassin and Leon Sterling. IndiansWatcher - a single minded Software Agent. In Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, London, U.K., pages 529, 1997.
   Keywords: agentlab. [bibtex-entry]



4. Lawrence Cavedon, Anand Rao, Liz Sonenberg, and Gil Tidhar. Teamwork via Team Plans in Intelligent Autonomous Agent Systems. In Proceedings of the International Conference on WorldWide Computing and its Applications, LNCS, Vol 1274, Japan, pages 106--121, 1997.
   Keywords: agentlab, teamwork, models of interaction and context aware applications. [bibtex-entry]



5. Lawrence Cavedon and Liz Sonenberg. Social Commitment and Preferred Goals. In Proceedings of the AI'97 workshop on Theoretical and Practical Foundations of Intelligent Agents and Agent-Oriented Systems, pages 33--46, 1997.
   Keywords: agentlab. [bibtex-entry]



6. 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]



7. Xiaoying Gao and Leon Sterling. Using Limited Common Sense Knowledge to Guide Knowledge Acquisition for Information Agents. In Proceedings of the AI'97 workshop on knowledge acquisition, Perth, Australia, pages 9.1--9.11, 1997.
   Keywords: agentlab. [bibtex-entry]



8. Xiaoying Gao. A Knowledge-Based Approach for Searching Semi-Structured Documents. In Australian Natural Language Postgraduate Workshop,, Melbourne, Australia, 1997.
   Keywords: agentlab. [bibtex-entry]



9. Christopher Grinton, Liz Sonenberg, and Leon Sterling. Exploring agent cooperation: studies with a simple pursuit game. In Proceedings of Advanced Topics in Artificial Intelligence: Lecture Notes in Computer Science vol 1342, Perth, Australia, pages 96--105, 1997. Springer Verlag.
   Keywords: agentlab. [bibtex-entry]



10. Yi Han, Seng Wai Loke, and Leon Sterling. Agents for Citation Finding on the World Wide Web. In Proceedings of the 2nd International Conference on Practical Applications of Intelligent Agents and Multi-Agent Technology, pages 303--317, 1997. The Practical Application Company Ltd..
    Keywords: agentlab. [bibtex-entry]



11. David Kinny and Michael P. Georgeff. Modelling and Design of Multi-Agent Systems. In Proceedings of ATAL 1997, pages 1--20, 1997.
    Keywords: agentlab. [bibtex-entry]



12. David Kinny, Jan Treur, Les Gasser, Steve Clark, and Jörg P. Müller. Panel: Methodologies for Multi-Agent Systems. In Proceedings of ATAL 1997, pages 1, 1997.
    Keywords: agentlab. [bibtex-entry]



13. D. McIlroy, B. Smith, C. Heinze, and M. Turner. Air defence operational analysis using the SWARMM Model. In Asia Pacific Operations Research Symposium, 1997.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



14. Lee Naish and Leon Sterling. A Higher Order Reconstruction of Stepwise Enhancement. In Proceedings of LOPSTR 1997, pages 245--262, 1997.
    Keywords: agentlab. [bibtex-entry]



15. Adrian Pearce and Terry Caelli. Schematic Interpretation and the CLARET Consolidated Learning Algorithm. In Proceedings of the First International Conference and Knowledge-Based Intelligent Electronic Systems (KES'97), Adelaide, Australia, volume 1, pages 64--71, 1997.
    Keywords: machine learning, agentlab. [bibtex-entry]



16. Leon Sterling. On Finding Needles in WWW Haystacks. In Proceedings of the Australian Joint Conference on Artificial Intelligence 1997, pages 25--36, 1997.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]

1. Hans Leo Bodlaender. Treewidth: algorithmic techniques and results. Technical Report Tech. report UU-CS-1997-31, 1997, Univ. Utrecht, Dept. of Computer Science, 1997.
   Keywords: graph theory, honours reading. [download paper ] [bibtex-entry]



2. Michael Papasimeon. The Design of the XCombat System. Technical Report 1997, Aeronautical and Maritime Research Laboratories, DSTO, 1997.
   Keywords: simulation, agentlab, multi-agent simulation. [bibtex-entry]



3. Kim Shearer, Horst Bunke, Svetha Venkatesh, and Dorota Kieronska. Efficient graph mathicng for video indexing. Technical Report 1997, Department of Computer Science, Curtin University, 1997.
   Keywords: graph theory, honours reading. [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.