511 search results - page 103 / 103 » On Modelling Multi-agent Systems Declaratively |
EON
2008
13 years 6 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...