1. Leon Sterling and Ehud Y. Shapiro. The Art of Prolog - Advanced Programming Techniques, 2nd Ed.. MIT Press, 1994.
   Keywords: agentlab. [bibtex-entry]



2. Ralph D. Sunzi and Mei-Chün Sawyer. The art of war = [Sun-tzu ping fa], History and warfare.. Westview Press, Boulder, 1994.
   Note: 93047372 Sun-tzu ; translated, with introductions and commentary by Ralph D. Sawyer ; with the collaboration of Mei-Chün Lee Sawyer. Parallel title in Chinese characters. Includes bibliographical references and index. The Art of War in Translation. 1. Initial Estimations. 2. Waging War. 3. Planning Offensives. 4. Military Disposition. 5. Strategic Military Power. 6. Vacuity and Substance. 7. Military Combat. 8. Nine Changes. 9. Maneuvering the Army. 10. Configurations of Terrain. 11. Nine Terrains. 12. Incendiary Attacks. 13. Employing Spies -- Tomb Texts and Lost Writings -- Notes to the General Introduction and Historical Background -- Selected Notes to the Introduction -- Notes to the Translation -- Notes to the Tomb Texts and Lost Writings.
   Keywords: intentionality, philosophy, honours reading. [bibtex-entry]



3. Gerard Tel. Introduction to distributed algorithms. Cambridge University Press, Cambridge ; New York, 1994.
   Note: 94016147 Gerard Tel. Includes bibliographical references (p. 512-524) and index. 1. Introduction: Distributed Systems -- Pt. 1. Protocols. 2. The Model. 3. Communication Protocols. 4. Routing Algorithms. 5. Deadlock-free Packet Switching -- Pt. 2. Fundamental Algorithms. 6. Wave and Traversal Algorithms. 7. Election Algorithms. 8. Termination Detection. 9. Anonymous Networks. 10. Snapshots. 11. Synchrony in Networks -- Pt. 3. Fault Tolerance. 12. Fault Tolerance in Distributed Systems. 13. Fault Tolerance in Asynchronous Systems. 14. Fault Tolerance in Synchronous Systems. 15. Stabilization -- Pt. 4. Appendices. A. Pseudocode Conventions. B. Graphs and Networks.
   Keywords: agents, algorithms, honours reading, coordination. [bibtex-entry]

1. Chitta Baral and Michael Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73--148, 1994.
   Keywords: logic programming, honours reading. [bibtex-entry]



2. Walter F. Bischof and Terry Caelli. Learning Structural Descriptions of Patterns: A New Technique for Conditional Clustering and Rule Generation. Pattern Recognition, 27(5):689--97, 1994.
   Keywords: machine learning, inductive logic programming, honours reading. [bibtex-entry]



3. Tom Bylander. The Computational Complexity of Propositional STRIPS Planning. Artificial Intelligence, 69(1-2):165--204, 1994.
   Keywords: planning, honours reading, computational complexity. [bibtex-entry]



4. Yves Deville and Kung-Kiu Lau. Logic Program Synthesis. Journal of Logic Programming, 19/20:321--350, 1994.
   Keywords: logic programming, inductive logic programming, honours reading. [bibtex-entry]



5. Jörg-Uwe Kietz and Saso Dzeroski. Inductive Logic Programming and Learnability. SIGART Bulletin, 5(1):22--32, 1994.
   Keywords: inductive learning, inductive logic programming, honours reading. [bibtex-entry]



6. Raymond J. Mooney and John M. Zelle. Integrating ILP and EBL. SIGART Bulletin, 5(1):12--21, 1994.
   Keywords: inductive logic programming, machine learning, honours reading. [bibtex-entry]



7. David Morley, Michael P. Georgeff, and Anand S. Rao. A Monotonic Formalism for Events and Systems of Events. Journal of Logic and Computation, 4(5):701--720, 1994.
   Keywords: agentlab, model theory, procedural reasoning. [bibtex-entry]



8. Stephen Muggleton and Luc De Raedt. Inductive Logic Programming: Theory and Methods. Journal of Logic Programming, 19/20:629--679, 1994.
   Keywords: inductive logic programming, honours reading. [bibtex-entry]



9. A. R. Pearce, T. Caelli, and W. F. Bischof. Rulegraphs for graph matching in pattern recognition. Pattern Recognition, 27(9):1231--47, 1994.
   Keywords: graph theory, machine learning, agentlab. [abstract] [download paper ] [bibtex-entry]



10. A. R. Pearce, T. Caelli, and W. F. Bischof. Learning relational structures: applications in computer vision. Applied Intelligence, 4(3):257--68, 1994.
    Note: Netherlands.
    Keywords: graph theory, machine learning, agentlab. [abstract] [download paper ] [bibtex-entry]



11. L. Sonenberg and R. Topor. A preferred model semantics for inheritance networks. Methods of Logic in Computer Science, 1(1):3--18, 1994.
    Note: USA.
    Keywords: agentlab. [abstract] [bibtex-entry]



12. Bradley S. Stewart, Ching-Fang Liaw, and Chelsea C. White. A bibliography of heuristic search research through 1992. IEEE Transactions on Systems, Man, and Cybernetics, 24(2):268--293, 1994.
    Keywords: algorithms, honours reading. [bibtex-entry]

1. J. Y. Halpern, Y. Moses, and M. Y. Vardi. Algorithmic knowledge. In Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)., pages 255--66, 1994. Morgan Kaufmann Publishers.
   Note: Fagin R San Francisco, CA, USA. Proceedings of Fifth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK V). Pacific Grove, CA, USA. 13-16 March 1994.
   Keywords: agents, honours reading, epistemic logic, model theory. [abstract] [bibtex-entry]



2. J. R. Josephson. Inductive Generalizations are Abductions. In Position paper for the Workshop on Abductive and Inductive Reasoning, 1994.
   Keywords: abductive logic programming, inductive logic programming, philosophy, honours reading. [bibtex-entry]



3. David Kinny, Ljungberg, Anand Rao, Liz Sonenberg, Gil Tidhar, and Werner. Planned Team Activity. In MAAMAW 1992: Artificial Social Systems, LNCS 830, pages 227--256, 1994.
   Keywords: agentlab, teamwork. [bibtex-entry]



4. Mehmet A. Orgun and Wanli Ma. An Overview of Temporal and Modal Logic Programming. In First International Conference on Temporal Logic; appears in Lecture Notes in omputer Science; Vol. 827, pages 445--479, 1994. Springer-Verlag London, UK.
   Keywords: modal logic, honours reading. [bibtex-entry]

1. T. Gabric, Howden, Emma Norling, Gil Tidhar, and Liz Sonenberg. Multi-agent Design of a Traffic Flow Control System. Technical Report 94/24, Department of Computer Science, University of Melbourne, Australia, 1994.
   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.