{"id":"https://openalex.org/W2132360722","doi":"https://doi.org/10.1093/logcom/exs004","title":"Generalized constraint diagrams and the classical decision problem","display_name":"Generalized constraint diagrams and the classical decision problem","publication_year":2012,"publication_date":"2012-04-04","ids":{"openalex":"https://openalex.org/W2132360722","doi":"https://doi.org/10.1093/logcom/exs004","mag":"2132360722"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exs004","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exs004","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058556878","display_name":"Jim Burton","orcid":"https://orcid.org/0000-0002-0738-6677"},"institutions":[{"id":"https://openalex.org/I71637028","display_name":"University of Brighton","ror":"https://ror.org/04kp2b655","country_code":"GB","type":"education","lineage":["https://openalex.org/I71637028"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"J. Burton","raw_affiliation_strings":["Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail: ; ;","Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail:"],"affiliations":[{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail: ; ;","institution_ids":["https://openalex.org/I71637028"]},{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail:","institution_ids":["https://openalex.org/I71637028"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057312942","display_name":"Gem Stapleton","orcid":"https://orcid.org/0000-0002-6567-6752"},"institutions":[{"id":"https://openalex.org/I71637028","display_name":"University of Brighton","ror":"https://ror.org/04kp2b655","country_code":"GB","type":"education","lineage":["https://openalex.org/I71637028"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"G. Stapleton","raw_affiliation_strings":["Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail: ; ;","Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail:"],"affiliations":[{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail: ; ;","institution_ids":["https://openalex.org/I71637028"]},{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail:","institution_ids":["https://openalex.org/I71637028"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046857336","display_name":"John Howse","orcid":"https://orcid.org/0000-0002-2329-2726"},"institutions":[{"id":"https://openalex.org/I71637028","display_name":"University of Brighton","ror":"https://ror.org/04kp2b655","country_code":"GB","type":"education","lineage":["https://openalex.org/I71637028"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"J. Howse","raw_affiliation_strings":["Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail: ; ;","Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail:"],"affiliations":[{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail: ; ;","institution_ids":["https://openalex.org/I71637028"]},{"raw_affiliation_string":"Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK.E-mail:","institution_ids":["https://openalex.org/I71637028"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5046857336","https://openalex.org/A5057312942","https://openalex.org/A5058556878"],"corresponding_institution_ids":["https://openalex.org/I71637028"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.7092,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.74319744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"23","issue":"1","first_page":"199","last_page":"262"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9962999820709229,"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/constraint","display_name":"Constraint (computer-aided design)","score":0.5962940454483032},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5507715940475464},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.4154934883117676},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.389672189950943},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3506632447242737},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24589243531227112},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.13133111596107483},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.05860292911529541}],"concepts":[{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5962940454483032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5507715940475464},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.4154934883117676},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.389672189950943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3506632447242737},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24589243531227112},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.13133111596107483},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.05860292911529541}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exs004","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exs004","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/1c3dcd50-ca76-485a-996b-f5f8a2bb52cd","is_oa":false,"landing_page_url":"https://research.brighton.ac.uk/en/publications/1c3dcd50-ca76-485a-996b-f5f8a2bb52cd","pdf_url":null,"source":{"id":"https://openalex.org/S4306401758","display_name":"University of Brighton Repository (University of Brighton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I71637028","host_organization_name":"University of Brighton","host_organization_lineage":["https://openalex.org/I71637028"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Burton, J, Stapleton, G & Howse, J 2013, 'Generalized constraint diagrams and the classical decision problem', Journal of Logic and Computation, vol. 23, no. 1, pp. 199-262. https://doi.org/10.1093/logcom/exs004","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W186885383","https://openalex.org/W768724763","https://openalex.org/W1489784679","https://openalex.org/W1557269515","https://openalex.org/W1568252098","https://openalex.org/W1950421680","https://openalex.org/W1977205549","https://openalex.org/W1980139253","https://openalex.org/W1994711128","https://openalex.org/W2034351045","https://openalex.org/W2049592444","https://openalex.org/W2059161671","https://openalex.org/W2063089045","https://openalex.org/W2066031431","https://openalex.org/W2072955395","https://openalex.org/W2083771018","https://openalex.org/W2117724775","https://openalex.org/W2120184974","https://openalex.org/W2138741404","https://openalex.org/W2168613335","https://openalex.org/W2257936197","https://openalex.org/W4232177563"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2042127053","https://openalex.org/W2142036596","https://openalex.org/W2349580982"],"abstract_inverted_index":{"Constraint":[0],"diagrams":[1,42,78,84,94,167,199,223,251],"are":[2,87,131],"part":[3],"of":[4,7,31,48,57,89,101,145,152,164,184,191,200,208,224,231,242,263,267,295],"the":[5,19,55,58,66,121,149,157,165,182,193,201,206,221,225,240,249,256,282,289,296],"family":[6],"visual":[8],"logics":[9],"based":[10,276],"on":[11,65,277],"Euler":[12],"diagrams.":[13],"They":[14],"have":[15,43],"been":[16],"studied":[17],"since":[18],"1990s,":[20],"when":[21],"they":[22],"were":[23],"first":[24,74,150],"proposed":[25],"by":[26,69,204,247],"Kent":[27],"as":[28,210],"a":[29,46,50,62,96,133,142,161,178,189,211,217,243],"means":[30,190],"describing":[32],"formal":[33],"constraints":[34],"within":[35],"software":[36,274],"models.":[37],"Since":[38],"that":[39,107],"time,":[40],"constraint":[41,77,83,125],"evolved":[44],"in":[45,75,95,258,272,284],"number":[47],"ways;":[49],"crucial":[51],"refinement":[52],"came":[53],"with":[54,123],"recognition":[56],"need":[59],"to":[60,196,238,265],"impose":[61],"reading":[63],"order":[64,135],"quantifiers":[67],"represented":[68],"diagrammatic":[70],"syntax.":[71],"This":[72,227],"resulted":[73],"augmented":[76],"and,":[79],"most":[80],"recently,":[81],"generalized":[82,245],"(GCDs),":[85],"which":[86,112,172,235,259,285],"composed":[88],"one":[90],"or":[91],"more":[92,117],"unitary":[93,166,185,198,250],"connected":[97],"graph.":[98],"The":[99],"design":[100],"GCDs":[102,130,146,268],"includes":[103],"several":[104,232],"syntactic":[105],"features":[106],"bring":[108],"increased":[109],"expressivity":[110],"but":[111],"also":[113],"make":[114],"their":[115],"metatheory":[116],"complex":[118],"than":[119],"is":[120,262],"case":[122],"preceding":[124],"diagram":[126,246],"notations.":[127],"In":[128,137],"particular,":[129],"given":[132],"second":[134],"semantics.":[136],"this":[138,170],"thesis":[139],"we":[140,173,215,280],"identify":[141,281],"decidable":[143],"fragment":[144],"and":[147,269],"provide":[148,288],"set":[151],"sound":[153],"inference":[154],"rules":[155],"for":[156,181,220,291],"system.":[158,297],"We":[159,176,254],"define":[160],"particular":[162],"class":[163,207],"drawn":[168],"from":[169],"fragment,":[171,202],"call":[174],"gamma-diagrams.":[175],"describe":[177],"decision":[179,194,218],"procedure":[180,195,219,228],"satisfiability":[183,241],"gamma-diagrams,":[186],"before":[187],"developing":[188],"applying":[192],"all":[197],"achieved":[203],"using":[205],"gamma-diagrams":[209],"reduction":[212],"class.":[213],"Next,":[214],"develop":[216],"non-unitary":[222],"fragment.":[226],"makes":[229],"use":[230],"normal":[233],"forms":[234],"enable":[236],"us":[237],"judge":[239],"(non-unitary)":[244],"examining":[248],"it":[252],"contains.":[253],"discuss":[255],"ways":[257,283],"our":[260,286],"work":[261],"benefit":[264],"users":[266],"those":[270],"engaged":[271],"making":[273],"tools":[275],"them.":[278],"Finally,":[279],"results":[287],"foundations":[290],"further":[292],"theoretical":[293],"study":[294]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}