乐胖代购免代理版

{"id":"https://openalex.org/W4225114647","doi":"https://doi.org/10.1145/3527323","title":"Applying cognitive principles to model-finding output: the positive value of negative information","display_name":"Applying cognitive principles to model-finding output: the positive value of negative information","publication_year":2022,"publication_date":"2022-04-29","ids":{"openalex":"https://openalex.org/W4225114647","doi":"https://doi.org/10.1145/3527323"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3527323","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3527323","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3527323","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053769344","display_name":"Tristan Dyer","orcid":"https://orcid.org/0000-0001-9730-9319"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tristan Dyer","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079753562","display_name":"Tim Nelson","orcid":"https://orcid.org/0000-0002-9377-9943"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Nelson","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047286412","display_name":"Kathi Fisler","orcid":"https://orcid.org/0000-0002-7895-8206"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kathi Fisler","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024394821","display_name":"Shriram Krishnamurthi","orcid":"https://orcid.org/0000-0001-5184-1975"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shriram Krishnamurthi","raw_affiliation_strings":["Brown University, USA"],"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.919,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":8,"citation_normalized_percentile":{"value":0.914824,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":89},"biblio":{"volume":"6","issue":"OOPSLA1","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9977,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9974,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/value","display_name":"Value (mathematics)","score":0.5383988}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7270332},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5575183},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.54477185},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.539894},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5383988},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.44741032},{"id":"https://openalex.org/C161407221","wikidata":"https://www.wikidata.org/wiki/Q4382939","display_name":"Cognitive model","level":3,"score":0.42276737},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37720054},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.28381765},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.22260359},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.110559255},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3527323","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3527323","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3527323","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3527323","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation","award_id":"1714431"}],"datasets":[],"versions":[],"referenced_works_count":46,"referenced_works":["https://openalex.org/W1465565820","https://openalex.org/W1480909796","https://openalex.org/W1488252886","https://openalex.org/W173591250","https://openalex.org/W1976371754","https://openalex.org/W1986345213","https://openalex.org/W1991349500","https://openalex.org/W2005129294","https://openalex.org/W2012757283","https://openalex.org/W2013352133","https://openalex.org/W2050232116","https://openalex.org/W2053154970","https://openalex.org/W2074844852","https://openalex.org/W2080551711","https://openalex.org/W2085022598","https://openalex.org/W2116411029","https://openalex.org/W2120357670","https://openalex.org/W2124645092","https://openalex.org/W2134870162","https://openalex.org/W2143149798","https://openalex.org/W2150890663","https://openalex.org/W2151401338","https://openalex.org/W2152496361","https://openalex.org/W2159000095","https://openalex.org/W2166422915","https://openalex.org/W2173307028","https://openalex.org/W2410019603","https://openalex.org/W2598672795","https://openalex.org/W2605824804","https://openalex.org/W2614541902","https://openalex.org/W2744460230","https://openalex.org/W2809205514","https://openalex.org/W2908957302","https://openalex.org/W2914577637","https://openalex.org/W2962604136","https://openalex.org/W2963690694","https://openalex.org/W2970919161","https://openalex.org/W2996075572","https://openalex.org/W3027448892","https://openalex.org/W3165740410","https://openalex.org/W3216915523","https://openalex.org/W367605388","https://openalex.org/W4213179597","https://openalex.org/W4246691913","https://openalex.org/W4248218709","https://openalex.org/W4393891408"],"related_works":["https://openalex.org/W4300101497","https://openalex.org/W2962977872","https://openalex.org/W2582753012","https://openalex.org/W2365056927","https://openalex.org/W2362460754","https://openalex.org/W2351016899","https://openalex.org/W2325646826","https://openalex.org/W2130786469","https://openalex.org/W200146743","https://openalex.org/W1595924246"],"abstract_inverted_index":{"Model-finders,":[0],"such":[1],"as":[2],"SAT/SMT-solvers":[3],"and":[4,11,87,101,145],"Alloy,":[5],"are":[6],"used":[7],"widely":[8],"both":[9,18,98],"directly":[10],"embedded":[12],"in":[13,114,131,153],"domain-specific":[14],"tools.":[15],"They":[16],"support":[17,151],"conventional":[19],"verification":[20,24],"and,":[21],"unlike":[22],"other":[23],"tools,":[25],"property-free":[26],"exploration.":[27],"To":[28],"do":[29],"this":[30],"effectively,":[31],"they":[32],"must":[33,91],"produce":[34],"output":[35,44],"that":[36,106],"helps":[37],"users":[38,139,152],"with":[39,142],"these":[40,55],"tasks.":[41],"Unfortunately,":[42],"the":[43,69,94,117],"of":[45,77,119],"model-finders":[46],"has":[47],"seen":[48],"relatively":[49],"little":[50],"rigorous":[51],"human-factors":[52],"study.":[53],"Conventionally,":[54],"tools":[56,148],"tend":[57],"to":[58,83,110,136],"show":[59,84,105],"one":[60],"satisfying":[61],"instance":[62],"at":[63,85],"a":[64,128,132],"time.":[65],"Drawing":[66],"inspiration":[67],"from":[68],"cognitive":[70],"science":[71],"literature,":[72],"we":[73,104],"investigate":[74],"two":[75],"aspects":[76],"model-finder":[78,143],"output:":[79],"how":[80,138,146],"many":[81],"instances":[82,90,113,121],"once,":[86],"whether":[88],"all":[89],"actually":[92],"satisfy":[93],"input":[95],"constraints.":[96],"Using":[97],"controlled":[99],"studies":[100],"open-ended":[102],"talk-alouds,":[103],"there":[107],"is":[108,122,127],"benefit":[109],"showing":[111],"negative":[112],"certain":[115],"settings;":[116],"impact":[118],"multiple":[120],"less":[123],"clear.":[124],"Our":[125],"work":[126],"first":[129],"step":[130],"theoretically":[133],"grounded":[134],"approach":[135],"understanding":[137],"engage":[140],"cognitively":[141],"output,":[144],"those":[147],"might":[149],"better":[150],"doing":[154],"so.":[155]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4225114647","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-04-18T00:25:50.814687","created_date":"2022-05-01"}