default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Winikoff
Person information
- affiliation: Victoria University of Wellington, New Zealand
- affiliation (former): University of Otago, Dunedin, New Zealand
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c107]Michael Winikoff:
30 Years of Engineering Multi-Agent Systems: What and Why? AAMAS 2024: 3- [c106]Michael Winikoff
:
Towards Engineering Explainable Autonomous Systems. EMAS 2024: 144-155 - 2023
- [c105]Sebastian Rodriguez, John Thangarajah, Michael Winikoff:
A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems. AAMAS 2023: 1182-1190 - [c104]Michael Winikoff, Galina Sidorenko:
Evaluating a Mechanism for Explaining BDI Agent Behaviour. AAMAS 2023: 2283-2285 - [c103]Michael Winikoff, Galina Sidorenko:
Evaluating a Mechanism for Explaining BDI Agent Behaviour. EXTRAAMAS 2023: 18-37 - [c102]Myrthe L. Tielman, M. Birna van Riemsdijk, Michael Winikoff:
What Can I Do to Help You? HHAI 2023: 168-181 - 2022
- [c101]Sebastian Rodriguez, John Thangarajah, Michael Winikoff, Dhirendra Singh:
Testing Requirements via User and System Stories in Agent Systems. AAMAS 2022: 1119-1127 - [c100]Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum:
Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract). IJCAI 2022: 5782-5786 - [e16]Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling:
Explainable and Transparent AI and Multi-Agent Systems - 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9-10, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13283, Springer 2022, ISBN 978-3-031-15564-2 [contents] - 2021
- [j24]Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35(1): 8 (2021) - [j23]Jürgen Dix, Brian Logan, Michael Winikoff:
Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. 35(2): 37 (2021) - [j22]Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum:
Why bad coffee? Explaining BDI agent behaviour with valuings. Artif. Intell. 300: 103554 (2021) - [j21]Michael Winikoff, Julija Sardelic:
Artificial Intelligence and the Right to Explanation as a Human Right. IEEE Internet Comput. 25(2): 116-120 (2021) - [c99]Sebastian Rodriguez, John Thangarajah, Michael Winikoff:
User and System Stories: An Agile Approach for Managing Requirements in AOSE. AAMAS 2021: 1064-1072 - [c98]Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS 2021: 1733-1734 - [c97]Michael Winikoff, Jocelyn Cranefield, Jane Li, Cathal Doyle, Alexander Richter:
The Advent of Digital Productivity Assistants: The Case of Microsoft MyAnalytics. HICSS 2021: 1-10 - [e15]Nigel Stanger, Brendon J. Woodford, Michael Winikoff, David M. Eyers, Veronica Liesaputra Joachim, Daniel Alencar da Costa, Andrew Trotman:
ACSW '21: 2021 Australasian Computer Science Week Multiconference, Dunedin, New Zealand, 1-5 February, 2021. ACM 2021, ISBN 978-1-4503-8956-3 [contents] - [e14]Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling:
Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12688, Springer 2021, ISBN 978-3-030-82016-9 [contents] - 2020
- [e13]Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling:
Explainable, Transparent Autonomous Agents and Multi-Agent Systems - Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9-13, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12175, Springer 2020, ISBN 978-3-030-51923-0 [contents] - [e12]Cristina Baroglio, Jomi Fred Hübner, Michael Winikoff:
Engineering Multi-Agent Systems - 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8-9, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12589, Springer 2020, ISBN 978-3-030-66533-3 [contents] - [i6]Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR abs/2001.09124 (2020)
2010 – 2019
- 2019
- [c96]Tobias Ahlbrecht, Michael Winikoff:
Explaining Aggregate Behaviour in Cognitive Agent Simulations Using Explanation. EXTRAAMAS@AAMAS 2019: 129-146 - [c95]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS 2019: 1955-1957 - [c94]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS 2019: 43-64 - [i5]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR abs/1902.01131 (2019) - [i4]Michael Winikoff:
Towards Deriving Verification Properties. CoRR abs/1903.04159 (2019) - [i3]Jürgen Dix, Brian Logan, Michael Winikoff:
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9(3): 52-63 (2019) - 2018
- [j20]Michael Winikoff, Nitin Yadav, Lin Padgham:
A new Hierarchical Agent Protocol Notation. Auton. Agents Multi Agent Syst. 32(1): 59-133 (2018) - [c93]Michael Winikoff, Nitin Yadav, Lin Padgham:
A new Hierarchical Agent Protocol Notation. AAMAS 2018: 1180-1182 - [c92]Michael Winikoff, Louise A. Dennis, Michael Fisher:
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS 2018: 139-157 - [c91]Michael Winikoff, Virginia Dignum, Frank Dignum:
Why Bad Coffee? Explaining Agent Plans with Valuings. SAFECOMP Workshops 2018: 521-534 - 2017
- [j19]Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland:
Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. 31(3): 423-468 (2017) - [j18]Michael Winikoff:
BDI agent testability revisited. Auton. Agents Multi Agent Syst. 31(5): 1094-1132 (2017) - [c90]Manjula Devananda, Stephen Cranefield, Hywel Lloyd, Michael Winikoff:
Patient Information Model to Support Population-level Workload Analysis. ACIS 2017: 15 - [c89]Michael Winikoff:
Towards Trusting Autonomous Systems. EMAS@AAMAS 2017: 3-20 - [c88]Michael Winikoff:
Debugging Agent Programs with Why?: Questions. AAMAS 2017: 251-259 - [c87]Michael Winikoff:
BDI Agent Testability Revisited (JAAMAS Extended Abstract). AAMAS 2017: 260-261 - [c86]Manjula Devananda, Stephen Cranefield, Michael Winikoff, Hywel Lloyd:
Workload Prediction Model of a Primary Health Centre. ECIS 2017: 77 - [c85]Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum:
No Pizza for You: Value-based Plan Selection in BDI Agents. IJCAI 2017: 178-184 - [e11]Kate Larson, Michael Winikoff, Sanmay Das, Edmund H. Durfee:
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. ACM 2017 [contents] - 2016
- [j17]Hoa Khanh Dam, Alexander Egyed, Michael Winikoff, Alexander Reder, Roberto E. Lopez-Herrejon:
Consistent merging of model versions. J. Syst. Softw. 112: 137-155 (2016) - [c84]Michael Winikoff:
How Testable Are BDI Agents? An Analysis of Branch Coverage. AAMAS Workshops (Selected Papers) 2016: 90-106 - [c83]Michael Winikoff:
How Testable are BDI Agents? An Analysis of Branch Coverage. EMAS@AAMAS 2016: 210-226 - [c82]Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland:
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS 2016: 1247-1248 - [c81]Akin Günay, Michael Winikoff, Pinar Yolum:
Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract. AAMAS 2016: 1263-1264 - [c80]Michael Winikoff:
How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract). AAMAS 2016: 1273-1274 - 2015
- [j16]Akin Günay, Michael Winikoff, Pinar Yolum:
Dynamically generated commitment protocols in open systems. Auton. Agents Multi Agent Syst. 29(2): 192-229 (2015) - [c79]Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff:
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS 2015: 1071-1079 - [c78]Nitin Yadav, Lin Padgham, Michael Winikoff:
A Tool for Defining Agent Protocols in HAPN: (Demonstration). AAMAS 2015: 1935-1936 - [c77]Michael Winikoff, Stephen Cranefield:
On the Testability of BDI Agent Systems (Extended Abstract). IJCAI 2015: 4217-4221 - 2014
- [j15]Michael Winikoff, Stephen Cranefield:
On the Testability of BDI Agent Systems. J. Artif. Intell. Res. 51: 71-131 (2014) - [c76]Michael Winikoff:
Novice programmers' faults & failures in GOAL programs. AAMAS 2014: 301-308 - [c75]Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah:
Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI 2014: 953-954 - [c74]Beatriz López, Aditya K. Ghose, Bastin Tony Roy Savarimuthu, Mariusz Nowostawski, Michael Winikoff, Stephen Cranefield:
Towards Energy-aware Optimisation of Business Processes. SMARTGREENS 2014: 68-75 - [p4]Lin Padgham, John Thangarajah, Michael Winikoff:
Prometheus Research Directions. Agent-Oriented Software Engineering 2014: 155-171 - [i2]Lavindra de Silva, Michael Winikoff, Wei Liu:
Extending Agents by Transmitting Protocols in Open Systems. CoRR abs/1403.0429 (2014) - 2013
- [j14]Christopher Cheong, Michael Winikoff:
A comparison of two agent interaction design approaches. Multiagent Grid Syst. 9(1): 1-44 (2013) - [j13]Hoa Khanh Dam, Michael Winikoff:
Towards a next-generation AOSE methodology. Sci. Comput. Program. 78(6): 684-694 (2013) - [c73]Minjie Hu, Michael Winikoff, Stephen Cranefield:
A process for novice programming using goals and plans. ACE 2013: 3-12 - [c72]Sharmila Savarimuthu, Michael Winikoff:
Mutation Operators for the Goal Agent Language. EMAS@AAMAS 2013: 255-273 - [c71]Sharmila Savarimuthu, Michael Winikoff:
Mutation operators for cognitive agent programs. AAMAS 2013: 1137-1138 - [c70]Akin Günay, Michael Winikoff, Pinar Yolum:
Generating and ranking commitment protocols. AAMAS 2013: 1323-1324 - [e10]Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff:
Engineering Multi-Agent Systems - First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8245, Springer 2013, ISBN 978-3-642-45342-7 [contents] - 2012
- [j12]Michael Winikoff, Nirmit Desai, Alan Liu:
Principles and Practice of Multi-Agent Systems. Multiagent Grid Syst. 8(2): 125-126 (2012) - [c69]Akin Günay, Michael Winikoff, Pinar Yolum:
Commitment Protocol Generation. DALT 2012: 136-152 - [e9]Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff:
International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). IFAAMAS 2012 [contents] - [e8]Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff:
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7169, Springer 2012, ISBN 978-3-642-29112-8 [contents] - [e7]Nirmit Desai, Alan Liu, Michael Winikoff:
Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7057, Springer 2012, ISBN 978-3-642-25919-7 [contents] - [i1]Michael Winikoff:
Challenges and Directions for Engineering Multi-agent Systems. CoRR abs/1209.1428 (2012) - 2011
- [j11]Hoa Khanh Dam, Michael Winikoff:
An agent-oriented approach to change propagation in software maintenance. Auton. Agents Multi Agent Syst. 23(3): 384-452 (2011) - [j10]Swee-Kin Loke, June Tordoff, Michael Winikoff, Jenny McDonald, Peter Vlugter, Stephen B. Duffull:
SimPharm: How pharmacy students made meaning of a clinical case differently in paper- and simulation-based workshops. Br. J. Educ. Technol. 42(5): 865-874 (2011) - [j9]Stephen Cranefield, Michael Winikoff:
Verifying social expectations by model checking truncated paths. J. Log. Comput. 21(6): 1217-1256 (2011) - [c68]Stephen Cranefield, Michael Winikoff, Wamberto Weber Vasconcelos:
Modelling and Monitoring Interdependent Expectations. COIN@AAMAS&WI-IAT 2011: 149-166 - [c67]Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff:
Rich goal types in agent programming. AAMAS 2011: 405-412 - [c66]Michael Winikoff:
A formal framework for reasoning about goal interactions. AAMAS 2011: 1107-1108 - [c65]Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland, Hanno-Felix Wagner, Michael Winikoff, Thomas Young:
Agent-based container terminal optimisation. AAMAS 2011: 1113-1114 - [c64]Michael Winikoff:
An Integrated Formal Framework for Reasoning about Goal Interactions. DALT 2011: 16-32 - [c63]Michael Winikoff, Hanno-Felix Wagner, Thomas Young, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland:
Agent-Based Container Terminal Optimisation. MATES 2011: 137-148 - 2010
- [c62]Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk:
A unified interaction-aware goal framework. ECAI 2010: 1033-1034 - [c61]Hoa Khanh Dam, Michael Winikoff:
Supporting change propagation in UML models. ICSM 2010: 1-10
2000 – 2009
- 2009
- [j8]Jason Khallouf, Michael Winikoff:
The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation. Int. J. Agent Oriented Softw. Eng. 3(1): 88-112 (2009) - [j7]Michael Winikoff:
Future directions for agent-based software engineering. Int. J. Agent Oriented Softw. Eng. 3(4): 402-410 (2009) - [c60]Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff:
Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43 - [p3]Christopher Cheong, Michael Winikoff:
Hermes: Designing Flexible and Robust Agent Interactions. Handbook of Research on Multi-Agent Systems 2009: 105-139 - [p2]David Poutakidis, Michael Winikoff, Lin Padgham, Zhiyong Zhang:
Debugging and Testing of Multi-Agent Systems using Design Artefacts. Multi-Agent Programming, Languages, Tools and Applications 2009: 215-258 - [e6]Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff:
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5397, Springer 2009, ISBN 978-3-540-93919-1 [contents] - 2008
- [c59]Lin Padgham, John Thangarajah, Michael Winikoff:
Prometheus Design Tool. AAAI 2008: 1882-1883 - [c58]Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino:
A Unified Graphical Notation for AOSE. AOSE 2008: 116-130 - [c57]Khanh Hoa Dam, Michael Winikoff:
Evaluating an Agent-Oriented Approach for Change Propagation. AOSE 2008: 159-172 - [c56]Stephen Cranefield, Michael Winikoff:
Verifying Social Expectations by Model Checking Truncated Paths. COIN@AAMAS&AAAI 2008: 204-219 - [c55]Khanh Hoa Dam, Michael Winikoff:
Cost-based BDI plan selection for change propagation. AAMAS (1) 2008: 217-224 - [c54]M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff:
Goals in agent systems: a unifying framework. AAMAS (2) 2008: 713-720 - [c53]Michael Winikoff, Stephen Cranefield:
Eliciting Expectations for Monitoring Social Interactions. ICCNSM 2008: 171-185 - [e5]Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff:
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4897, Springer 2008, ISBN 978-3-540-77563-8 [contents] - [e4]Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff:
Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers. Lecture Notes in Computer Science 4908, Springer 2008, ISBN 978-3-540-79042-6 [contents] - 2007
- [j6]Michael Winikoff:
Defining syntax and providing tool support for Agent UML using a textual notation. Int. J. Agent Oriented Softw. Eng. 1(2): 123-144 (2007) - [c52]Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff:
Open Agent Systems??? AOSE 2007: 73-87 - [c51]Khanh Hoa Dam, Michael Winikoff:
Generation of Repair Plans for Change Propagation. AOSE 2007: 132-146 - [c50]Lin Padgham, John Thangarajah, Michael Winikoff:
The Prometheus Design Tool - A Conference Management System Case Study. AOSE 2007: 197-211 - [c49]Michael Winikoff:
Implementing commitment-based interactions. AAMAS 2007: 128 - [c48]Lin Padgham, John Thangarajah, Michael Winikoff:
AUML protocols and code generation in the Prometheus design tool. AAMAS 2007: 270 - [c47]Duc Quang Pham, James Harland, Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157 - 2006
- [j5]Michael Winikoff:
Implementing flexible and robust agent interactions using Distributed Commitment Machines. Multiagent Grid Syst. 2(4): 365-381 (2006) - [c46]Carles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff:
Designing Institutional Multi-Agent Systems. AOSE 2006: 84-103 - [c45]Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff:
Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems. AOSE 2006: 190-207 - [c44]Khanh Hoa Dam, Michael Winikoff, Lin Padgham:
An agent-oriented approach to change propagation in software evolution. ASWEC 2006: 309-318 - [c43]Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff:
Component Agent Framework for domain-Experts (CAFnE) toolkit. AAMAS 2006: 1465-1466 - [c42]Rafael H. Bordini, Mehdi Dastani, Michael Winikoff:
Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61 - [c41]Michael Winikoff:
Designing Commitment-Based Agent Interactions. IAT 2006: 363-370 - [e3]Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff:
Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3529, Springer 2006, ISBN 3-540-48291-1 [contents] - 2005
- [j4]Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff:
A model driven component-based development framework for agents. Comput. Syst. Sci. Eng. 20(4) (2005) - [j3]Lin Padgham, Michael Winikoff, David Poutakidis:
Adding debugging support to the Prometheus methodology. Eng. Appl. Artif. Intell. 18(2): 173-190 (2005) - [c40]Aloys Mbala, Lin Padgham, Michael Winikoff:
Design Options for Subscription Managers. AOIS 2005: 259-274 - [c39]Christopher Cheong, Michael Winikoff:
Hermes: Designing Goal-Oriented Agent Interactions. AOSE 2005: 16-27 - [c38]John Thangarajah, Lin Padgham, Michael Winikoff:
Prometheus design tool. AAMAS 2005: 127-128 - [c37]Christopher Cheong, Michael Winikoff:
Hermes: a methodology for goal oriented agent interactions. AAMAS 2005: 1121-1122 - [c36]Bao Toan Phung, Michael Winikoff, Lin Padgham:
Learning Within the BDI Framework: An Empirical Analysis. KES (3) 2005: 282-288 - [c35]Michael Winikoff:
An AgentSpeak Meta-interpreter and Its Applications. PROMAS 2005: 123-138 - [c34]Christopher Cheong, Michael Winikoff:
Hermes: Implementing Goal-Oriented Agent Interactions. PROMAS 2005: 168-183 - [c33]Lin Padgham, John Thangarajah, Michael Winikoff:
Tool Support for Agent Development using the Prometheus Methodology. QSIC 2005: 383-388 - [c32]Jason Khallouf, Michael Winikoff:
Towards Goal-Oriented Design of Agent Systems. QSIC 2005: 389-394 - [c31]Michael Winikoff:
Towards Making Agent UML Practical: A Textual Notation and a Tool. QSIC 2005: 401-412 - [c30]Christopher Cheong, Michael Winikoff:
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes. SELMAS (LNCS) 2005: 189-206 - [p1]Michael Winikoff:
JACKTM Intelligent Agents: An Industrial Strength Platform. Multi-Agent Programming 2005: 175-193 - [e2]Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff:
Agent-Oriented Information Systems II, 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004,Revised Selected Papers. Lecture Notes in Computer Science 3508, Springer 2005, ISBN 3-540-25911-2 [contents] - 2004
- [b1]Lin Padgham, Michael Winikoff:
Developing intelligent agent systems - a practical guide. Wiley series in agent technology, Wiley 2004, ISBN 978-0-470-86120-2, pp. I-XII, 1-225 - [j2]James Harland, Michael Winikoff:
Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004) - [c29]Michael Winikoff, Wei Liu, James Harland:
Enhancing Commitment Machines. DALT 2004: 198-220 - [c28]Islam Elgedawy, Zahir Tari, Michael Winikoff:
Exact functional context matching for web services. ICSOC 2004: 143-152 - [c27]Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff:
Towards a Component-Based Development Framework for Agents. MATES 2004: 183-197 - [c26]Islam Elgedawy, Zahir Tari, Michael Winikoff:
Scenario Matching Using Functional Substitutability in Web Services. WISE 2004: 59-65 - [e1]Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff:
Agent-Oriented Information Systems, 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3030, Springer 2004 [contents] - 2003
- [c25]Khanh Hoa Dam, Michael Winikoff:
Comparing Agent-Oriented Methodologies. AOIS 2003: 78-93 - [c24]John Thangarajah, Lin Padgham, Michael Winikoff:
Detecting & exploiting positive goal interaction in intelligent agents. AAMAS 2003: 401-408 - [c23]Sandy Dance, Malcolm Gorman, Lin Padgham, Michael Winikoff:
An evolving multi agent system for meteorological alerts. AAMAS 2003: 966-967 - [c22]David Poutakidis, Lin Padgham, Michael Winikoff:
An exploration of bugs and debugging in multi-agent systems. AAMAS 2003: 1100-1101 - [c21]John Thangarajah, Lin Padgham, Michael Winikoff:
Detecting & Avoiding Interference Between Goals in Intelligent Agents. IJCAI 2003: 721-726 - [c20]David Poutakidis, Lin Padgham, Michael Winikoff:
An Exploration of Bugs and Debugging in Multi-agent Systems. ISMIS 2003: 628-632 - 2002
- [c19]Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland:
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. ACSC 2002: 205-214 - [c18]Lin Padgham, Michael Winikoff:
Prometheus: A Methodology for Developing Intelligent Agents. AOSE 2002: 174-185 - [c17]Thomas Juan, Leon Sterling, Michael Winikoff:
Assembling Agent Oriented Software Engineering Methodologies from Features. AOSE 2002: 198-209 - [c16]Lin Padgham, Michael Winikoff:
Prometheus: a methodology for developing intelligent agents. AAMAS 2002: 37-38 - [c15]James Harland, Michael Winikoff:
Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939 - [c14]David Poutakidis, Lin Padgham, Michael Winikoff:
Debugging multi-agent systems using design artifacts: the case of interaction protocols. AAMAS 2002: 960-967 - [c13]John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer:
Avoiding Resource Conflicts in Intelligent Agents. ECAI 2002: 18-22 - [c12]Michael Winikoff, Lin Padgham, James Harland, John Thangarajah:
Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481 - [c11]James Harland, Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA 2002: 89-107 - 2001
- [c10]Michael Winikoff, Lin Padgham, James Harland:
Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568 - 2000
- [j1]Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff:
Verifying Requirements Through Mathematical Modelling and Animation. Int. J. Softw. Eng. Knowl. Eng. 10(2): 251-273 (2000) - [c9]James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. ARW 2000 - [c8]James Harland, Tatjana Lutovac, Michael Winikoff:
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268 - [c7]Abdullah-Al Amin, Michael Winikoff, James Harland:
Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817 - [c6]James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000: 1-16
1990 – 1999
- 1998
- [c5]Edmund Kazmierczak, Michael Winikoff, Philip W. Dart:
Verifying Model Oriented Specifications through Animation. APSEC 1998: 254-261 - 1996
- [c4]James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: An Overview. AMAST 1996: 391-405 - [c3]James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: A System Demonstration. AMAST 1996: 599 - 1995
- [c2]Michael Winikoff, James Harland:
Implementing the Linear Logic Programming Language Lygon. ILPS 1995: 66-80 - [c1]James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: A Brief Overview. ILPS 1995: 636
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
