http://www.w3.org/ns/prov#value | - This, you won???t be surprised, is a huge problem, since finding an ???optimal??? mechanism without the revelation principle means searching over any way to use messages that imply something about types revealed in some sequence, whereas a direct truthful mechanism means searching only over the class of mechanisms where every agent states his type and does not want to mimic some other type.
|