Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Specification of Multi-Agent Systems: a Real-World Case
| Content Provider | CiteSeerX |
|---|---|
| Author | Nick R. Jennings, C. Jan Treur, A. Frances Brazier, A. Barbara Dunin Keplicz, B. |
| Abstract | In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Multi-agent System Formal Specification Real-world Multi-agent Application Useful Formal Specification Framework Framework Desire Conceptual Level Real-world Case |
| Content Type | Text |