1. Fabian Bohnert, Ingrid Zukerman, Shlomo Berkovsky, Timothy Baldwin, and Liz Sonenberg. Using interest and transition models to predict visitor locations in museums. AI Communications, 21(2-3):195--202, 2008.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



2. Luc de Raedt and Kristian Kersting. Probabilistic Inductive Logic Programming. In Luc De Raedt, Paolo Frasconi, Kristian Kersting, and Stephen Muggleton, editors,Probabilistic Inductive Logic Programming - Theory and Applications, Lecture Notes in Computer Science, pages 1--27. Springer, 2008.
   Keywords: inductive logic programming, logic programming, honours reading. [bibtex-entry]



3. Jiefei Ma, Alessandra Russo, Krysia Broda, and Keith Clark. DARE: A System for Distributed Abductive Reasoning. Autonomous Agents and Multi-Agent Systems, 16(3):271--297, 2008.
   Keywords: abductive logic programming, inductive logic programming, machine learning, honours reading. [bibtex-entry]



4. Ayodele Oluyomi, Shanika Karunasekera, and Leon Sterling. Description templates for agent-oriented patterns. Journal of Systems and Software, 81(1):20--36, 2008.
   Keywords: agent-oriented software engineering, agentlab, ROADMAP. [bibtex-entry]



5. Chiaki Sakama and Katsumi Inoue. Coordination in Answer Set Programming. ACM Transactions on Computational Logic, 9(2):1--30, 2008.
   Keywords: logic programming, answer set programming, honours reading. [bibtex-entry]

1. X. Chu and R. Buyya. Service Oriented Sensor Web. In N. P. Mahalik, editor,Sensor Network and Configuration: Fundamentals, Standards, Platforms, and Applications, pages 51--74. Springer-Verlag, Germany, 2007.
   Keywords: agentlab, NOSA. [bibtex-entry]



2. Peter Hebden and Adrian R. Pearce. Distributed Asynchronous Clustering for Self-Organisation of Wireless Sensor Networks. International Journal on Information Processing (IJIP), 1(2), 2007.
   Keywords: agentlab, sensor networks, agent programming languages, NOSA. [download paper ] [bibtex-entry]



3. Mark Hopkins and Judea Pearl. Causality and Counterfactuals in the Situation Calculus. J Logic Computation, 17(5):955--982, 2007.
   Keywords: honours reading, situation calculus, causality. [bibtex-entry]



4. Jeff Kramer. Is abstraction the key to computing? http://doi.acm.org.ezproxy.lib.unimelb.edu.au/10.1145/1232743.1232745. Commun. ACM, 50(4):36--42, 2007.
   Keywords: honours reading. [bibtex-entry]



5. Ami Marowka. Parallel computing on any desktop. Commun. ACM, 50(9):74--78, 2007.
   Keywords: agent programming languages, honours reading. [download paper ] [bibtex-entry]



6. P. McBurney, D. Hitchcock, and S. Parsons. The eightfold way of deliberation dialogue. International Journal of Intelligent Systems, 22(1):95--132, 2007.
   Keywords: argumentation, honours reading. [download paper ] [bibtex-entry]



7. Peter Menzies. Counterfactual theories of causation. In Edward N. Zalta, editor,Stanford Encyclopedia of Philosophy. Stanford University, 2007.
   Keywords: counterfactual reasoning, honours reading. [download paper ] [bibtex-entry]



8. Tim Miller and Peter McBurney. A Formal Semantics for Gaia Liveness Rules and Expressions. International Journal of Agent-Oriented Software Engineering, 1(3/4):435--476, 2007.
   Keywords: agentlab, agent-oriented software engineering, agent programming languages. [bibtex-entry]



9. Barbara Morawska. General E-unification with Eager Variable Elimination and a Nice Cycle Rule. Journal of Automated Reasoning, 39(1):77--106, 2007.
   Note: TY - JOUR.
   Keywords: model theory, inductive logic programming, unification, honours reading. [abstract] [download paper ] [bibtex-entry]



10. Soren Holbech Nielsen and Simon Parsons. An application of formal argumentation: Fusing Bayesian networks in multi-agent systems.. Artificial Intelligence, 171(10-15):754--775, 2007.
    Keywords: argumentation, honours reading. [bibtex-entry]



11. Ayodele Oluyomi, Shanika Karunasekera, and Leon Sterling. A comprehensive view of agent-oriented patterns. Autonomous Agents and Multi-Agent Systems, 15(3):337--377, 2007.
    Keywords: agent-oriented software engineering, agentlab, ROADMAP. [bibtex-entry]



12. Nicole Ronald, Leon Sterling, and Michael Kirley. An agent-based approach to modelling pedestrian behaviour. International Journal of Simulation: Systems, Science and Technology, 8(1):25--39, 2007.
    Keywords: agentlab, agent-oriented software engineering, ROADMAP. [bibtex-entry]



13. Tuoma Snadholm. Expressive commerce and its application to sourcing: how we conducted $35 billion of generalized combinatorical auctions. AI Magazine, 28(3):45--58, 2007.
    Keywords: honours reading, game theory. [bibtex-entry]



14. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, and Dirk Vermeir. Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. In Computational Logic in Multi-Agent Systems (CLIMA VII), volume 4371 of Lecture Notes in Computer Science, pages 20--40. Springer, 2007.
    Keywords: logic programming, answer set programming, honours reading. [bibtex-entry]

1. Tal Boneh, Ann E. Nicholson, and Liz Sonenberg. Matilda: A visual tool for modeling with Bayesian networks. Int. J. Intell. Syst., 21(11):1127--1150, 2006.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



2. Michael Kirley. Evolutionary minority games with small-world interactions. Physica A, 365:521--528., 2006.
   Keywords: agentlab, sensor networks, agent-oriented software engineering. [bibtex-entry]



3. R. Mailler and V. Lesser. A Cooperative mediation-based protocol for dynamic distributed resource allocation. IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 36(1):80--91, 2006.
   Keywords: multiagent coordination, honours reading, agent programming languages. [download paper ] [bibtex-entry]



4. Iyad Rahwan, Thomas Juan, and Leon Sterling. Integrating social modelling and agent interaction through goal-oriented analysis. Comput. Syst. Sci. Eng., 21(2), 2006.
   Keywords: agentlab, agent-oriented software engineering, ROADMAP. [bibtex-entry]



5. Francesco Savelli. Existential assertions and quantum levels on the tree of the situation calculus. Artificial Intelligence, 170:643--652, 2006.
   Keywords: honours reading, situation calculus. [bibtex-entry]



6. J. van Benthem, J. van Eijck, and B. Kooi. Logics of communication and change. Information and Computation, 204:1620--1662, 2006.
   Keywords: situation calculus, dynamic logic, honours reading, epistemic logic, propositional dynamic logic. [bibtex-entry]

1. Ramon Bejar, Carmel Domshlak, Cèsar Fernandez, Carla Gomes, Bhaskar Krishnamachari, Bart Selman, and Magda Valls. Sensor networks and distributed CSP: communication, computation and complexity. Artificial Intelligence, 161(1-2):117--147, 2005.
   Keywords: algorithms, honours reading, constraint satisfaction, sensor networks. [bibtex-entry]



2. Ramon Bejar, Carmel Domshlak, Cesar Fernandez, Carla Gomes, Bhaskar Krishnamachari, Bart Selman, and Magda Valls. Sensor networks and distributed CSP: communication, computation and complexity. Artificial Intelligence, 161:117--147, 2005.
   Keywords: computational complexity, sensor networks, honours reading. [bibtex-entry]



3. A. Broder and M. Mitzenmacher. Network Applications of Bloom Filters: A Survey. Internet Mathematics, 2005.
   Keywords: sensor networks, honours reading. [bibtex-entry]



4. Bob Colwell. Presentation lessons from comedians. IEEE Computer, 38(9):10--13, 2005.
   Keywords: honours reading. [bibtex-entry]



5. Ernest Davis. Knowledge and communication: A first-order theory. Artificial Intelligence, 166(1-2):1--256, 2005.
   Keywords: Epistemic logic, agent programming languages, honours reading, modal logic. [bibtex-entry]



6. Yolanda Gil. Description logics and planning. AI Magazine, 26(2):73--84, 2005.
   Keywords: graph theory, ontologies, honours reading. [bibtex-entry]



7. M. T. Haijiaghayi, M. Bahramgiri, and V. S. Mirrokni. Fault-tolerant and 3-Dimensional Distributed Topology Control Algorithms in Wireless Multi-hop Networks. ACM/Kluwer Wireless Networks, 2005.
   Note: 11th IEEE International Conference on Computer Communications and Networks, October, 2002, pp. 392-398.
   Keywords: sensor networks, honours reading, graph theory. [bibtex-entry]



8. Peter Hawkins, Vitaly Lagoon, and Peter J. Stuckey. Solving Set Constraint Satisfaction Problems using ROBDDs. Journal of Artificial Intelligence Research (JAIR), 24:109--156, 2005.
   Keywords: constraint satisfaction, honours reading. [bibtex-entry]



9. Samuel R. Madden, Michael J. Franklin, Joseph M. Hellerstein, and Wei Hong. TinyDB: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst., 30(1):122--173, 2005.
   Keywords: sensor networks, honours reading. [abstract] [bibtex-entry]



10. P. J. Modi, W. Shen, M. Tambe, and M. Yokoo. Adopt: asynchronous distributed constraint optimization with quality guarantees. Artificial Intelligence, 161(1-2):149--180, 2005.
    Keywords: algorithms, honours reading, constraint satisfaction, DCOP, DCSP. [bibtex-entry]



11. Liviu Panait and Sean Luke. Cooperative Multi-Agent Learning: The State of the Art. Autonomous Agents and Multi-Agent Systems, 11(3):387--434, 2005.
    Keywords: machine learning, inductive logic programming, honours reading, agents. [bibtex-entry]



12. Liviu Panait and Sean Luke. Cooperative Multi-Agent Learning: The State of the Art. Autonomous Agents & Multi-Agent Systems, 11(3):387--434, 2005.
    Keywords: inductive logic programming, machine learning, honours reading. [bibtex-entry]



13. Neal Patwari, Joshua N. Ash, Spyros Kyperountas, Alfred O. Hero III, Randolph L. Moses, and Neiryer S. Correal. Locating the Nodes (cooperative localization in wireless sensor networks). IEEE Signal Processing Magazine, 22(4):54--69, 2005.
    Keywords: sensor networks, honours reading. [abstract] [bibtex-entry]



14. A. Ricci and M. Viroli. Coordination artifacts: a unifying abstraction for engineering environment-mediated coordination in MAS. Informatica, 29(4):433--443, 2005.
    Note: Cited Reference Count: 44 Slovenia.
    Keywords: agent-oriented software engineering, honours reading. [abstract] [download paper ] [bibtex-entry]



15. Carles Sierra and Liz Sonenberg. A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation. Autonomous Agents and Multi-Agent Systems, 11(1):5--6, 2005.
    Keywords: agentlab, models of interaction and context aware applications, sensor networks. [bibtex-entry]



16. Michael Thielscher. FLUX: A logic programming method for reasoning about agents. Theory and Practice of Logic Programming, 5:533--565, 2005.
    Keywords: agent programming languages, honours reading, situation calculus. [abstract] [bibtex-entry]

1. Samir Aknine, Suzanne Pinson, and Melvin F. Shakun. An Extended Multi-Agent Negotiation Protocol. Autonomous Agents and Multi-Agent Systems, 8(1):5--45, 2004.
   Keywords: agent programming languages, coordination, teamwork, honours reading. [bibtex-entry]



2. S. Araban and L. S. Sterling. Quality of Service for Web Services.. WSEAS Transactions on Computers, 4(3):116--121, 2004.
   Keywords: agentlab, agent oriented software engineering. [bibtex-entry]



3. J. Bailey, G. Dong, and R. Kotagiri. On the Decidability of the Termination Problem of Active Database Systems. Theoretical Computer Science, 311(1-3):389--437, 2004.
   Keywords: agentlab, transaction-oriented multi-agent systems, databases. [bibtex-entry]



4. J. Bailey and G. Papamarkos. Analysis of Functional Active Databases. In P. M. D. Gray, L. Kerschberg, P. J. H. King, and A. Poulovassilis, editors,The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data, pages 262--287. Springer Verlag, Berlin, 2004, 2004.
   Keywords: agentlab, transaction-oriented multi-agent systems, databases. [bibtex-entry]



5. J. Bailey, G. Papamarkos, A. Poulovassilis, and P. T. Wood. An Event-Condition-Action Language for XML. In A. Poulovassilis & M. Levene, editor,Web Dynamics: Adapting to Change in Content, Size, Topology and Use, pages 223--248. Springer Verlag, Berlin, 2004., 2004.
   Keywords: agentlab, transaction-oriented multi-agent systems, databases. [bibtex-entry]



6. Seema Bandyopadhyay and Edward J. Coyle. Minimizing communication costs in hierarchically-clustered networks of wireless sensors. Computer Networks, 44:1--16, 2004.
   Keywords: sensor networks, honours reading. [bibtex-entry]



7. Frank Dignum, Bruce Edmonds, and Liz Sonenberg. Introduction to a special section on The Use of Logic in Agent-Based Social Simulation. J. Artificial Societies and Social Simulation, 7(4), 2004.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



8. Frank Dignum, Bruce Edmonds, and Liz Sonenberg. Introduction to a special section on The Use of Logic in Agent-Based Social Simulation. J. Artificial Societies and Social Simulation, 7(4), 2004.
   Keywords: agentlab, models of interaction and context aware applications, cognitive science. [bibtex-entry]



9. Mark D'Inverno, Michael Luck, Michael Georgeff, David Kinny, and Michael Wooldridge. The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents & Multi-Agent Systems, 9:5--53, 2004.
   Keywords: agent programming languages, honours reading. [bibtex-entry]



10. J. Dix, M. Fisher, H. Levesque, and L. S. Sterling. Logic-Based Agent Implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):131--133, 2004.
    Keywords: agentlab, agent-oriented software engineering, agent programming languages. [bibtex-entry]



11. Jurgen Dix, Michael Fisher, Hector J. Levesque, and Leon Sterling. Introduction. Ann. Math. Artif. Intell., 41(2--4):131--133, 2004.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



12. Michael Fisher. Temporal Development Methods for Agent-Based. Autonomous Agents and Multi-Agent Systems, 10(1):41--66, 2004.
    Note: TY - JOUR.
    Keywords: agent programming languages, honours reading, temporal logic. [download paper ] [bibtex-entry]



13. Andrew Garland and Richard Alterman. Autonomous Agents that Learn to Better Coordinate. Autonomous Agents and Multi-Agent Systems, 8(3):267--301, 2004.
    Note: TY - JOUR.
    Keywords: agent programming languages, honours reading. [download paper ] [bibtex-entry]



14. George Gottlob, Phokion G. Kolaitis, and Thomas Schwentick. Existential second-order Logic over graphs: charting the tractability frontier. Journal of the ACM, 51(2):312--362, 2004.
    Keywords: graph theory, honours reading, computational complexity. [bibtex-entry]



15. Alejandro Guerra-Hernandez, Amal El Fallah-Seghrouchni, and Henry Soldano. Learning in BDI Multi-Agent Systems. Lecture Notes in Computer Science, 3259:218--233, 2004.
    Keywords: BDI, inductive logic programming, abductive logic programming, honours reading. [bibtex-entry]



16. M. T. Hajiaghayi, E. D. Demaine, N. Nishimura, P. Ragde, and D. Thilikos. Approximation algorithms for classes of graphs excluding single-crossing graphs as minors. Journal of Computer and System Sciences, 69(2):166--195, 2004.
    Keywords: graph matching, honours reading, graph theory. [bibtex-entry]



17. Joseph Y. Halpern and Daphne Koller. Representation Dependence in Probabilistic Inference. Journal of Artificial Intelligence Research, 21:319--356, 2004.
    Keywords: Bayesian theory, Epistemic logic, machine learning, honours reading. [bibtex-entry]



18. Antoine Joux. A One Round Protocol for Tripartite Diffie-Hellman. J. Cryptology, 17(4):263--276, 2004.
    Keywords: cryptography, honours reading. [bibtex-entry]



19. Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. eta-connections of abstract description systems. Artificial Intelligence, 156(1):1--73, 2004.
    Note: TY - JOUR.
    Keywords: epistemic logic, agent programming languages, honours reading, modal logic. [download paper ] [bibtex-entry]



20. Michael Luck, Peter McBurney, and Chris Preist. A Manifesto for Agent Technology: Towards Next Generation Computing. Autonomous Agents and Multi-Agent Systems, 9(3):203--252, 2004.
    Keywords: agents, honours reading, sensor networks. [bibtex-entry]



21. V. Mascardi, M. Martelli, and L. S. Sterling. Logic-Based Specification Languages for Intelligent Software Agents. Theory and Practice of Logic Programming, 4(4):429--494, 2004.
    Keywords: agentlab, agent-oriented software engineering, agent programming languages, logistics. [bibtex-entry]



22. L. A. F. Park, K. Ramamohanarao, and M. Palaniswami. Fourier domain scoring: a novel document ranking method. Knowledge and Data Engineering, IEEE Transactions on, 16(5):529--539, 2004.
    Keywords: machine leaning, agents, honours reading. [bibtex-entry]



23. Carla Piazza and ALBERTO POLICRITI. Ackermann encoding, bisimulations and OBDDs. Theory and Practice of Logic Programming, 4:695--718, 2004.
    Keywords: graph theory, model theory, honours reading. [abstract] [bibtex-entry]



24. Sebastian Sardina, Giuseppe De Giacomo, Yves Lesperance, and Hector J. Levesque. On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Annals of Mathematics & Artificial Intelligence, 41(2-4):259--299, 2004.
    Keywords: agent programming languages, modal logic, honours reading, situation calculus, GOLOG. [abstract] [bibtex-entry]



25. JAcob Toran. On the hardness of graph isomorphism. SIAM J. Comput, 33(3):1093--1108, 2004.
    Keywords: graph theory, computational complexity, honours reading. [bibtex-entry]



26. Marina De Vos and Dirk Vermeir. Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artificial Intelligence, 42(1-3):103--139, 2004.
    Keywords: answer set programming, logic programming, agent programming languages, honours reading. [bibtex-entry]



27. Alec Woo, Sam Madden, and Ramesh Govindan. Networking support for query processing in sensor networks. Communications of the ACM, 47(6):47--52, 2004.
    Keywords: sensor networks, honours reading. [abstract] [bibtex-entry]



28. Franco Zambonelli and Andrea Omicini. Challenges and Research Directions in Agent-Oriented Software Engineering. Autonomous Agents and Multi-Agent Systems, 9(3):253--283, 2004.
    Keywords: agent-oriented software engineering, agents, honours reading. [bibtex-entry]



29. Franco Zambonelli and Andrea Omicini. Challenges and Research Directions in Agent-Oriented Software Engineering. Autonomous Agents and Multi-Agent Systems, 9(3):253--283, 2004.
    Note: TY - JOUR.
    Keywords: honours reading, agents. [download paper ] [bibtex-entry]

1. J. Al-Jaroodi, N. Mohamed, H. Jiang, and D. Swanson. Middleware infrastructure for parallel and distributed programming models in heterogeneous systems. IEEE Transactions on Parallel & Distributed Systems, 14(11):1100--11, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: sensor networks, simulation, honours reading. [abstract] [bibtex-entry]



2. P. Bellavista, A. Corradi, R. Montanari, and C. Stefanelli. Context-aware middleware for resource management in the wireless Internet. IEEE Transactions on Software Engineering, 29(12):1086--99, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: sensor networks, simulation, honours reading. [abstract] [bibtex-entry]



3. Dan Boneh and Matthe Franlin. Identity-Based Encryption from the Weil Pairing. SIAM J. Comput., 32:583, 2003.
   Keywords: cryptography, honours reading. [bibtex-entry]



4. M. E. Bratman. Autonomy and hierarchy. Social Philosophy & Policy, 20(2):156--176, 2003.
   Keywords: BDI, agent communication languages, agent programming languages, honours reading, philosophy. [download paper ] [bibtex-entry]



5. T. Y. Chen, Iyad Rahwan, and Yun Yang. Temporal Interaction Diagrams for Multi-Process Environments. In Scott J. Lloyd Peckham and Joan, editors,Practicing Software Engineering in the 21st Century, pages 143--155. IRM Press, USA, 2003.
   Keywords: agentlab, models of interaction and context aware applications. [bibtex-entry]



6. J. Dix, H. Munoz-Avila, D. S. Nau, and L. Zhang. IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Annals of Mathematics & Artificial Intelligence, 37(4):381--407, 2003.
   Note: Publisher: Kluwer Academic Publishers, Netherlands.
   Keywords: planning, honours reading, agent programming languages, computational complexity. [abstract] [bibtex-entry]



7. A. Dovier and C. Piazza. The Subgraph Bisimulation Problem. IEEE Transactions on Knowledge & Data Engineering, 15(4):1055--6, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: graph theory, model theory, honours reading, graph matching. [abstract] [bibtex-entry]



8. Abdelaziz Fellah, Allaoua Maamir, and Iyad Rahwan. Information Flow Control Using Versions In Object-Oriented Systems. In Robert D. Kent Sands and Todd W., editors,High Performance Computing Systems and Applications. Kluwer Academic Publishers, 2003.
   Keywords: agentlab. [bibtex-entry]



9. Matthias Fichtner, Axel Gromann, and Michael Thielscher. Intelligent execution monitoring in dynamic environments. Fundam. Inf., 57(2-4):371--392, 2003.
   Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



10. S. Goss and A. R. Pearce. Learning Action Plans in a Virtual Environment. In L. Hettinger and M. Haas, editors,Virtual and Adaptive Environments. Lawrence Erlbaum Associates, Inc., 2003.
    Note: ISBN: 0-8058-3107-X.
    Keywords: simulation, agentlab, agent programming languages. [download paper ] [bibtex-entry]



11. Carlos Guestrin, Daphne Koller, Ronald Parr, and Shobha Venkataraman. Efficient Solution Algorithms for Factored MDPs. Journal of Artificial Intelligence Research (JAIR), 19:399--468, 2003.
    Keywords: Markov theory, honours reading. [bibtex-entry]



12. M. L. Kahn and C. D. T. Cicalese. CoABS Grid scalability experiments. Autonomous Agents & Multi-Agent Systems, 7(1-2):171--8, 2003.
    Note: Publisher: Kluwer Academic Publishers, Netherlands.
    Keywords: sensor networks, simulation, honours reading. [abstract] [bibtex-entry]



13. Yves Lesperance. On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. IGPL, 11(2):161--178, 2003.
    Keywords: agent programming languages, modal logic, honours reading. [abstract] [bibtex-entry]



14. Drew McDermott. Ray Reiter's Knowledge in Action: A review. AI Magazine, 24(2):101--103, 2003.
    Keywords: situation calculus, honours reading, artificial intelligence. [bibtex-entry]



15. S. Roundy, P. K. Wright, and J. Rabaey. A Study of Low Level Vibrations as a Power Source for Wireless Sensor Nodes. Computer Communications, 26(11):1131--1144, 2003.
    Keywords: sensor networks, honours reading. [bibtex-entry]



16. Richard B. Scherl and Hector J. Levesque. Knowleddge, action, and the frame problem. Artificial Intelligence, 144:1--39, 2003.
    Keywords: situation calculus, honours reading. [bibtex-entry]



17. JOHN A. STANKOVIC, TAREK F. ABDELZAHER, CHENYANG LU, LUI SHA, and JENNIFER C. HOU. Real-Time Communication and Coordination in Embedded Sensor Networks. Proceedings of the IEEE, 91(7):1002--1022, 2003.
    Keywords: sensor networks, honours reading. [abstract] [bibtex-entry]



18. P. van Roy, P. Brand, D. Duchier, S. Haridi, M. Henz, and C. Schulte. Logic programming in the context of multiparadigm programming: the Oz experience.. Theory and Practice of Logic Programming, 3(6):717--763, 2003.
    Keywords: agent programming languages, logistics, honours reading. [abstract] [bibtex-entry]

1. I. F. Akyildiz, Su Weilian, Y. Sankarasubramaniam, and E. E. Cayirci. A survey on sensor networks. IEEE Communications Magazine, 40(8):102--114, 2002.
   Keywords: sensor networks, simulation, honours reading. [bibtex-entry]



2. Ronal J/ Brachman. Systems that know what they're doing. IEEE Intelligent Systems, pp 67--71, 2002.
   Keywords: agents, honours reading. [bibtex-entry]



3. W. de Vries, F. S. de Boer, K. Hindriks, W. van der Hoek, and J. J. C. Meyer. A programming language for coordinating group actions. In From Theory to Practice in Multi-Agent Systems, volume 2296 of Lecture Notes in Artificial Intelligence, pages 313--321. 2002.
   Keywords: agent programming languages, multiagent coordination, graph theory, constraint satisfaction, honours reading. [abstract] [download paper ] [bibtex-entry]



4. F. Dignum, D. N. Kinny, and E. A. Sonenberg. From desires, obligations and norms to goals.. Cognitive Science Quarterly ., 2(3-4):407--427, 2002.
   Keywords: agentlab, models of interaction and context aware applications, cognitive science. [bibtex-entry]



5. J. Y. Halpern, Y. Moses, and O. Waarts. A characterization of eventual Byzantine agreement. SIAM JOURNAL ON COMPUTING, 31(3):838--865, 2002.
   Keywords: multiagent coordination, honours reading, modal logic. [bibtex-entry]



6. Clint Heinze, Martin Cross, Simon Goss, Torgny Josefsson, Ian Lloyd, Graeme Murray, Michael Papasimeon, and Michael Turner.. Agents of change: The impact of intelligent agent technology on the analysis of air operations. In L. Jain, N. Ichalkaranje, and G. Tonfoni, editors,Advances in Intelligent Systems for Defence, volume 2 of Series on Innovative Intelligence, pages 229--264. World Scientific, River Edge, New Jersey, USA, 1 edition edition, 2002.
   Keywords: agentlab, agent-oriented software engineering, multi-agent simulation. [bibtex-entry]



7. C. Heinze, S. Goss, T. Josefsson, K. Bennett, S. Waugh, I. Lloyd, G Murray, and J. Oldfield. Interchanging agents and humans in military simulation. AI Magazine, 23(2):37--47, 2002.
   Keywords: agent-oriented software engineering, simulation, agents, agentlab, logistics. [bibtex-entry]



8. M. Kaneko, T. Nagashima, N-Y Suzuki, and Y. Tanaka. A map of common knowledge logics. Studia Logica, 71(1):57--86, 2002.
   Keywords: modal logic, honours reading. [abstract] [bibtex-entry]



9. deborah L. McGuinness, Richard Fikes, James Hendler, and Lynn Andrea Stein. DAML+OIL: An ontology languages for the semantic web. IEEE Intelligent Systems, 2002.
   Keywords: ontologies, honours reading. [bibtex-entry]



10. J. Pearl. Reasoning with cause and effect. AI Magazine, 23(1):95--111, 2002.
    Note: Publisher: American Assoc. Artificial Intelligence, USA.
    Keywords: causality, Bayesian theory, counterfactuals, honours reading. [abstract] [bibtex-entry]



11. A. Poggi, G. Rimassa, and P. Turci. What agent middleware can (and should) do for you. Applied Artificial Intelligence, 16(9-10):677--98, 2002.
    Note: Publisher: Taylor & Francis, UK.
    Keywords: sensor networks, simulation, honours reading, logistics. [abstract] [bibtex-entry]



12. D. V. Pynadath and M. Tambe. The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models. Journal of Artificial Intelligence Research, 16:389--423, 2002.
    Keywords: computational complexity, teamwork, Markov theory, graph theory, agent communication languagess, honours reading. [abstract] [bibtex-entry]



13. nigel shadbolt. Grandly challenged. IEEE Intelligent Systems, 03:2--4, 2002.
    Keywords: agents, honours reading. [bibtex-entry]



14. L. Sterling. Patterns for Prolog programming. In A. C. Kakas Sadri and F., editors,Computational Logic: Logic Programming and Beyond, pages 374--401. Springer Verlag, Berlin, 2002.
    Keywords: agentlab, agent-oriented software engineering. [bibtex-entry]



15. Johan van Benthem. Extensive Games as Process Models. Journal of Logic, Language and Information, 11(3):289--313, 2002.
    Keywords: game theory, model theory, algorithms, honours reading. [bibtex-entry]



16. W. R. Wobcke. Two Logical Theories of Plan Recognition. Journal of Logic and Computation, 12(3):371--412, 2002.
    Keywords: agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]

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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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

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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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. Jim Blythe. Decision-Theoretic Planning. AI Magazine, 20(2):37--54, 1999.
   Keywords: planning, honours reading, decision theory. [bibtex-entry]



2. Craig Boutilier, Thomas Dean, and Steve Hanks. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. Journal of Artificial Intelligence Research, 11:1--94, 1999.
   Keywords: planning, honours reading, decision theory. [bibtex-entry]



3. Craig Boutilier, Thomas Dean, and Steve Hanks. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. Journal of Artificial Intelligence Research, 11:1--94, 1999.
   Keywords: Markov theory, honours reading. [bibtex-entry]



4. B. Chandrasekaran, J. R. Josephson, and V. R. Benjamins. Ontologies: What are they? wy do we need them?. IEEE Intelligent Systems and their applications, 14(1):20--26, 1999.
   Keywords: ontologies, honours reading. [bibtex-entry]



5. B. Chandrasekaran, J. R. Josephson, and V. R. Benjamins. What are agent-oriented software engineering, and why do we need them?. IEEE Intelligent Systems, 14(1):20--6, 1999.
   Note: Publisher: IEEE, USA.
   Keywords: ontologies, honours reading. [abstract] [bibtex-entry]



6. T. Eiter and V. S. Subrahmanian. Heterogeneous active agents. II. Algorithms and complexity. Artificial Intelligence, 108(1-2):257--307, 1999.
   Note: Publisher: Elsevier, Netherlands.
   Keywords: agent programming languages, honours reading. [abstract] [bibtex-entry]



7. T. Eiter, V. S. Subrahmanian, and G. Pick. Heterogeneous active agents. I. Semantics. Artificial Intelligence, 108(1-2):179--255, 1999.
   Note: Publisher: Elsevier, Netherlands.
   Keywords: agent programming languages, honours reading. [abstract] [bibtex-entry]



8. N. Friedman and J. Y. Halpern. Belief revision: a critique. Journal of Logic, Language & Information, 8(4):401--20, 1999.
   Note: Publisher: Kluwer Academic Publishers, Netherlands.
   Keywords: belief revision, honours reading. [abstract] [bibtex-entry]



9. G. De Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. In H. J. Levesque and F. Pirri, editors,Logical Foundation for cognitive agents: contributions in honor of Ray Reiter, pages 86--102. Springer, Berlin, 1999.
   Keywords: agent programming languages, situation calculus, honours reading. [bibtex-entry]



10. Barbara J. Grosz, Luke Hunsberger, and Sarit Kraus. Planning and Acting Together.. Ai magazine., 20(4):23, 1999.
    Keywords: planning, honours reading, agent programming languages, logistics. [bibtex-entry]



11. Joseph Y. Halpern and Richard A. Shore. Reasoning about Common Knowledge with Infinitely Many Agents. In Logic in Computer Science, pages 384--393. 1999.
    Keywords: epistemic logic, honours reading. [bibtex-entry]



12. K. V. Hindriks, F. S. De Boer, Wiebe van der Hoek, and J. Jc Meyer. Agent programming in 3APL. Autonomous Agents & Multi-Agent Systems, 2(4):357--401, 1999.
    Note: Publisher: Kluwer Academic Publishers, Netherlands.
    Keywords: honours reading, agent programming languages, belief desires intentions, BDI, logistics. [abstract] [bibtex-entry]



13. Michael N. Huhns and Larry M. Stephens. Multiagent Systems and Societies of Agents. In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 79--120. MIT Press, Cambridge, MA, USA, 1999.
    Keywords: agents, artificial intelligence, honours reading. [bibtex-entry]



14. Anil K. Jain, M. Narasimha Murty, and Patrick J. Flynn. Data Clustering: A Review. ACM Computing Surveys, 31(3):264--323, 1999.
    Keywords: sensor networks, honours reading, machine learning. [bibtex-entry]



15. Y. Labrou, T. Finin, and Y. Peng. Agent communication languages: The current landscape. IEEE Intelligent Systems, 14(2):45--52, 1999.
    Keywords: Agent communication languagess, honours reading, logistics. [bibtex-entry]



16. Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating Induction and Abduction in Logic Programming. Information Sciences, 116(1):25--54, 1999.
    Keywords: logic programming, inductive logic programming, abductive logic programming, honours reading. [bibtex-entry]



17. Yves Lesperance. Situation Calculus. In Frank C. Keil and Robert A. Wilson, editors,The MIT encyclopedia of the cognitive sciences, pages 771--772. MIT Press, Cambridge, Mass., 1999.
    Note: 99011115 GB99-44540 edited by Robert A. Wilson and Frank C. Keil. A Bradford book. Includes bibliographical references and indexes.
    Keywords: honours reading, situation calculus, modal logic, model theory. [bibtex-entry]



18. Victor R. Lesser. Cooperative Multiagent Systems: A Personal View of the State of the Art. IEEE Transactions on Knowledge and Data Engineering, 11(1):133--142, 1999.
    Keywords: coordination, honours reading. [bibtex-entry]



19. Seng Wai Loke, Leon Sterling, and Liz Sonenberg. A Knowledge-Based Approach to Domain-Specialised Information Agents. Journal of Internet Research, 9(2), 1999.
    Keywords: agentlab. [bibtex-entry]



20. C. R. Marling, G. J. Petot, and Leon Sterling. Integrating Case-Based and Rule-Based Reasoning to Meet Multiple Design Constraints. Computational Intelligence, 15:308--332, 1999.
    Keywords: agentlab, case-based reasoning. [bibtex-entry]



21. Stephen Muggleton. Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artificial Intelligence, 114(1-2):283--296, 1999.
    Keywords: inductive logic programming, honours reading. [bibtex-entry]



22. Gil Neiger and Rida A. Bazzi. Using knowledge to optimally achieve coordination in distributed systems. Theoretical Computer Science, 220(1):31--65, 1999.
    Keywords: multiagent coordination, honours reading, modal logic, epistemic logic. [bibtex-entry]



23. Ilkka Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence, 25(3):241--273, 1999.
    Keywords: logic programming, nonmonotonic logic, constraint satisfaction, honours reading. [bibtex-entry]



24. James Osborn and Leon Sterling. Automated Concept Identification within Legal Cases. The Journal of Information, Law and Technology (JILT), (Issue 1), 1999.
    Keywords: agentlab, case-based reasoning. [bibtex-entry]



25. A. R. Pearce and T. Caelli. Interactively matching hand-drawings using induction. Computer Vision and Image Understanding, 73(3):391--403, 1999.
    Keywords: machine learning, graph theory, agentlab. [abstract] [download paper ] [bibtex-entry]



26. R. Ramanujam. View-Based Explicit Knowledge. Annals of Pure and Applied Logic, 96(1-3):343--368, 1999.
    Keywords: epistemic logic, honours reading. [bibtex-entry]



27. Chiaki Sakama. Some Properties of Inverse Resolution in Normal Logic Programs. Lecture Notes in Computer Science, 1634(1999):279--290, 1999.
    Keywords: inductive logic programming, honours reading. [bibtex-entry]



28. Tuomas W. Sandholm. Distributed Rational Decision Making. In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 201--258. MIT Press, Cambridge, MA, USA, 1999.
    Keywords: agents, artificial intelligence, honours reading. [bibtex-entry]



29. Sandip Sen and Gerhard Weiss. Learning in Multiagent Systems. In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 259--298. MIT Press, Cambridge, MA, USA, 1999.
    Keywords: machine learning, inductive logic programming, honours reading, agents. [bibtex-entry]



30. V. S. Subrahmanian. Nonmonotonic Logic Programming. IEEE Transactions on Knowledge and Data Engineering, 11(1):143--152, 1999.
    Keywords: nonmonotonic logic, logic programming, honours reading. [bibtex-entry]



31. Michael Thielscher. From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111(1--2):277--299, 1999.
    Keywords: agent programming languages, situation calculus, honours reading. [bibtex-entry]



32. D. Waltz. The importance of importance. Ai Magazine, 20(3):18--35, 1999.
    Note: Times Cited: 4 Article English Cited References Count: 20 244dd.
    Keywords: machine learning, Bayesian Theory, cognitive science, honours reading. [abstract] [download paper ] [bibtex-entry]



33. Gerhard Weiss and Pierre Dillenbourg. What is 'multi' in Multiagent Learning?. In Pierre Dillenbourg, editor,Collaborative learning. Cognitive and computational approaches, pages 64--80. Pergamon Press, 1999.
    Keywords: machine learning, inductive logic programming, honours reading, agents. [bibtex-entry]



34. Michael J. Wooldridge. Intelligent Agents. In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, pages 27--77. MIT Press, Cambridge, MA, USA, 1999.
    Keywords: agents, artificial intelligence, honours reading. [bibtex-entry]

1. Gerhard Brewka and Jurgen Dix. Knowledge Representation with Logic Programs. Lecture Notes in Computer Science, 1471:1--102, 1998.
   Keywords: logic programming, honours reading. [bibtex-entry]



2. David Carmel and Shaul Markovitch. Model-based Learning of Interaction Strategies in Multiagent Systems. Journal of Experimental and Theoretical Artificial Intelligence, 10(3):309--332, 1998.
   Keywords: model theory, machine learning, inductive logic programming, honours reading. [bibtex-entry]



3. Juan A. Garay and Yoram Moses:. Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds.. SIAM J. Comput, 27(1):247--290, 1998.
   Keywords: algorithms, computational complexity, honours reading. [bibtex-entry]



4. F. Ho and M. Kamel. Learning Coordination Strategies for Cooperative Multiagent Systems. Machine Learning, 33(2 - 3):155--177, 1998.
   Keywords: machine learning, coordination, honours reading. [bibtex-entry]



5. F. Ho and M. Kamel. Learning coordination strategies for cooperative multiagent systems. Machine Learning, 33(2-3):155--157, 1998.
   Keywords: machine leaning, agents, honours reading. [abstract] [download paper ] [bibtex-entry]



6. Vicotr R. Lesser. Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture. Autonomous agents and multi-agent systems, 1:89--111, 1998.
   Keywords: agentlab, coordination. [bibtex-entry]



7. Gil Tidhar, Clinton Heinze, and Mario C. Selvestrel. Flying Together: Modelling Air Mission Teams. Applied Intelligence, 8:195--218, 1998.
   Keywords: agentlab. [bibtex-entry]



8. Michael P. Wellman and Junling Hu. Conjectural Equilibrium in Multiagent Learning. Machine Learning, Volume , Issue , Nov , Pages, 33(2 - 3):179--200, 1998.
   Keywords: machine learning, honours reading. [bibtex-entry]

1. R. A. Bazzi and G. Neiger. The Complexity of Almost-Optimal Simultaneous Coordination. Algorithmica, 17:308--321, 1997.
   Keywords: multiagent coordination, modal logic, honours reading. [bibtex-entry]



2. Antonio Brogi, Evelina Lamma, Paolo Mancarella, and Paola Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theoretical Computer Science, 184(1-2):1--59, 1997.
   Keywords: logic programming, nonmonotonic logic, honours reading. [bibtex-entry]



3. Marcos A. Castilho, Luis Farinas del Cerro, Olivier Gasquet, and Andreas Herzig. Modal Tableaux with Propagation Rules and Structural Rules. Fundamenta Informaticae, 32(3-4):281--297, 1997.
   Keywords: modal logic, model theory, honours reading. [bibtex-entry]



4. Philip W. Dart, Lorraine Johnston, Cameron Schmidt, and Liz Sonenberg. Developing an Accredited Software Engineering Program. IEEE Software, 14(6):66--70, 1997.
   Keywords: agentlab. [bibtex-entry]



5. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199--225, 1997.
   Note: Publisher: Springer-Verlag, Germany.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [abstract] [bibtex-entry]



6. H. Kitano, M. Asada, Y. Kuniyoshi, I. Noda, E. Osawa, and H. Matsubara. RoboCup: a challenge problem for AI. AI Magazine, 18(1):73--85, 1997.
   Note: Publisher: American Assoc. Artificial Intelligence, USA.
   Keywords: agent-oriented software engineering, honours reading. [abstract] [bibtex-entry]



7. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59--84, 1997.
   Keywords: honours reading, situation calculus, modal logic, model theory, GOLOG. [bibtex-entry]



8. R. J. Mooney. Inductive logic programming for natural language processing. Inductive Logic Programming, 1314:3--22, 1997.
   Note: Times Cited: 1 Lecture Notes in Artificial Intelligence Article English Cited References Count: 63 Bn72g.
   Keywords: inductive logic programming, computational linguistics, honours reading. [abstract] [download paper ] [bibtex-entry]



9. A. R. Pearce and T. Caelli. Relational Evidence Theory and Schematic Interpretation. In T. Caelli and W. F. Bischof, editors,Machine Learning and Image Interpretation, pages 67--118. New York, USA, 1997.
   Keywords: graph theory, inductive logic programming, agentlab. [download paper ] [bibtex-entry]



10. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7--56, 1997.
    Note: Publisher: Elsevier, Netherlands.
    Keywords: Markov theory, agents, game theory, honours reading. [abstract] [bibtex-entry]



11. S. J. Russell. Rationality and intelligence. Artificial Intelligence, 94(1-2):57--77, 1997.
    Note: Publisher: Elsevier, Netherlands.
    Keywords: artificial intelligence, honours reading. [abstract] [bibtex-entry]

1. Hiroko Aibat and Takao Terano. A Computational Model for Distributed Knowledge Systems with Learning Mechanisms. Expert Systems with Applications, 10(3-4):417--427, 1996.
   Keywords: machine learning, honours reading. [bibtex-entry]



2. Alain Colmerauer and Philippe Roussel. The Birth of Prolog. In Thomas J. Bergin and Richard G. Gibson, editors,History of programming languages---II, pages 331--367. ACM, 1996.
   Keywords: logic programming, honours reading. [bibtex-entry]



3. Michael Fisher. Temporal Semantics for Concurrent Metatem. J. Symb. Comput., 22(5/6):627--648, 1996.
   Keywords: temporal logic, logistics, honours reading. [bibtex-entry]



4. N. R. Jennings. Coordination techniques for distributed artificial intelligence. In G. M. P. O’Hare and N. R. Jennings, editors,Foundations of Distributed Artificial Intelligence,, pages 187--210. John Wiley & Sons, 1996.
   Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



5. Shree Murthy and J. J. Garcia-Luna-Aceves. An Efficient Routing Protocol for Wireless Networks. Mobile Networks and Applications, 1(2):183--197, 1996.
   Keywords: sensor networks, honours reading. [bibtex-entry]



6. Hyacinth S. Nwana. Software Agents: An Overview. Knowledge Engineering Review, 11(3):205--244, 1996.
   Keywords: agents, honours reading. [bibtex-entry]



7. H. S. Nwana, L. C. Lee, and Nicholas R. Jennings. Co-ordination in Software Agent Systems. The British Telecom Technical Journal, 14(4):79--88, 1996.
   Keywords: coordination, honours reading. [bibtex-entry]



8. J. R. Quinlan. Improved Use of Continuous Attributes in C4.5. Journal of Artificial Intelligence Research, 4:77--90, 1996.
   Keywords: machine learning, minimum message Length, honours reading. [bibtex-entry]



9. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17--64, 1996.
   Note: Times Cited: 29 Article English Cited References Count: 36 Vt295.
   Keywords: logic programming, honours reading. [abstract] [download paper ] [bibtex-entry]



10. Leon Sterling. Guest Editor's Introduction Special Issue: Applications of Logic Programming. JLP, 26(2):91--92, 1996.
    Keywords: agentlab. [bibtex-entry]



11. W. Peter van Gabbeek, Rob J.Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the Association for Computing Machinery, 43(3):555--600, 1996.
    Keywords: model theory, graph theory, honours reading. [bibtex-entry]



12. R. J. van Glabbeek and W. Peter Weijland. Branching time and abstraction in bisimulation semantics. J. ACM, 43(3):555--600, 1996.
    Keywords: model theory, honours reading, graph theory, graph matching. [bibtex-entry]



13. Gerhard Weiss. Adaptation and Learning in Multi-Agent Systems: Some Remarks and a Bibliography. In Gerhard Weiss and Sandip Sen, editors,Adaptation and Learning in Multi-Agent Systems, pages 1--21. Springer Verlag, 1996.
    Keywords: machine learning, honours reading. [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. 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. 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: A Symbolic Interpretation. Cognitive Science, 17:7--48, 1993.
   Keywords: cognitive science, philosophy, honours reading. [bibtex-entry]



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

1. M. E. Bratman. Shared Cooperative Activity. Philosophical Review, 101(2):327--340, 1992.
   Keywords: BDI, agent communication languages, agent programming languages, honours reading, philosophy. [download paper ] [bibtex-entry]



2. Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319--379, 1992.
   Keywords: computational complexity, model theory, modal logic, honours reading. [abstract] [bibtex-entry]



3. Antonis C. Kakas, Robert A. Kowalski, and Francesca Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719--770, 1992.
   Keywords: abductive logic programming, honours reading. [bibtex-entry]



4. Stephen Muggleton. Inductive Logic Programming. In Stephen Muggleton, editor,Inductive Logic Programming, volume 38 of The APIC Series, pages 1--27. Academic Press, 1992.
   Keywords: inductive logic programming, honours reading. [bibtex-entry]



5. Stephen Muggleton and C. Feng. Efficient Induction in Logic Programs. In Stephen Muggleton, editor,Inductive Logic Programming, pages 281--298. Academic Press, 1992.
   Keywords: inductive logic programming, honours reading. [bibtex-entry]

1. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42((2--3)):213--361, 1990.
   Keywords: intentionality, model theory, belief desires intentions, BDI, honours reading. [bibtex-entry]



2. J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM), 37(3):549--587, 1990.
   Keywords: epistemic logic, agent programming languages, model theory, honours reading. [bibtex-entry]



3. J. R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239--266, 1990.
   Keywords: inductive logic programming, machine learning, honours reading. [bibtex-entry]

1. Edmund H. Durfee, Victor R. Lesser, and Daniel D. Corkill. Trends in Cooperative Distributed Problem Solving. IEEE Transactions on Knowledge and Data Engineering, 1(1):63--83, 1989.
   Keywords: coordination, honours reading. [bibtex-entry]



2. Nicholas S. Flann and Thomas G. Dietterich. A Study of Explanation-Based Methods for Inductive Learning. Machine Learning, 4(2):187--226, 1989.
   Keywords: explanation-based learning, machine learning, honours reading. [bibtex-entry]



3. David Poole. Explanation and Prediction: An Architecture for Default and Abductive Reasoning. Computational Intelligence, 5(2):97--110, 1989.
   Keywords: explanation-based learning, machine learning, honours reading. [bibtex-entry]

1. A. V. Goldberg and R. E. Tarjan. A New Approach to the Maximum-Flow Problem. Journal of the Association for Computing Machinery, 35(4):921--40, 1988.
   Keywords: graph matching, honours reading. [bibtex-entry]

1. N. Immerman. Languages that capture complexity classes. SIAM Journal on Computing, 16(4):760--78, 1987.
   Note: USA.
   Keywords: computational complexity, honours reading. [abstract] [bibtex-entry]



2. H. J. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning Computational Intelligence journal. 3:78--93, 1987.
   Keywords: honours reading, computational complexity. [bibtex-entry]



3. H. J. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3(2):78--93, 1987.
   Note: Canada.
   Keywords: computational complexity, proof theory, honours reading. [abstract] [bibtex-entry]

1. Gerald Dejong and Raymond J. Mooney. Explanation-Based Learning: An Alternative View. Machine Learning, 1(2):145--176, 1986.
   Keywords: explanation-based learning, machine learning, honours reading. [bibtex-entry]



2. E. Allen Emerson and Joseph Y. Halpern. 'Sometimes' and 'Not Never' Revisited: On Branching versus Linear Time Temporal Logic. Journal of the Association for Computing Machinery, 33(1):151--178, 1986.
   Keywords: temporal logic, honours reading. [bibtex-entry]



3. M. Georgeff and A. Lansky. Procedural Knowledge. Proceedings of the IEEE (Special Issue on Knowledge Representation), 74:1383--1398, 1986.
   Keywords: procedural reasoning, honours reading, model theory, belief desires intentions, BDI, logistics. [bibtex-entry]



4. Tom M. Mitchell, Richard M. Keller, and Smadar T. Kedar-Cabelli. Explanation Based Learning A Unifying View. Machine Learning, 1(1):47--80, 1986.
   Keywords: machine learning, explanation-based learning, honours reading. [bibtex-entry]



5. L. R. Rabiner and B. H. Juang. An Introduction to Hidden Markov Models. IEEE ASSP Magazine, pp 4--16, 1986.
   Keywords: Markov theory, honours reading. [bibtex-entry]

1. James Garson. Quantification in Modal Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, pages 4 v.. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, Dordrecht ; Boston Hingham, MA, 1984.
   Note: Edited by D. Gabbay and F. Guenthner. Includes bibliographies and indexes. v. 1. Elements of classical logic -- v. 2. Extensions of classical logic -- v. 3. Alternatives in classical logic -- v. 4. Topics in the philosophy of language.
   Keywords: modal logic, philosophy, model theory, honours reading. [bibtex-entry]

1. Johan van Benthem. Correspondence Theory. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 4, pages 162--167. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, Dordrecht ; Boston Hingham, MA, 1983.
   Note: Edited by D. Gabbay and F. Guenthner. Includes bibliographies and indexes. v. 1. Elements of classical logic -- v. 2. Extensions of classical logic -- v. 3. Alternatives in classical logic -- v. 4. Topics in the philosophy of language.
   Keywords: modal logic, epistemic logic, honours reading. [bibtex-entry]

1. Charles L. Forgy. Rete: A Fast Algorithm for the Many Pattern/ Many Object Pattern Match Problem. Artificial Intelligence, 19:17--37, 1982.
   Keywords: expert systems, logistics, honours reading. [abstract] [bibtex-entry]



2. L. Lamport, R. Shostak, and M. Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382--401, 1982.
   Keywords: honours reading, algorithms, coordination, agent communication languagess. [bibtex-entry]



3. Alan Newell. The Knowledge Level. Artificial Intelligence, 18(1):87--127, 1982.
   Keywords: artificial intelligence, honours reading. [bibtex-entry]

1. M. E. Bratman. Intention and means-end reasoning. Philosophical Review, 90(2):252--265, 1981.
   Keywords: BDI, agent communication languages, agent programming languages, honours reading, philosophy. [bibtex-entry]



2. M. E. Bratman. Shared Cooperative Activity. Philosophical Review, 101(2):327--341, 1981.
   Keywords: BDI, agent communication languages, agent programming languages, honours reading, philosophy. [bibtex-entry]

1. J. McCarthy. Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13(1-2):27--39, 1980.
   Note: Netherlands.
   Keywords: honours reading, situation calculus, modal logic, model theory, generalisation, nonmonotonic reasoning. [abstract] [bibtex-entry]



2. Reid G. Smith. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers, C-29(12):1104--1113, 1980.
   Keywords: coordination, honours reading. [bibtex-entry]

1. Philip R. Cohen and C. Raymond Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3:177--212, 1979.
   Keywords: honours reading, agent communication languagess. [bibtex-entry]



2. Gordon D. Plotkin. A further note on inductive generalization. Machine Intelligence, 6:101--124, 1979.
   Keywords: inductive logic programming, generalisation, honours reading. [bibtex-entry]

1. H. N. Gabow. An Efficient Implementation of Edmonds’ Algorithm for Maximum Matching on Graphs. Journal of the ACM, 23:221--234, 1976.
   Keywords: graph matching, honours reading. [bibtex-entry]

1. Jaakko Hintikka. Impossible, Possible Worlds Vindicated. The Journal of Philosophical Logic, 4(3):475--484, 1975.
   Keywords: modal logic, epistemic logic, model theory, honours reading. [bibtex-entry]

1. G. David Forney. The Viterbi Algorithm. Proceedings of The IEEE, 61(3):268--278, 1973.
   Keywords: Markov theory, honours reading. [bibtex-entry]



2. L. Stockmeyer. Planar 3-colorability is polynomial complete.. SIGACT News,, 5(3):19--25, 1973.
   Keywords: graph theory, computational complexity, honours reading. [bibtex-entry]

1. Gordon D. Plotkin. A further note on inductive generalization. Machine Intelligence, 6:101--124, 1971.
   Keywords: inductive logic programming, generalisation, honours reading. [bibtex-entry]

1. Gordon D. Plotkin. A note on inductive generalization. Machine Intelligence, 5:153--163, 1970.
   Keywords: inductive logic programming, generalisation, honours reading. [bibtex-entry]



2. K. Segerberg. Modal logics with linear alternative relations. Theoria, 36:301--322, 1970.
   Keywords: model theory, modal logic, epistemic logic, honours reading. [bibtex-entry]

1. S. Amarel. On representations of problems of reasoning about actions. Machine Intelligence, 3:131--171, 1968.
   Keywords: algorithms, honours reading. [abstract] [bibtex-entry]

1. Arnon Sturm and Onn Shehory. A comparative evaluation of Agent-Oriented Methodologies. In Federico Bergenti, Marie-Pierre Gleizes, and Franco Zambonelli, editors,Methodologies and software engineering for agent systems: the agent-oriented software engineering handbook, pages 127--152. Kluwer Academic Publishers, .
   Keywords: logistics, agent-oriented software engineering, 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.