Keyphrases
- linear logic
- combinatorial auctions
- winner determination
- resource allocation
- mechanism design
- logic programming
- fixed point
- multi unit
- logical framework
- multi unit combinatorial auctions
- single item
- approximation algorithms
- sequent calculus
- desirable properties
- special case
- cut elimination
- mathematical programming
- inference rules
- auction mechanisms
- bidding strategies
- multi agent
- reinforcement learning