Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web | IEEE Conference Publication | IEEE Xplore