Modelling Combinatorial Auctions in Linear Logic.

Daniele Porello, Ulle Endriss

Browse the full KR paper archive.