{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:48:09Z","timestamp":1762102089539,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/ihtc.2017.8058188","type":"proceedings-article","created":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T16:28:19Z","timestamp":1507220899000},"page":"202-206","source":"Crossref","is-referenced-by-count":3,"title":["A virtual marketplace for goods and services for people with social needs"],"prefix":"10.1109","author":[{"given":"Daniela","family":"Rosu","sequence":"first","affiliation":[]},{"given":"Dionne M.","family":"Aleman","sequence":"additional","affiliation":[]},{"given":"J. Christopher","family":"Beck","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Chignell","sequence":"additional","affiliation":[]},{"given":"Mariano","family":"Consens","sequence":"additional","affiliation":[]},{"given":"Mark S.","family":"Fox","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Gruninger","sequence":"additional","affiliation":[]},{"given":"Chang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Yi","family":"Ru","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Sanner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Z3 An efficient SMT solver","year":"2008","author":"de moura","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2998580"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s003550050160"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-4068(74)90033-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-007-0170-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11301-008-0033-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11301-008-0036-4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1051\/ro\/2015030"},{"key":"ref18","article-title":"Making the most of fleets: A profit-maximizing multi-vehicle pickup and delivery selection problem","author":"qiu","year":"2016","journal-title":"European Journal of Operational Research"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15396-9_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4018\/jswis.2006010103"},{"key":"ref3","first-page":"82","article-title":"Blackboard Application Systems and a Knowledge Engineering Perspective","volume":"7","author":"nii","year":"1986","journal-title":"AI Magazine"},{"key":"ref6","article-title":"Methodology for the design and evaluation of ontologies","author":"gruninger","year":"1995","journal-title":"Proceedings of the Workshop on Basic Ontological Issues in Knowledge Sharing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CASoN.2012.6412428"},{"key":"ref8","article-title":"Theorem proving in the ontology lifecycle","author":"atsumi","year":"2010","journal-title":"Knowledge Engineering and Ontology Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900007797"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90063-3"},{"journal-title":"Organisation for Economic Co-operation and Development Tech Rep","article-title":"Society at a Glance 2016: OECD Social Indicators","year":"2016","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0364-0213(87)80015-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.2015.0666"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44953-1_34"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33954-2_5"}],"event":{"name":"2017 IEEE Canada International Humanitarian Technology Conference (IHTC)","start":{"date-parts":[[2017,7,21]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2017,7,22]]}},"container-title":["2017 IEEE Canada International Humanitarian Technology Conference (IHTC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8049746\/8058154\/08058188.pdf?arnumber=8058188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T16:00:14Z","timestamp":1513180814000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8058188\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ihtc.2017.8058188","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}