A formal analysis of interest-based negotiation.

Iyad Rahwan Philippe Pasquier Liz Sonenberg Frank Dignum

Published in: Ann. Math. Artif. Intell. (2009)

Keyphrases

formal analysis
formal methods
ban logic
agent model
artificial intelligence
open source
database
expert systems