Publications

2023

  • Sebastian Rodriguez, John Thangarajah and Michael Winikoff. A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems. In Proc. of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, IFAAMAS, 9 pages.
  • Michael Winikoff and Galina Sidorenko. Evaluating a mechanism for explaining BDI agent behaviour (extended abstract). In Proc. of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, IFAAMAS, 3 pages.
  • Jocelyn Cranefield, Michael Winikoff, Yi-Te Chiu, Yevgeniya Li, Cathal Doyle & Alex Richter (2023) Partnering with AI: the case of digital productivity assistants, Journal of the Royal Society of New Zealand, 53:1, 95-118, DOI: 10.1080/03036758.2022.2114507 (published online 2022)

2022

  • Explainable and Transparent AI and Multi-Agent Systems: 4th International Workshop, (EXTRAAMAS), Revised Selected Papers. Editors: Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling. Lecture Notes in Computer Science 13283.  doi:10.1007/978-3-031-15565-9
  • Michael Winikoff and Julija Sardelić. Artificial Intelligence and the Right to Explanation as a Human Right. Re-printed in IEEE’s Computing Edge April issue. (originally published in IEEE Internet Computing, 25(2):108-112, 2021)
  • Michael Winikoff, Galina Sidorenko, Virginia Dignum and Frank Dignum. Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract). IJCAI Journal Track.
  • Michael Winikoff. Editorial.  Int. J. Agent-Oriented Software Engineering, Vol. 7, No. 2, 2022, p77-78.
  • Sebastian Rodriguez, John Thangarajah, Michael Winikoff, and Dhirendra Singh. 2022. Testing Requirements via User and System Stories in Agent Systems. In Proc. of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), Online, May 9–13, 2022, IFAAMAS, 9 pages.

2021

2020

2019

  • Jürgen Dix, Brian Logan, and Michael Winikoff. Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports, 9(3):52-63, 2019. doi:10.4230/DagRep.9.3.52
  • Michael Winikoff, Stephen Cranefield, Alistair Knott. An area in which we can take moral leadership, opinion piece in newsroom.co.nz on the banning of Lethal Autonomous Weapons Systems (LAWS). [published 25 July 2019]
  • Michael Winikoff. Towards Deriving Verification Properties. arXiv:1903.04159.
  • Tobias Ahlbrecht and Michael Winikoff, Explaining Aggregate Behaviour in Cognitive Agent Simulations using Explanation, 1st International Workshop on EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS2019), held at AAMAS.
  • Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On Enactability of Agent Interaction Protocols: Towards a Unified Approach (arXiv:1902.01131), 7th International workshop on Engineering Multi-Agent Systems (EMAS), held at AAMAS. (longer version of the Extended Abstract below)
  • Viviana Mascardi, Danny Weyns, Alessandro Ricci, et al. (~30 authors in total). Engineering Multi-Agent Systems: State of Affairs and the Road Ahead, ACM SIGSOFT Software Engineering Notes, January 2019, Volume 44, Number 1, pages 18-28. https://dl.acm.org/citation.cfm?id=3322175.
  • Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On Enactability of Agent Interaction Protocols: Towards a Unified Approach (Extended Abstract), Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS).

2018

2017

2016

2015

2014

2013

  • Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 2013,Revised Selected Papers. Edited by Massimo Cossentino, Amal El Fallah Seghrouchni and Michael Winikoff, Springer LNAI 8245, 2013. (doi:10.1007/978-3-642-45343-4)
  • Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs (Extended Abstract). In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6–10, 2013, Saint Paul, Minnesota, USA, pages 1137-1138, 2013.
  • Akın Günay, Pınar Yolum, and Michael Winikoff. Generating and Ranking Commitment Protocols (Extended Abstract). In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6–10, 2013, Saint Paul, Minnesota, USA, pages 1323-1324, 2013.
  • Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs. First international workshop on Engineering Multi-Agent Systems. (revised extended version appears in the post-proceedings)
  • Christopher Cheong and Michael Winikoff. A Comparison of Two Agent Interaction Design Approaches. Multiagent and Grid Systems (an international journal), volume 9, pages 1-44, 2013.
  • Michael Winikoff and Lin Padgham. Agent Oriented Software Engineering. Chapter 15 (pages 695-757) In G. Weiss (Ed.). Multiagent Systems. 2nd Edition. MIT Press. ISBN 978-0-262-01889-0
  • Minjie Hu, Michael Winikoff, and Stephen Cranefield. A Process for Novice Programming Using Goals and Plans. Fifteenth Australasian Computing Education Conference (ACE2013), part of the Australasian Computer Science Week 2013.
  • Hoa Khanh Dam and Michael Winikoff. Towards a next-generation AOSE methodology. Science of Computer Programming, 78(6):684-694, 2013, Elsevier (Appeared online 2012)
    Note: the “Received 1 December” is incorrect – it was submitted 28th February 2011

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

  • Lin Padgham and Michael Winikoff, Prometheus: A Pragmatic Methodology for Engineering Intelligent Agents In the proceedings of the workshop on Agent-oriented methodologies at OOPSLA 2002. November 4, 2002, Seattle. (PDF)
  • James Harland and Michael Winikoff Language Design Issues for Agents based on Linear Logic (Extended Abstract) In proceedings of the workshop on Computational Logic in Multi-Agent Systems (CLIMA’02), August 2002. (PDF)
    The version in the proceedings was typeset with a different font and takes up fifteen pages, but has identical content. (PDF)
  • Lin Padgham and Michael Winikoff. Prometheus: A Methodology for Developing Intelligent Agents. In proceedings of the Third International Workshop on Agent-Oriented Software Engineering, at AAMAS’02.
    • The version that appeared in the workshop proceedings: PDF
    • The revised version: PDF © Springer-Verlag.
  • Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling Agent Oriented Software Engineering Methodologies from Features. In proceedings of the Third International Workshop on Agent-Oriented Software Engineering, at AAMAS’02. (PDF)
  • Joshua Hutchison and Michael Winikoff. Flexibility and Robustness in Agent Interaction Protocols. Challenges in Open Agent Systems, workshop at AAMAS’02.
    • The version that appeared in the workshop proceedings: PDF
    • The revised (reduced) version that appeared in Springer-Verlag’s Lecture Notes in Computer Science: PDF © Springer-Verlag.
  • John Thangarajah, Michael Winikoff, Lin Padgham, and Klaus Fischer. Avoiding Resource Conflicts in Intelligent Agents, In F. van Harmelen (ed.): ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002. (PDF)
  • David Poutakidis, Lin Padgham, and Michael Winikoff. Debugging Multi-Agent Systems using Design Artifacts: The case of Interaction Protocols, in the proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). July 15-19, 2002, Bologna, Italy. (PDF)
  • Lin Padgham and Michael Winikoff, Prometheus: A Methodology for Developing Intelligent Agents (poster), In the proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). July 15-19, 2002, Bologna, Italy. (PDF)
  • James Harland and Michael Winikoff. Agent Negotiation as Proof Search in Linear Logic (poster) In the proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). July 15-19, 2002, Bologna, Italy. (PDF)
  • Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative and Procedural Goals in Intelligent Agent Systems. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, 2002, Toulouse, France. (PDF)
  • Omer Rana, Michael Winikoff, Lin Padgham, and James Harland, Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids, Proceedings of the Australasian Conference on Computer Science, January, Melbourne, 2002. (PDF)

2001

  • James Harland and Michael Winikoff. Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP’01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001. (hyperref’ed PDF, PDF).
  • 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. LNAI 2256, pages 557-568, Adelaide, December 2001. (PDF). © Springer-Verlag.
    Also available as RMIT school of computer science and information technology technical report TR-01-3 (PDF).

2000

  • Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-Oriented Programming in Linear Logic: An Example. Poster in the proceedings of the Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI2000). Melbourne, Australia, August 28-September 1, 2000. Published as Lecture Notes in AI 1886, Mizoguchi & Slaney (eds.), Springer. (Postscript)
  • James Harland, David Pym, and Michael Winikoff. Forward and Backward Chaining in Linear Logic. Proceedings of the CADE-17 Workhop on Proof-Search in Type-Theoretic Systems, Pittsburgh, June, 2000. Published as Electronic Notes in Theoretical Computer Science, volume 37, 2000.
  • James Harland, Tatjana Lutovac, and Michael Winikoff. Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic. In proceedings of the First International Conference on Computational Logic (CL2000). London, 24-28 July 2000.
  • James Harland, Tatjana Lutovac, and Michael Winikoff. On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic, In proceedings of the Australasian Workshop on Computational Logic (AWCL), Australian National University, Canberra, 3-4 February 2000.
  • Edmund Kazmierczak, Philip Dart, Leon Sterling and Michael Winikoff. Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering, Vol. 10, No. 2 (2000), p251-273.

1998

  • Ed. Kazmierczak, Michael Winikoff, and Philip Dart. Verifying Model Oriented Specifications through Animation. In Proceedings of the 5th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, December 1998.
  • Ed Kazmierczak, Michael Winikoff and Philip Dart. Verifying model oriented specifications through animation. Technical Report 98/11, Melbourne University, July 1998.
  • James Harland and Michael Winikoff, Making Logic Programs Reactive. In Proceedings of the JICSLP’98 Workshop on Transactions and Change in Logic Databases (Dynamics’98), p34-58, Manchester, June 1998.
    Published as Technical Report MIP-9808, Fakultat fur Mathematik und Informatik, Univesitat Passau.
  • Michael Winikoff, Philip Dart, and Ed. Kazmierczak. Rapid Prototyping using Formal Specifications. In Australasian Computer Science Conference, February 1998. (*)
  • Michael Winikoff, Analysing Modes and Subtypes in Z Specifications. Technical Report 98/2, Melbourne University, 1998

1997

1996

  • Michael Winikoff. Concurrent Programming in Lygon (Abstract). In Proceedings of the Annual Postgraduate Conference, page 103. RMIT, Department of Computer Science, December 1996. Available as RMIT Computer Science Technical Report 96-36.
  • James Harland, David Pym, and Michael Winikoff. Programming in Lygon: An Overview. In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 391-405. Springer, July 1996.
  • James Harland, David Pym, and Michael Winikoff. Programming in Lygon: A System Demonstration. In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 599. Springer, July 1996.
  • Michael Winikoff and James Harland. Some applications of the linear logic programming language Lygon. In Kotagiri Ramamohanarao, editor, Australasian Computer Science Conference, pages 262-271, February 1996.
  • Michael Winikoff. Hitch Hiker’s Guide to Lygon 0.7. Technical Report 96/36, Melbourne University, 1996.
  • Michael Winikoff and James Harland. Deriving logic programming languages. Technical Report 95/26, Melbourne University, 1996.

1995 and earlier

(*) Highest scoring paper submitted to the conference.