1. Ronald Fagin. Reasoning about knowledge. MIT Press, Cambridge, Mass., 1995.
   Note: 94036477 94036477 Ronald Fagin ... [et al.]. Includes bibliographical references (p. 429-448) and indexes. 1. Introduction and Overview -- 2. A Model for Knowledge -- 3. Completeness and Complexity -- 4. Knowledge in Multi-Agent Systems -- 5. Protocols and Programs -- 6. Common Knowledge and Agreement -- 7. Knowledge-Based Programming -- 8. Evolving Knowledge -- 9. Logical Omniscience -- 10. Knowledge and Computation -- 11. Common Knowledge Revisited.
   Keywords: epistemic logic, Bayesian Theory, agents, model theory, honours reading, kripke structures. [bibtex-entry]



2. Andreu Mas-Colell, Michael Dennis Whinston, and Jerry R. Green. Microeconomic theory. Oxford University Press, New York, 1995.
   Keywords: game theory, honours reading. [bibtex-entry]



3. J. J. CH Meyer and W. van der Hoek. Epistemic Logic for Artificial Intelligence and Computer Science. Cambridge University Press, 1995.
   Keywords: epistemic logic, agents, honours reading, model theory. [abstract] [bibtex-entry]



4. Edward A. Feigenbaum, Julian Feldman, and Paul Armer, editors. Computers and thought. AAAI Press ; MIT Press, Menlo Park Cambridge, 1st AAAI Press edition, 1995.
   Note: Edited by Edward A. Feigenbaum & Julian Feldman ; [articles by Paul Armer ... et al.]. ill. ; 23 cm. Originally published: New York : McGraw-Hill, 1963.
   Keywords: artificial intelligence, honours reading, cognitive science. [abstract] [bibtex-entry]

1. Winton Davies and Peter Edwards. Distributed Learning An Agent-Based Approach to Data-Mining. In Diana Gordon, editor,Working Notes of the ICML '95 Workshop on Agents that Learn from Other Agents. Tahoe City, CA, 1995.
   Keywords: machine learning, honours reading. [bibtex-entry]



2. Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321--357, 1995.
   Keywords: argumentation, honours reading. [bibtex-entry]



3. Nicola Guarino. Formal ontology, conceptual analysis and knowledge representation. International Journal of Human Computer Studies, 43:625--640, 1995.
   Keywords: ontologies, honours reading, logistics. [bibtex-entry]



4. Nicholas R. Jennings. Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions. Journal of Artificial Intelligence Research, 75(2):195--240, 1995.
   Keywords: coordination, honours reading. [bibtex-entry]



5. Lode Missiaen, Maurice Bruynooghe, and Marc Denecker. CHICA, An Abductive Planning System Based on Event Calculus. Journal of Logic and Computation, 5(5):579--602, 1995.
   Keywords: planning, event calculus, abductive logic programming, honours reading. [bibtex-entry]



6. Stephen Muggleton. Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13:245--286, 1995.
   Keywords: inductive logic programming, honours reading. [bibtex-entry]



7. S. Russell and D. Subramanian. Provably bounded-optimal agents,. Journal of Artificial Intelligence Research, 2:575--609, 1995.
   Keywords: agent programming languages, honours reading, logistics, agents. [bibtex-entry]



8. M. W. P. Savelsbergh. The General Pickup and Delivery Problem. Transportation Science, 29(1):17--29, 1995.
   Keywords: planning, honours reading. [bibtex-entry]



9. Manuela Veloso, Jaime Carbonell, Alicia Perez, Daniel Borrajo, Eugene Fink, and Jim Blythe. Integrating Planning and Learning: The PRODIGY Architecture. Journal of Experimental and Theoretical Artificial Intelligence, 7(1):81--120, 1995.
   Keywords: planning, machine learning, honours reading. [bibtex-entry]



10. Michael Wooldridge and Nicholas R. Jennings. Intelligent Agents: Theory and Practice. Knowledge Engineering Review, 10(2):115--152, 1995.
    Keywords: agents, honours reading. [bibtex-entry]

1. James Bailey, Michael Georgeff, David Kemp, David Kinny, and Kotagiri Ramamohanarao. Second International Workshop on Rules in Datbase Systems, Lecutre Notes in Computer Science Vol 985. In , pages 342--356, 1995.
   Keywords: agent programming languages, honours reading. [bibtex-entry]



2. Lawrence Cavedon, Lin Padgham, Anand Rao, and Liz Sonenberg. Revisiting rationality for agents with intentions. In Proceedings of the Eighth Australian Joint Conference on AI, pages 131--138, 1995.
   Keywords: agentlab. [bibtex-entry]



3. Lawrence Cavedon and Gil Tidhar. A Logical Framework for Multi-Agent Systems and Joint Attitudes. In Proceedings of DAI 1995, pages 16--30, 1995.
   Keywords: agentlab. [bibtex-entry]



4. Michael Fisher and Richard Owens. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings. In Lecture notes in computer science ; 897. Lecture notes in artificial intelligence., Berlin ; New York, pages 180, 1995. Springer.
   Keywords: modal logic, honours reading, temporal logic. [bibtex-entry]



5. R. Parikh. Logical omniscience. In Logic and Computational Complexity. International Workshop LCC '94. Selected Papers. Springer-Verlag. 1995, pages 22--9, 1995.
   Keywords: model theory, honours reading. [abstract] [bibtex-entry]



6. Adrian Pearce and Terry Caelli. On the efficiency of spatial learning. In Proceedings of the second Asian conference on computer vision 1995 (ACCV95); Singapore, Parkville, Australia, pages 79--82, 1995.
   Keywords: machine learning, agentlab. [bibtex-entry]



7. Lorenza Saitta. State of the Art in Machine Learning. In The Newsletter of the European Network of Excellence in Machine Learning, 1995.
   Note: Special Issue.
   Keywords: machine learning, honours reading. [bibtex-entry]



8. Venkatesh Srinivasan Leon Sterling. A Generic Scheduling Framework developed in Prolog. In Logic Programming: Formal Methods and Practical Applications 1995, pages 301--322, 1995.
   Keywords: agentlab. [bibtex-entry]



9. Gil Tidhar, Mario C. Selvestrel, and Clinton Heinze. Modelling Teams and Team Tactics in Whole Air Mission Modelling. In Proceedings of IEA/AIE 1995, pages 373--381, 1995.
   Keywords: agentlab. [bibtex-entry]

1. Joseph Y. Halpern. Reasoning about knowledge: a survey. Technical Report 1995, IBM Almaden Research Center, 1995.
   Note: Appears in Handbook of Logic in Artificial Intelligence and Logic Programig, Vol 4. D. Gabbay, C.J. Hogger, and J. A. Robinson, eds, Oxford University Press, 1995, pp 1-34.
   Keywords: agents, honours reading. [bibtex-entry]



2. Howden, Lin Padgham, and Liz Sonenberg. An Exploration of Incremental Update for Defeasible Inheritance Reasoners. Technical Report 95/7, Department of Computer Science, University of Melbourne, Australia, 1995.
   Keywords: 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.