Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
Carles Sierra, Peyman Faratin, Nicholas R. Jenning...
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
Modelling human interaction and decision-making within a simulation presents a particular challenge. This paper describes a methodology that is being developed known as `knowledge...
Stewart Robinson, Thanos Alifantis, Robert Hurrion...
In this paper we present a dialogue model which has as its main goat to place in context the utterance generated by the speaker. The dialogue model considers that an intervention ...
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...