{"id":"https://openalex.org/W2202312838","doi":"https://doi.org/10.1017/s147106841600003x","title":"Solving stable matching problems using answer set programming","display_name":"Solving stable matching problems using answer set programming","publication_year":2016,"publication_date":"2016-03-07","ids":{"openalex":"https://openalex.org/W2202312838","doi":"https://doi.org/10.1017/s147106841600003x","mag":"2202312838"},"language":"en","primary_location":{"id":"doi:10.1017/s147106841600003x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841600003x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1512.05247","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"SOFIE DE CLERCQ","orcid":null},"institutions":[{"id":"https://openalex.org/I12607205","display_name":"University College Ghent","ror":"https://ror.org/00rs45z86","country_code":"BE","type":"education","lineage":["https://openalex.org/I12607205"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"SOFIE DE CLERCQ","raw_affiliation_strings":["Department of Applied Mathematics, Computer Science & Statistics, Ghent University, Ghent, Belgium (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, Computer Science & Statistics, Ghent University, Ghent, Belgium (e-mail:","institution_ids":["https://openalex.org/I12607205"]}]},{"author_position":"middle","author":{"id":null,"display_name":"STEVEN SCHOCKAERT","orcid":null},"institutions":[{"id":"https://openalex.org/I79510175","display_name":"Cardiff University","ror":"https://ror.org/03kk7td41","country_code":"GB","type":"education","lineage":["https://openalex.org/I79510175"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"STEVEN SCHOCKAERT","raw_affiliation_strings":["School of Computer Science & Informatics, Cardiff University, Cardiff, UK (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science & Informatics, Cardiff University, Cardiff, UK (e-mail:","institution_ids":["https://openalex.org/I79510175"]}]},{"author_position":"middle","author":{"id":null,"display_name":"MARTINE DE COCK","orcid":null},"institutions":[{"id":"https://openalex.org/I12607205","display_name":"University College Ghent","ror":"https://ror.org/00rs45z86","country_code":"BE","type":"education","lineage":["https://openalex.org/I12607205"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"MARTINE DE COCK","raw_affiliation_strings":["Center for Data Science, UW Tacoma, Tacoma, US Deparment of Applied Mathematics, Computer Science & Statistics, Ghent University, Ghent, Belgium (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Data Science, UW Tacoma, Tacoma, US Deparment of Applied Mathematics, Computer Science & Statistics, Ghent University, Ghent, Belgium (e-mail:","institution_ids":["https://openalex.org/I12607205"]}]},{"author_position":"last","author":{"id":null,"display_name":"ANN NOWE","orcid":null},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"ANN NOWE","raw_affiliation_strings":["Computational Modeling Lab, Vrije Universiteit Brussel, Brussels, Belgium (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Modeling Lab, Vrije Universiteit Brussel, Brussels, Belgium (e-mail:","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I12607205"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00262969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"16","issue":"3","first_page":"247","last_page":"268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6248000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6248000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.28619998693466187,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.01510000042617321,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7250000238418579},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6902999877929688},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.6758999824523926},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.607200026512146},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5687000155448914},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5601999759674072},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5213000178337097}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.795799970626831},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7250000238418579},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6902999877929688},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.6758999824523926},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.607200026512146},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5687000155448914},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5601999759674072},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5213000178337097},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44670000672340393},{"id":"https://openalex.org/C146393371","wikidata":"https://www.wikidata.org/wiki/Q620702","display_name":"Stable marriage problem","level":3,"score":0.40459999442100525},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3483000099658966},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3472999930381775},{"id":"https://openalex.org/C2778408900","wikidata":"https://www.wikidata.org/wiki/Q1329258","display_name":"Cardinal number (linguistics)","level":2,"score":0.3463999927043915},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2797999978065491},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.26350000500679016}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1017/s147106841600003x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841600003x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1512.05247","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1512.05247","pdf_url":"https://arxiv.org/pdf/1512.05247","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:archive.ugent.be:7171798","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-7171798","pdf_url":"https://biblio.ugent.be/publication/7171798/file/7171916.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1471-0684","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:digitalcommons.tacoma.uw.edu:tech_pub-1004","is_oa":false,"landing_page_url":"https://digitalcommons.tacoma.uw.edu/tech_pub/5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400628","display_name":"University of Washington Tacoma Digital Commons (University of Washington Tacoma)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210150356","host_organization_name":"University of Washington Tacoma","host_organization_lineage":["https://openalex.org/I4210150356"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"School of Engineering and Technology Publications","raw_type":"text"},{"id":"pmh:oai:https://orca.cardiff.ac.uk:96953","is_oa":false,"landing_page_url":"https://orca.cardiff.ac.uk/id/eprint/96953/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401195","display_name":"ORCA Online Research @Cardiff (Cardiff University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79510175","host_organization_name":"Cardiff University","host_organization_lineage":["https://openalex.org/I79510175"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:133354","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/solving-stable-matching-problems-using-answer-set-programming(6551189a-8282-491d-ab05-e7b96471abaf).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:133354","is_oa":false,"landing_page_url":"https://doi.org/10.1017/S147106841600003X","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1512.05247","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1512.05247","pdf_url":"https://arxiv.org/pdf/1512.05247","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1501062330","https://openalex.org/W1606891084","https://openalex.org/W1992351112","https://openalex.org/W2011268914","https://openalex.org/W2020728155","https://openalex.org/W2033301836","https://openalex.org/W2039985169","https://openalex.org/W2046229127","https://openalex.org/W2048888597","https://openalex.org/W2059209074","https://openalex.org/W2060780064","https://openalex.org/W2087432892","https://openalex.org/W2091138122","https://openalex.org/W2106500031","https://openalex.org/W2108186088","https://openalex.org/W2135050820","https://openalex.org/W2158059231","https://openalex.org/W3123258615","https://openalex.org/W3160286556","https://openalex.org/W4213094076","https://openalex.org/W4235234911","https://openalex.org/W4242255739","https://openalex.org/W6637399327"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Since":[1],"the":[2,5,29,40,52,68,91,121,129],"introduction":[3],"of":[4,51,70,75,84,93,123],"stable":[6,41,108,142],"marriage":[7],"problem":[8],"(SMP)":[9],"by":[10],"Gale":[11],"and":[12,17,64,154],"Shapley":[13],"(1962),":[14],"several":[15],"variants":[16],"extensions":[18],"have":[19],"been":[20],"investigated.":[21],"While":[22],"this":[23,45],"variety":[24],"is":[25],"useful":[26],"to":[27,66,105,116,133],"widen":[28],"application":[30],"potential,":[31],"each":[32],"variant":[33],"requires":[34],"a":[35],"new":[36],"algorithm":[37],"for":[38,144],"finding":[39],"matchings.":[42],"To":[43,89,120],"address":[44],"issue,":[46],"we":[47,80,96],"propose":[48],"an":[49],"encoding":[50,101,127],"SMP":[53,145],"using":[54],"answer":[55],"set":[56],"programming":[57],"(ASP),":[58],"which":[59,148],"can":[60,81],"straightforwardly":[61],"be":[62],"adapted":[63],"extended":[65],"suit":[67],"needs":[69],"specific":[71],"applications.":[72],"The":[73],"use":[74],"ASP":[76,100],"also":[77],"means":[78],"that":[79,112],"take":[82],"advantage":[83],"highly":[85],"efficient":[86],"off-the-shelf":[87],"solvers.":[88],"illustrate":[90],"flexibility":[92],"our":[94,99,124,126],"approach,":[95],"show":[97],"how":[98],"naturally":[102],"allows":[103],"us":[104],"select":[106],"optimal":[107,114],"matchings,":[109],"i.e.":[110],"matchings":[111,143],"are":[113,158],"according":[115],"some":[117],"user-specified":[118],"criterion.":[119],"best":[122],"knowledge,":[125],"offers":[128],"first":[130],"exact":[131],"implementation":[132],"find":[134],"sex-equal,":[135],"minimum":[136],"regret,":[137],"egalitarian":[138],"or":[139],"maximum":[140],"cardinality":[141],"instances":[146],"in":[147],"individuals":[149],"may":[150],"designate":[151],"unacceptable":[152],"partners":[153],"ties":[155],"between":[156],"preferences":[157],"allowed.":[159]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}