1. M. Ben-Ari. Mathematical logic for computer science, Prentice-Hall International series in computer science.. Prentice-Hall International, Hempel Hempstead [England], 1993.
   Note: 92022640 M. Ben-Ari. Includes bibliographical references (p. 274-277) and index.
   Keywords: proof theory, honours reading. [bibtex-entry]



2. Dov M. Gabbay, Christopher John Hogger, and J. A. Robinson. Handbook of logic in artificial intelligence and logic programming. Clarendon Press ; Oxford University Press, Oxford Oxford ; New York, 1993.
   Note: 92023358 //r98 edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. Includes bibliographical references and indexes. v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming.
   Keywords: logic programming, artificial intelligence, epistemic logic, honours reading, proof theory, nonmonotonic reasoning. [bibtex-entry]

1. Saso Dzeroski and Nada Lavrac. Inductive Learning in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 5(6):939--949, 1993.
   Keywords: inductive logic programming, honours reading, databases. [bibtex-entry]



2. David Eppstein. Connectivity, graph minors, and subgraph multiplicity. Journal of Graph Theory, 17:409--416, 1993.
   Keywords: graph theory, graph matching, honours reading. [bibtex-entry]



3. James G. Greeno and Joyce L. Moore. Situativity and Symbols: Response to Vera and Simon. Cognitive Science, 17:49--59, 1993.
   Keywords: cognitive science, philosophy, honours reading. [bibtex-entry]



4. N. R. Jennings. Commitments and conventions: the foundation of coordination in multi-agent systems. The Knowledge Engineering Review, 8(3):223--50, 1993.
   Note: UK.
   Keywords: coordination, honours reading. [abstract] [bibtex-entry]



5. Munindar P. Singh. A Semantics for Speech Acts. Annals of Mathematics and Artificial Intelligence, 8(1-2):47--71, 1993.
   Keywords: agent communication languages, honours reading. [bibtex-entry]



6. Lucy Suchman. Response to Vera and Simon's Situated Action: A Symbolic Interpretation. Cognitive Science, 17:71--75, 1993.
   Keywords: cognitive science, philosophy, honours reading. [bibtex-entry]



7. Alonso H. Vera and Herbert A. Simon. Situated Action: Reply to Reviewers. Cognitive Science, 17:77--86, 1993.
   Keywords: cognitive science, philosophy, honours reading. [bibtex-entry]



8. Alonso H. Vera and Herbert A. Simon. Situated Action: A Symbolic Interpretation. Cognitive Science, 17:7--48, 1993.
   Keywords: cognitive science, philosophy, honours reading. [bibtex-entry]

1. Yoram Moses and Orit Kislev. Knowledge-oriented programming. In Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, Ithaca, New York, United States, pages 261--270, 1993.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [bibtex-entry]



2. Adrian Pearce, Terry Caelli, and Walter Bischof. Rulegraphs for Pattern Recognition. In Proceedings of the First Asian Conference on Computer Vision 1993 (ACCV93); Osaka, Japan, pages 79--82, 1993.
   Keywords: graph theory, machine learning, agentlab. [bibtex-entry]



3. Adrian Pearce, Terry Caelli, and Walter Bischof. Learning Relational Structures for 2D Pattern and 3D Object Recognition. In Proceedings of the Australian and New Zealand conference on Intelligent Information Systems 1993 (ANZIIS93); Perth , Western Australia, pages 50--54, 1993.
   Keywords: graph theory, machine learning, agentlab. [bibtex-entry]



4. J. R. Quinlan and R. M. Cameron-Jones. FOIL: A midterm report. In P. B Brazdil, editor, Machine Learning (ECML-93) European Conference on Machine Learning Proceedings; Vienna, Austria, Berlin, Germany, pages 3--20, 1993. Springer-Verlag.
   Keywords: machine learning, inductive logic programming, honours reading. [bibtex-entry]



5. Claude Sammut. The origins of inductive logic programming: A prehistoric tale. In Inductive Logic Programming (ILP) '93 Workshop, pages 127--147, 1993.
   Keywords: inductive logic programming, honours reading. [bibtex-entry]



6. Young-pa So and Edmund H. Durfee. An Organizational Self-Design Model for Organizational Change. In Working Notes of the AAAI-93 Workshop on AI and Theories of Groups and Organizations, 1993.
   Keywords: coordination, teamwork. [bibtex-entry]

1. Don Batory. The LEAPS Algorithms. Technical Report TR-94-29, Department of Computer Sciences, The University of Texas, 1993.
   Keywords: logic programming, logistics, honours reading, expert systems. [abstract] [bibtex-entry]



2. Craig Dillon, Terry Caelli, Simon Goss, and Graeme Murray. Symbolic Description Generator, Final Report. Contract Report for DSTO 1993, Computer Science Department, The University of Melbourne, December 1993.
   Keywords: 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.