1. Paul Scerri, Regis Vincent, and Roger T. Mailler, editors. Coordination of Large-Scale Multiagent Systems. 2005.
   Keywords: multiagent coordination, honours reading, agent programming languages. [abstract] [bibtex-entry]



2. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors. Multi-Agent Programming Languages, Platforms and Applications, volume 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations. 2005.
   Keywords: agent programming languages, honours reading, logistics. [abstract] [bibtex-entry]



3. J. Leite, A. Omicini, L. S. Sterling, and P. Torroni, editors. Declarative Agent Languages and Technologies. Springer-Verlag, Berlin, 2004, 2004.
   Keywords: agentlab, agent programming languages, agent-oriented software engineering. [bibtex-entry]



4. Ernest Friedman-Hill. Jess in Action. Manning Publications Co., 2003.
   Keywords: agent programming languages, honours reading, logistics. [abstract] [bibtex-entry]



5. Melvin Fitting. Types Tableaus and Godels God. Kluwer, 2002.
   Keywords: modal logic, agent programming languages, honours reading. [bibtex-entry]

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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



42. 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. Ryan F. Kelly and Adrian R. Pearce. Complex Epistemic Modalities in the Situation Calculus. In International Conference on Principles of Knowledge Representation and Reasoning (KR2008), Sydney, pages 611--620, 2008.
   Keywords: agentlab, agent programming languages, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]



2. Tim Miller and Peter McBurney. Annotation and matching of first-class agent interaction protocols. In International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), volume 2, Estoril, Portugal, pages 805--812, 2008.
   Keywords: agentlab, agent-oriented software engineering, agent programming languages. [bibtex-entry]



3. Jian Huang and Adrian R. Pearce. Collaborative inductive logic programming for path planning. In Manuela M. Veloso, editor, Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), volume 1, Hyderabad, India, pages 1327--1332, 2007. IJCAI.
   Keywords: agentlab, agent programming languages, inductive logic programming, honours reading, collaborative logic programming, NOSA. [download paper ] [bibtex-entry]



4. Ryan F. Kelly and Adrian R. Pearce. Knowledge and Observations in the Situation Calculus. In ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007), volume 1, Honolulu, Hawaii, USA, pages 841--843, 2007. ACM Press.
   Keywords: agent programming languages, agentlab, MINDIGOLOG, situation calculus. [download paper ] [bibtex-entry]



5. Ryan F. Kelly and Adrian R. Pearce. Property persistence in the situation calculus. In Manuela M. Veloso, editor, Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), volume 2, Hyderabad, India, pages 1948--1953, 2007. IJCAI.
   Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG. [download paper ] [bibtex-entry]



6. Micahel M. Papasimeon, Adrian R. Pearce, and Simon Goss. The Human Agent Virtual Environment. In ACM International Conference on Autonomous and Multiagent Systems (AAMAS 2007), volume 2, Honolulu, Hawaii, USA, pages 1443--1450, 2007. ACM Press.
   Keywords: agent programming languages, agentlab, multi-agent simulation. [download paper ] [bibtex-entry]



7. H. P. van Ditmarsch, van der Hoek. W., and B. P. Kooi. Dynamic Epistemic Logic & Knowledge Puzzles. In Uta Priss, Simon Polovina, and Richard Hill, editors, Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Computer Science, pages 45--58, 2007. Springer Verlag.
   Keywords: epistemic logic, agent programming languages, honours reading. [bibtex-entry]



8. J. Yu, Michael Kirley, and Raj Buyya. Multi-objective Planning for Workflow Execution on Grids. In In T. Fahringer et al, editor, 8th IEEE/ACM International Conference on Grid Computing, pages 10--17, 2007. IEEE Press.
   Keywords: agentlab, agent programming languages, agent-oriented software engineering. [bibtex-entry]



9. Peter Hebden and Adrian Pearce. Distributed Asynchronous Clustering for Self-Organisation of Wireless Sensor Networks. In M. Palaniswami, editor, Fourth International Conference on Intelligent Sensing and Information Processing (ICISIP-06),, Bangalore, India, pages 37--42, 2006. IEEE Press.
   Keywords: agentlab, sensor networks, agent programming languages, NOSA. [download paper ] [bibtex-entry]



10. Peter Hebden and Adrian Pearce. Data-Centric Routing using Bloom Filters in Wireless Sensor Networks. In M. Palaniswami, editor, Fourth International Conference on Intelligent Sensing and Information Processing (ICISIP-06),, Bangalore, India, pages 72--78, 2006. IEEE Press.
    Keywords: agentlab, sensor networks, agent programming languages, NOSA. [download paper ] [bibtex-entry]



11. Jian Huang and Adrian R. Pearce. Toward inductive logic programming for collaborative problem solving. In Silvia Ceballos, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06), Hong Kong, pages 284--290, 2006. IEEE Computer Society Press.
    Keywords: agentlab, agent programming languages, inductive logic programming, honours reading, collaborative logic programming, NOSA. [download paper ] [bibtex-entry]



12. Jian Huang and Adrian R. Pearce. Distributed Interactive Learning in Multi-Agent Systems. In National Conference on Artificial Intelligence (AAAI-06), Boston, pages 666--671, 2006. AAAI.
    Keywords: agent programming languages, agentlab, inductive logic programming, honours reading, collaborative logic programming, NOSA. [download paper ] [bibtex-entry]



13. Ryan F. Kelly and Adrian R. Pearce. Towards high level programming for distributed problem solving. In Silvia Ceballos, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06), Hong Kong, pages 490--497, 2006. IEEE Computer Society Press.
    Keywords: agentlab, agent programming languages, honours reading, situation calculus, MINDIGOLOG, GOLOG. [download paper ] [bibtex-entry]



14. Terence H. -W. Law and Adrian R. Pearce. A Multi-stage graph decomposition algorithm for distributed constraint optimisation. In Silvia Ceballos, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06), Hong Kong, pages 506--511, 2006. IEEE Computer Society Press.
    Keywords: agentlab, agent programming languages, honours reading, constraint satisfaction, DCOP, DCSP. [download paper ] [bibtex-entry]



15. Fabio Bellifemine, Federico Bergenti, Giovanni Caire, and Agostino Poggi. JADE - A Java Agent Development Framework. In Multi-Agent Programming 2005, pages 125--147, 2005.
    Keywords: agent programming languages, honours reading, logistics. [bibtex-entry]



16. Jeffrey S. Cox and Edmund H. Durfee. An Efficient Algorithm for Multiagent Plan Coordination. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 828--835, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



17. Jeffrey S. Cox, Edmund H. Durfee, and Thomas Bartold. A dstributed framework for solving the multiagnet plan coordination problem. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 821--827, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



18. Peter Hebden and Adrian R. Pearce. Bloom filters for data aggregation and discovery: a hierarchical clustering approach. In M. Palamiswami, editor, Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP), Melbourne, Australia, pages 175--180, 2005. IEEE Computer Society Press.
    Keywords: sensor networks, agent programming languages, agentlab, NOSA. [bibtex-entry]



19. M. Kirley. Competition, cooperation and collective behaviour: resource utilization in non-stationary environments.. In A. Skowron, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2005), Compiegne, France, pages 572--578, 2005. IEEE Press.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



20. Gerhard Lakemeyer and Hector J. Levesque. Semantics for a useful fragment of the situation calculus. In IJCAI-05, Edinburgh, Scotland, pages 490--496, 2005.
    Keywords: modal logic, agent programming languages, honours reading, hybrid logic, situation calculus. [abstract] [bibtex-entry]



21. Tal Mizrahi and Yoram Moses. Coninuous consensus via common knowledge. In Tenth conference on Theoretical Aspects of Rationality and Knowledge (TARK X), National University of Singapore, 2005. ACM Digital Library.
    Keywords: epistemic logic, agent programming languages, honours reading, modal logic. [abstract] [bibtex-entry]



22. Don Perugini, Dale Lambert, Leon Sterling, and Adrian Pearce. From single static to multiple dynamic combinatorical auctions. In A. Skowron, editor, IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT2005), Compiegne, France, pages 443--450, 2005. IEEE Press.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



23. Paul Scerri, Alessandro Farinelli, Steven Okamoto, and Milind Tambe. Allocating Tasks in Extreme Teams. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 727--734, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



24. M. Tambe, E. Bowring, H. Jung, G. Kaminka, R. Maheswaran, J. Marecki, P. J. Modi, R. Nair, S. Okamoto, J. P. Pearce, P. Paruchuri, D. Pynadath, P. Scerri, N. Schurr, and P. Varakantham. Conflicts in teamwork: Hybrids to the rescue. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 3--11, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



25. Yang Xu, Paul Scerri, Bin Yu, Steven Okamoto, Michael Lewis, and Katia Sycara. An integrated toekn-based algorithm for scalable coordination. In Autonomous Agent and Multiagent Systems (AAMAS-05), Urtrect, pages 407--414, 2005.
    Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



26. David Cornforth, Michael Kirley, and Terry Bossomaier. Agent heterogeneity and coalition formation: Investigating the effects of diversity in a multi agent. In International Conference on Autonomous Agents and Multi Agent Systems (AAMAS), New York, 2004.
    Keywords: agentlab, agent programming languages, coordination. [bibtex-entry]



27. D. Cornforth, Michael Kirley, and T. Bossomaier. Agent heterogeneity and coalition formation: Investigating market-based cooperative problem-solving. In N. Jennings et al., editor, International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-04), New York, pages 556--564, 2004. ACM Press.
    Keywords: agentlab, agent programming languages, agent-oriented software engineering. [bibtex-entry]



28. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF Proof Procedure for Abductive Logic Programming with Constraints. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 266--278, 2004. Springer Verlag.
    Keywords: modal logic, logic programming, honours reading, agent programming languages, inductive logic programming. [abstract] [bibtex-entry]



29. Simon Goss, Clinton Heinze, Michael Papasimeon, Adrian Pearce, and Leon Sterling. Towards reuse in agent oriented information systems: the importance of being purposive. In International workshop on Agent-Oriented Information systems (AOIS-2003) held in conjunction with AAMAS 2003, appears in Lecture Notes in Computer Science, Vol 3030., Melbourne, Australia, pages 111--126, 2004. Springer-Verlag.
    Keywords: agentlab, agent-oriented software engineering, agent programming languages, logistics, multi-agent simulation. [bibtex-entry]



30. R. Mailler and V. Lesser. Solving Distributed Constraint Optimization Problems using Cooperative Mediation. In Autonomous Agents and Multiagent Systems, New York, USA, pages 438--445, 2004. IEEE.
    Keywords: multiagent coordination, honours reading, agent programming languages, DCOP, DCSP. [bibtex-entry]



31. Maarten Marien, David Gilis, and Marc Denecker. On the Relation Between ID-Logic and Answer Set Programming. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 108--120, 2004. Springer Verlag.
    Keywords: modal logic, logic programming, honours reading, agent programming languages. [abstract] [bibtex-entry]



32. Linh Anh Nguyen. The Modal Logic Programming System MProlog. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 266--278, 2004. Springer Verlag.
    Keywords: modal logic, logic programming, honours reading, agent programming languages. [bibtex-entry]



33. Don Perugini, Dale Lambert, Leon Sterling, and Adrian Pearce. Provisional Agreement Protocol for Global Transportation Scheduling. In Workshop on agents in traffic and transportation held in conjunction with the International Conference on Autonomous Agents and Multi Agent Systems (AAMAS04), New York, 2004.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



34. D. Perugini, D. Lambert, L. S. Sterling, and A. R. Pearce. Agent-Based Global Transportation Scheduling in Military Logistics. In Third Joint Conference on Autonomous Agents and Multi Agent Systems, volume 3, New York, July 2004., pages 1278--1279, 2004.
    Keywords: agentlab, agent programming languages, logistics. [bibtex-entry]



35. Susannah Soon, Adrian Pearce, and Max Noble. Adaptive Teamwork Coordination using Graph Matching over Hierarchical Intentional Structures. In Nicholas R. Jennings, Carles Sierra, Liz Sonenberg, and Milind Tambe, editors, International Conference on Autonomous Agents and Multi Agent Systems (AAMAS), New York, pages 294--301, 2004.
    Keywords: agentlab, agent programming languages, graph theory, honours reading, teamwork, coordination. [bibtex-entry]



36. Susannah Soon, Adrian Pearce, and Max Noble. A Teamwork Coordination Strategy using Case-Based Reasoning over Rolegraphs.. In Proceedings of the 1st International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003) - held in conjunction with AAMAS03, appears in Lecture Notes in Computer Science, Vol. 2969, Melbourne, Australia., pages 249--260, 2004.
    Keywords: agentlab, agent programming languages, teamwork, case-based reasoning. [bibtex-entry]



37. M. Birna van Riemsdijk, John-Jules Ch. Meyer, and Frank S. de Boer. Semantics of Plan Revision in Intelligent Agents. In Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004.
    Keywords: agent programming languages, honours reading. [bibtex-entry]



38. Mehdi Dastani, Frank Dignum, and Joh-Jules Ch. Meyer. Autonomy and Agent Deliberation. In First International Workshop on Computational Autonomy - Potential, Risks, Solutions, held in conjunction with AAMAS 2003, pages 23--35, 2003.
    Keywords: epistemic logic, dynamic logic, agent programming languages, honours reading. [bibtex-entry]



39. T. Ly, S. Greenhill, S. Venkatesh, and A. Pearce. Multiple hypothesis situation assessment. In The 6th International Conference on Information Fusion (FUSION 2003), Brisbane, Australia, pages 972--978, 2003.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



40. Yves Martin. The concurrent, continuous FLUX. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1085--1090, 2003. Morgan Kaufmann.
    Keywords: situation calculus, honours reading, agent programming languages. [bibtex-entry]



41. D. Perugini, D. Lambert, L. Sterling, and A. Pearce. Distributed information fusion agents. In International Conference on Information Fusion (FUSION 2003), pages 86--93, 2003.
    Keywords: agentlab, agent programming languages, logistics. [bibtex-entry]



42. Don Perugini, Dale Lambert, Leon Sterling, and Adrian Pearce. A Distributed Agent Approach to Global Transportation Scheduling. In The 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), Halifax, Canada, pages 18--24, 2003.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



43. Don Perugini, Steven Wark, Andrew Zschorn, Dale Lambert, Leon Sterling, and Adrian Pearce. Agents in logistics planning - experiences with the coalition agents experiment project. In Agents at work: Deployed applications of autonomous agents and multi-agent systems, a workshop at the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, Australia, 2003.
    Keywords: agent programming languages, agentlab, agent-oriented software engineering. [bibtex-entry]



44. Susannah Soon, Adrian Pearce, and Max Noble. Modelling the Collaborative Mission Planning Process using Dynamic Teamwork Structures. In Jeffrey S. Rosenschein, Tuomas Sandholm, Michael Wooldridge, and Makoto Yokoo, editors, Proceedings of the second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03), Melbourne, Australia, pages 1124--1125, 2003.
    Keywords: agentlab, agent programming languages, teamwork, coordination. [bibtex-entry]



45. Thomas Juan, Adrian Pearce, and Leon Sterling. ROADMAP: Extending the Gaia Methodology for Complex Open Systems. In Proceedings of the first international joint conference on Autonomous agents and multiagent systems (AAMAS2002), Bolognia, Italy, pages 3--10, 2002.
    Keywords: agent-oriented software engineering, ontologies, agentlab, logistics, agent programming languages, ROADMAP. [download paper ] [bibtex-entry]



46. Don Perugini, Dale Lambert, Leon Sterling, and Adrian Pearce. Agents for military logistic planning. In Proceedings of the ECAI-02 Workshop, Lyon, pages 35--44, 2002.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



47. Patrick Blackburn, Jaap Kamps, and Maarten Marx. Situation Calculus as Hybrid Logic: First Steps. In 10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving; in Lecture Notes In Computer Science; Vol. 2258, pages 253--260, 2001. Springer-Verlag London, UK.
    Keywords: situation calculus, agent programming languages, modal logic, model theory, honours reading. [bibtex-entry]



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



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



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



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



52. S. Goss, C. A. Heinze, and A. Pearce. Recognising User Intentions in a Virtual Environment. In Proceedings of the Simulation Technology and Training Conference (SimTecT), Melbourne, pages 247--254, 1999.
    Keywords: agentlab, agent programming languages. [bibtex-entry]



53. Clinton Heinze, Simon Goss, and Adrian Pearce. Plan Recognition in Military Simulation: Incorporating Machine Learning with Intelligent Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Workshop on Team Behaviour and Plan Recognition, Stockholm, Sweden, pages 53--63, 1999.
    Keywords: agents, procedural reasoning, agentlab, agent programming languages, agent-oriented software engineering. [bibtex-entry]



54. A. R. Pearce, C. Sammut, and S. Goss. Simulation as an Environment for the Knowledge Acquisition of Procedural Expertise. In Proceedings of the Simulation Technology and Training Conference (SimTecT 99), Melbourne, pages 255--260, 1999.
    Keywords: agentlab, agent-oriented software engineering, agent programming languages. [bibtex-entry]



55. K. Arisha, F. Ozcan, R. Ross, S. Kraus, and V. S. Subrahmanian. IMPACT: the interactive Maryland platform for agents collaborating together. In Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160). IEEE Comput. Soc. 1998, pages 385--6, 1998.
    Note: Los Alamitos, CA, USA. Proceedings International Conference on Multi Agent Systems. Paris, France. 3-7 July 1998.
    Keywords: agent programming languages, honours reading, logistics. [abstract] [bibtex-entry]



56. Melvin Fitting. Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) 1998: 8. In Automated Deduction in Classical and Non-Classical Logics, Springer Lecture Notes in Artificial Intelligence Vol. 1761, pages 23--3, 1998. Springer Verlag.
    Keywords: modal logic, agent programming languages, honours reading. [bibtex-entry]



57. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. In Australian Joint Conference on Artificial Intelligence, pages 155--166, 1998.
    Keywords: modal logic, agent programming languages, honours reading. [bibtex-entry]



58. Daniel Cabeza and Manuel V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System.. In APPIA-GULP-PRODE 1996, pages 67--78, 1996.
    Keywords: agent programming languages, honours reading, logic programming. [bibtex-entry]



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



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

1. Thomas Juan. ROADMAP : agent oriented software engineering of intelligent systems. PhD, The University of Melbourne, 2008.
   Keywords: agentlab, agent-oriented software engineering, agent programming languages, ROADMAP. [bibtex-entry]



2. Terence Heung-Wing Law. Focused Decomposition: multi-agent distributed constraint optimisation with linear communication. MSc, The University of Melbourne, 2007.
   Keywords: agent programming languages, agentlab. [download paper ] [bibtex-entry]



3. Don Perugini. Agents for Logistics: A Provisional Agreement Approach. PhD, The University of Melbourne, 2006.
   Keywords: agent programming languages, agentlab, logistics. [download paper ] [bibtex-entry]



4. Susannah Soon. Multi-agent Teamwork Coordination: A Graph-Based Intention Recognition Approach. PhD, The University of Melbourne, 2005.
   Keywords: agentlab, agent programming languages, teamwork, coordination. [bibtex-entry]



5. Roger T. Mailler. A mediation-based approach to cooperative, distributed problem solving. PhD thesis, University of Massachusetts, 2004.
   Keywords: multiagent coordination, honours reading, agent programming languages. [bibtex-entry]



6. E. C. ten Hoeve. 3APL Platform. Masters, Utrecht University, 2003.
   Keywords: agent programming languages, honours reading. [bibtex-entry]



7. Jian Ying Zhang. Fuzzy Causal Networks and Their Applications. PhD, The University of Melbourne, 2003.
   Keywords: agentlab, agent programming languages. [bibtex-entry]



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

1. Michael Luck, Peter McBurney, Onn Shehory, and Steve Willmott. Agent Technology: Computing as Interaction: A Roadmap for Agent-BasedComputing. Technical report, Agentlink, 2005.
   Keywords: agent programming languages, honours reading, agent-oriented software engineering, logistics. [abstract] [download paper ] [bibtex-entry]



2. Linh Anh Nguyen. The Modal Logic Programming System MProlog: Theory, Design, and Implementation. Technical report, 2005.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [bibtex-entry]



3. Leon Sterling, Adrian Pearce, Simon Goss, Michael Papasimeon, and Clinton Heinze. Investigations into modelling purposive socio-technical systems using agents. Contract report for Defence Science and Technology Organisation Februrary, 2003, Department of Computer Science and Software Engineering, The University of Melbourne, 2003.
   Keywords: agentlab, agent programming languages, agent-oriented software engineering, logistics, multi-agent simulation. [bibtex-entry]



4. S. Greenhill, S. Venkatesh, A. Pearce, and T. C. Ly. Representations and Processes in Decision Modelling. Technical Report DSTO-GD-0318, Defence Science and Technology Organisation (DSTO), feb # 2002 2002.
   Keywords: agentlab, agent programming languages. [download paper ] [bibtex-entry]



5. S. Greenhill, S. Venkatesh, A. Pearce, and T. Ly. Situation Description Language (SDL) implementation. Technical Report DSTO-GD-0342, Defence Science and Technology Organisation (DSTO), nov # 2002 2002.
   Keywords: agentlab, agent programming languages. [download paper ] [bibtex-entry]



6. S. Greenhill, S. Venkatesh, A. Pearce, and T. C. Ly. Situation Description Language. Technical Report DSTO-GD-0332, Defence Science and Technology Organisation (DSTO), aug # 2002 2002.
   Keywords: agentlab, agent programming languages. [download paper ] [bibtex-entry]



7. H. P. van Ditmarsch. the Russian cards problem: a case study in cryptogrphy with public announcements. Technical report October 2002, 2002.
   Keywords: epistemic logic, agent programming languages, honours reading, games, cryptography. [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.