This list is produced from RMIT Research Bank database. Some publications may be missing from this list, please check personal web pages.


Before 2006

[153] 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 ]
[154] 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 ]
[155] 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 ]
[156] Christopher Cheong and Michael Winikoff. Hermes: Designing goal-oriented agent interactions. In International Workshop on Agent-Oriented Software Engineering (AOSE), July 2005. [ bib | .pdf ]
[157] John Thangarajah, Lin Padgham, and Michael Winikoff. Prometheus design tool. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 127-128, Utrecht, The Netherlands, July 2005. (System Demonstration). [ bib | .pdf ]
[158] 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 ]
[159] 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 ]
[160] 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 ]
[161] 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 ]
[162] 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 ]
[163] 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 ]
[164] 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 ]
[165] 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 ]
[166] 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 ]
[167] 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 ]
[168] 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 ]
[169] John Thangarajah. Managing the Concurrent Execution of Goals in Intelligent Agents. PhD thesis, RMIT University, Melbourne, Australia, 2005. [ bib ]
[170] Sebastian Sardina. Deliberation in Agent Programming Languages. PhD thesis, Department of Computer Science, University of Toronto, 2005. [ bib | .pdf ]
[171] 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 ]
[172] Gregory More, Jeremy Yuille, Lin Padgham, Aman Sahani, and Mark Burry. The space and sound of intelligent information environments. In OZCHI, 2005. [ bib ]
[173] 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 ]
[174] 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 ]
[175] 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 ]
[176] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the semantics of deliberation in IndiGolog - From theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299, August 2004. [ bib | DOI | .pdf ]
[177] 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 ]
[178] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On ability to autonomously execute agent programs with sensing. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1522-1523. IEEE Computer Society, May 2004. (poster; extended version appeared at COGROBO'04). [ bib | DOI | .pdf ]
[179] 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 ]
[180] 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 ]
[181] 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 ]
[182] 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, New York, NY, 2004. Extended Abstract. [ bib | .pdf ]
[183] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On ability to autonomously execute agent programs with sensing. In Proceedings of the International Cognitive Robotics Workshop (COGROBO), Valencia, Spain, 2004. [ bib | .pdf ]
[184] 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 ]
[185] 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 ]
[186] 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 ]
[187] 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 ]
[188] Sebastian Sardina and Steven Shapiro. Rational action in agent programs with prioritized goals. In Jeffrey S. Rosenschein, Michael Wooldridge, Tuomas Sandholm, and Makoto Yokoo, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 417-424, Melbourne, Australia, July 2003. ACM Press. [ bib | DOI | .pdf ]
[189] Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations. In Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), Melbourne, Australia, July 2003. [ bib | .pdf ]
[190] Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling agent oriented software engineering methodologies from features. In International Workshop on Agent-Oriented Software Engineering (AOSE), volume LNCS 2585, pages 198-209. Springer, 2003. [ bib | .pdf ]
[191] 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 ]
[192] 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 ]
[193] 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 ]
[194] 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 ]
[195] John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and avoiding interference between goals in intelligent agents. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 721-726, Acapulco, Mexico, 2003. [ bib | .pdf ]
[196] John Thangarajah, Lin Padgham, and Michael Winikoff. Detecting and exploiting positive goal interaction in intelligent agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 401-408, Melbourne, Australia, 2003. [ bib | .pdf ]
[197] 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 ]
[198] 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 ]
[199] 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 ]
[200] Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. On the semantics of deliberation in IndiGolog - from theory to implementation. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 603-614, Toulouse, France, April 2002. Morgan Kaufmann Publishers Inc. [ bib | .pdf ]
[201] 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 ]
[202] Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative & procedural goals in intelligent agent systems. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 470-481, Toulouse, France, 2002. Morgan Kaufmann. [ bib | .pdf ]
[203] 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 ]
[204] 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, Lyon, France, 2002. [ bib ]
[205] 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, Melbourne, Australia, 2002. [ bib ]
[206] Sebastian Sardina. Local conditional high-level robot programs. In Robert Nieuwenhuis and Andrei Voronkov, editors, Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), volume 2250 of Lecture Notes in Computer Science (LNCS), pages 110-124, La Habana, Cuba, December 2001. Springer. [ bib | .pdf ]
[207] 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 ]
[208] Giuseppe De Giacomo, Hector J. Levesque, and Sebastian Sardina. Incremental execution of guarded theories. ACM Transactions on Computational Logic, 2(4):495-525, October 2001. [ bib | DOI | .pdf ]
[209] Sebastian Sardina. Local conditional high-level robot programs. In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 64-69, Seattle, USA, August 2001. [ bib ]
[210] 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 ]
[211] 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 ]
[212] 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 ]
[213] 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 ]
[214] 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 ]
[215] Sebastian Sardina. IndiGolog: Execution of guarded action theories. Master's thesis, Department of Computer Science, University of Toronto, 2000. [ bib ]
[216] 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 ]
[217] L. Cavedon. Default reasoning as situated monotonic inference. Minds and Machines, 8(4):509-531, 1998. [ bib ]
[218] 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 ]
[219] J. Westendorp, P. Scerri, and L. Cavedon. Strategic behaviour-based reasoning with dynamic, partial information. In Proceedings of the Australian Joint Conference on AI (AI), pages 297-308, Brisbane, 1998. [ bib ]
[220] 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 ]
[221] 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 ]
[222] L. Cavedon and S. Glasbey. Outline of an information-flow model of generics. Acta Linguistica Hungarica, 42((3-4)):227-245, 1997. [ bib ]
[223] 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 ]
[224] 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 ]
[225] 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 ]
[226] 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 ]
[227] 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 ]
[228] 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 ]
[229] 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 ]
[230] 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 ]
[231] 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 ]