Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces