Browse the group's publications by year or by author.

Publications sorted by year

[1]	Carole Adam and Lawrence Cavedon. An extension of fml for a lexicon of engaging communicative strategies. In AAMAS-09 Workshop on Towards a Standard Markup Language for Embodied Dialogue Acts (EDAML), Budapest, 2009. [ bib ]
[2]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Flexible conversation management in an engaging virtual character. In AAMAS 2010 International Workshop on Interacting with ECAs as Virtual Characters, Toronto, 2010. [ bib ]
[3]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Personalised dialogue in a toy to engage children. In ACL'10 Workshop on Companionable Dialogue Systems, Uppsala, 2010. [ bib ]
[4]	Stéphane Airiau, Lin Padgham, Sebastian Sardina, and Sandip Sen. Incorporating learning in BDI agents. In Proceedings of the Adaptive Learning Agents and Multi-Agent Systems Workshop (ALAMAS+ALAg-08), Esteroil, Protugal, May 2008. [ bib | .pdf ]
[5]	Stéphane Airiau, Lin Padham, Sebastian Sardina, and Sandip Sen. Enhancing adaptation in BDI agents using learning techniques. International Journal of Agent Technologies and Systems (IJATS), 1(2):1-18, January 2009. [ bib | .pdf ]
[6]	Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Mizoguchi & Slaney, editor, Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI). Springer, LNAI 1886, 2000. [ bib | .pdf ]
[7]	Abdullah-Al Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI), page 817, Melbourne, August 2000. [ bib ]
[8]	Marsha Berry, Margaret Hamilton, Naomi Herzog, Lin Padgham, and Ron van Schyndel. Enhancing learning through mobile computing. In Elspeth McKay, editor, Enhancing Learning Through Human Computer Interaction, chapter IV, pages 57-74. IDEA Group, 2007. [ bib ]
[9]	Rafael H. Bordini, Mehdi Dastani, and Michael Winikoff. Current issues in multi-agent systems development (invited paper). In Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (ESAW), volume LNAI 4457. Springer, 2007. [ bib | .pdf ]
[10]	Lars Braubach, Jean-Pierre Briot, and John Thangarajah, editors. Programming Multi-Agent Systems, 7th International Workshop, ProMAS 2009, Budapest, Portugal, May 11, 2009. Revised Invited and Selected Papers, volume 5919 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]
[11]	L. Cavedon. A channel-theoretic model for conditional logics. In J. Seligman and D. Westerstahl, editors, Logic, Language and Computation, Volume 1, CSLI Lecture Notes, Volume 58. CSLI Publications and U. Chicago Press, 1997. [ bib ]
[12]	L. Cavedon. Default reasoning as situated monotonic inference. Minds and Machines, 8(4):509-531, 1998. [ bib ]
[13]	L. Cavedon, P. Blackburn, N. Braisby, and A. Shimojima, editors. Logic, Language and Computation, Volume 3, CSLI Lecture Notes, Number 111. CSLI Publications and Chicago University Press, Chicago, 2001. ISBN: 1-575-86267-0, 354 pages. [ bib ]
[14]	L. Cavedon, F. Cheng, R. Dale, and D. Traum, editors. Proceedings of the IUI Workshop on Effective Multimodal Dialogue Interfaces, Sydney, 2006. [ bib ]
[15]	L. Cavedon, D. D'Souza, J. Harland, S. Howell, and L. Padgham. Combining problem based learning with technological support. Austrian Journal for Higher Education, 1:132-147, 1997. [ bib ]
[16]	L. Cavedon and S. Glasbey. The role of context in the interpretation of generics. In Tenth Amsterdam Colloquium on Logic and Language, pages 143-162, Amsterdam, 1995. [ bib ]
[17]	L. Cavedon and S. Glasbey. Outline of an information-flow model of generics. Acta Linguistica Hungarica, 42((3-4)):227-245, 1997. [ bib ]
[18]	L. Cavedon, J. Harland, and L. Padgham. Problem based learning with technological support in an ai subject: description and evaluation. In Second Australasian Conference on Computer Science Education, pages 191-200, Melbourne, 1997. [ bib ]
[19]	L. Cavedon, Z. Maamar, D. Martin, and B. Benatallah, editors. Extending Web Services Technologies: The Use of Multi-Agent Approaches. Springer, Berlin, 2005. ISBN: 0-387-23343-1, 328 pages. [ bib ]
[20]	L. Cavedon, L. Padgham, A. Rao, and E. Sonenberg. Revisiting rationality for agents with intentions. In Eighth Australian Conference on Artificial Intelligence, pages 131-138, Canberra, 1995. [ bib ]
[21]	L. Cavedon and A. Rao. Bringing about rationality: Incorporating plans into a BDI architecture. In 4th Pacific Rim Int'l Conference on Artificial Intelligence, pages 601-612, Cairns, 1996. [ bib ]
[22]	L. Cavedon, A. Rao, E. Sonenberg, and G. Tidhar. Teamwork via team plans in intelligent autonomous agent systems. In International Conference on WorldWide Computing and its Applications, pages 106-121, Tsukuba, Japan, 1996. Invited paper. [ bib ]
[23]	L. Cavedon, A. Rao, and G. Tidhar. Social and individual commitment. In PRICAI'96 Workshop on Theoretical and Practical Foundations of Intelligent Agents, pages 152-163, Cairns, 1996. [ bib ]
[24]	L. Cavedon, A. Rao, and W. Wobcke, editors. Intelligent Agent Systems: Theoretical and Practical Issues, Lecture Notes in AI 1209. Springer, Berlin, 1997. ISBN: 3-540-62686-7, 188 pages. [ bib ]
[25]	L. Cavedon and E. Sonenberg. On social commitment, roles and preferred goals. In International Conference on Multi-Agent Systems, pages 80-87, Paris, 1998. [ bib ]
[26]	L. Cavedon and G. Tidhar. A logical framework for multi-agent systems and joint intentions. In 1st Australian Workshop on Distributed Artificial Intelligence, pages 16-30, Canberra, 1995. [ bib ]
[27]	L. Cavedon, G .Tidhar, and D. Morley. A framework for modelling multi-agent systems. In 8th Australian Joint Conference on Artificial Intelligence, pages 139-146, Canberra, 1995. [ bib ]
[28]	L. Cavedon and I. Zukerman, editors. Proceedings of the 2006 Australasian Language Technology Workshop, Sydney, 2006. ISBN: 1-74108-146-7, 166 pages. [ bib ]
[29]	Christopher Cheong and Michael Winikoff. Hermes: A methodology for goal-oriented agent interactions (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2005. [ bib | .pdf ]
[30]	Christopher Cheong and Michael Winikoff. Hermes: Designing goal-oriented agent interactions. In Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005), July 2005. [ bib | .pdf ]
[31]	Christopher Cheong and Michael Winikoff. Hermes: Implementing goal-oriented agent interactions. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[32]	Christopher Cheong and Michael Winikoff. Improving flexibility and robustness in agent interactions: Extending Prometheus with Hermes. In Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications, volume LNCS 3914. Springer-Verlag, 2006. [ bib | .pdf ]
[33]	Christopher Cheong and Michael Winikoff. Hermes: Designing flexible and robust agent interactions. In Virginia Dignum, editor, Multi-Agent Systems - Semantics and Dynamics of Organizational Models, chapter 5. IGI, 2009. [ bib | .pdf ]
[34]	Stephen Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. In COIN workshop, 2008. [ bib | .pdf ]
[35]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini and Michael Winikoff, editors, Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, pages 52-59, Melbourne, Australia, 2003. [ bib | .pdf ]
[36]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini, Brian Henderson-Sellers, and Michael Winikoff, editors, AOIS, volume 3030 of Lecture Notes in Computer Science, pages 78-93. Springer, 2003. [ bib ]
[37]	Khanh Hoa Dam and Michael Winikoff. Cost-based BDI plan selection for change propagation. In Padgham, Parkes, Müller, and Parsons, editors, Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 217-224, Estoril, Portuga, May 2008. [ bib | .pdf ]
[38]	Khanh Hoa Dam and Michael Winikoff. Evaluating an agent-oriented approach for change propagation. In Michael Luck and Jorge J. Gomez-Sanz, editors, Proceedings of the Ninth International Workshop on Agent Oriented Software Engineering, pages 61-72, Estoril, Portugal, May 2008. [ bib ]
[39]	Khanh Hoa Dam and Michael Winikoff. Generation of repair plans for change propagation. In Michael Luck and Lin Padgham, editors, Agent-Oriented Software Engineering VIII, volume LNCS 4951 of Lecture Notes in Computer Science, pages 132-146. Springer Berlin / Heidelberg, April 2008. [ bib ]
[40]	Khanh Hoa Dam, Michael Winikoff, and Lin Padgham. An agent-oriented approach to change propagation in software evolution. In Proceedings of the Australian Software Engineering Conference (ASWEC), pages 309-318. IEEE Computer Society, 2006. [ bib ]
[41]	Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. IndiGolog: A high-level programming language for embedded reasoning agents. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications, chapter 2, pages 31-72. Springer, New York, USA, 2009. ISBN: 978-0-387-89298-6. [ bib | .pdf ]
[42]	Giuseppe De Giacomo, Fabio Patrizi, Paolo Felli, and Sebastian Sardina. Two-player game structures for generalized planning and agent composition. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 297-302, Altanta, USA, July 2010. AAAI Press. [ bib | .pdf ]
[43]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Solving high-level planning programs. In Generalized Planning: Macros, Loops, Domain Control Workshop, Thessaloniki, Greece, 2009. [ bib | .pdf ]
[44]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Agent programming via planning programs. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 491-498, Toronto, Canada, May 2010. IFAAMAS. [ bib | .pdf ]
[45]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Generalized planning with loops under strong fairness constraints. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 351-361, Toronto, Canada, May 2010. [ bib | .pdf ]
[46]	Giuseppe De Giacomo and Sebastian Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Manuela M. Veloso, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1866-1871, Hyderabad, India, January 2007. [ bib | .pdf ]
[47]	Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, and Sebastian Sardina. Coordinating mobile actors in pervasive and mobile scenarios: An AI-based approach. In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for collaboration enterprises (WETICE'08), pages 82-88. IEEE Computer Society, 2008. [ bib | .pdf ]
[48]	Lavindra de Silva and Anthony Dekker. Planning with time limits in BDI agent programming languages. In Proceedings of Computing: the Australasian Theory Symposium, pages 131-139, Ballarat, Australia, January 2007. [ bib | .pdf ]
[49]	Lavindra de Silva and Lin Padgham. A comparison of BDI based real-time reasoning and HTN based planning. In Proceedings of the Australian Joint Conference on Artificial Intelligence, pages 1167-1173, Cairns, Australia, December 2004. [ bib | .pdf ]
[50]	Lavindra de Silva and Lin Padgham. Planning on demand in BDI systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 37-40, Monterey, California, USA, June 2005. Poster. [ bib | .pdf ]
[51]	Lavindra de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Budapest, Hungary, May 2009. ACM Press. [ bib | .pdf ]
[52]	Lavindra de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the 2nd International Workshop on Challenges in Open Agent Environments, Melbourne, Australia, July 2003. [ bib | .pdf ]
[53]	Lavindra P. de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), volume 2, pages 1001-1008, Budapest, Hungary, May 2009. IFAAMAS. [ bib | .pdf ]
[54]	Lavindra Priyalal de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the Challenges in Open Agent Systems '03 Workshop, Melbourne, Australia, 2003. [ bib | .pdf ]
[55]	Anthony Dekker and Lavindra de Silva. Investigating organisational structures with networks of planning agents. In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce, page 25, Sydney, Australia, November 2006. [ bib | .pdf ]
[56]	Scott A. DeLoach, Lin Padgham, Anna Perini, Angelo Susi, and John Thangarajah. Using three aose toolkits to develop a sample design. International Journal of Agent-Oriented Software Engineering, 3(4):416-476, 2009. [ bib ]
[57]	F. Dignum, D. Morley, E. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Fourth International Conference on Multi-Agent Systems, pages 111-118, Boston MA, 2000. [ bib ]
[58]	Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, and Michael Winikoff. Open agent systems??? In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 73-87. Springer-Verlag, 2008. [ bib ]
[59]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1033-1040, Hakodate, May 2006. [ bib ]
[60]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1033-1040, 2006. [ bib ]
[61]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic: A proposal. In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Paphos, November 2001. [ bib ]
[62]	James Harland and Michael Winikoff. Agent negotiation as proof search in linear logic (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 938-939, Bologna, July 2002. [ bib ]
[63]	James Harland and Michael Winikoff. Language design issues for agents based on linear logic (extended abstract). In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), pages 79-93, Copenhagen, August 2002. [ bib ]
[64]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic. Annals of Mathematics and Artificial Intelligence, 42(1/3):167-196, 2004. [ bib ]
[65]	Sarah Hickmott and Sebastian Sardina. Optimality properties of planning via Petri net unfolding: A formal analysis. In Alfonso Gerevini and Adele Howe, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 170-177, Thessaloniki, Greece, September 2009. AAAI Press. [ bib | .pdf ]
[66]	Koen Hindriks, Alexander Pokahr, and Sebastian Sardina, editors. Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5442 of Lecture Notes in Artificial Intelligence (LNAI), Berlin, Heidelberg, 2009. Springer. Revised Invited and Selected Papers 2009, XII, 253 p., ISBN: 978-3-642-03277-6. [ bib | .pdf ]
[67]	Joshua Hutchison and Michael Winikoff. Flexibility and robustness in agent interaction protocols. In Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems, Bologna, Italy, July 2002. ACM Press. [ bib | .pdf ]
[68]	Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, and Michael Winikoff. Component agent framework for domain-experts (cafne) toolkit. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1465-1466, 2006. [ bib ]
[69]	Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling agent oriented software engineering methodologies from features. In AOSE, volume LNCS 2585, pages 198-209. Springer, 2003. [ bib | .pdf ]
[70]	Jason Khallouf and Michael Winikoff. Towards goal-oriented design of agent systems. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 389-394. IEEE, 2005. [ bib | .pdf ]
[71]	Jason Khallouf and Michael Winikoff. Goal-oriented design of agent systems: A refinement of prometheus and its evaluation. IJAOSE, 2009. [ bib | .pdf ]
[72]	Xiaodong Li and Khanh Hoa Dam. Comparing particle swarms for tracking extrema in dynamic environments. In Proceeding of the 2003 Congress on Evolutionary Computation (CEC'03), pages 1772-1779. IEEE Service Center, 2003. [ bib ]
[73]	Wei Liu, Husniza Husni, and Lin Padgham. E-service composition tools from a lifecycle perspective. In J. Lu, D. Ruan, and G. Zhang, editors, E-Service Intelligence: Methodologies, Technologies and Applications, volume 37 of Studies in Computational Intelligence, chapter 5, pages 125-146. Springer, 2007. ISBN 978-3-540-37015-4. [ bib ]
[74]	Michael Luck and Lin Padgham, editors. Agent Oriented Software Engineering VIII, volume 4951. Springer, 2008. [ bib ]
[75]	D. Mirkovic and L. Cavedon. Practical multi-domain, multi-device dialogue management. In PACLING'05: 6th Meeting of the Pacific Assoc. for Computational Linguistics, pages 235-243, Tokyo, 2005. [ bib ]
[76]	Gregory More, Jeremy Yuille, Lin Padgham, Aman Sahani, and Mark Burry. The space and sound of intelligent information environments. In OZCHI, 2005. [ bib ]
[77]	Lin Padgham and Patrick Lambrix. Formalisations of capabilities for bdi-agents in autonomous agents and multi-agent systems. Autonomous Agents and Multi-Agent Systems, 10(3):249-271, May 2005. [ bib ]
[78]	Lin Padgham and Mikhail Perepletchikov. Prioritisation mechanisms to support incremental development of agent systems. International Journal of Agent-Oriented Software Engineering (ijaose), 1(3/4):477-497, 2007. [ bib ]
[79]	Lin Padgham, John Thangarajah, and Michael Winikoff. Tool support for agent development using the prometheus methodology. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 383-388, Washington, DC, USA, 2005. IEEE Computer Society. [ bib ]
[80]	Lin Padgham, John Thangarajah, and Michael Winikoff. Auml protocols and code generation in the prometheus design tool (system demonstration). In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, page 270, 2007. [ bib ]
[81]	Lin Padgham, John Thangarajah, and Michael Winikoff. Prometheus design tool. In Proceedings of The AAAI Conference on Artificial Intelligence, pages 1882-1883, 2008. [ bib ]
[82]	Lin Padgham, John Thangarajah, and Michael Winikoff. The prometheus design tool - a conference management system case study. In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 197-211. Springer-Verlag, 2008. [ bib ]
[83]	Lin Padgham and Franco Zambonelli, editors. Agent Oriented Software Engineering VII. Springer, 2007. [ bib ]
[84]	Mikhail Perepletchikov and Lin Padgham. Systematic incremental development of agent systems, using prometheus. In 1st International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005), 2005. In conjunction with the Fifth International Conference on Quality Software (QSIC). [ bib ]
[85]	Mikhail Perepletchikov and Lin Padgham. Use case and actor driven requirements engineering: An evaluation of modifications to prometheus. In Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, (CEEMAS), Budapest, Hungary, September 2005. [ bib ]
[86]	Quam Duc Pham and James Harland. Temporal linear logic as a basis for flexible agent interactions. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 124-131, May 2007. [ bib ]
[87]	Quam Duc Pham, James Harland, and Michael Winikoff. Modelling agent's choices in temporal linear logic. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), May 2007. [ bib ]
[88]	Quang Duc Pham and James Harland. Flexible agent protocols via temporal and resource-based reasoning (short paper). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 235-237, Hakodate, May 2006. [ bib ]
[89]	Toan Phung, Seng Loke, and James Harland. Adding flexibility using structured goals: the case of itinerant mobile agents (short paper). In Proceedigns of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 562-565, Halifax, October 2003. [ bib ]
[90]	Toan Phung, Michael Winikoff, and Lin Padgham. Learning within the bdi framework: An empirical analysis. In Knowledge-Based Intelligent Information and Engineering Systems (part III), volume LNCS 3685. Springer, 2005. [ bib | .pdf ]
[91]	David Poutakidis, Michael Winikoff, Lin Padgham, and Zhiyong Zhang. Debugging and testing of multi-agent systems using design artefacts. In Multi-Agent Programming: Languages, Tools and Applications, pages 215-258. Springer US, 2009. [ bib | DOI | .pdf ]
[92]	M. Purver, F. Ratiu, and L.Cavedon. Robust interpretation in dialogue by combining confidence scores with contextual features. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1-4, Pittsburgh PA, 2006. [ bib ]
[93]	D. V. Pynadath, M. Tambe, N. Chauvat, and L. Cavedon. Toward team-oriented programming. In 6th Workshop on Agents, Theories, Architectures and Languages (ATAL'99), pages 233-247, Orlando FL, 1999. [ bib ]
[94]	Omar Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Proceedigns of the Australasian Computer Science Conference (ACSC), Melbourne, January 2002. [ bib ]
[95]	Omer Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Australasian Conference on Computer Science, 2002. [ bib | .pdf ]
[96]	Aman Sahani, Ian Mathieson, and Lin Padgham. Agent support for a grid-based high energy physics application. In Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE), volume 3533, page 134. LNCS, Bari, Italy, June 2005. [ bib ]
[97]	Jennifer Sandercock, Lin Padgham, and Fabio Zambetta. Creating adaptive and individual personalities in many characters without hand crafting behaviours. In Intelligent Virtual Agents 6th International Conference (IVA06), August 2006. [ bib ]
[98]	Sebastian Sardina and Giuseppe De Giacomo. Realizing multiple autonomous agents through scheduling of shared devices. In Jussi Rintanen and Bernhard Nebel, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 304-312, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[99]	Sebastian Sardina and Giuseppe De Giacomo. Composition of ConGolog programs. In Craig Boutilier, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 904-910, Pasadena, CA, USA, July 2009. IJCAI. [ bib | .pdf ]
[100]	Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 463-471, Lake District, UK, June 2006. [ bib | .pdf ]
[101]	Sebastian Sardina, Lavindra P. de Silva, and Lin Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1001-1008, Hakodate, Japan, May 2006. ACM Press. [ bib | DOI | .pdf ]
[102]	Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5919 of Lecture Notes in Computer Science (LNCS), pages 82-89, Budapest, Hungary, 2010. Springer. [ bib | DOI | http | .pdf ]
[103]	Sebastian Sardina and Lin Padgham. Goals in the context of BDI plan failure and planning. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, and Onn Shehory, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 16-23, Hawaii, USA, May 2007. ACM Press. [ bib | DOI | .pdf ]
[104]	Sebastian Sardina and Lin Padgham. A BDI agent programming language with failure recovery, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18-70, 2011. [ bib | DOI | .pdf ]
[105]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Automatic synthesis of a global behavior from multiple distributed behaviors. In Robert C. Holte and Adele Howe, editors, Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1063-1069, Vancouver, Canada, July 2007. AAAI Press. [ bib | .pdf ]
[106]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[107]	Sebastian Sardina and Stavros Vassos. The Wumpus World in IndiGolog: A preliminary report. In L. Morgenstern and M. Pagnucco, editors, Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 90-95, 2005. [ bib | .pdf ]
[108]	Carles Sierra, John Thangarajah, Lin Padgham, and Michael Winikoff. Designing institutional multi-agent systems. In Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Revised and Invited Papers, LNCS Volume 4405, pages 84-103. Springer-Verlag, 2007. [ bib ]
[109]	Dhirendra Singh, Sebastian Sardina, and Lin Padgham. Extending BDI plan selection to incorporate learning from experience. Journal of Robotics and Autonomous Systems, 58:1067-1075, 2010. [ bib | DOI | .pdf ]
[110]	Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Stéphane Airiau. Learning context conditions for BDI plan selection. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 325-332, Toronto, Canada, May 2010. [ bib | .pdf ]
[111]	A. Song, L. Padgham, and L. Cavedon. Prediction in dynamic environments: Robocup rescue exploration. In AAMAS 2007 Workshop on Adaptive and Learning Agents, Honolulu HI, 2007. [ bib ]
[112]	Andy Song, Lin Padgham, and Lawrence Cavedon. Prediction in dynamic environment:robocup rescue exploration. In K.Tumer, S.Sen, and L. Panait, editors, Adaptive Learning Agents Workshop 2007 in AAMAS07, 2007. [ bib | .pdf ]
[113]	J. Thangarajah, J. Harland, and N. Yorke-Smith. A soft cop model for goal deliberation in a bdi agent. In Proceedings of CP’07 Workshop on Constraint Modelling and Reformulation, Providence, RI, September 2007. [ bib ]
[114]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Aborting tasks in BDI agents. In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, pages 8-15, 2007. [ bib ]
[115]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Suspending and resuming tasks in BDI agents. In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 405-412, 2008. [ bib ]
[116]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. On the life-cycle of bdi agent goals. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), page To appear, August 2010. [ bib ]
[117]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Operational behaviour for executing, suspending, and aborting goals in bdi agent systems. In Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10), Toronto, May 2010. [ bib ]
[118]	John Thangarajah and Lin Padgham. An empirical evaluation of reasoning about resource conflicts. In AAMAS '04: Proceedings of The 3rd International Conference on Autonomous Agents and Multiagent Systems, pages 1298-1299, 2004. [ bib ]
[119]	John Thangarajah and Lin Padgham. Computationally effective reasoning about goal interactions. Journal of Automated Reasoning, pages "To Appear, accepted 05-04-2010", 2010. [ bib ]
[120]	John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning for goals in BDI agents. In Proceedings of the Twenty-Fifth Australasian Computer Science Conference (ACSC'02), pages 259-265, 2002. [ bib ]
[121]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1049-1051, Hakodate, Japan, May 2006. [ bib | DOI | .pdf ]
[122]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1049-1051, 2006. [ bib ]
[123]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and avoiding interference between goals in intelligent agents. In IJCAI '03: Proceedings of the International Joint Conference on Artificial Intelligence, pages 721-726, 2003. [ bib ]
[124]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and exploiting positive goal interaction in intelligent agents. In AAMAS '03: Proceedings of The 2nd International Conference on Autonomous Agents and Multiagent Systems, pages 401-408, 2003. [ bib ]
[125]	John Thangarajah, Lin Padgham, and Michael Winikoff. Prometheus design tool. In the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 127-128, Utrecht, The Netherlands, July 2005. [ bib ]
[126]	John Thangarajah, Michael Winikoff, Lin Padgham, and Klaus Fischer. Avoiding resource conflicts in intelligent agents. In ECAI '02: Proceedings of the European Conference on Artificial Intelligence, pages 18-22, 2002. [ bib ]
[127]	Vu Binh Tran, James Harland, and Margaret Hamilton. A combined logic of expectation and observation: A generalisation of bdi logics. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), Melbourne, July 2003. [ bib ]
[128]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation: the logic of flexible motivation (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1140-1141, Melbourne, July 2003. [ bib ]
[129]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation reasoning using regret and disappointment. In Proceedings of the European Conference in Artificial Intelligence (ECAI), pages 74-78, Valencia, August 2004. [ bib ]
[130]	Vu Binh Tran, James Harland, and Margaret Hamilton. Observation expectation reasoning in agent systems. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 246-254, Whistler, June 2004. [ bib ]
[131]	M. Birna van Riemsdijk, Mehdi Dastani, and Michael Winikoff. Goals in agent systems: A unifying framework. In AAMAS, 2008. [ bib | .pdf ]
[132]	Stavros Vassos, Sebastian Sardina, and Hector Levesque. Progressing basic action theories with non-local effect actions. In Gerhard Lakemeyer, Leora Morgenstern, and Mary-Anne Williams, editors, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS'09), pages 135-140, Toronto, Canada, June 2009. UTSePress, University of Technology, Sydney, Australia. [ bib | .pdf ]
[133]	Bao Quoc Vo, L. Padgham, and L. Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. Intelligent Decision Technologies, 1((1-2)):33-47, 2007. [ bib ]
[134]	Bao Quoc Vo and Lin Padgham. Searching for joint gains in automated negotiations based on multi-criteria decision making theory. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Hawaii, USA, May 2007. [ bib ]
[135]	Bao Quoc Vo, Lin Padgham, and Lawrence Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. International journal of Intelligent Decision Technologies, 1(1-2):33-47, 2007. [ bib ]
[136]	F. Weng, S. Varges, B. Raghunathan, F. Ratiu, H. Pon-Barry, B. Lathrop, Q. Zhang, T. Scheideck, H. Bratt, K. Xu, M. Purver, R. Mishra, M. Raya, S. Peters, Y. Meng, L. Cavedon, and L. Shriberg. CHAT: A conversational helper for automotive tasks. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1061-1064, Pittsburgh PA, 2006. [ bib ]
[137]	J. Westendorp, P. Scerri, and L. Cavedon. Strategic behaviour-based reasoning with dynamic, partial information. In 12th Aust. Joint Conf. on Artificial Intelligence, pages 297-308, Brisbane, 1998. [ bib ]
[138]	Simon Whitehead and Lawrence Cavedon. Generating shifting sentiment for a conversational agent. In NAACL-HLT 2010 Workshop on Computational Approaches to Analysis and Generation of Emotion in Text, Los Angeles, 2010. [ bib ]
[139]	Michael Winikoff. An AgentSpeak meta-interpreter and its applications. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[140]	Michael Winikoff. Jack intelligent agents: An industrial strength platform. In Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, and Amal El Fallah Seghrouchni, editors, Multi-Agent Programming, pages 175-193. Springer, 2005. [ bib | .pdf ]
[141]	Michael Winikoff. Towards making agent uml practical: A textual notation and a tool. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 401-406. IEEE, 2005. [ bib | .pdf ]
[142]	Michael Winikoff. Designing commitment-based agent interactions. In IAT, 2006. [ bib | .pdf ]
[143]	Michael Winikoff. Implementing flexible and robust agent interactions using distributed commitment machines. Multiagent and Grid Systems, 2(4), 2006. [ bib | .pdf ]
[144]	Michael Winikoff. Defining syntax and providing tool support for agent uml using a textual notation. IJAOSE, 1(2):123-144, 2007. [ bib | .pdf ]
[145]	Michael Winikoff. Implementing commitment-based interactions. In AAMAS, 2007. [ bib | .pdf ]
[146]	Michael Winikoff. The future of agent-based software engineering: Goals and verification & validation are key. Position statement at panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008, 2008. [ bib | .pdf ]
[147]	Michael Winikoff and Stephen Cranefield. Eliciting expectations for monitoring social interactions. In International Conference on Computer Mediated Social Networking (ICCMSN), 2008. [ bib | .pdf ]
[148]	Michael Winikoff, Wei Liu, and James Harland. Enhancing commitment machines. In workshop on Declarative Agent Languages and Technologies (DALT), volume LNAI 3476, pages 198-220, 2004. [ bib | .pdf ]
[149]	Michael Winikoff and Lin Padgham. The prometheus methodology. In Federico Bergenti, Marie-Pierre Gleizes, and Franco Zambonelli, editors, Methodologies and Software Engineering for Agent Systems, chapter 11. Kluwer Academic Publishing (New York), 2004. [ bib | .pdf ]
[150]	Michael Winikoff, Lin Padgham, and James Harland. Simplifying the development of intelligent agents. In AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence, pages 555-568. Springer, LNAI 2256, 2001. [ bib | .pdf ]
[151]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib | .pdf ]
[152]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, KR '02: Proceedings of the Eigth International Conference on Principles and Knowledge Representation and Reasoning, pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib ]
[153]	Min Xu, Lin Padgham, Aloys Mbala, and James Harland. Tracking reliability and helpfulness in agent interactions. Web Intelligence and Agent Systems: An International Journal (WIAS), 5(1), 2007. [ bib ]
[154]	Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Barcelona, Spain, May 2011. ACM Press. To appear. [ bib | DOI ]
[155]	Nitin Yadav, Chenguang Zhou, Sebastian Sardina, and Ralph Rönnquist. A BDI agent system for the cow herding domain. Annals of Mathematics and Artificial Intelligence, 2010. To appear; accepted 13/04/2010. [ bib | DOI | .pdf ]
[156]	Z. Zhang, J. Thangarajah, and L. Padgham. Automated unit testing for agent systems. In Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 10-18, Spain, July 2007. [ bib ]
[157]	Z. Zhang, J. Thangarajah, and L. Padgham. Model Based Testing for Agent Systems. In J. Filipe, B. Shishkov, M. Helfert, & L. A. Maciaszek, editor, Software and Data Technologies, Communications in Computer and Information Science, Volume 22. Springer Berlin Heidelberg, pages 399-413, 2009. [ bib ]
[158]	Zhiyong Zhang, John Thangarajah, and lin Padgham. Automated unit testing for agent systems. In Proceedings of the Second International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE-07), pages 10 - 18, Barcelona, Spain, July 2007. [ bib | .pdf ]
[159]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt. In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 1673-1674. International Foundation for Autonomous Agents and Multiagent Systems, 2008. [ bib | .pdf ]
[160]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt (demo). In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 1673-1674, Estoril,Portugal, 2008. IFAAMAS. [ bib ]
[161]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib | .pdf ]
[162]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib ]

[1]	Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Barcelona, Spain, May 2011. ACM Press. To appear. [ bib | DOI ]
[2]	Sebastian Sardina and Lin Padgham. A BDI agent programming language with failure recovery, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18-70, 2011. [ bib | DOI | .pdf ]
[3]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. On the life-cycle of bdi agent goals. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), page To appear, August 2010. [ bib ]
[4]	Giuseppe De Giacomo, Fabio Patrizi, Paolo Felli, and Sebastian Sardina. Two-player game structures for generalized planning and agent composition. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 297-302, Altanta, USA, July 2010. AAAI Press. [ bib | .pdf ]
[5]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Agent programming via planning programs. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 491-498, Toronto, Canada, May 2010. IFAAMAS. [ bib | .pdf ]
[6]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Generalized planning with loops under strong fairness constraints. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 351-361, Toronto, Canada, May 2010. [ bib | .pdf ]
[7]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Operational behaviour for executing, suspending, and aborting goals in bdi agent systems. In Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10), Toronto, May 2010. [ bib ]
[8]	Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Stéphane Airiau. Learning context conditions for BDI plan selection. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 325-332, Toronto, Canada, May 2010. [ bib | .pdf ]
[9]	Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5919 of Lecture Notes in Computer Science (LNCS), pages 82-89, Budapest, Hungary, 2010. Springer. [ bib | DOI | http | .pdf ]
[10]	Nitin Yadav, Chenguang Zhou, Sebastian Sardina, and Ralph Rönnquist. A BDI agent system for the cow herding domain. Annals of Mathematics and Artificial Intelligence, 2010. To appear; accepted 13/04/2010. [ bib | DOI | .pdf ]
[11]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Flexible conversation management in an engaging virtual character. In AAMAS 2010 International Workshop on Interacting with ECAs as Virtual Characters, Toronto, 2010. [ bib ]
[12]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Personalised dialogue in a toy to engage children. In ACL'10 Workshop on Companionable Dialogue Systems, Uppsala, 2010. [ bib ]
[13]	Simon Whitehead and Lawrence Cavedon. Generating shifting sentiment for a conversational agent. In NAACL-HLT 2010 Workshop on Computational Approaches to Analysis and Generation of Emotion in Text, Los Angeles, 2010. [ bib ]
[14]	John Thangarajah and Lin Padgham. Computationally effective reasoning about goal interactions. Journal of Automated Reasoning, pages "To Appear, accepted 05-04-2010", 2010. [ bib ]
[15]	Lars Braubach, Jean-Pierre Briot, and John Thangarajah, editors. Programming Multi-Agent Systems, 7th International Workshop, ProMAS 2009, Budapest, Portugal, May 11, 2009. Revised Invited and Selected Papers, volume 5919 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]
[16]	Dhirendra Singh, Sebastian Sardina, and Lin Padgham. Extending BDI plan selection to incorporate learning from experience. Journal of Robotics and Autonomous Systems, 58:1067-1075, 2010. [ bib | DOI | .pdf ]
[17]	Sarah Hickmott and Sebastian Sardina. Optimality properties of planning via Petri net unfolding: A formal analysis. In Alfonso Gerevini and Adele Howe, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 170-177, Thessaloniki, Greece, September 2009. AAAI Press. [ bib | .pdf ]
[18]	Sebastian Sardina and Giuseppe De Giacomo. Composition of ConGolog programs. In Craig Boutilier, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 904-910, Pasadena, CA, USA, July 2009. IJCAI. [ bib | .pdf ]
[19]	Stavros Vassos, Sebastian Sardina, and Hector Levesque. Progressing basic action theories with non-local effect actions. In Gerhard Lakemeyer, Leora Morgenstern, and Mary-Anne Williams, editors, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS'09), pages 135-140, Toronto, Canada, June 2009. UTSePress, University of Technology, Sydney, Australia. [ bib | .pdf ]
[20]	Lavindra P. de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), volume 2, pages 1001-1008, Budapest, Hungary, May 2009. IFAAMAS. [ bib | .pdf ]
[21]	Lavindra de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Budapest, Hungary, May 2009. ACM Press. [ bib | .pdf ]
[22]	Jason Khallouf and Michael Winikoff. Goal-oriented design of agent systems: A refinement of prometheus and its evaluation. IJAOSE, 2009. [ bib | .pdf ]
[23]	Christopher Cheong and Michael Winikoff. Hermes: Designing flexible and robust agent interactions. In Virginia Dignum, editor, Multi-Agent Systems - Semantics and Dynamics of Organizational Models, chapter 5. IGI, 2009. [ bib | .pdf ]
[24]	Stéphane Airiau, Lin Padham, Sebastian Sardina, and Sandip Sen. Enhancing adaptation in BDI agents using learning techniques. International Journal of Agent Technologies and Systems (IJATS), 1(2):1-18, January 2009. [ bib | .pdf ]
[25]	Koen Hindriks, Alexander Pokahr, and Sebastian Sardina, editors. Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5442 of Lecture Notes in Artificial Intelligence (LNAI), Berlin, Heidelberg, 2009. Springer. Revised Invited and Selected Papers 2009, XII, 253 p., ISBN: 978-3-642-03277-6. [ bib | .pdf ]
[26]	Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. IndiGolog: A high-level programming language for embedded reasoning agents. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications, chapter 2, pages 31-72. Springer, New York, USA, 2009. ISBN: 978-0-387-89298-6. [ bib | .pdf ]
[27]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Solving high-level planning programs. In Generalized Planning: Macros, Loops, Domain Control Workshop, Thessaloniki, Greece, 2009. [ bib | .pdf ]
[28]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib | .pdf ]
[29]	David Poutakidis, Michael Winikoff, Lin Padgham, and Zhiyong Zhang. Debugging and testing of multi-agent systems using design artefacts. In Multi-Agent Programming: Languages, Tools and Applications, pages 215-258. Springer US, 2009. [ bib | DOI | .pdf ]
[30]	Carole Adam and Lawrence Cavedon. An extension of fml for a lexicon of engaging communicative strategies. In AAMAS-09 Workshop on Towards a Standard Markup Language for Embodied Dialogue Acts (EDAML), Budapest, 2009. [ bib ]
[31]	Z. Zhang, J. Thangarajah, and L. Padgham. Model Based Testing for Agent Systems. In J. Filipe, B. Shishkov, M. Helfert, & L. A. Maciaszek, editor, Software and Data Technologies, Communications in Computer and Information Science, Volume 22. Springer Berlin Heidelberg, pages 399-413, 2009. [ bib ]
[32]	Scott A. DeLoach, Lin Padgham, Anna Perini, Angelo Susi, and John Thangarajah. Using three aose toolkits to develop a sample design. International Journal of Agent-Oriented Software Engineering, 3(4):416-476, 2009. [ bib ]
[33]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib ]
[34]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[35]	Sebastian Sardina and Giuseppe De Giacomo. Realizing multiple autonomous agents through scheduling of shared devices. In Jussi Rintanen and Bernhard Nebel, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 304-312, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[36]	Stéphane Airiau, Lin Padgham, Sebastian Sardina, and Sandip Sen. Incorporating learning in BDI agents. In Proceedings of the Adaptive Learning Agents and Multi-Agent Systems Workshop (ALAMAS+ALAg-08), Esteroil, Protugal, May 2008. [ bib | .pdf ]
[37]	Khanh Hoa Dam and Michael Winikoff. Cost-based BDI plan selection for change propagation. In Padgham, Parkes, Müller, and Parsons, editors, Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 217-224, Estoril, Portuga, May 2008. [ bib | .pdf ]
[38]	Khanh Hoa Dam and Michael Winikoff. Evaluating an agent-oriented approach for change propagation. In Michael Luck and Jorge J. Gomez-Sanz, editors, Proceedings of the Ninth International Workshop on Agent Oriented Software Engineering, pages 61-72, Estoril, Portugal, May 2008. [ bib ]
[39]	Khanh Hoa Dam and Michael Winikoff. Generation of repair plans for change propagation. In Michael Luck and Lin Padgham, editors, Agent-Oriented Software Engineering VIII, volume LNCS 4951 of Lecture Notes in Computer Science, pages 132-146. Springer Berlin / Heidelberg, April 2008. [ bib ]
[40]	Michael Winikoff. The future of agent-based software engineering: Goals and verification & validation are key. Position statement at panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008, 2008. [ bib | .pdf ]
[41]	M. Birna van Riemsdijk, Mehdi Dastani, and Michael Winikoff. Goals in agent systems: A unifying framework. In AAMAS, 2008. [ bib | .pdf ]
[42]	Michael Winikoff and Stephen Cranefield. Eliciting expectations for monitoring social interactions. In International Conference on Computer Mediated Social Networking (ICCMSN), 2008. [ bib | .pdf ]
[43]	Stephen Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. In COIN workshop, 2008. [ bib | .pdf ]
[44]	Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, and Sebastian Sardina. Coordinating mobile actors in pervasive and mobile scenarios: An AI-based approach. In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for collaboration enterprises (WETICE'08), pages 82-88. IEEE Computer Society, 2008. [ bib | .pdf ]
[45]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt. In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 1673-1674. International Foundation for Autonomous Agents and Multiagent Systems, 2008. [ bib | .pdf ]
[46]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Suspending and resuming tasks in BDI agents. In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 405-412, 2008. [ bib ]
[47]	Lin Padgham, John Thangarajah, and Michael Winikoff. Prometheus design tool. In Proceedings of The AAAI Conference on Artificial Intelligence, pages 1882-1883, 2008. [ bib ]
[48]	Lin Padgham, John Thangarajah, and Michael Winikoff. The prometheus design tool - a conference management system case study. In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 197-211. Springer-Verlag, 2008. [ bib ]
[49]	Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, and Michael Winikoff. Open agent systems??? In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 73-87. Springer-Verlag, 2008. [ bib ]
[50]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt (demo). In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 1673-1674, Estoril,Portugal, 2008. IFAAMAS. [ bib ]
[51]	Michael Luck and Lin Padgham, editors. Agent Oriented Software Engineering VIII, volume 4951. Springer, 2008. [ bib ]
[52]	J. Thangarajah, J. Harland, and N. Yorke-Smith. A soft cop model for goal deliberation in a bdi agent. In Proceedings of CP’07 Workshop on Constraint Modelling and Reformulation, Providence, RI, September 2007. [ bib ]
[53]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Automatic synthesis of a global behavior from multiple distributed behaviors. In Robert C. Holte and Adele Howe, editors, Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1063-1069, Vancouver, Canada, July 2007. AAAI Press. [ bib | .pdf ]
[54]	Zhiyong Zhang, John Thangarajah, and lin Padgham. Automated unit testing for agent systems. In Proceedings of the Second International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE-07), pages 10 - 18, Barcelona, Spain, July 2007. [ bib | .pdf ]
[55]	Z. Zhang, J. Thangarajah, and L. Padgham. Automated unit testing for agent systems. In Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 10-18, Spain, July 2007. [ bib ]
[56]	Sebastian Sardina and Lin Padgham. Goals in the context of BDI plan failure and planning. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, and Onn Shehory, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 16-23, Hawaii, USA, May 2007. ACM Press. [ bib | DOI | .pdf ]
[57]	Quam Duc Pham, James Harland, and Michael Winikoff. Modelling agent's choices in temporal linear logic. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), May 2007. [ bib ]
[58]	Quam Duc Pham and James Harland. Temporal linear logic as a basis for flexible agent interactions. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 124-131, May 2007. [ bib ]
[59]	Bao Quoc Vo and Lin Padgham. Searching for joint gains in automated negotiations based on multi-criteria decision making theory. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Hawaii, USA, May 2007. [ bib ]
[60]	Michael Winikoff. Implementing commitment-based interactions. In AAMAS, 2007. [ bib | .pdf ]
[61]	Rafael H. Bordini, Mehdi Dastani, and Michael Winikoff. Current issues in multi-agent systems development (invited paper). In Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (ESAW), volume LNAI 4457. Springer, 2007. [ bib | .pdf ]
[62]	Michael Winikoff. Defining syntax and providing tool support for agent uml using a textual notation. IJAOSE, 1(2):123-144, 2007. [ bib | .pdf ]
[63]	Giuseppe De Giacomo and Sebastian Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Manuela M. Veloso, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1866-1871, Hyderabad, India, January 2007. [ bib | .pdf ]
[64]	Lavindra de Silva and Anthony Dekker. Planning with time limits in BDI agent programming languages. In Proceedings of Computing: the Australasian Theory Symposium, pages 131-139, Ballarat, Australia, January 2007. [ bib | .pdf ]
[65]	Andy Song, Lin Padgham, and Lawrence Cavedon. Prediction in dynamic environment:robocup rescue exploration. In K.Tumer, S.Sen, and L. Panait, editors, Adaptive Learning Agents Workshop 2007 in AAMAS07, 2007. [ bib | .pdf ]
[66]	Bao Quoc Vo, L. Padgham, and L. Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. Intelligent Decision Technologies, 1((1-2)):33-47, 2007. [ bib ]
[67]	A. Song, L. Padgham, and L. Cavedon. Prediction in dynamic environments: Robocup rescue exploration. In AAMAS 2007 Workshop on Adaptive and Learning Agents, Honolulu HI, 2007. [ bib ]
[68]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Aborting tasks in BDI agents. In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, pages 8-15, 2007. [ bib ]
[69]	Lin Padgham, John Thangarajah, and Michael Winikoff. Auml protocols and code generation in the prometheus design tool (system demonstration). In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, page 270, 2007. [ bib ]
[70]	Carles Sierra, John Thangarajah, Lin Padgham, and Michael Winikoff. Designing institutional multi-agent systems. In Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Revised and Invited Papers, LNCS Volume 4405, pages 84-103. Springer-Verlag, 2007. [ bib ]
[71]	Lin Padgham and Franco Zambonelli, editors. Agent Oriented Software Engineering VII. Springer, 2007. [ bib ]
[72]	Marsha Berry, Margaret Hamilton, Naomi Herzog, Lin Padgham, and Ron van Schyndel. Enhancing learning through mobile computing. In Elspeth McKay, editor, Enhancing Learning Through Human Computer Interaction, chapter IV, pages 57-74. IDEA Group, 2007. [ bib ]
[73]	Wei Liu, Husniza Husni, and Lin Padgham. E-service composition tools from a lifecycle perspective. In J. Lu, D. Ruan, and G. Zhang, editors, E-Service Intelligence: Methodologies, Technologies and Applications, volume 37 of Studies in Computational Intelligence, chapter 5, pages 125-146. Springer, 2007. ISBN 978-3-540-37015-4. [ bib ]
[74]	Lin Padgham and Mikhail Perepletchikov. Prioritisation mechanisms to support incremental development of agent systems. International Journal of Agent-Oriented Software Engineering (ijaose), 1(3/4):477-497, 2007. [ bib ]
[75]	Min Xu, Lin Padgham, Aloys Mbala, and James Harland. Tracking reliability and helpfulness in agent interactions. Web Intelligence and Agent Systems: An International Journal (WIAS), 5(1), 2007. [ bib ]
[76]	Bao Quoc Vo, Lin Padgham, and Lawrence Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. International journal of Intelligent Decision Technologies, 1(1-2):33-47, 2007. [ bib ]
[77]	Anthony Dekker and Lavindra de Silva. Investigating organisational structures with networks of planning agents. In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce, page 25, Sydney, Australia, November 2006. [ bib | .pdf ]
[78]	Jennifer Sandercock, Lin Padgham, and Fabio Zambetta. Creating adaptive and individual personalities in many characters without hand crafting behaviours. In Intelligent Virtual Agents 6th International Conference (IVA06), August 2006. [ bib ]
[79]	Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 463-471, Lake District, UK, June 2006. [ bib | .pdf ]
[80]	Sebastian Sardina, Lavindra P. de Silva, and Lin Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1001-1008, Hakodate, Japan, May 2006. ACM Press. [ bib | DOI | .pdf ]
[81]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1049-1051, Hakodate, Japan, May 2006. [ bib | DOI | .pdf ]
[82]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1033-1040, Hakodate, May 2006. [ bib ]
[83]	Quang Duc Pham and James Harland. Flexible agent protocols via temporal and resource-based reasoning (short paper). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 235-237, Hakodate, May 2006. [ bib ]
[84]	Christopher Cheong and Michael Winikoff. Improving flexibility and robustness in agent interactions: Extending Prometheus with Hermes. In Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications, volume LNCS 3914. Springer-Verlag, 2006. [ bib | .pdf ]
[85]	Michael Winikoff. Designing commitment-based agent interactions. In IAT, 2006. [ bib | .pdf ]
[86]	Michael Winikoff. Implementing flexible and robust agent interactions using distributed commitment machines. Multiagent and Grid Systems, 2(4), 2006. [ bib | .pdf ]
[87]	Khanh Hoa Dam, Michael Winikoff, and Lin Padgham. An agent-oriented approach to change propagation in software evolution. In Proceedings of the Australian Software Engineering Conference (ASWEC), pages 309-318. IEEE Computer Society, 2006. [ bib ]
[88]	L. Cavedon and I. Zukerman, editors. Proceedings of the 2006 Australasian Language Technology Workshop, Sydney, 2006. ISBN: 1-74108-146-7, 166 pages. [ bib ]
[89]	L. Cavedon, F. Cheng, R. Dale, and D. Traum, editors. Proceedings of the IUI Workshop on Effective Multimodal Dialogue Interfaces, Sydney, 2006. [ bib ]
[90]	M. Purver, F. Ratiu, and L.Cavedon. Robust interpretation in dialogue by combining confidence scores with contextual features. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1-4, Pittsburgh PA, 2006. [ bib ]
[91]	F. Weng, S. Varges, B. Raghunathan, F. Ratiu, H. Pon-Barry, B. Lathrop, Q. Zhang, T. Scheideck, H. Bratt, K. Xu, M. Purver, R. Mishra, M. Raya, S. Peters, Y. Meng, L. Cavedon, and L. Shriberg. CHAT: A conversational helper for automotive tasks. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1061-1064, Pittsburgh PA, 2006. [ bib ]
[92]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1033-1040, 2006. [ bib ]
[93]	Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, and Michael Winikoff. Component agent framework for domain-experts (cafne) toolkit. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1465-1466, 2006. [ bib ]
[94]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1049-1051, 2006. [ bib ]
[95]	Mikhail Perepletchikov and Lin Padgham. Use case and actor driven requirements engineering: An evaluation of modifications to prometheus. In Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, (CEEMAS), Budapest, Hungary, September 2005. [ bib ]
[96]	Michael Winikoff. An AgentSpeak meta-interpreter and its applications. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[97]	Christopher Cheong and Michael Winikoff. Hermes: Implementing goal-oriented agent interactions. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[98]	Christopher Cheong and Michael Winikoff. Hermes: Designing goal-oriented agent interactions. In Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005), July 2005. [ bib | .pdf ]
[99]	John Thangarajah, Lin Padgham, and Michael Winikoff. Prometheus design tool. In the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 127-128, Utrecht, The Netherlands, July 2005. [ bib ]
[100]	Lavindra de Silva and Lin Padgham. Planning on demand in BDI systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 37-40, Monterey, California, USA, June 2005. Poster. [ bib | .pdf ]
[101]	Aman Sahani, Ian Mathieson, and Lin Padgham. Agent support for a grid-based high energy physics application. In Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE), volume 3533, page 134. LNCS, Bari, Italy, June 2005. [ bib ]
[102]	Lin Padgham and Patrick Lambrix. Formalisations of capabilities for bdi-agents in autonomous agents and multi-agent systems. Autonomous Agents and Multi-Agent Systems, 10(3):249-271, May 2005. [ bib ]
[103]	Toan Phung, Michael Winikoff, and Lin Padgham. Learning within the bdi framework: An empirical analysis. In Knowledge-Based Intelligent Information and Engineering Systems (part III), volume LNCS 3685. Springer, 2005. [ bib | .pdf ]
[104]	Michael Winikoff. Towards making agent uml practical: A textual notation and a tool. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 401-406. IEEE, 2005. [ bib | .pdf ]
[105]	Jason Khallouf and Michael Winikoff. Towards goal-oriented design of agent systems. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 389-394. IEEE, 2005. [ bib | .pdf ]
[106]	Michael Winikoff. Jack intelligent agents: An industrial strength platform. In Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, and Amal El Fallah Seghrouchni, editors, Multi-Agent Programming, pages 175-193. Springer, 2005. [ bib | .pdf ]
[107]	Christopher Cheong and Michael Winikoff. Hermes: A methodology for goal-oriented agent interactions (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2005. [ bib | .pdf ]
[108]	Sebastian Sardina and Stavros Vassos. The Wumpus World in IndiGolog: A preliminary report. In L. Morgenstern and M. Pagnucco, editors, Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 90-95, 2005. [ bib | .pdf ]
[109]	L. Cavedon, Z. Maamar, D. Martin, and B. Benatallah, editors. Extending Web Services Technologies: The Use of Multi-Agent Approaches. Springer, Berlin, 2005. ISBN: 0-387-23343-1, 328 pages. [ bib ]
[110]	D. Mirkovic and L. Cavedon. Practical multi-domain, multi-device dialogue management. In PACLING'05: 6th Meeting of the Pacific Assoc. for Computational Linguistics, pages 235-243, Tokyo, 2005. [ bib ]
[111]	Lin Padgham, John Thangarajah, and Michael Winikoff. Tool support for agent development using the prometheus methodology. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 383-388, Washington, DC, USA, 2005. IEEE Computer Society. [ bib ]
[112]	Gregory More, Jeremy Yuille, Lin Padgham, Aman Sahani, and Mark Burry. The space and sound of intelligent information environments. In OZCHI, 2005. [ bib ]
[113]	Mikhail Perepletchikov and Lin Padgham. Systematic incremental development of agent systems, using prometheus. In 1st International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005), 2005. In conjunction with the Fifth International Conference on Quality Software (QSIC). [ bib ]
[114]	Lavindra de Silva and Lin Padgham. A comparison of BDI based real-time reasoning and HTN based planning. In Proceedings of the Australian Joint Conference on Artificial Intelligence, pages 1167-1173, Cairns, Australia, December 2004. [ bib | .pdf ]
[115]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation reasoning using regret and disappointment. In Proceedings of the European Conference in Artificial Intelligence (ECAI), pages 74-78, Valencia, August 2004. [ bib ]
[116]	Vu Binh Tran, James Harland, and Margaret Hamilton. Observation expectation reasoning in agent systems. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 246-254, Whistler, June 2004. [ bib ]
[117]	Michael Winikoff, Wei Liu, and James Harland. Enhancing commitment machines. In workshop on Declarative Agent Languages and Technologies (DALT), volume LNAI 3476, pages 198-220, 2004. [ bib | .pdf ]
[118]	Michael Winikoff and Lin Padgham. The prometheus methodology. In Federico Bergenti, Marie-Pierre Gleizes, and Franco Zambonelli, editors, Methodologies and Software Engineering for Agent Systems, chapter 11. Kluwer Academic Publishing (New York), 2004. [ bib | .pdf ]
[119]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic. Annals of Mathematics and Artificial Intelligence, 42(1/3):167-196, 2004. [ bib ]
[120]	John Thangarajah and Lin Padgham. An empirical evaluation of reasoning about resource conflicts. In AAMAS '04: Proceedings of The 3rd International Conference on Autonomous Agents and Multiagent Systems, pages 1298-1299, 2004. [ bib ]
[121]	Toan Phung, Seng Loke, and James Harland. Adding flexibility using structured goals: the case of itinerant mobile agents (short paper). In Proceedigns of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 562-565, Halifax, October 2003. [ bib ]
[122]	Lavindra de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the 2nd International Workshop on Challenges in Open Agent Environments, Melbourne, Australia, July 2003. [ bib | .pdf ]
[123]	Vu Binh Tran, James Harland, and Margaret Hamilton. A combined logic of expectation and observation: A generalisation of bdi logics. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), Melbourne, July 2003. [ bib ]
[124]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation: the logic of flexible motivation (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1140-1141, Melbourne, July 2003. [ bib ]
[125]	Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling agent oriented software engineering methodologies from features. In AOSE, volume LNCS 2585, pages 198-209. Springer, 2003. [ bib | .pdf ]
[126]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini and Michael Winikoff, editors, Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, pages 52-59, Melbourne, Australia, 2003. [ bib | .pdf ]
[127]	Lavindra Priyalal de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the Challenges in Open Agent Systems '03 Workshop, Melbourne, Australia, 2003. [ bib | .pdf ]
[128]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini, Brian Henderson-Sellers, and Michael Winikoff, editors, AOIS, volume 3030 of Lecture Notes in Computer Science, pages 78-93. Springer, 2003. [ bib ]
[129]	Xiaodong Li and Khanh Hoa Dam. Comparing particle swarms for tracking extrema in dynamic environments. In Proceeding of the 2003 Congress on Evolutionary Computation (CEC'03), pages 1772-1779. IEEE Service Center, 2003. [ bib ]
[130]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and avoiding interference between goals in intelligent agents. In IJCAI '03: Proceedings of the International Joint Conference on Artificial Intelligence, pages 721-726, 2003. [ bib ]
[131]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and exploiting positive goal interaction in intelligent agents. In AAMAS '03: Proceedings of The 2nd International Conference on Autonomous Agents and Multiagent Systems, pages 401-408, 2003. [ bib ]
[132]	James Harland and Michael Winikoff. Language design issues for agents based on linear logic (extended abstract). In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), pages 79-93, Copenhagen, August 2002. [ bib ]
[133]	Joshua Hutchison and Michael Winikoff. Flexibility and robustness in agent interaction protocols. In Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems, Bologna, Italy, July 2002. ACM Press. [ bib | .pdf ]
[134]	James Harland and Michael Winikoff. Agent negotiation as proof search in linear logic (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 938-939, Bologna, July 2002. [ bib ]
[135]	Omer Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Australasian Conference on Computer Science, 2002. [ bib | .pdf ]
[136]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib | .pdf ]
[137]	Omar Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Proceedigns of the Australasian Computer Science Conference (ACSC), Melbourne, January 2002. [ bib ]
[138]	John Thangarajah, Michael Winikoff, Lin Padgham, and Klaus Fischer. Avoiding resource conflicts in intelligent agents. In ECAI '02: Proceedings of the European Conference on Artificial Intelligence, pages 18-22, 2002. [ bib ]
[139]	John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning for goals in BDI agents. In Proceedings of the Twenty-Fifth Australasian Computer Science Conference (ACSC'02), pages 259-265, 2002. [ bib ]
[140]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, KR '02: Proceedings of the Eigth International Conference on Principles and Knowledge Representation and Reasoning, pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib ]
[141]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic: A proposal. In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Paphos, November 2001. [ bib ]
[142]	Michael Winikoff, Lin Padgham, and James Harland. Simplifying the development of intelligent agents. In AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence, pages 555-568. Springer, LNAI 2256, 2001. [ bib | .pdf ]
[143]	L. Cavedon, P. Blackburn, N. Braisby, and A. Shimojima, editors. Logic, Language and Computation, Volume 3, CSLI Lecture Notes, Number 111. CSLI Publications and Chicago University Press, Chicago, 2001. ISBN: 1-575-86267-0, 354 pages. [ bib ]
[144]	Abdullah-Al Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI), page 817, Melbourne, August 2000. [ bib ]
[145]	Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Mizoguchi & Slaney, editor, Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI). Springer, LNAI 1886, 2000. [ bib | .pdf ]
[146]	F. Dignum, D. Morley, E. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Fourth International Conference on Multi-Agent Systems, pages 111-118, Boston MA, 2000. [ bib ]
[147]	D. V. Pynadath, M. Tambe, N. Chauvat, and L. Cavedon. Toward team-oriented programming. In 6th Workshop on Agents, Theories, Architectures and Languages (ATAL'99), pages 233-247, Orlando FL, 1999. [ bib ]
[148]	L. Cavedon. Default reasoning as situated monotonic inference. Minds and Machines, 8(4):509-531, 1998. [ bib ]
[149]	L. Cavedon and E. Sonenberg. On social commitment, roles and preferred goals. In International Conference on Multi-Agent Systems, pages 80-87, Paris, 1998. [ bib ]
[150]	J. Westendorp, P. Scerri, and L. Cavedon. Strategic behaviour-based reasoning with dynamic, partial information. In 12th Aust. Joint Conf. on Artificial Intelligence, pages 297-308, Brisbane, 1998. [ bib ]
[151]	L. Cavedon, A. Rao, and W. Wobcke, editors. Intelligent Agent Systems: Theoretical and Practical Issues, Lecture Notes in AI 1209. Springer, Berlin, 1997. ISBN: 3-540-62686-7, 188 pages. [ bib ]
[152]	L. Cavedon, D. D'Souza, J. Harland, S. Howell, and L. Padgham. Combining problem based learning with technological support. Austrian Journal for Higher Education, 1:132-147, 1997. [ bib ]
[153]	L. Cavedon and S. Glasbey. Outline of an information-flow model of generics. Acta Linguistica Hungarica, 42((3-4)):227-245, 1997. [ bib ]
[154]	L. Cavedon, J. Harland, and L. Padgham. Problem based learning with technological support in an ai subject: description and evaluation. In Second Australasian Conference on Computer Science Education, pages 191-200, Melbourne, 1997. [ bib ]
[155]	L. Cavedon. A channel-theoretic model for conditional logics. In J. Seligman and D. Westerstahl, editors, Logic, Language and Computation, Volume 1, CSLI Lecture Notes, Volume 58. CSLI Publications and U. Chicago Press, 1997. [ bib ]
[156]	L. Cavedon, A. Rao, E. Sonenberg, and G. Tidhar. Teamwork via team plans in intelligent autonomous agent systems. In International Conference on WorldWide Computing and its Applications, pages 106-121, Tsukuba, Japan, 1996. Invited paper. [ bib ]
[157]	L. Cavedon and A. Rao. Bringing about rationality: Incorporating plans into a BDI architecture. In 4th Pacific Rim Int'l Conference on Artificial Intelligence, pages 601-612, Cairns, 1996. [ bib ]
[158]	L. Cavedon, A. Rao, and G. Tidhar. Social and individual commitment. In PRICAI'96 Workshop on Theoretical and Practical Foundations of Intelligent Agents, pages 152-163, Cairns, 1996. [ bib ]
[159]	L. Cavedon and S. Glasbey. The role of context in the interpretation of generics. In Tenth Amsterdam Colloquium on Logic and Language, pages 143-162, Amsterdam, 1995. [ bib ]
[160]	L. Cavedon, G .Tidhar, and D. Morley. A framework for modelling multi-agent systems. In 8th Australian Joint Conference on Artificial Intelligence, pages 139-146, Canberra, 1995. [ bib ]
[161]	L. Cavedon, L. Padgham, A. Rao, and E. Sonenberg. Revisiting rationality for agents with intentions. In Eighth Australian Conference on Artificial Intelligence, pages 131-138, Canberra, 1995. [ bib ]
[162]	L. Cavedon and G. Tidhar. A logical framework for multi-agent systems and joint intentions. In 1st Australian Workshop on Distributed Artificial Intelligence, pages 16-30, Canberra, 1995. [ bib ]

Publications sorted by author

[1]	Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Barcelona, Spain, May 2011. ACM Press. To appear. [ bib | DOI ]
[2]	Sebastian Sardina and Lin Padgham. A BDI agent programming language with failure recovery, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18-70, 2011. [ bib | DOI | .pdf ]
[3]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. On the life-cycle of bdi agent goals. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), page To appear, August 2010. [ bib ]
[4]	Giuseppe De Giacomo, Fabio Patrizi, Paolo Felli, and Sebastian Sardina. Two-player game structures for generalized planning and agent composition. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 297-302, Altanta, USA, July 2010. AAAI Press. [ bib | .pdf ]
[5]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Agent programming via planning programs. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 491-498, Toronto, Canada, May 2010. IFAAMAS. [ bib | .pdf ]
[6]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Generalized planning with loops under strong fairness constraints. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 351-361, Toronto, Canada, May 2010. [ bib | .pdf ]
[7]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Operational behaviour for executing, suspending, and aborting goals in bdi agent systems. In Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10), Toronto, May 2010. [ bib ]
[8]	Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Stéphane Airiau. Learning context conditions for BDI plan selection. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 325-332, Toronto, Canada, May 2010. [ bib | .pdf ]
[9]	Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5919 of Lecture Notes in Computer Science (LNCS), pages 82-89, Budapest, Hungary, 2010. Springer. [ bib | DOI | http | .pdf ]
[10]	Nitin Yadav, Chenguang Zhou, Sebastian Sardina, and Ralph Rönnquist. A BDI agent system for the cow herding domain. Annals of Mathematics and Artificial Intelligence, 2010. To appear; accepted 13/04/2010. [ bib | DOI | .pdf ]
[11]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Flexible conversation management in an engaging virtual character. In AAMAS 2010 International Workshop on Interacting with ECAs as Virtual Characters, Toronto, 2010. [ bib ]
[12]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Personalised dialogue in a toy to engage children. In ACL'10 Workshop on Companionable Dialogue Systems, Uppsala, 2010. [ bib ]
[13]	Simon Whitehead and Lawrence Cavedon. Generating shifting sentiment for a conversational agent. In NAACL-HLT 2010 Workshop on Computational Approaches to Analysis and Generation of Emotion in Text, Los Angeles, 2010. [ bib ]
[14]	John Thangarajah and Lin Padgham. Computationally effective reasoning about goal interactions. Journal of Automated Reasoning, pages "To Appear, accepted 05-04-2010", 2010. [ bib ]
[15]	Lars Braubach, Jean-Pierre Briot, and John Thangarajah, editors. Programming Multi-Agent Systems, 7th International Workshop, ProMAS 2009, Budapest, Portugal, May 11, 2009. Revised Invited and Selected Papers, volume 5919 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]
[16]	Dhirendra Singh, Sebastian Sardina, and Lin Padgham. Extending BDI plan selection to incorporate learning from experience. Journal of Robotics and Autonomous Systems, 58:1067-1075, 2010. [ bib | DOI | .pdf ]
[17]	Sarah Hickmott and Sebastian Sardina. Optimality properties of planning via Petri net unfolding: A formal analysis. In Alfonso Gerevini and Adele Howe, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 170-177, Thessaloniki, Greece, September 2009. AAAI Press. [ bib | .pdf ]
[18]	Sebastian Sardina and Giuseppe De Giacomo. Composition of ConGolog programs. In Craig Boutilier, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 904-910, Pasadena, CA, USA, July 2009. IJCAI. [ bib | .pdf ]
[19]	Stavros Vassos, Sebastian Sardina, and Hector Levesque. Progressing basic action theories with non-local effect actions. In Gerhard Lakemeyer, Leora Morgenstern, and Mary-Anne Williams, editors, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS'09), pages 135-140, Toronto, Canada, June 2009. UTSePress, University of Technology, Sydney, Australia. [ bib | .pdf ]
[20]	Lavindra P. de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), volume 2, pages 1001-1008, Budapest, Hungary, May 2009. IFAAMAS. [ bib | .pdf ]
[21]	Lavindra de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Budapest, Hungary, May 2009. ACM Press. [ bib | .pdf ]
[22]	Jason Khallouf and Michael Winikoff. Goal-oriented design of agent systems: A refinement of prometheus and its evaluation. IJAOSE, 2009. [ bib | .pdf ]
[23]	Christopher Cheong and Michael Winikoff. Hermes: Designing flexible and robust agent interactions. In Virginia Dignum, editor, Multi-Agent Systems - Semantics and Dynamics of Organizational Models, chapter 5. IGI, 2009. [ bib | .pdf ]
[24]	Stéphane Airiau, Lin Padham, Sebastian Sardina, and Sandip Sen. Enhancing adaptation in BDI agents using learning techniques. International Journal of Agent Technologies and Systems (IJATS), 1(2):1-18, January 2009. [ bib | .pdf ]
[25]	Koen Hindriks, Alexander Pokahr, and Sebastian Sardina, editors. Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5442 of Lecture Notes in Artificial Intelligence (LNAI), Berlin, Heidelberg, 2009. Springer. Revised Invited and Selected Papers 2009, XII, 253 p., ISBN: 978-3-642-03277-6. [ bib | .pdf ]
[26]	Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. IndiGolog: A high-level programming language for embedded reasoning agents. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications, chapter 2, pages 31-72. Springer, New York, USA, 2009. ISBN: 978-0-387-89298-6. [ bib | .pdf ]
[27]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Solving high-level planning programs. In Generalized Planning: Macros, Loops, Domain Control Workshop, Thessaloniki, Greece, 2009. [ bib | .pdf ]
[28]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib | .pdf ]
[29]	David Poutakidis, Michael Winikoff, Lin Padgham, and Zhiyong Zhang. Debugging and testing of multi-agent systems using design artefacts. In Multi-Agent Programming: Languages, Tools and Applications, pages 215-258. Springer US, 2009. [ bib | DOI | .pdf ]
[30]	Carole Adam and Lawrence Cavedon. An extension of fml for a lexicon of engaging communicative strategies. In AAMAS-09 Workshop on Towards a Standard Markup Language for Embodied Dialogue Acts (EDAML), Budapest, 2009. [ bib ]
[31]	Z. Zhang, J. Thangarajah, and L. Padgham. Model Based Testing for Agent Systems. In J. Filipe, B. Shishkov, M. Helfert, & L. A. Maciaszek, editor, Software and Data Technologies, Communications in Computer and Information Science, Volume 22. Springer Berlin Heidelberg, pages 399-413, 2009. [ bib ]
[32]	Scott A. DeLoach, Lin Padgham, Anna Perini, Angelo Susi, and John Thangarajah. Using three aose toolkits to develop a sample design. International Journal of Agent-Oriented Software Engineering, 3(4):416-476, 2009. [ bib ]
[33]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib ]
[34]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[35]	Sebastian Sardina and Giuseppe De Giacomo. Realizing multiple autonomous agents through scheduling of shared devices. In Jussi Rintanen and Bernhard Nebel, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 304-312, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[36]	Stéphane Airiau, Lin Padgham, Sebastian Sardina, and Sandip Sen. Incorporating learning in BDI agents. In Proceedings of the Adaptive Learning Agents and Multi-Agent Systems Workshop (ALAMAS+ALAg-08), Esteroil, Protugal, May 2008. [ bib | .pdf ]
[37]	Khanh Hoa Dam and Michael Winikoff. Cost-based BDI plan selection for change propagation. In Padgham, Parkes, Müller, and Parsons, editors, Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 217-224, Estoril, Portuga, May 2008. [ bib | .pdf ]
[38]	Khanh Hoa Dam and Michael Winikoff. Evaluating an agent-oriented approach for change propagation. In Michael Luck and Jorge J. Gomez-Sanz, editors, Proceedings of the Ninth International Workshop on Agent Oriented Software Engineering, pages 61-72, Estoril, Portugal, May 2008. [ bib ]
[39]	Khanh Hoa Dam and Michael Winikoff. Generation of repair plans for change propagation. In Michael Luck and Lin Padgham, editors, Agent-Oriented Software Engineering VIII, volume LNCS 4951 of Lecture Notes in Computer Science, pages 132-146. Springer Berlin / Heidelberg, April 2008. [ bib ]
[40]	Michael Winikoff. The future of agent-based software engineering: Goals and verification & validation are key. Position statement at panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008, 2008. [ bib | .pdf ]
[41]	M. Birna van Riemsdijk, Mehdi Dastani, and Michael Winikoff. Goals in agent systems: A unifying framework. In AAMAS, 2008. [ bib | .pdf ]
[42]	Michael Winikoff and Stephen Cranefield. Eliciting expectations for monitoring social interactions. In International Conference on Computer Mediated Social Networking (ICCMSN), 2008. [ bib | .pdf ]
[43]	Stephen Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. In COIN workshop, 2008. [ bib | .pdf ]
[44]	Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, and Sebastian Sardina. Coordinating mobile actors in pervasive and mobile scenarios: An AI-based approach. In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for collaboration enterprises (WETICE'08), pages 82-88. IEEE Computer Society, 2008. [ bib | .pdf ]
[45]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt. In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 1673-1674. International Foundation for Autonomous Agents and Multiagent Systems, 2008. [ bib | .pdf ]
[46]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Suspending and resuming tasks in BDI agents. In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 405-412, 2008. [ bib ]
[47]	Lin Padgham, John Thangarajah, and Michael Winikoff. Prometheus design tool. In Proceedings of The AAAI Conference on Artificial Intelligence, pages 1882-1883, 2008. [ bib ]
[48]	Lin Padgham, John Thangarajah, and Michael Winikoff. The prometheus design tool - a conference management system case study. In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 197-211. Springer-Verlag, 2008. [ bib ]
[49]	Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, and Michael Winikoff. Open agent systems??? In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 73-87. Springer-Verlag, 2008. [ bib ]
[50]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt (demo). In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 1673-1674, Estoril,Portugal, 2008. IFAAMAS. [ bib ]
[51]	Michael Luck and Lin Padgham, editors. Agent Oriented Software Engineering VIII, volume 4951. Springer, 2008. [ bib ]
[52]	J. Thangarajah, J. Harland, and N. Yorke-Smith. A soft cop model for goal deliberation in a bdi agent. In Proceedings of CP’07 Workshop on Constraint Modelling and Reformulation, Providence, RI, September 2007. [ bib ]
[53]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Automatic synthesis of a global behavior from multiple distributed behaviors. In Robert C. Holte and Adele Howe, editors, Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1063-1069, Vancouver, Canada, July 2007. AAAI Press. [ bib | .pdf ]
[54]	Zhiyong Zhang, John Thangarajah, and lin Padgham. Automated unit testing for agent systems. In Proceedings of the Second International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE-07), pages 10 - 18, Barcelona, Spain, July 2007. [ bib | .pdf ]
[55]	Z. Zhang, J. Thangarajah, and L. Padgham. Automated unit testing for agent systems. In Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 10-18, Spain, July 2007. [ bib ]
[56]	Sebastian Sardina and Lin Padgham. Goals in the context of BDI plan failure and planning. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, and Onn Shehory, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 16-23, Hawaii, USA, May 2007. ACM Press. [ bib | DOI | .pdf ]
[57]	Quam Duc Pham, James Harland, and Michael Winikoff. Modelling agent's choices in temporal linear logic. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), May 2007. [ bib ]
[58]	Quam Duc Pham and James Harland. Temporal linear logic as a basis for flexible agent interactions. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 124-131, May 2007. [ bib ]
[59]	Bao Quoc Vo and Lin Padgham. Searching for joint gains in automated negotiations based on multi-criteria decision making theory. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Hawaii, USA, May 2007. [ bib ]
[60]	Michael Winikoff. Implementing commitment-based interactions. In AAMAS, 2007. [ bib | .pdf ]
[61]	Rafael H. Bordini, Mehdi Dastani, and Michael Winikoff. Current issues in multi-agent systems development (invited paper). In Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (ESAW), volume LNAI 4457. Springer, 2007. [ bib | .pdf ]
[62]	Michael Winikoff. Defining syntax and providing tool support for agent uml using a textual notation. IJAOSE, 1(2):123-144, 2007. [ bib | .pdf ]
[63]	Giuseppe De Giacomo and Sebastian Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Manuela M. Veloso, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1866-1871, Hyderabad, India, January 2007. [ bib | .pdf ]
[64]	Lavindra de Silva and Anthony Dekker. Planning with time limits in BDI agent programming languages. In Proceedings of Computing: the Australasian Theory Symposium, pages 131-139, Ballarat, Australia, January 2007. [ bib | .pdf ]
[65]	Andy Song, Lin Padgham, and Lawrence Cavedon. Prediction in dynamic environment:robocup rescue exploration. In K.Tumer, S.Sen, and L. Panait, editors, Adaptive Learning Agents Workshop 2007 in AAMAS07, 2007. [ bib | .pdf ]
[66]	Bao Quoc Vo, L. Padgham, and L. Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. Intelligent Decision Technologies, 1((1-2)):33-47, 2007. [ bib ]
[67]	A. Song, L. Padgham, and L. Cavedon. Prediction in dynamic environments: Robocup rescue exploration. In AAMAS 2007 Workshop on Adaptive and Learning Agents, Honolulu HI, 2007. [ bib ]
[68]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Aborting tasks in BDI agents. In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, pages 8-15, 2007. [ bib ]
[69]	Lin Padgham, John Thangarajah, and Michael Winikoff. Auml protocols and code generation in the prometheus design tool (system demonstration). In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, page 270, 2007. [ bib ]
[70]	Carles Sierra, John Thangarajah, Lin Padgham, and Michael Winikoff. Designing institutional multi-agent systems. In Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Revised and Invited Papers, LNCS Volume 4405, pages 84-103. Springer-Verlag, 2007. [ bib ]
[71]	Lin Padgham and Franco Zambonelli, editors. Agent Oriented Software Engineering VII. Springer, 2007. [ bib ]
[72]	Marsha Berry, Margaret Hamilton, Naomi Herzog, Lin Padgham, and Ron van Schyndel. Enhancing learning through mobile computing. In Elspeth McKay, editor, Enhancing Learning Through Human Computer Interaction, chapter IV, pages 57-74. IDEA Group, 2007. [ bib ]
[73]	Wei Liu, Husniza Husni, and Lin Padgham. E-service composition tools from a lifecycle perspective. In J. Lu, D. Ruan, and G. Zhang, editors, E-Service Intelligence: Methodologies, Technologies and Applications, volume 37 of Studies in Computational Intelligence, chapter 5, pages 125-146. Springer, 2007. ISBN 978-3-540-37015-4. [ bib ]
[74]	Lin Padgham and Mikhail Perepletchikov. Prioritisation mechanisms to support incremental development of agent systems. International Journal of Agent-Oriented Software Engineering (ijaose), 1(3/4):477-497, 2007. [ bib ]
[75]	Min Xu, Lin Padgham, Aloys Mbala, and James Harland. Tracking reliability and helpfulness in agent interactions. Web Intelligence and Agent Systems: An International Journal (WIAS), 5(1), 2007. [ bib ]
[76]	Bao Quoc Vo, Lin Padgham, and Lawrence Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. International journal of Intelligent Decision Technologies, 1(1-2):33-47, 2007. [ bib ]
[77]	Anthony Dekker and Lavindra de Silva. Investigating organisational structures with networks of planning agents. In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce, page 25, Sydney, Australia, November 2006. [ bib | .pdf ]
[78]	Jennifer Sandercock, Lin Padgham, and Fabio Zambetta. Creating adaptive and individual personalities in many characters without hand crafting behaviours. In Intelligent Virtual Agents 6th International Conference (IVA06), August 2006. [ bib ]
[79]	Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 463-471, Lake District, UK, June 2006. [ bib | .pdf ]
[80]	Sebastian Sardina, Lavindra P. de Silva, and Lin Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1001-1008, Hakodate, Japan, May 2006. ACM Press. [ bib | DOI | .pdf ]
[81]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1049-1051, Hakodate, Japan, May 2006. [ bib | DOI | .pdf ]
[82]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1033-1040, Hakodate, May 2006. [ bib ]
[83]	Quang Duc Pham and James Harland. Flexible agent protocols via temporal and resource-based reasoning (short paper). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 235-237, Hakodate, May 2006. [ bib ]
[84]	Christopher Cheong and Michael Winikoff. Improving flexibility and robustness in agent interactions: Extending Prometheus with Hermes. In Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications, volume LNCS 3914. Springer-Verlag, 2006. [ bib | .pdf ]
[85]	Michael Winikoff. Designing commitment-based agent interactions. In IAT, 2006. [ bib | .pdf ]
[86]	Michael Winikoff. Implementing flexible and robust agent interactions using distributed commitment machines. Multiagent and Grid Systems, 2(4), 2006. [ bib | .pdf ]
[87]	Khanh Hoa Dam, Michael Winikoff, and Lin Padgham. An agent-oriented approach to change propagation in software evolution. In Proceedings of the Australian Software Engineering Conference (ASWEC), pages 309-318. IEEE Computer Society, 2006. [ bib ]
[88]	L. Cavedon and I. Zukerman, editors. Proceedings of the 2006 Australasian Language Technology Workshop, Sydney, 2006. ISBN: 1-74108-146-7, 166 pages. [ bib ]
[89]	L. Cavedon, F. Cheng, R. Dale, and D. Traum, editors. Proceedings of the IUI Workshop on Effective Multimodal Dialogue Interfaces, Sydney, 2006. [ bib ]
[90]	M. Purver, F. Ratiu, and L.Cavedon. Robust interpretation in dialogue by combining confidence scores with contextual features. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1-4, Pittsburgh PA, 2006. [ bib ]
[91]	F. Weng, S. Varges, B. Raghunathan, F. Ratiu, H. Pon-Barry, B. Lathrop, Q. Zhang, T. Scheideck, H. Bratt, K. Xu, M. Purver, R. Mishra, M. Raya, S. Peters, Y. Meng, L. Cavedon, and L. Shriberg. CHAT: A conversational helper for automotive tasks. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1061-1064, Pittsburgh PA, 2006. [ bib ]
[92]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1033-1040, 2006. [ bib ]
[93]	Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, and Michael Winikoff. Component agent framework for domain-experts (cafne) toolkit. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1465-1466, 2006. [ bib ]
[94]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1049-1051, 2006. [ bib ]
[95]	Mikhail Perepletchikov and Lin Padgham. Use case and actor driven requirements engineering: An evaluation of modifications to prometheus. In Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, (CEEMAS), Budapest, Hungary, September 2005. [ bib ]
[96]	Michael Winikoff. An AgentSpeak meta-interpreter and its applications. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[97]	Christopher Cheong and Michael Winikoff. Hermes: Implementing goal-oriented agent interactions. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[98]	Christopher Cheong and Michael Winikoff. Hermes: Designing goal-oriented agent interactions. In Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005), July 2005. [ bib | .pdf ]
[99]	John Thangarajah, Lin Padgham, and Michael Winikoff. Prometheus design tool. In the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 127-128, Utrecht, The Netherlands, July 2005. [ bib ]
[100]	Lavindra de Silva and Lin Padgham. Planning on demand in BDI systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 37-40, Monterey, California, USA, June 2005. Poster. [ bib | .pdf ]
[101]	Aman Sahani, Ian Mathieson, and Lin Padgham. Agent support for a grid-based high energy physics application. In Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE), volume 3533, page 134. LNCS, Bari, Italy, June 2005. [ bib ]
[102]	Lin Padgham and Patrick Lambrix. Formalisations of capabilities for bdi-agents in autonomous agents and multi-agent systems. Autonomous Agents and Multi-Agent Systems, 10(3):249-271, May 2005. [ bib ]
[103]	Toan Phung, Michael Winikoff, and Lin Padgham. Learning within the bdi framework: An empirical analysis. In Knowledge-Based Intelligent Information and Engineering Systems (part III), volume LNCS 3685. Springer, 2005. [ bib | .pdf ]
[104]	Michael Winikoff. Towards making agent uml practical: A textual notation and a tool. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 401-406. IEEE, 2005. [ bib | .pdf ]
[105]	Jason Khallouf and Michael Winikoff. Towards goal-oriented design of agent systems. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 389-394. IEEE, 2005. [ bib | .pdf ]
[106]	Michael Winikoff. Jack intelligent agents: An industrial strength platform. In Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, and Amal El Fallah Seghrouchni, editors, Multi-Agent Programming, pages 175-193. Springer, 2005. [ bib | .pdf ]
[107]	Christopher Cheong and Michael Winikoff. Hermes: A methodology for goal-oriented agent interactions (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2005. [ bib | .pdf ]
[108]	Sebastian Sardina and Stavros Vassos. The Wumpus World in IndiGolog: A preliminary report. In L. Morgenstern and M. Pagnucco, editors, Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 90-95, 2005. [ bib | .pdf ]
[109]	L. Cavedon, Z. Maamar, D. Martin, and B. Benatallah, editors. Extending Web Services Technologies: The Use of Multi-Agent Approaches. Springer, Berlin, 2005. ISBN: 0-387-23343-1, 328 pages. [ bib ]
[110]	D. Mirkovic and L. Cavedon. Practical multi-domain, multi-device dialogue management. In PACLING'05: 6th Meeting of the Pacific Assoc. for Computational Linguistics, pages 235-243, Tokyo, 2005. [ bib ]
[111]	Lin Padgham, John Thangarajah, and Michael Winikoff. Tool support for agent development using the prometheus methodology. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 383-388, Washington, DC, USA, 2005. IEEE Computer Society. [ bib ]
[112]	Gregory More, Jeremy Yuille, Lin Padgham, Aman Sahani, and Mark Burry. The space and sound of intelligent information environments. In OZCHI, 2005. [ bib ]
[113]	Mikhail Perepletchikov and Lin Padgham. Systematic incremental development of agent systems, using prometheus. In 1st International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005), 2005. In conjunction with the Fifth International Conference on Quality Software (QSIC). [ bib ]
[114]	Lavindra de Silva and Lin Padgham. A comparison of BDI based real-time reasoning and HTN based planning. In Proceedings of the Australian Joint Conference on Artificial Intelligence, pages 1167-1173, Cairns, Australia, December 2004. [ bib | .pdf ]
[115]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation reasoning using regret and disappointment. In Proceedings of the European Conference in Artificial Intelligence (ECAI), pages 74-78, Valencia, August 2004. [ bib ]
[116]	Vu Binh Tran, James Harland, and Margaret Hamilton. Observation expectation reasoning in agent systems. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 246-254, Whistler, June 2004. [ bib ]
[117]	Michael Winikoff, Wei Liu, and James Harland. Enhancing commitment machines. In workshop on Declarative Agent Languages and Technologies (DALT), volume LNAI 3476, pages 198-220, 2004. [ bib | .pdf ]
[118]	Michael Winikoff and Lin Padgham. The prometheus methodology. In Federico Bergenti, Marie-Pierre Gleizes, and Franco Zambonelli, editors, Methodologies and Software Engineering for Agent Systems, chapter 11. Kluwer Academic Publishing (New York), 2004. [ bib | .pdf ]
[119]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic. Annals of Mathematics and Artificial Intelligence, 42(1/3):167-196, 2004. [ bib ]
[120]	John Thangarajah and Lin Padgham. An empirical evaluation of reasoning about resource conflicts. In AAMAS '04: Proceedings of The 3rd International Conference on Autonomous Agents and Multiagent Systems, pages 1298-1299, 2004. [ bib ]
[121]	Toan Phung, Seng Loke, and James Harland. Adding flexibility using structured goals: the case of itinerant mobile agents (short paper). In Proceedigns of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 562-565, Halifax, October 2003. [ bib ]
[122]	Lavindra de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the 2nd International Workshop on Challenges in Open Agent Environments, Melbourne, Australia, July 2003. [ bib | .pdf ]
[123]	Vu Binh Tran, James Harland, and Margaret Hamilton. A combined logic of expectation and observation: A generalisation of bdi logics. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), Melbourne, July 2003. [ bib ]
[124]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation: the logic of flexible motivation (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1140-1141, Melbourne, July 2003. [ bib ]
[125]	Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling agent oriented software engineering methodologies from features. In AOSE, volume LNCS 2585, pages 198-209. Springer, 2003. [ bib | .pdf ]
[126]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini and Michael Winikoff, editors, Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, pages 52-59, Melbourne, Australia, 2003. [ bib | .pdf ]
[127]	Lavindra Priyalal de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the Challenges in Open Agent Systems '03 Workshop, Melbourne, Australia, 2003. [ bib | .pdf ]
[128]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini, Brian Henderson-Sellers, and Michael Winikoff, editors, AOIS, volume 3030 of Lecture Notes in Computer Science, pages 78-93. Springer, 2003. [ bib ]
[129]	Xiaodong Li and Khanh Hoa Dam. Comparing particle swarms for tracking extrema in dynamic environments. In Proceeding of the 2003 Congress on Evolutionary Computation (CEC'03), pages 1772-1779. IEEE Service Center, 2003. [ bib ]
[130]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and avoiding interference between goals in intelligent agents. In IJCAI '03: Proceedings of the International Joint Conference on Artificial Intelligence, pages 721-726, 2003. [ bib ]
[131]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and exploiting positive goal interaction in intelligent agents. In AAMAS '03: Proceedings of The 2nd International Conference on Autonomous Agents and Multiagent Systems, pages 401-408, 2003. [ bib ]
[132]	James Harland and Michael Winikoff. Language design issues for agents based on linear logic (extended abstract). In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), pages 79-93, Copenhagen, August 2002. [ bib ]
[133]	Joshua Hutchison and Michael Winikoff. Flexibility and robustness in agent interaction protocols. In Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems, Bologna, Italy, July 2002. ACM Press. [ bib | .pdf ]
[134]	James Harland and Michael Winikoff. Agent negotiation as proof search in linear logic (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 938-939, Bologna, July 2002. [ bib ]
[135]	Omer Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Australasian Conference on Computer Science, 2002. [ bib | .pdf ]
[136]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib | .pdf ]
[137]	Omar Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Proceedigns of the Australasian Computer Science Conference (ACSC), Melbourne, January 2002. [ bib ]
[138]	John Thangarajah, Michael Winikoff, Lin Padgham, and Klaus Fischer. Avoiding resource conflicts in intelligent agents. In ECAI '02: Proceedings of the European Conference on Artificial Intelligence, pages 18-22, 2002. [ bib ]
[139]	John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning for goals in BDI agents. In Proceedings of the Twenty-Fifth Australasian Computer Science Conference (ACSC'02), pages 259-265, 2002. [ bib ]
[140]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, KR '02: Proceedings of the Eigth International Conference on Principles and Knowledge Representation and Reasoning, pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib ]
[141]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic: A proposal. In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Paphos, November 2001. [ bib ]
[142]	Michael Winikoff, Lin Padgham, and James Harland. Simplifying the development of intelligent agents. In AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence, pages 555-568. Springer, LNAI 2256, 2001. [ bib | .pdf ]
[143]	L. Cavedon, P. Blackburn, N. Braisby, and A. Shimojima, editors. Logic, Language and Computation, Volume 3, CSLI Lecture Notes, Number 111. CSLI Publications and Chicago University Press, Chicago, 2001. ISBN: 1-575-86267-0, 354 pages. [ bib ]
[144]	Abdullah-Al Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI), page 817, Melbourne, August 2000. [ bib ]
[145]	Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Mizoguchi & Slaney, editor, Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI). Springer, LNAI 1886, 2000. [ bib | .pdf ]
[146]	F. Dignum, D. Morley, E. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Fourth International Conference on Multi-Agent Systems, pages 111-118, Boston MA, 2000. [ bib ]
[147]	D. V. Pynadath, M. Tambe, N. Chauvat, and L. Cavedon. Toward team-oriented programming. In 6th Workshop on Agents, Theories, Architectures and Languages (ATAL'99), pages 233-247, Orlando FL, 1999. [ bib ]
[148]	L. Cavedon. Default reasoning as situated monotonic inference. Minds and Machines, 8(4):509-531, 1998. [ bib ]
[149]	L. Cavedon and E. Sonenberg. On social commitment, roles and preferred goals. In International Conference on Multi-Agent Systems, pages 80-87, Paris, 1998. [ bib ]
[150]	J. Westendorp, P. Scerri, and L. Cavedon. Strategic behaviour-based reasoning with dynamic, partial information. In 12th Aust. Joint Conf. on Artificial Intelligence, pages 297-308, Brisbane, 1998. [ bib ]
[151]	L. Cavedon, A. Rao, and W. Wobcke, editors. Intelligent Agent Systems: Theoretical and Practical Issues, Lecture Notes in AI 1209. Springer, Berlin, 1997. ISBN: 3-540-62686-7, 188 pages. [ bib ]
[152]	L. Cavedon, D. D'Souza, J. Harland, S. Howell, and L. Padgham. Combining problem based learning with technological support. Austrian Journal for Higher Education, 1:132-147, 1997. [ bib ]
[153]	L. Cavedon and S. Glasbey. Outline of an information-flow model of generics. Acta Linguistica Hungarica, 42((3-4)):227-245, 1997. [ bib ]
[154]	L. Cavedon, J. Harland, and L. Padgham. Problem based learning with technological support in an ai subject: description and evaluation. In Second Australasian Conference on Computer Science Education, pages 191-200, Melbourne, 1997. [ bib ]
[155]	L. Cavedon. A channel-theoretic model for conditional logics. In J. Seligman and D. Westerstahl, editors, Logic, Language and Computation, Volume 1, CSLI Lecture Notes, Volume 58. CSLI Publications and U. Chicago Press, 1997. [ bib ]
[156]	L. Cavedon, A. Rao, E. Sonenberg, and G. Tidhar. Teamwork via team plans in intelligent autonomous agent systems. In International Conference on WorldWide Computing and its Applications, pages 106-121, Tsukuba, Japan, 1996. Invited paper. [ bib ]
[157]	L. Cavedon and A. Rao. Bringing about rationality: Incorporating plans into a BDI architecture. In 4th Pacific Rim Int'l Conference on Artificial Intelligence, pages 601-612, Cairns, 1996. [ bib ]
[158]	L. Cavedon, A. Rao, and G. Tidhar. Social and individual commitment. In PRICAI'96 Workshop on Theoretical and Practical Foundations of Intelligent Agents, pages 152-163, Cairns, 1996. [ bib ]
[159]	L. Cavedon and S. Glasbey. The role of context in the interpretation of generics. In Tenth Amsterdam Colloquium on Logic and Language, pages 143-162, Amsterdam, 1995. [ bib ]
[160]	L. Cavedon, G .Tidhar, and D. Morley. A framework for modelling multi-agent systems. In 8th Australian Joint Conference on Artificial Intelligence, pages 139-146, Canberra, 1995. [ bib ]
[161]	L. Cavedon, L. Padgham, A. Rao, and E. Sonenberg. Revisiting rationality for agents with intentions. In Eighth Australian Conference on Artificial Intelligence, pages 131-138, Canberra, 1995. [ bib ]
[162]	L. Cavedon and G. Tidhar. A logical framework for multi-agent systems and joint intentions. In 1st Australian Workshop on Distributed Artificial Intelligence, pages 16-30, Canberra, 1995. [ bib ]

[1]	Carole Adam and Lawrence Cavedon. An extension of fml for a lexicon of engaging communicative strategies. In AAMAS-09 Workshop on Towards a Standard Markup Language for Embodied Dialogue Acts (EDAML), Budapest, 2009. [ bib ]
[2]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Flexible conversation management in an engaging virtual character. In AAMAS 2010 International Workshop on Interacting with ECAs as Virtual Characters, Toronto, 2010. [ bib ]
[3]	Carole Adam, Lawrence Cavedon, and Lin Padgham. Personalised dialogue in a toy to engage children. In ACL'10 Workshop on Companionable Dialogue Systems, Uppsala, 2010. [ bib ]
[4]	Stéphane Airiau, Lin Padgham, Sebastian Sardina, and Sandip Sen. Incorporating learning in BDI agents. In Proceedings of the Adaptive Learning Agents and Multi-Agent Systems Workshop (ALAMAS+ALAg-08), Esteroil, Protugal, May 2008. [ bib | .pdf ]
[5]	Stéphane Airiau, Lin Padham, Sebastian Sardina, and Sandip Sen. Enhancing adaptation in BDI agents using learning techniques. International Journal of Agent Technologies and Systems (IJATS), 1(2):1-18, January 2009. [ bib | .pdf ]
[6]	Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Mizoguchi & Slaney, editor, Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI). Springer, LNAI 1886, 2000. [ bib | .pdf ]
[7]	Abdullah-Al Amin, Michael Winikoff, and James Harland. Agent-oriented programming in linear logic: An example (poster). In Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI), page 817, Melbourne, August 2000. [ bib ]
[8]	Marsha Berry, Margaret Hamilton, Naomi Herzog, Lin Padgham, and Ron van Schyndel. Enhancing learning through mobile computing. In Elspeth McKay, editor, Enhancing Learning Through Human Computer Interaction, chapter IV, pages 57-74. IDEA Group, 2007. [ bib ]
[9]	Rafael H. Bordini, Mehdi Dastani, and Michael Winikoff. Current issues in multi-agent systems development (invited paper). In Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (ESAW), volume LNAI 4457. Springer, 2007. [ bib | .pdf ]
[10]	Lars Braubach, Jean-Pierre Briot, and John Thangarajah, editors. Programming Multi-Agent Systems, 7th International Workshop, ProMAS 2009, Budapest, Portugal, May 11, 2009. Revised Invited and Selected Papers, volume 5919 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]
[11]	L. Cavedon. A channel-theoretic model for conditional logics. In J. Seligman and D. Westerstahl, editors, Logic, Language and Computation, Volume 1, CSLI Lecture Notes, Volume 58. CSLI Publications and U. Chicago Press, 1997. [ bib ]
[12]	L. Cavedon. Default reasoning as situated monotonic inference. Minds and Machines, 8(4):509-531, 1998. [ bib ]
[13]	L. Cavedon, P. Blackburn, N. Braisby, and A. Shimojima, editors. Logic, Language and Computation, Volume 3, CSLI Lecture Notes, Number 111. CSLI Publications and Chicago University Press, Chicago, 2001. ISBN: 1-575-86267-0, 354 pages. [ bib ]
[14]	L. Cavedon, F. Cheng, R. Dale, and D. Traum, editors. Proceedings of the IUI Workshop on Effective Multimodal Dialogue Interfaces, Sydney, 2006. [ bib ]
[15]	L. Cavedon, D. D'Souza, J. Harland, S. Howell, and L. Padgham. Combining problem based learning with technological support. Austrian Journal for Higher Education, 1:132-147, 1997. [ bib ]
[16]	L. Cavedon and S. Glasbey. The role of context in the interpretation of generics. In Tenth Amsterdam Colloquium on Logic and Language, pages 143-162, Amsterdam, 1995. [ bib ]
[17]	L. Cavedon and S. Glasbey. Outline of an information-flow model of generics. Acta Linguistica Hungarica, 42((3-4)):227-245, 1997. [ bib ]
[18]	L. Cavedon, J. Harland, and L. Padgham. Problem based learning with technological support in an ai subject: description and evaluation. In Second Australasian Conference on Computer Science Education, pages 191-200, Melbourne, 1997. [ bib ]
[19]	L. Cavedon, Z. Maamar, D. Martin, and B. Benatallah, editors. Extending Web Services Technologies: The Use of Multi-Agent Approaches. Springer, Berlin, 2005. ISBN: 0-387-23343-1, 328 pages. [ bib ]
[20]	L. Cavedon, L. Padgham, A. Rao, and E. Sonenberg. Revisiting rationality for agents with intentions. In Eighth Australian Conference on Artificial Intelligence, pages 131-138, Canberra, 1995. [ bib ]
[21]	L. Cavedon and A. Rao. Bringing about rationality: Incorporating plans into a BDI architecture. In 4th Pacific Rim Int'l Conference on Artificial Intelligence, pages 601-612, Cairns, 1996. [ bib ]
[22]	L. Cavedon, A. Rao, E. Sonenberg, and G. Tidhar. Teamwork via team plans in intelligent autonomous agent systems. In International Conference on WorldWide Computing and its Applications, pages 106-121, Tsukuba, Japan, 1996. Invited paper. [ bib ]
[23]	L. Cavedon, A. Rao, and G. Tidhar. Social and individual commitment. In PRICAI'96 Workshop on Theoretical and Practical Foundations of Intelligent Agents, pages 152-163, Cairns, 1996. [ bib ]
[24]	L. Cavedon, A. Rao, and W. Wobcke, editors. Intelligent Agent Systems: Theoretical and Practical Issues, Lecture Notes in AI 1209. Springer, Berlin, 1997. ISBN: 3-540-62686-7, 188 pages. [ bib ]
[25]	L. Cavedon and E. Sonenberg. On social commitment, roles and preferred goals. In International Conference on Multi-Agent Systems, pages 80-87, Paris, 1998. [ bib ]
[26]	L. Cavedon and G. Tidhar. A logical framework for multi-agent systems and joint intentions. In 1st Australian Workshop on Distributed Artificial Intelligence, pages 16-30, Canberra, 1995. [ bib ]
[27]	L. Cavedon, G .Tidhar, and D. Morley. A framework for modelling multi-agent systems. In 8th Australian Joint Conference on Artificial Intelligence, pages 139-146, Canberra, 1995. [ bib ]
[28]	L. Cavedon and I. Zukerman, editors. Proceedings of the 2006 Australasian Language Technology Workshop, Sydney, 2006. ISBN: 1-74108-146-7, 166 pages. [ bib ]
[29]	Christopher Cheong and Michael Winikoff. Hermes: A methodology for goal-oriented agent interactions (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 2005. [ bib | .pdf ]
[30]	Christopher Cheong and Michael Winikoff. Hermes: Designing goal-oriented agent interactions. In Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005), July 2005. [ bib | .pdf ]
[31]	Christopher Cheong and Michael Winikoff. Hermes: Implementing goal-oriented agent interactions. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[32]	Christopher Cheong and Michael Winikoff. Improving flexibility and robustness in agent interactions: Extending Prometheus with Hermes. In Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications, volume LNCS 3914. Springer-Verlag, 2006. [ bib | .pdf ]
[33]	Christopher Cheong and Michael Winikoff. Hermes: Designing flexible and robust agent interactions. In Virginia Dignum, editor, Multi-Agent Systems - Semantics and Dynamics of Organizational Models, chapter 5. IGI, 2009. [ bib | .pdf ]
[34]	Stephen Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. In COIN workshop, 2008. [ bib | .pdf ]
[35]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini and Michael Winikoff, editors, Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, pages 52-59, Melbourne, Australia, 2003. [ bib | .pdf ]
[36]	Khanh Hoa Dam and Michael Winikoff. Comparing agent-oriented methodologies. In Paolo Giorgini, Brian Henderson-Sellers, and Michael Winikoff, editors, AOIS, volume 3030 of Lecture Notes in Computer Science, pages 78-93. Springer, 2003. [ bib ]
[37]	Khanh Hoa Dam and Michael Winikoff. Cost-based BDI plan selection for change propagation. In Padgham, Parkes, Müller, and Parsons, editors, Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 217-224, Estoril, Portuga, May 2008. [ bib | .pdf ]
[38]	Khanh Hoa Dam and Michael Winikoff. Evaluating an agent-oriented approach for change propagation. In Michael Luck and Jorge J. Gomez-Sanz, editors, Proceedings of the Ninth International Workshop on Agent Oriented Software Engineering, pages 61-72, Estoril, Portugal, May 2008. [ bib ]
[39]	Khanh Hoa Dam and Michael Winikoff. Generation of repair plans for change propagation. In Michael Luck and Lin Padgham, editors, Agent-Oriented Software Engineering VIII, volume LNCS 4951 of Lecture Notes in Computer Science, pages 132-146. Springer Berlin / Heidelberg, April 2008. [ bib ]
[40]	Khanh Hoa Dam, Michael Winikoff, and Lin Padgham. An agent-oriented approach to change propagation in software evolution. In Proceedings of the Australian Software Engineering Conference (ASWEC), pages 309-318. IEEE Computer Society, 2006. [ bib ]
[41]	Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. IndiGolog: A high-level programming language for embedded reasoning agents. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications, chapter 2, pages 31-72. Springer, New York, USA, 2009. ISBN: 978-0-387-89298-6. [ bib | .pdf ]
[42]	Giuseppe De Giacomo, Fabio Patrizi, Paolo Felli, and Sebastian Sardina. Two-player game structures for generalized planning and agent composition. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 297-302, Altanta, USA, July 2010. AAAI Press. [ bib | .pdf ]
[43]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Solving high-level planning programs. In Generalized Planning: Macros, Loops, Domain Control Workshop, Thessaloniki, Greece, 2009. [ bib | .pdf ]
[44]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Agent programming via planning programs. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 491-498, Toronto, Canada, May 2010. IFAAMAS. [ bib | .pdf ]
[45]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Generalized planning with loops under strong fairness constraints. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 351-361, Toronto, Canada, May 2010. [ bib | .pdf ]
[46]	Giuseppe De Giacomo and Sebastian Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Manuela M. Veloso, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1866-1871, Hyderabad, India, January 2007. [ bib | .pdf ]
[47]	Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, and Sebastian Sardina. Coordinating mobile actors in pervasive and mobile scenarios: An AI-based approach. In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for collaboration enterprises (WETICE'08), pages 82-88. IEEE Computer Society, 2008. [ bib | .pdf ]
[48]	Lavindra de Silva and Anthony Dekker. Planning with time limits in BDI agent programming languages. In Proceedings of Computing: the Australasian Theory Symposium, pages 131-139, Ballarat, Australia, January 2007. [ bib | .pdf ]
[49]	Lavindra de Silva and Lin Padgham. A comparison of BDI based real-time reasoning and HTN based planning. In Proceedings of the Australian Joint Conference on Artificial Intelligence, pages 1167-1173, Cairns, Australia, December 2004. [ bib | .pdf ]
[50]	Lavindra de Silva and Lin Padgham. Planning on demand in BDI systems. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 37-40, Monterey, California, USA, June 2005. Poster. [ bib | .pdf ]
[51]	Lavindra de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Budapest, Hungary, May 2009. ACM Press. [ bib | .pdf ]
[52]	Lavindra de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the 2nd International Workshop on Challenges in Open Agent Environments, Melbourne, Australia, July 2003. [ bib | .pdf ]
[53]	Lavindra P. de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), volume 2, pages 1001-1008, Budapest, Hungary, May 2009. IFAAMAS. [ bib | .pdf ]
[54]	Lavindra Priyalal de Silva, Michael Winikoff, and Wei Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the Challenges in Open Agent Systems '03 Workshop, Melbourne, Australia, 2003. [ bib | .pdf ]
[55]	Anthony Dekker and Lavindra de Silva. Investigating organisational structures with networks of planning agents. In Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce, page 25, Sydney, Australia, November 2006. [ bib | .pdf ]
[56]	Scott A. DeLoach, Lin Padgham, Anna Perini, Angelo Susi, and John Thangarajah. Using three aose toolkits to develop a sample design. International Journal of Agent-Oriented Software Engineering, 3(4):416-476, 2009. [ bib ]
[57]	F. Dignum, D. Morley, E. Sonenberg, and L. Cavedon. Towards socially sophisticated BDI agents. In Fourth International Conference on Multi-Agent Systems, pages 111-118, Boston MA, 2000. [ bib ]
[58]	Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, and Michael Winikoff. Open agent systems??? In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 73-87. Springer-Verlag, 2008. [ bib ]
[59]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1033-1040, Hakodate, May 2006. [ bib ]
[60]	Simon Duff, James Harland, and John Thangarajah. On proactivity and maintenance goals. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1033-1040, 2006. [ bib ]
[61]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic: A proposal. In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Paphos, November 2001. [ bib ]
[62]	James Harland and Michael Winikoff. Agent negotiation as proof search in linear logic (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 938-939, Bologna, July 2002. [ bib ]
[63]	James Harland and Michael Winikoff. Language design issues for agents based on linear logic (extended abstract). In Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), pages 79-93, Copenhagen, August 2002. [ bib ]
[64]	James Harland and Michael Winikoff. Agents via mixed-mode computation in linear logic. Annals of Mathematics and Artificial Intelligence, 42(1/3):167-196, 2004. [ bib ]
[65]	Sarah Hickmott and Sebastian Sardina. Optimality properties of planning via Petri net unfolding: A formal analysis. In Alfonso Gerevini and Adele Howe, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 170-177, Thessaloniki, Greece, September 2009. AAAI Press. [ bib | .pdf ]
[66]	Koen Hindriks, Alexander Pokahr, and Sebastian Sardina, editors. Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5442 of Lecture Notes in Artificial Intelligence (LNAI), Berlin, Heidelberg, 2009. Springer. Revised Invited and Selected Papers 2009, XII, 253 p., ISBN: 978-3-642-03277-6. [ bib | .pdf ]
[67]	Joshua Hutchison and Michael Winikoff. Flexibility and robustness in agent interaction protocols. In Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems, Bologna, Italy, July 2002. ACM Press. [ bib | .pdf ]
[68]	Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, and Michael Winikoff. Component agent framework for domain-experts (cafne) toolkit. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1465-1466, 2006. [ bib ]
[69]	Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling agent oriented software engineering methodologies from features. In AOSE, volume LNCS 2585, pages 198-209. Springer, 2003. [ bib | .pdf ]
[70]	Jason Khallouf and Michael Winikoff. Towards goal-oriented design of agent systems. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 389-394. IEEE, 2005. [ bib | .pdf ]
[71]	Jason Khallouf and Michael Winikoff. Goal-oriented design of agent systems: A refinement of prometheus and its evaluation. IJAOSE, 2009. [ bib | .pdf ]
[72]	Xiaodong Li and Khanh Hoa Dam. Comparing particle swarms for tracking extrema in dynamic environments. In Proceeding of the 2003 Congress on Evolutionary Computation (CEC'03), pages 1772-1779. IEEE Service Center, 2003. [ bib ]
[73]	Wei Liu, Husniza Husni, and Lin Padgham. E-service composition tools from a lifecycle perspective. In J. Lu, D. Ruan, and G. Zhang, editors, E-Service Intelligence: Methodologies, Technologies and Applications, volume 37 of Studies in Computational Intelligence, chapter 5, pages 125-146. Springer, 2007. ISBN 978-3-540-37015-4. [ bib ]
[74]	Michael Luck and Lin Padgham, editors. Agent Oriented Software Engineering VIII, volume 4951. Springer, 2008. [ bib ]
[75]	D. Mirkovic and L. Cavedon. Practical multi-domain, multi-device dialogue management. In PACLING'05: 6th Meeting of the Pacific Assoc. for Computational Linguistics, pages 235-243, Tokyo, 2005. [ bib ]
[76]	Gregory More, Jeremy Yuille, Lin Padgham, Aman Sahani, and Mark Burry. The space and sound of intelligent information environments. In OZCHI, 2005. [ bib ]
[77]	Lin Padgham and Patrick Lambrix. Formalisations of capabilities for bdi-agents in autonomous agents and multi-agent systems. Autonomous Agents and Multi-Agent Systems, 10(3):249-271, May 2005. [ bib ]
[78]	Lin Padgham and Mikhail Perepletchikov. Prioritisation mechanisms to support incremental development of agent systems. International Journal of Agent-Oriented Software Engineering (ijaose), 1(3/4):477-497, 2007. [ bib ]
[79]	Lin Padgham, John Thangarajah, and Michael Winikoff. Tool support for agent development using the prometheus methodology. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 383-388, Washington, DC, USA, 2005. IEEE Computer Society. [ bib ]
[80]	Lin Padgham, John Thangarajah, and Michael Winikoff. Auml protocols and code generation in the prometheus design tool (system demonstration). In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, page 270, 2007. [ bib ]
[81]	Lin Padgham, John Thangarajah, and Michael Winikoff. Prometheus design tool. In Proceedings of The AAAI Conference on Artificial Intelligence, pages 1882-1883, 2008. [ bib ]
[82]	Lin Padgham, John Thangarajah, and Michael Winikoff. The prometheus design tool - a conference management system case study. In Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951, pages 197-211. Springer-Verlag, 2008. [ bib ]
[83]	Lin Padgham and Franco Zambonelli, editors. Agent Oriented Software Engineering VII. Springer, 2007. [ bib ]
[84]	Mikhail Perepletchikov and Lin Padgham. Systematic incremental development of agent systems, using prometheus. In 1st International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005), 2005. In conjunction with the Fifth International Conference on Quality Software (QSIC). [ bib ]
[85]	Mikhail Perepletchikov and Lin Padgham. Use case and actor driven requirements engineering: An evaluation of modifications to prometheus. In Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, (CEEMAS), Budapest, Hungary, September 2005. [ bib ]
[86]	Quam Duc Pham and James Harland. Temporal linear logic as a basis for flexible agent interactions. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 124-131, May 2007. [ bib ]
[87]	Quam Duc Pham, James Harland, and Michael Winikoff. Modelling agent's choices in temporal linear logic. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), May 2007. [ bib ]
[88]	Quang Duc Pham and James Harland. Flexible agent protocols via temporal and resource-based reasoning (short paper). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 235-237, Hakodate, May 2006. [ bib ]
[89]	Toan Phung, Seng Loke, and James Harland. Adding flexibility using structured goals: the case of itinerant mobile agents (short paper). In Proceedigns of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 562-565, Halifax, October 2003. [ bib ]
[90]	Toan Phung, Michael Winikoff, and Lin Padgham. Learning within the bdi framework: An empirical analysis. In Knowledge-Based Intelligent Information and Engineering Systems (part III), volume LNCS 3685. Springer, 2005. [ bib | .pdf ]
[91]	David Poutakidis, Michael Winikoff, Lin Padgham, and Zhiyong Zhang. Debugging and testing of multi-agent systems using design artefacts. In Multi-Agent Programming: Languages, Tools and Applications, pages 215-258. Springer US, 2009. [ bib | DOI | .pdf ]
[92]	M. Purver, F. Ratiu, and L.Cavedon. Robust interpretation in dialogue by combining confidence scores with contextual features. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1-4, Pittsburgh PA, 2006. [ bib ]
[93]	D. V. Pynadath, M. Tambe, N. Chauvat, and L. Cavedon. Toward team-oriented programming. In 6th Workshop on Agents, Theories, Architectures and Languages (ATAL'99), pages 233-247, Orlando FL, 1999. [ bib ]
[94]	Omar Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Proceedigns of the Australasian Computer Science Conference (ACSC), Melbourne, January 2002. [ bib ]
[95]	Omer Rana, Michael Winikoff, Lin Padgham, and James Harland. Applying conflict management strategies in bdi agents for resource management in computational grids. In Australasian Conference on Computer Science, 2002. [ bib | .pdf ]
[96]	Aman Sahani, Ian Mathieson, and Lin Padgham. Agent support for a grid-based high energy physics application. In Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE), volume 3533, page 134. LNCS, Bari, Italy, June 2005. [ bib ]
[97]	Jennifer Sandercock, Lin Padgham, and Fabio Zambetta. Creating adaptive and individual personalities in many characters without hand crafting behaviours. In Intelligent Virtual Agents 6th International Conference (IVA06), August 2006. [ bib ]
[98]	Sebastian Sardina and Giuseppe De Giacomo. Realizing multiple autonomous agents through scheduling of shared devices. In Jussi Rintanen and Bernhard Nebel, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 304-312, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[99]	Sebastian Sardina and Giuseppe De Giacomo. Composition of ConGolog programs. In Craig Boutilier, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 904-910, Pasadena, CA, USA, July 2009. IJCAI. [ bib | .pdf ]
[100]	Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 463-471, Lake District, UK, June 2006. [ bib | .pdf ]
[101]	Sebastian Sardina, Lavindra P. de Silva, and Lin Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1001-1008, Hakodate, Japan, May 2006. ACM Press. [ bib | DOI | .pdf ]
[102]	Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5919 of Lecture Notes in Computer Science (LNCS), pages 82-89, Budapest, Hungary, 2010. Springer. [ bib | DOI | http | .pdf ]
[103]	Sebastian Sardina and Lin Padgham. Goals in the context of BDI plan failure and planning. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, and Onn Shehory, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 16-23, Hawaii, USA, May 2007. ACM Press. [ bib | DOI | .pdf ]
[104]	Sebastian Sardina and Lin Padgham. A BDI agent programming language with failure recovery, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18-70, 2011. [ bib | DOI | .pdf ]
[105]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Automatic synthesis of a global behavior from multiple distributed behaviors. In Robert C. Holte and Adele Howe, editors, Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1063-1069, Vancouver, Canada, July 2007. AAAI Press. [ bib | .pdf ]
[106]	Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press. [ bib | .pdf ]
[107]	Sebastian Sardina and Stavros Vassos. The Wumpus World in IndiGolog: A preliminary report. In L. Morgenstern and M. Pagnucco, editors, Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 90-95, 2005. [ bib | .pdf ]
[108]	Carles Sierra, John Thangarajah, Lin Padgham, and Michael Winikoff. Designing institutional multi-agent systems. In Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Revised and Invited Papers, LNCS Volume 4405, pages 84-103. Springer-Verlag, 2007. [ bib ]
[109]	Dhirendra Singh, Sebastian Sardina, and Lin Padgham. Extending BDI plan selection to incorporate learning from experience. Journal of Robotics and Autonomous Systems, 58:1067-1075, 2010. [ bib | DOI | .pdf ]
[110]	Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Stéphane Airiau. Learning context conditions for BDI plan selection. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 325-332, Toronto, Canada, May 2010. [ bib | .pdf ]
[111]	A. Song, L. Padgham, and L. Cavedon. Prediction in dynamic environments: Robocup rescue exploration. In AAMAS 2007 Workshop on Adaptive and Learning Agents, Honolulu HI, 2007. [ bib ]
[112]	Andy Song, Lin Padgham, and Lawrence Cavedon. Prediction in dynamic environment:robocup rescue exploration. In K.Tumer, S.Sen, and L. Panait, editors, Adaptive Learning Agents Workshop 2007 in AAMAS07, 2007. [ bib | .pdf ]
[113]	J. Thangarajah, J. Harland, and N. Yorke-Smith. A soft cop model for goal deliberation in a bdi agent. In Proceedings of CP’07 Workshop on Constraint Modelling and Reformulation, Providence, RI, September 2007. [ bib ]
[114]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Aborting tasks in BDI agents. In AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, pages 8-15, 2007. [ bib ]
[115]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Suspending and resuming tasks in BDI agents. In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 405-412, 2008. [ bib ]
[116]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. On the life-cycle of bdi agent goals. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), page To appear, August 2010. [ bib ]
[117]	John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith. Operational behaviour for executing, suspending, and aborting goals in bdi agent systems. In Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10), Toronto, May 2010. [ bib ]
[118]	John Thangarajah and Lin Padgham. An empirical evaluation of reasoning about resource conflicts. In AAMAS '04: Proceedings of The 3rd International Conference on Autonomous Agents and Multiagent Systems, pages 1298-1299, 2004. [ bib ]
[119]	John Thangarajah and Lin Padgham. Computationally effective reasoning about goal interactions. Journal of Automated Reasoning, pages "To Appear, accepted 05-04-2010", 2010. [ bib ]
[120]	John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning for goals in BDI agents. In Proceedings of the Twenty-Fifth Australasian Computer Science Conference (ACSC'02), pages 259-265, 2002. [ bib ]
[121]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1049-1051, Hakodate, Japan, May 2006. [ bib | DOI | .pdf ]
[122]	John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pages 1049-1051, 2006. [ bib ]
[123]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and avoiding interference between goals in intelligent agents. In IJCAI '03: Proceedings of the International Joint Conference on Artificial Intelligence, pages 721-726, 2003. [ bib ]
[124]	John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and exploiting positive goal interaction in intelligent agents. In AAMAS '03: Proceedings of The 2nd International Conference on Autonomous Agents and Multiagent Systems, pages 401-408, 2003. [ bib ]
[125]	John Thangarajah, Lin Padgham, and Michael Winikoff. Prometheus design tool. In the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 127-128, Utrecht, The Netherlands, July 2005. [ bib ]
[126]	John Thangarajah, Michael Winikoff, Lin Padgham, and Klaus Fischer. Avoiding resource conflicts in intelligent agents. In ECAI '02: Proceedings of the European Conference on Artificial Intelligence, pages 18-22, 2002. [ bib ]
[127]	Vu Binh Tran, James Harland, and Margaret Hamilton. A combined logic of expectation and observation: A generalisation of bdi logics. In Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), Melbourne, July 2003. [ bib ]
[128]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation: the logic of flexible motivation (poster). In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1140-1141, Melbourne, July 2003. [ bib ]
[129]	Vu Binh Tran, James Harland, and Margaret Hamilton. Expectation reasoning using regret and disappointment. In Proceedings of the European Conference in Artificial Intelligence (ECAI), pages 74-78, Valencia, August 2004. [ bib ]
[130]	Vu Binh Tran, James Harland, and Margaret Hamilton. Observation expectation reasoning in agent systems. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 246-254, Whistler, June 2004. [ bib ]
[131]	M. Birna van Riemsdijk, Mehdi Dastani, and Michael Winikoff. Goals in agent systems: A unifying framework. In AAMAS, 2008. [ bib | .pdf ]
[132]	Stavros Vassos, Sebastian Sardina, and Hector Levesque. Progressing basic action theories with non-local effect actions. In Gerhard Lakemeyer, Leora Morgenstern, and Mary-Anne Williams, editors, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS'09), pages 135-140, Toronto, Canada, June 2009. UTSePress, University of Technology, Sydney, Australia. [ bib | .pdf ]
[133]	Bao Quoc Vo, L. Padgham, and L. Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. Intelligent Decision Technologies, 1((1-2)):33-47, 2007. [ bib ]
[134]	Bao Quoc Vo and Lin Padgham. Searching for joint gains in automated negotiations based on multi-criteria decision making theory. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Hawaii, USA, May 2007. [ bib ]
[135]	Bao Quoc Vo, Lin Padgham, and Lawrence Cavedon. Negotiating flexible agreements by combining distributive and integrative negotiation. International journal of Intelligent Decision Technologies, 1(1-2):33-47, 2007. [ bib ]
[136]	F. Weng, S. Varges, B. Raghunathan, F. Ratiu, H. Pon-Barry, B. Lathrop, Q. Zhang, T. Scheideck, H. Bratt, K. Xu, M. Purver, R. Mishra, M. Raya, S. Peters, Y. Meng, L. Cavedon, and L. Shriberg. CHAT: A conversational helper for automotive tasks. In INTERSPEECH: International Conference on Spoken Language Processing, pages 1061-1064, Pittsburgh PA, 2006. [ bib ]
[137]	J. Westendorp, P. Scerri, and L. Cavedon. Strategic behaviour-based reasoning with dynamic, partial information. In 12th Aust. Joint Conf. on Artificial Intelligence, pages 297-308, Brisbane, 1998. [ bib ]
[138]	Simon Whitehead and Lawrence Cavedon. Generating shifting sentiment for a conversational agent. In NAACL-HLT 2010 Workshop on Computational Approaches to Analysis and Generation of Emotion in Text, Los Angeles, 2010. [ bib ]
[139]	Michael Winikoff. An AgentSpeak meta-interpreter and its applications. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS), July 2005. [ bib | .pdf ]
[140]	Michael Winikoff. Jack intelligent agents: An industrial strength platform. In Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, and Amal El Fallah Seghrouchni, editors, Multi-Agent Programming, pages 175-193. Springer, 2005. [ bib | .pdf ]
[141]	Michael Winikoff. Towards making agent uml practical: A textual notation and a tool. In First international workshop on Integration of Software Engineering and Agent Technology (ISEAT), pages 401-406. IEEE, 2005. [ bib | .pdf ]
[142]	Michael Winikoff. Designing commitment-based agent interactions. In IAT, 2006. [ bib | .pdf ]
[143]	Michael Winikoff. Implementing flexible and robust agent interactions using distributed commitment machines. Multiagent and Grid Systems, 2(4), 2006. [ bib | .pdf ]
[144]	Michael Winikoff. Defining syntax and providing tool support for agent uml using a textual notation. IJAOSE, 1(2):123-144, 2007. [ bib | .pdf ]
[145]	Michael Winikoff. Implementing commitment-based interactions. In AAMAS, 2007. [ bib | .pdf ]
[146]	Michael Winikoff. The future of agent-based software engineering: Goals and verification & validation are key. Position statement at panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008, 2008. [ bib | .pdf ]
[147]	Michael Winikoff and Stephen Cranefield. Eliciting expectations for monitoring social interactions. In International Conference on Computer Mediated Social Networking (ICCMSN), 2008. [ bib | .pdf ]
[148]	Michael Winikoff, Wei Liu, and James Harland. Enhancing commitment machines. In workshop on Declarative Agent Languages and Technologies (DALT), volume LNAI 3476, pages 198-220, 2004. [ bib | .pdf ]
[149]	Michael Winikoff and Lin Padgham. The prometheus methodology. In Federico Bergenti, Marie-Pierre Gleizes, and Franco Zambonelli, editors, Methodologies and Software Engineering for Agent Systems, chapter 11. Kluwer Academic Publishing (New York), 2004. [ bib | .pdf ]
[150]	Michael Winikoff, Lin Padgham, and James Harland. Simplifying the development of intelligent agents. In AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence, pages 555-568. Springer, LNAI 2256, 2001. [ bib | .pdf ]
[151]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib | .pdf ]
[152]	Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, KR '02: Proceedings of the Eigth International Conference on Principles and Knowledge Representation and Reasoning, pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib ]
[153]	Min Xu, Lin Padgham, Aloys Mbala, and James Harland. Tracking reliability and helpfulness in agent interactions. Web Intelligence and Agent Systems: An International Journal (WIAS), 5(1), 2007. [ bib ]
[154]	Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Barcelona, Spain, May 2011. ACM Press. To appear. [ bib | DOI ]
[155]	Nitin Yadav, Chenguang Zhou, Sebastian Sardina, and Ralph Rönnquist. A BDI agent system for the cow herding domain. Annals of Mathematics and Artificial Intelligence, 2010. To appear; accepted 13/04/2010. [ bib | DOI | .pdf ]
[156]	Z. Zhang, J. Thangarajah, and L. Padgham. Automated unit testing for agent systems. In Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 10-18, Spain, July 2007. [ bib ]
[157]	Z. Zhang, J. Thangarajah, and L. Padgham. Model Based Testing for Agent Systems. In J. Filipe, B. Shishkov, M. Helfert, & L. A. Maciaszek, editor, Software and Data Technologies, Communications in Computer and Information Science, Volume 22. Springer Berlin Heidelberg, pages 399-413, 2009. [ bib ]
[158]	Zhiyong Zhang, John Thangarajah, and lin Padgham. Automated unit testing for agent systems. In Proceedings of the Second International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE-07), pages 10 - 18, Barcelona, Spain, July 2007. [ bib | .pdf ]
[159]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt. In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 1673-1674. International Foundation for Autonomous Agents and Multiagent Systems, 2008. [ bib | .pdf ]
[160]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Automated unit testing intelligent agents in pdt (demo). In AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pages 1673-1674, Estoril,Portugal, 2008. IFAAMAS. [ bib ]
[161]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib | .pdf ]
[162]	Zhiyong Zhang, John Thangarajah, and Lin Padgham. Model based testing for agent systems. In AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pages 1333-1334. International Foundation for Autonomous Agents and Multiagent Systems, 2009. [ bib ]