Searching for authors named "Michael Winikoff" – sorted by Relevance.
-
An AgentSpeak meta-interpreter and its applications
- An AgentSpeak Meta-Interpreter and its Applications Michael Winikoff RMIT University, Melbourne
- Cited by 3 (1 self) – Add To MetaCart
-
Hitch Hiker's Guide to Lygon 0.7
- Hitch Hiker's Guide to Lygon 0.7 Michael Winikoff 1 Technical Report 96/36 Department of Computer
- Cited by 1 (0 self) – Add To MetaCart
-
Analysing Modes and Subtypes in Z Specifications
- Analysing Modes and Subtypes in Z Specifications Michael Winikoff Technical Report 98
- Cited by 1 (1 self) – Add To MetaCart
-
Implementing commitment-based interaction
- Implementing Commitment-Based Interaction Michael Winikoff RMIT University Melbourne, Australia
- Cited by 10 (0 self) – Add To MetaCart
-
The prometheus methodology
- 1 Introduction The Prometheus Methodology Lin Padgham and Michael Winikoff RMIT University
- Add To MetaCart
-
Agent Negotiation as Proof Search in Linear Logic
- Agent Negotiation as Proof Search in Linear Logic James Harland jah@(email omitted); Michael
- Cited by 4 (0 self) – Add To MetaCart
-
Language Design Issues for Agents based on Linear Logic
- and Michael Winikoff School of Computer Science and Information Technology RMIT University GPO Box 2476V
- Cited by 2 (0 self) – Add To MetaCart
-
Agents via Mixed-mode Computation in Linear Logic
- Agents via Mixed-mode Computation in Linear Logic James Harland (jah@(email omitted);) and Michael
- Cited by 5 (1 self) – Add To MetaCart
-
Hermes: Designing goal-oriented agent interactions
- Hermes: Designing Goal-Oriented Agent Interactions Christopher Cheong and Michael Winikoff RMIT
- Cited by 14 (4 self) – Add To MetaCart
-
Flexibility and Robustness in Agent Interaction Protocols
- for BDI agents. See http://www.agent-software.com for more information. Michael Winikoff RMIT University
- Cited by 5 (0 self) – Add To MetaCart

