1. David Basin. Labelled deduction, Applied logic series ; v. 17. Kluwer Academic Publishers, Dordrecht ; Boston, 2000.
   Note: Edited by David Basin ... [et al.] ill. ; 25 cm.
   Keywords: model theory, proof theory, graph theory, honours reading. [bibtex-entry]



2. Robert Dale, Hermann Moisl, and H. L. Somers. Handbook of natural language processing. Marcel Dekker, New York, 2000.
   Note: 00031597 edited by Robert Dale, Hermann Moisl, Harold Somers.
   Keywords: computational linguistics, honours reading. [bibtex-entry]



3. David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. MIT Press, 2000.
   Keywords: dynamic logic, modal logic, honours reading. [abstract] [bibtex-entry]



4. Judea Pearl. Causality : models, reasoning, and inference. Cambridge University Press, Cambridge, 2000.
   Keywords: causality, counterfactuals, honours reading. [bibtex-entry]



5. Ehud Reiter and Robert Dale. Building natural language generation systems, Studies in natural language processing.. Cambridge University Press, Cambridge, U.K. ; New York, 2000.
   Note: 99014937 Ehud Reiter, Robert Dale. Includes bibliographical references and index.
   Keywords: computational linguistics, honours reading. [bibtex-entry]



6. Kenneth H. Rosen and John G. Michaels. Handbook of discrete and combinatorial mathematics. CRC Press, Boca Raton, FL, 2000.
   Note: 99048378 99048378 Kenneth H. Rosen, editor in chief, John G. Michaels, project editor ... [et al.]. Includes bibliographical references and index.
   Keywords: computational complexity, discrete mathematics, honours reading. [bibtex-entry]

1. Peter A. Flach and Antonis C. Kakas. Abductive and Inductive Reasoning: Background and Issues. In Peter A. Flach and Antonis C. Kakas, editors,Abduction and Induction: Essays on Their Relation and Integration, pages 1--27. Kluwer Academic Publishers, 2000.
   Keywords: inductive logic programming, abductive logic programming, honours reading. [bibtex-entry]



2. Peter A. Flach. On the Logic of Hypothesis Generation. In Peter A. Flach and Antonis C. Kakas, editors,Abduction and Induction: Essays on Their Relation and Integration, pages 89--106. Kluwer Academic Publishers, 2000.
   Keywords: inductive logic programming, abductive logic programming, honours reading. [bibtex-entry]



3. X Gao and L. Sterling. Semi-structured Data Extraction from Heterogeneous Sources. In T. Bratjevik D. Schwartz, M. Divitini, editor,Internet-based Knowledge Management and Organizational Memories, pages 83--102. Idea Group Publishing, 2000.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



4. Nicolas Lachiche. Abduction and Induction From a Non-Monotonic Reasoning Perspective. In Peter A. Flach and Antonis C. Kakas, editors,Abduction and Induction: Essays on Their Relation and Integration, pages 107--116. Kluwer Academic Publishers, 2000.
   Keywords: abductive logic programming, inductive logic programming, machine learning, honours reading. [bibtex-entry]



5. W. R. Wobcke. On the Correctness of PRS Agent Programs.. In Y. Jennings, N.R. & Lesperance, editor,Intelligent Agents VI.. Springer-Verlag, Berlin, 2000.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



6. W. R. Wobcke. Time Management in the Intelligent Assistant. In D. D. Azvine, B., Azarmi, N. & Nauck, editor,Intelligent Systems and Soft Computing. Springer-Verlag, Berlin, 2000.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



7. M. Wooldridge. Intelligent Agents. In G. Weiss, editor,Multiagent Systems A Modern Approach to Distributed Artificial Intelligence, pages 27--77. MIT Press, 2000.
   Keywords: agents, honours reading. [bibtex-entry]



8. C. Boutilier, R. Dearden, and M. Goldszmidt. Stochastic dynamic programming with factored representations. Artificial Intelligence, 121(1-2):49--107, 2000.
   Keywords: Markov theory, honours reading. [abstract] [bibtex-entry]



9. D. P. Djian, N. Azarmi, B. Azvine, K. C. Tsui, and W. R. Wobcke. Towards Human-Centred Intelligent Systems: The Intelligent Assistant. BT Technology Journal, 18(1):91--92, 2000.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



10. T. Eiter, V. S. Subrahmanian, and T. J. Rogers. Heterogeneous active agents. III. Polynomially implementable agents. Artificial Intelligence, 117(1):107--67, 2000.
    Note: Publisher: Elsevier, Netherlands.
    Keywords: agent programming languages, honours reading. [abstract] [bibtex-entry]



11. G De Giacomo, Y. Lesperance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus.. Artificial Intelligence, 121(1-2):109--169, 2000.
    Keywords: situation calculus, agent programming languages, honours reading, logistics, GOLOG. [bibtex-entry]



12. G. Gottlob, N. Leone, and F. Scarcello. A comparison of structural CSP decomposition methods. Artificial Intelligence, vol.124, no.2:243--282, 2000.
    Keywords: agent programming languages, multiagent coordination, graph theory, constraint satisfaction, honours reading, DCOP, DCSP. [abstract] [bibtex-entry]



13. J. Y. Halpern. Axiomatizing causal reasoning. Journal of Artificial Intelligence Research, 12:317--37, 2000.
    Note: Publisher: AI Access Foundation & Morgan Kaufmann Publishers, USA.
    Keywords: causality, honours reading, counterfactuals. [abstract] [bibtex-entry]



14. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Semantics of Communicating Agents Based on Deduction and Abduction. Lecture Notes In Computer Science, 1916(Issues in Agent Communication):63--79, 2000.
    Keywords: agent communication languages, honours reading. [bibtex-entry]



15. E. Kazmierczak, P. Dart, L. Sterling, and M. Winikoff. Verifying Requirements through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowlege Engineering, 10(2):251--273, 2000.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



16. Mamadou Tadiou Kone, Akira Shimazu, and Tatsuo Nakajima. The State of the Art in Agent Communication Languages. Knowledge and Information Systems, 2(3), 2000.
    Keywords: agent communication languagess, honours reading. [bibtex-entry]



17. L. Naish and L. Sterling. Stepwise Enhancement and Higher Order programming in Prolog. Journal Functional and Logic Programming, 2000(4), 2000.
    Keywords: agentlab. [bibtex-entry]



18. E. Osman, A. Pearce, M. Juttner, and I. Rentschler. Reconstructing mental object representations: A machine vision approach to human visual recognition. Spatial Vision, 13(2-3):277--295, 2000.
    Keywords: agentlab. [download paper ] [bibtex-entry]



19. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285--312, 2000.
    Note: Times Cited: 3 Article English Cited References Count: 34 412fd.
    Keywords: agent-oriented software engineering, agentlab, logistics. [abstract] [download paper ] [bibtex-entry]



20. Makoto Yokoo and Katsutoshi Hirayama. Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems, 3(2):185--207, 2000.
    Keywords: algorithms, honours reading, constraint satisfaction, logistics. [bibtex-entry]

1. B. Azvine, D. P. Djian, K. C. Tsui, and W. R. Wobcke. The Intelligent Assistant: An Overview. In D. D. Azvine, B., Azarmi, N. & Nauck, editor, Intelligent Systems and Soft Computing, 2000. Springer-Verlag, Berlin.
   Keywords: agentlab. [bibtex-entry]



2. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI/IAAAI, pages 355--362, 2000.
   Keywords: agent programming languages, situation calculus, honours reading. [bibtex-entry]



3. H. Bunke. Recent developments in graph matching. In 15th International Conference on Pattern Recognition, volume 2, pages 117--124, 2000.
   Keywords: graph matching, honours reading. [bibtex-entry]



4. F. Dignum, D. Morley, L. Sonenberg, and L. Cavedon. Towards socially sophistcated BDI agents. In Nakashima H Durfee E, Kraus S and Tambe M, editors, Proceedings of the Fourth International Conference on MultiAgent Systems, Los Alamitos, 2000. IEEE Computer Society.
   Note: ISBN 0-7695-0625-9.
   Keywords: agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]



5. X. Gao and L. Sterling. AutoWrapper: Automatic Wrapper Generation for Multiple Online Services. In Gilbert Young, editor, World Wide Web: Technologies and Applications for the New Millenium, pages 61--70, 2000. CSREA Press.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



6. X Gao and L. Sterling. Knowledge-Based Information Agents,. In Proceedings of the Pacific Rim Conference on Intelligent Information Agents (PRIIA 2000), Melbourne, pages 48--58, 2000.
   Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



7. S. Goschnick. Shadowboard: a whole-agent architecture that draws abstractions from analytical psychology.. In Zhang C V-W and Soo, editors, Proceedings of the Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Design and applications of intelligent agents, pages 13--25, 2000. Heidelberg: Springer-Verlag.
   Keywords: agentlab, context-aware applications. [bibtex-entry]



8. Clinton Heinze, Michael Papasimeon, and Simon Goss. Specifying Agent Behaviour with Use Cases. In Pacific Rim International Workshop on Multi-Agent Systems (PRIMA 2000), pages 128--142, 2000.
   Keywords: agent-oriented software engineering, ontologies, agentlab, multi-agent simulation. [bibtex-entry]



9. C. Heinze, A. Pearce, L. Sterling, and S. Goss. Designing Perception Modules to Shape Information for BDI Agents. In Proceedings of the Pacific Rim Conference on Intelligent Information Agents, (PRIIA 2000), Melbourne, pages 100--112, 2000.
   Keywords: agentlab, agent-oriented software engineering, belief desires intentions, BDI. [bibtex-entry]



10. Antoine Joux. A One Round Protocol for Tripartite Diffie-Hellman. In ANTS 2000, pages 385--394, 2000.
    Keywords: cryptography, honours reading. [bibtex-entry]



11. H. Lu and L. Sterling. Intelligent Matchmaking for Information Agents Cooperation on the World Wide Web. In C. Urban, editor, Proceedings of the Agent-Based Simulation workshop 2000, Passau, Germany, pages 161--168, 2000.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



12. H. Lu and L. Sterling. Interoperability and Semi-Structured Data in an Open Web-based Agent Information System,. In Proceedings of the Workshop on Information Systems Engineering (WISE 2000), Hong Kong, pages 80--86, 2000.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



13. H. Lu and L. Sterling. SportsAgents: A Mediator-based Multi-Agent System for Cooperative Information Gathering from the World Wide Web. In Proceedings of the Fifth International Conference on Practical Applications of Intelligent Agents and Agent Methodology, Manchester, UK, pages 331--334, 2000.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



14. S. Milton, E. Kazmierczak, and L. Thomas. Ontological foundations of data modeling in information systems. In Chang H., editor, Proceedings of Americas Conference on Information Systems 2000, 2000. Long Beach: Association for Information Systems.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



15. S Milton and E. Kazmierczak. Enriching the ontological foundations of modelling in information systems. Information systems foundation workshop - ontology, semiotics and practice 1999. In Dampney CNG, editor, Proceedings of the information systems foundation workshop - ontology, semiotics and practice 1999, Sydney, 2000. Lighthouse Press.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



16. Emma Norling and Clint Heinze. Naturalistic Decision Making and Agent-Oriented Cognitive Modelling: A Preliminary Study (extended abstract). In 5th Conference of the Australasian Cognitive Science Society, Melbourne, 2000.
    Keywords: agentlab, context-aware applications. [bibtex-entry]



17. Emma Norling, Liz Sonenberg, and Ralph Ronnquist. Enhancing Multi-Agent Based Simulation with Human-Like Decision Making Strategies. In Scott Moss Davidsson and Paul, editors, Proceedings of the Multi-Agent-Based Simulation, Second International Workshop (MABS 2000) (LNCS vol. 1979), volume 1979, Boston, MA, USA, 2000. Springer Verlag.
    Keywords: agentlab, context-aware applications. [bibtex-entry]



18. Emma Norling. Flexible, Reusable Agents for Modelling Human Operators. In Proceedings of the Defence Human Factors SIG workshop, Melbourne, 2000.
    Keywords: agentlab, context-aware applications. [bibtex-entry]



19. A. R. Pearce, C. A. Heinze, and S. Goss. Enabling perception for plan recognition in multi-agent air-mission simulations. In Proceedings of the Fourth International Conference on MultiAgent Systems (ICMASS2000), Boston, pages 427--8, 2000.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



20. Iyad Rahwan, Ryszard Kowalczyk, and Yun Yang. Virtual Enterprise Design - BDI Agents vs. Objects. In Proceedings of the PRICAI 2000 Workshop on AI in E-Commerce- Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence vol 2112, pages 147--157, 2000. Springer-Verlag.
    Keywords: agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]



21. A. Senyard, P. Dart, and L. Sterling. Towards the Software Engineering of Neural Networks: A Maturity Model. In Proceedings of the 2000 Australian Software Engineering Conference, pages 45--52, 2000. IEEE Computer Society Press.
    Keywords: agentlab. [bibtex-entry]



22. V. Teague and L. Sonenberg. Investigating commitment flexibility in multi-agent contracts. In Parsons S. P. and Gmytrasiewicz, editors, Proceedings of the 2nd workshop on decision theoretic and game theoretic agents, fourth international conference on multi-agent systems, Boston, 2000.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



23. Michael Thielscher. Representing the Knowledge of a Robot. In KR 2000, pages 109--120, 2000.
    Keywords: agent programming languages, model theory, honours reading. [bibtex-entry]



24. G Tidhar and L. Sonenberg. Organized distributed systems. In Etzion O. P. and Scheuermann, editors, Proceedings of the 7th International Conference on Cooperative information systems (CoopIS 2000) - Lecture Notes in Computer Science, Eilat, pages 126--131, 2000. Heidelberg: Springer-Verlag.
    Keywords: teamwork, agentlab, models of interaction and context aware applications. [bibtex-entry]



25. W. R. Wobcke and A. G. Sichanie. Personal Diary Management with Fuzzy Preferences. In Proceedings of the Fifth International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, pages 105--120, 2000.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



26. M. Wooldridge. Computationally Grounded Theories of Agency. In E. Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), volume citeseer.nj.nec.com/wooldridge00computationally.html, 2000. IEEE Press.
    Keywords: honours reading, agent programming languages, belief desires intentions, BDI. [bibtex-entry]



27. Kenichi Yoshimura, Ralph Ronnquist, and Liz Sonenberg. An approach to specifying coordinated agent behaviour. In Zhang C V-W and Soo, editors, Proceedings of the Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Design and applications of intelligent agents, LNCS vol 1881, pages 115--127, 2000. Heidelberg: Springer-Verlag.
    Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]

1. H. P. van Ditmarsch. Knowledge Games. IILC Dissertation Series DS-2000-06, 2000.
   Keywords: epistemic logic, agent programming languages, honours reading, games. [download paper ] [bibtex-entry]

1. Barteld P. Kooi. Probability in Dynamic Epistemic Logic. Technical report 13/09/2000, Department of COmputer Science, University of Groningen, September 2000.
   Keywords: epistemic logic, model theory, honours reading, Bayesian Theory. [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.