1
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... case study -- Toward a formal model of commitment for resource bounded agents -- Compositional formal...

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... formal specification of dMARS -- A framework for argumentation-based negotiation -- Agent modelling...

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... through the belief-function formalism in a multi-agent environment -- Formal specification of beliefs...