{"id":"https://openalex.org/W2964029271","doi":"https://doi.org/10.1017/s147106841100038x","title":"Relating weight constraint and aggregate programs: Semantics and representation","display_name":"Relating weight constraint and aggregate programs: Semantics and representation","publication_year":2011,"publication_date":"2011-06-30","ids":{"openalex":"https://openalex.org/W2964029271","doi":"https://doi.org/10.1017/s147106841100038x","mag":"2964029271"},"language":"en","primary_location":{"id":"doi:10.1017/s147106841100038x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s147106841100038x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E5910360A477F2934B990CBF30566A08/S147106841100038Xa.pdf/div-class-title-relating-weight-constraint-and-aggregate-programs-semantics-and-representation-div.pdf","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E5910360A477F2934B990CBF30566A08/S147106841100038Xa.pdf/div-class-title-relating-weight-constraint-and-aggregate-programs-semantics-and-representation-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100380138","display_name":"Guohua Liu","orcid":"https://orcid.org/0000-0001-8461-9473"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"GUOHUA LIU","raw_affiliation_strings":["University of Alberta, Edmonton T6G 2R3, Canada (e-mail:","University of alberta, edmonton t6g 2r3, canada e-mail: guohua@cs.ualberta.ca, you@cs.ualberta.ca#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Alberta, Edmonton T6G 2R3, Canada (e-mail:","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"University of alberta, edmonton t6g 2r3, canada e-mail: guohua@cs.ualberta.ca, you@cs.ualberta.ca#TAB#","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103160823","display_name":"Jia-Huai You","orcid":"https://orcid.org/0000-0001-9372-4371"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"JIA-HUAI YOU","raw_affiliation_strings":["University of Alberta, Edmonton T6G 2R3, Canada (e-mail:","University of alberta, edmonton t6g 2r3, canada e-mail: guohua@cs.ualberta.ca, you@cs.ualberta.ca#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Alberta, Edmonton T6G 2R3, Canada (e-mail:","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"University of alberta, edmonton t6g 2r3, canada e-mail: guohua@cs.ualberta.ca, you@cs.ualberta.ca#TAB#","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100380138"],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.39261808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"1","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9969000220298767,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9865000247955322,"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/stable-model-semantics","display_name":"Stable model semantics","score":0.8295722007751465},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.7977773547172546},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6989227533340454},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6072695255279541},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5830074548721313},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5118774175643921},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5067387223243713},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5031189322471619},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49264127016067505},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46863627433776855},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.43334323167800903},{"id":"https://openalex.org/keywords/aggregate","display_name":"Aggregate (composite)","score":0.430820494890213},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.33895331621170044},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26850271224975586}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.8295722007751465},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.7977773547172546},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6989227533340454},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6072695255279541},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5830074548721313},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5118774175643921},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5067387223243713},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5031189322471619},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49264127016067505},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46863627433776855},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.43334323167800903},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.430820494890213},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.33895331621170044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26850271224975586},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s147106841100038x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s147106841100038x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E5910360A477F2934B990CBF30566A08/S147106841100038Xa.pdf/div-class-title-relating-weight-constraint-and-aggregate-programs-semantics-and-representation-div.pdf","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"}],"best_oa_location":{"id":"doi:10.1017/s147106841100038x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s147106841100038x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E5910360A477F2934B990CBF30566A08/S147106841100038Xa.pdf/div-class-title-relating-weight-constraint-and-aggregate-programs-semantics-and-representation-div.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2964029271.pdf","grobid_xml":"https://content.openalex.org/works/W2964029271.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W80590317","https://openalex.org/W91024833","https://openalex.org/W100292100","https://openalex.org/W134248041","https://openalex.org/W1497192272","https://openalex.org/W1508718221","https://openalex.org/W1511456606","https://openalex.org/W1520085989","https://openalex.org/W1520574003","https://openalex.org/W1540263588","https://openalex.org/W1544722557","https://openalex.org/W1578430302","https://openalex.org/W1581922034","https://openalex.org/W1598820892","https://openalex.org/W1672891595","https://openalex.org/W1694306392","https://openalex.org/W1800801472","https://openalex.org/W1854994931","https://openalex.org/W1919787233","https://openalex.org/W1924767599","https://openalex.org/W1968513265","https://openalex.org/W1988666619","https://openalex.org/W2011124182","https://openalex.org/W2054159566","https://openalex.org/W2069156007","https://openalex.org/W2084895856","https://openalex.org/W2087563242","https://openalex.org/W2100320308","https://openalex.org/W2100699693","https://openalex.org/W2104583282","https://openalex.org/W2105869173","https://openalex.org/W2120811814","https://openalex.org/W2140181437","https://openalex.org/W2151485489","https://openalex.org/W2152131859","https://openalex.org/W2171987376","https://openalex.org/W2399343913","https://openalex.org/W3099886518","https://openalex.org/W4285719527","https://openalex.org/W6603669909","https://openalex.org/W6629959409","https://openalex.org/W6630450404","https://openalex.org/W6631392446","https://openalex.org/W6640249487","https://openalex.org/W6712688321"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W1988438613","https://openalex.org/W2070801544","https://openalex.org/W2072493788","https://openalex.org/W2077853828","https://openalex.org/W1487472891","https://openalex.org/W1558467648","https://openalex.org/W2623701236","https://openalex.org/W1564757635"],"abstract_inverted_index":{"Abstract":[0],"Weight":[1],"constraint":[2,36,76,97,140,180,218,254,275],"and":[3,38,61],"aggregate":[4,48,69,214,244,288],"programs":[5,13,37,53,58,70,102,181,184,215,245],"are":[6,54,84,266],"among":[7],"the":[8,21,30,39,64,81,104,116,127,130,156,160,167,171,190,197,208,240,247,262,273],"most":[9],"widely":[10],"used":[11],"logic":[12,57,183],"with":[14,59,185,261],"constraints.":[15],"In":[16],"this":[17],"paper,":[18],"we":[19,88],"relate":[20],"semantics":[22,33,42,67,83,106,119,132,173,198],"of":[23,27,52,56,95,159,203,210,213,243,277],"these":[24],"two":[25,82,105,131,172],"classes":[26,51],"programs,":[28,98],"namely,":[29,207],"stable":[31,112,117,161],"model":[32,113,118,162],"for":[34,47,68,91,252,287],"weight":[35,75,96,139,179,217,231,253,274],"answer":[40,65,191,241,248,284],"set":[41,66,192,249,285],"based":[43],"on":[44,196],"conditional":[45],"satisfaction":[46],"programs.":[49,77,219,255,289],"Both":[50],"instances":[55],"constraints,":[60],"in":[62],"particular,":[63],"can":[71,133,227],"be":[72,121,134,153,228],"applied":[73],"to":[74,142,182,200,238,283],"We":[78,124,164,220],"show":[79,89,125,221,271],"that":[80,90,126,148,222,272],"closely":[85],"related.":[86],"First,":[87],"a":[92,111,138,143,176,204,280],"broad":[93],"class":[94],"called":[99],"strongly":[100,144],"satisfiable":[101,145],",":[103],"coincide.":[107],"When":[108],"they":[109],"disagree,":[110],"admitted":[114],"by":[115,136,174,216,230],"may":[120,152],"circularly":[122],"justified.":[123],"gap":[128],"between":[129,170],"closed":[135],"transforming":[137],"program":[141],"one":[146],"so":[147],"no":[149],"circular":[150],"models":[151],"generated":[154],"under":[155],"current":[157],"implementation":[158],"semantics.":[163,193],"further":[165],"demonstrate":[166],"close":[168],"relationship":[169],"formulating":[175],"transformation":[177],"from":[178],"nested":[186],"expressions,":[187],"which":[188,270],"preserves":[189],"Our":[194],"study":[195],"leads":[199],"an":[201],"investigation":[202],"methodological":[205],"issue,":[206],"possibility":[209],"compact":[211],"representation":[212],"almost":[223],"all":[224],"standard":[225],"aggregates":[226,265,278],"encoded":[229],"constraints":[232],"compactly.":[233],"This":[234,256],"makes":[235],"it":[236],"possible":[237],"compute":[239],"sets":[242],"using":[246],"programming":[250],"solvers":[251],"approach":[257,282],"is":[258],"compared":[259],"experimentally":[260],"ones":[263],"where":[264],"handled":[267],"more":[268],"explicitly,":[269],"encoding":[276],"enables":[279],"competitive":[281],"computation":[286]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}