1. John J. Kelly. Essence of logic. Prentice Hall, London ; New York, 1996.
   Note: 96050970 John J. Kelly. Includes bibliographical references and index. 1. Truth Tables -- 2. Semantic Tableaux -- 3. Natural Deduction.
   Keywords: proof theory, honours reading. [abstract] [bibtex-entry]



2. Nancy Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
   Keywords: algorithmic complexity, computational complexity, algorithms, honours reading. [bibtex-entry]



3. G. M. P. O'Hare and Nicholas R. Jennings. Foundations of Distributed Artificial Intelligence. John Wiley & Sons, Inc., New York, NY, 1996.
   Keywords: agents, artificial intelligence, honours reading. [bibtex-entry]



4. Gerhard Weiss and Sandip Sen, editors. Adaptation and Learning in Multi-Agent Systems, volume 1042 of Lecture Notes in Computer Science. Springer, 1996.
   Keywords: machine learning, honours reading. [bibtex-entry]

1. Alain Colmerauer and Philippe Roussel. The Birth of Prolog. In Thomas J. Bergin and Richard G. Gibson, editors,History of programming languages---II, pages 331--367. ACM, 1996.
   Keywords: logic programming, honours reading. [bibtex-entry]



2. N. R. Jennings. Coordination techniques for distributed artificial intelligence. In G. M. P. O’Hare and N. R. Jennings, editors,Foundations of Distributed Artificial Intelligence,, pages 187--210. John Wiley & Sons, 1996.
   Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



3. Gerhard Weiss. Adaptation and Learning in Multi-Agent Systems: Some Remarks and a Bibliography. In Gerhard Weiss and Sandip Sen, editors,Adaptation and Learning in Multi-Agent Systems, pages 1--21. Springer Verlag, 1996.
   Keywords: machine learning, honours reading. [bibtex-entry]



4. Hiroko Aibat and Takao Terano. A Computational Model for Distributed Knowledge Systems with Learning Mechanisms. Expert Systems with Applications, 10(3-4):417--427, 1996.
   Keywords: machine learning, honours reading. [bibtex-entry]



5. Michael Fisher. Temporal Semantics for Concurrent Metatem. J. Symb. Comput., 22(5/6):627--648, 1996.
   Keywords: temporal logic, logistics, honours reading. [bibtex-entry]



6. Shree Murthy and J. J. Garcia-Luna-Aceves. An Efficient Routing Protocol for Wireless Networks. Mobile Networks and Applications, 1(2):183--197, 1996.
   Keywords: sensor networks, honours reading. [bibtex-entry]



7. H. S. Nwana, L. C. Lee, and Nicholas R. Jennings. Co-ordination in Software Agent Systems. The British Telecom Technical Journal, 14(4):79--88, 1996.
   Keywords: coordination, honours reading. [bibtex-entry]



8. Hyacinth S. Nwana. Software Agents: An Overview. Knowledge Engineering Review, 11(3):205--244, 1996.
   Keywords: agents, honours reading. [bibtex-entry]



9. J. R. Quinlan. Improved Use of Continuous Attributes in C4.5. Journal of Artificial Intelligence Research, 4:77--90, 1996.
   Keywords: machine learning, minimum message Length, honours reading. [bibtex-entry]



10. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17--64, 1996.
    Note: Times Cited: 29 Article English Cited References Count: 36 Vt295.
    Keywords: logic programming, honours reading. [abstract] [download paper ] [bibtex-entry]



11. Leon Sterling. Guest Editor's Introduction Special Issue: Applications of Logic Programming. JLP, 26(2):91--92, 1996.
    Keywords: agentlab. [bibtex-entry]



12. W. Peter van Gabbeek, Rob J.Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the Association for Computing Machinery, 43(3):555--600, 1996.
    Keywords: model theory, graph theory, honours reading. [bibtex-entry]



13. R. J. van Glabbeek and W. Peter Weijland. Branching time and abstraction in bisimulation semantics. J. ACM, 43(3):555--600, 1996.
    Keywords: model theory, honours reading, graph theory, graph matching. [bibtex-entry]

1. Daniel Cabeza and Manuel V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System.. In APPIA-GULP-PRODE 1996, pages 67--78, 1996.
   Keywords: agent programming languages, honours reading, logic programming. [bibtex-entry]



2. Lawrence Cavedon, Anand S. Rao, and Gil Tidhar. Social and Individual Commitment. In Proceedings of the PRICAI Workshop on Intelligent Agent Systems 1996, pages 152--163, 1996.
   Keywords: agentlab. [bibtex-entry]



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



4. David Kinny, Michael P. Georgeff, and Anand S. Rao. A Methodology and Modelling Technique for Systems of BDI Agents. In Proceedings of MAAMAW 1996, Lecture Notes in Artificial Intelligence, Volume 1038, pages 56--71, 1996.
   Keywords: agentlab, belief desires intentions, BDI, logistics. [bibtex-entry]



5. Seng Wai Loke, Andrew Davison, and Leon Sterling. Lightweight Deductive Databases on the World-Wide Web. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications at the Joint International Conference and Symposium on Logic Programming (JICSLP '96), 1996.
   Keywords: agentlab, databases. [bibtex-entry]



6. Seng Wai Loke, Andrew Davison, and Leon Sterling. CiFi: An Intelligent Agent for Citation Finding on the World-Wide Web. In N. Foo Goebel and R., editors, Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia (PRICAI '96): Lecture Notes in Artificial Intelligence (LNAI) volume 1114, pages 580--591, 1996. Springer Verlag.
   Keywords: agentlab. [bibtex-entry]



7. Seng Wai Loke and Andrew Davison. Logic Programming with the Word-Wide Web,. In Proceedings of the 7th ACM Conference on Hypertext (Hypertext '96), Washington DC USA, pages 235--245, 1996. ACM Press.
   Keywords: agentlab. [bibtex-entry]



8. David Morley. Semantics of BDI Agents and Their Environment. In Proceedings of the PRICAI Workshop on Intelligent Agent Systems 1996, pages 119--134, 1996.
   Keywords: agentlab, belief desires intentions, BDI. [bibtex-entry]



9. David Morley and Liz Sonenberg. A Logic for Concurrent Events and Action Failure. In Proceedings of PRICAI '96: LNCS vol 1114, pages 483--494, 1996.
   Keywords: agentlab. [bibtex-entry]



10. Adrian Pearce, Terry Caelli, and Walter Bischof. CLARET: A new Relational Learning Algorithm for Interpretation in Spatial Domains. In Proceedings of the Fourth International Conference on Control, Automation, Robotics and Vision (ICARV'96), Singapore, pages 650--654, 1996.
    Keywords: graph theory, machine learning, inductive logic programming, agentlab. [bibtex-entry]



11. Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Rudy van Hoe, editor, Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Lecture Notes in Artificial Intelligence, Volume 1038, Eindhoven, The Netherlands, pages 42--55, 1996. Springer Verlag.
    Keywords: belief desires intentions, BDI, model theory, agent specification and programming languages, honours reading, logistics. [bibtex-entry]



12. Gadi Solotorevsky and Ehud Gudes. Algorithms for solving distributed constraint satisfaction problems (DCSPs). In Brian Drabble, editor, Artificial Intelligence Planning Systems Conference (AIP), Edinburgh, pages 191--198, 1996. AAAI Press.
    Keywords: multiagent coordination, honours reading, DCOP, DCSP, constraint satisfaction. [abstract] [bibtex-entry]



13. Leon Sterling, Seng Wai Loke, and Andrew Davison. Software Agents for Retrieving Knowledge from the WWW. In Proceedings of the Agents and Web-based Design Environments workshop, Fourth International Conference on Artificial Intelligence in Design, Stanford University, USA, 1996.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



14. Gil Tidhar, Anand Rao, and Liz Sonenberg. Guided Team Selection. In ICMAS96 proceedings, Japan, pages 369--376, 1996.
    Keywords: agentlab, teamwork. [bibtex-entry]

1. Stewart Baillie. Pragmatic information discovery in the World-Wide Web. M.Eng.Sc., The University of Melbourne, 1996.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



2. Adrian Pearce. Relational Evidence Theory and Spatial Interpretation Procedures. PhD, School of Computing, Curtin University, 1996.
   Keywords: machine learning, agentlab. [download paper ] [bibtex-entry]

1. H. Bunke and B. T. Messmer. Recent Advances in Graph Matching. Technical Report 1996, Institut fur Informatik und angewandte Mathematik, University of Bern, 1996.
   Keywords: graph theory, honours reading. [bibtex-entry]



2. Wray L. Buntine. A guide to the literature on learning graphical models. Technical Report 1996, RIACS at NASA Ames Research Center, 1996.
   Keywords: Bayesian theory, honours reading. [bibtex-entry]



3. T. Gabric, S Ch'ng, Gil Tidhar, and Liz Sonenberg. Implementation of the guided team selection approach. Technical Report 96/21, Department of Computer Science, University of Melbourne, Australia, 1996.
   Keywords: agentlab. [bibtex-entry]



4. Jonathan Oliver and David Hand. Introduction to Minimum Encoding Inference. Technical Report 205, Department of Computer Science, Monash University, Clayton, Victoria, Australia, December 1996.
   Keywords: minimum message length, honours reading. [bibtex-entry]



5. Adrian Pearce, Terry Caelli, and Simon Goss. Aeronautical Parser for Spatio-Temporal Rules obtained by Machine Learning. Contract Report for DSTO 1996, Department of Computing, Curtin University, October 1996.
   Keywords: machine learning, simulation, agentlab. [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.