1. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal logic. Cambridge University Press, New York, 2001.
   Note: 00054667 Patrick Blackburn, Maarten de Rijke, Yde Venema. Includes bibliographical references and index.
   Keywords: modal logic, honours reading. [abstract] [bibtex-entry]



2. Donald Davidson. Inquiries into truth and interpretation. Oxford University Press, Oxford, New edition, 2001.
   Note: GBA1-X5144 Donald Davidson. Originally published: 1984. Includes index. Bibliography. Philosophical essays ; v. 2.
   Keywords: philosophy, ontologies, proof theory, honours reading. [bibtex-entry]



3. Dov M. Gabbay and Franz Guenthner. Handbook of philosophical logic . Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: logic, modal logic, model theory, kripke structures, honours reading, epistemic logic. [abstract] [download paper ] [bibtex-entry]



4. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to automata theory, languages, and computation. Addison-Wesley, Boston, 2nd edition, 2001.
   Note: 00064608 John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Includes bibliographical references (p. 510-511) and index.
   Keywords: theory of computation, computational complexity, honours reading. [bibtex-entry]



5. Gabriele Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals As Agents. Springer-Verlag New York, Inc., 2001.
   Keywords: belief revision, nonmonotonic logic, honours reading. [bibtex-entry]



6. Graham Priest. An introduction to non-classical logic. Cambridge University Press, Cambridge, 2001.
   Note: 00023609 GBA1-19206 Graham Priest. Includes bibliographical references and index.
   Keywords: modal logic, model theory, honours reading. [bibtex-entry]



7. Raymond Reiter. Knowledge in action : logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge, Mass., 2001.
   Note: The frame problem and the situation calculus.
   Keywords: artificial intelligence, situation calculus, honours reading. [bibtex-entry]



8. Mark d'Inverno and Michael Luck, editors. Understanding agent systems, Springer series on agent technology.. Springer, New York, 2001.
   Note: 2001031126 Mark d'Inverno. Michael Luck (eds.) Includes bibliographical references and index.
   Keywords: agents, honours reading, proof theory. [bibtex-entry]

1. Robert Bull and Krister Segerberg. Basic Modal Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory, kripke structures. [abstract] [download paper ] [bibtex-entry]



2. John P. Burgess. Basic Tense Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



3. Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



4. JAmes W. Garson. Quantification in Modal Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



5. Richard H. Thomason. Combinations of tense and modality. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



6. Johan van Benthem. Correspondence theory. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



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



8. F. Alonso, M. d'Inverno, D. Kudenko, M. Luck, and J. Noble. Learning in Agents and Multi-Agent Systems. Knowledge Engineering Review, 16(3):277--284, 2001.
   Keywords: machine learning, agents, honours reading. [bibtex-entry]



9. C. Areces, H. de Nivelle, and M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 11(5):717--736, 2001.
   Keywords: hybrid logic, modal logic, proof theory, logic programming, agent programming languages, honours reading. [abstract] [bibtex-entry]



10. D. Cabeza and M. Hermenegildo. Distributed WWW programming using (Ciao-) Prolog and the PiLLoW library. Theory and Practice of Logic Programming, 1:251--282, 2001.
    Keywords: agent programming languages, honours reading, logic programming. [abstract] [download paper ] [bibtex-entry]



11. Christiano Castelfranchi. The theory of social functions: challenges for computational social science and multi-agent learning. Journal of cognitive systems research, 1:5--38, 2001.
    Keywords: cognitive science, machine learning, agents, intentionality, honours reading. [bibtex-entry]



12. E. Cohen, M. Datar, S. Fujiwara, A. Gionis, P. Indyk, R. Motwani, J. D. Ullman, and C. Yang. Finding interesting associations without support pruning. Knowledge and Data Engineering, IEEE Transactions on, 13(1):64--78, 2001.
    Keywords: machine leaning, honours reading. [abstract] [bibtex-entry]



13. Piotr J. Gmytrasiewicz and Edmund H. Durfee. Rational Communication in Multi-Agent Environments.. Autonomous Agents and Multi-Agent Systems, 4(3):A233--272, 2001.
    Keywords: agent communication languagess, honours reading. [bibtex-entry]



14. Junling Hu and Michael P. Weliman. Learning about other agents in a dynamic multiagent system. Journal of cognitive systems research, 1:67--79, 2001.
    Keywords: cognitive science, machine learning, agents, honours reading. [bibtex-entry]



15. David Kinny. Reliable Agent Communication - a Pragmatic Perspective. New Generation Computing, 19(2):139--156, 2001.
    Keywords: agentlab, models of interaction and context aware applications, agent communication languages. [bibtex-entry]



16. P. McBurney and S. Parsons. Representing epistemic uncertainty by means of dialectical argumentation. Annals of Mathematics and Artificial Intelligence, 32:125--169, 2001.
    Keywords: argumentation, honours reading, logistics. [bibtex-entry]



17. M. Schut and M. Wooldridge. The control of reasoning in resource-bounded agents. The Knowledge Engineering Review, 16(3):215--40, 2001.
    Note: Publisher: Cambridge University Press, UK.
    Keywords: agent programming languages, honours reading. [abstract] [bibtex-entry]



18. A. Srinivasan. Extracting context-sensitive models in inductive logic programming. Machine Learning, 44(3):301--324, 2001.
    Note: Times Cited: 0 Article English Cited References Count: 37 446qq.
    Keywords: inductive logic programming, unification, honours reading. [abstract] [download paper ] [bibtex-entry]



19. Leon Sterling, Lee Naish, and Manuel V. Hermenegildo. Guest editor's introduction Special issue on Logic Programming and the Internet. TPLP, 1(3):249--250, 2001.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



20. L. Sterling, L. Naish, and M. Hermenegildo. Special Issue on Logic Programming and the INTERNET. Theory and Practice of Logic Programming, 1(3):249--250, 2001.
    Keywords: agentlab, agent-oriented software engineering, agent oriented software engineering. [bibtex-entry]



21. H. P. Storr. Planning in the fluent calculus using binary decision diagrams. AI Magazine, 22(3):103--105, 2001.
    Keywords: agent programming languages, situation calculus, honours reading. [abstract] [download paper ] [bibtex-entry]



22. Ron Sun. Computation, reduction, and releology of conciousness. Journal of cognitive systems research, 1:241--249, 2001.
    Keywords: cognitive science, philosophy, honours reading. [bibtex-entry]



23. Johan van Benthem. Games in Dynamic-Epistemic Logic. Bulletin of Economic Research, 53(4):219--48, 2001.
    Keywords: epistemic logic, game theory, algorithms, honours reading. [abstract] [bibtex-entry]

1. G. Au, S. Goss, C. Heinze, and A. R. Pearce. RescueModel: A Multi-Agent Simulation of Bushfire Disaster Management. In Peter Stone, editor, Proc. RoboCup2000, RoboCup IV in Lecture Notes in Artificial Intelligence vol. 2019, volume 2019, Melbourne, pages 285--290, 2001.
   Keywords: agentlab, agent-oriented software engineering, RoboCup. [bibtex-entry]



2. John Bell. Causal Counterfactuals. In Common Sense-2001, 2001.
   Keywords: counterfactuals, model theory, honours reading. [abstract] [bibtex-entry]



3. Patrick Blackburn, Jaap Kamps, and Maarten Marx. Situation Calculus as Hybrid Logic: First Steps. In 10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving; in Lecture Notes In Computer Science; Vol. 2258, pages 253--260, 2001. Springer-Verlag London, UK.
   Keywords: situation calculus, agent programming languages, modal logic, model theory, honours reading. [bibtex-entry]



4. Dan Boneh and Matthew K. Franklin. Identity-Based Encryption from the Weil Pairing. In CRYPTO 2001, pages 213--229, 2001.
   Keywords: cryptography, honours reading. [bibtex-entry]



5. Kevin Chan. An Agent-Based Approach To Computer Assisted Code Inspections. In Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), Canberra, Australia, pages 147--152, 2001.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



6. Frank Dignum, David Kinny, and Liz Sonenberg. Motivational Attitudes of Agents: On Desires, Obligations, and Norms. In Proceedings of CEEMAS 2001, pages 83--92, 2001.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



7. A. Ebner and H. Rohling. A SELF-ORGANIZED RADIO NETWORK FOR AUTOMOTIVE APPLICATIONS. In ITS 2001, 8th World Congress on Intelligent Transportation Systems, Sydney, Australia, 2001.
   Keywords: sensor networks, simulation, honours reading. [bibtex-entry]



8. X. Gao and L. Sterling. I. Knowledge-Based Information Agents. In PRIAA 2000: Lecture Notes in Computer Science vol 2112, Melbourne, pages 229--238, 2001.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



9. S. Goschnick and L. Sterling. ShadowBoard: an Agent-orientated Model-View-Controller (AoMVC) Architecture for a Digital Self. In Proceedings of the Seventh International Conference on Distributed Multimedia Systems, Taipei, pages 24--29, 2001.
   Keywords: agentlab, context-aware applications. [bibtex-entry]



10. Clinton Heinze, Simon Goss, Torgny Josefsson, Kerry Bennett, Sam Waugh, Ian J. Lloyd, Graeme Murray, and Johnathan Oldfield. Interchanging agents and humans in military simulation. In Proceedings of the Innovative applications of artificial intelligence conference (IAAI2001) - held in conjunction with the American Association for Artificial Intelligence conference (AAAI) ., Seattle, pages 27--34, 2001.
    Keywords: agent-oriented software engineering, agents, simulation, agentlab. [bibtex-entry]



11. D. Kazakov and D. Kudenko. Machine learning and inductive logic programming for multi-agent systems. In Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, , Lecture Notes in Artificial Intelligence, Volume 2086, Prague, Czech Republic, pages 246--270, 2001. Springer Verlag.
    Keywords: inductive logic programming, machine learning, agents, honours reading. [bibtex-entry]



12. E. Kazmierczak, L. Sterling, and A. Senyard. Software Engineering for High Integrity Systems. In Proceedings of the 6th World Congress of Chemical Engineering, Melbourne, pages 1--6, 2001.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



13. David Kinny. The Psi Calculus: An Algebraic Agent Language. In Proceedingso fATAL 2001, pages 32--50, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



14. David Kinny. Reliable Agent Computation: An Algebraic Approach. In Proceedings of PRIMA 2001, pages 31--47, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



15. Kendall Lister and Leon Sterling. Agents in a Multi-Cultural World: Towards Ontological Reconciliation. In Proceedings of the Australian Joint Conference on Artificial Intelligence (AI01), pages 321--332, 2001.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



16. Emma Norling. Learning to Notice: Adaptive Models of Human Operators. In Doina Precup Stone and Peter, editors, Proceedings of the Agents-2001 Workshop on Learning Agents, Montreal, Canada, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



17. Emma Norling and Frank Ritter. Embodying the JACK Agent Architecture. In Proceedings of the 14th Australian Joint Conference on Artificial Intelligence (AI'01), pages 368--377, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



18. Michael Papasimeon and Clint Heinze. Extending the UML for Designing Jack Agents.. In Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), Canberra, Australia, 2001.
    Keywords: agent-oriented software engineering, agents, agentlab, multi-agent simulation. [bibtex-entry]



19. T Kotagiri Ramamohanarao, James Bailey, and Paolo Busetta. Transaction Oriented Computational Models for Multi-Agent Systems. In Proceedings of 13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Dallas, U.S.A., pages 11--17, 2001.
    Keywords: agentlab, transaction-oriented multi-agent systems, databases. [bibtex-entry]



20. A. Senyard, L. Sterling, E. Kazmierczak, and P. Dart. Software Engineering Issues for Chemical Engineers. In Proceedings of the 6th World Congress of Chemical Engineering, pages 1--10, 2001.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



21. Milind Tambe and Bavid V. Pynadeth. Towards Heterogeneous Agent Teams. In Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, , Lecture Notes in Artificial Intelligence, Volume 2086, Prague, Czech Republic, pages 187--210, 2001. Springer Verlag.
    Keywords: teamwork, coordination, honours reading. [bibtex-entry]



22. P. Wallis, H. Mitchard, J. Das, and D. O'Dea. Dialogue Modelling for a Conversational Agent. In Australian Joint Conference on Artificial Intelligence, pages 532--544, 2001.
    Keywords: agentlab, computational linguistics. [bibtex-entry]



23. W. R. Wobcke. A Calendar Management Agent with Fuzzy Logic. In Proceedings of the Second Asia-Pacific Conference on Intelligent Agent Technology, 2001.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]

1. Mohammad Taghi Hajiaghayi. Algorithms for Graphs of (Locally) Bounded Treewidth. PhD thesis, University of Waterloo, 2001.
   Keywords: graph matching, graph theory, algorithms, honours reading. [bibtex-entry]



2. David Kinny. Fundamentals of agent computation theory: semantics. PhD, The University of Melbourne, 2001.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



3. Hongen Lu. Building multi-agent systems for information gathering from the World Wide Web. PhD, The University of Melbourne, 2001.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]

1. L Babai. Communication complexity. Technical Report TR-2001-09, Department of Computer Science, The University of Chicago, 2001 2001.
   Keywords: computational complexity, honours reading. [bibtex-entry]



2. Bernard Chazelle. The PCP Theorem. Technical Report 2001, Princeton University, 2001.
   Keywords: computational complexity, 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.