{"id":"https://openalex.org/W2563362479","doi":null,"title":"Logic programming and cardinality constraints : theory and practice","display_name":"Logic programming and cardinality constraints : theory and practice","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2563362479","mag":"2563362479"},"language":"en","primary_location":{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/4595","doi":null,"is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/4595","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/c05c2df5-d6f8-400e-846c-f92b10b95059/download","source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"G4 Monografiav\u00e4it\u00f6skirja"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://aaltodoc.aalto.fi/bitstreams/c05c2df5-d6f8-400e-846c-f92b10b95059/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060207516","display_name":"Tommi Syrj\u00e4nen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Tommi Syrj\u00e4nen","raw_affiliation_strings":["Aalto Univ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalto Univ","institution_ids":["https://openalex.org/I9927081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060207516"],"corresponding_institution_ids":["https://openalex.org/I9927081"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9878000020980835,"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.9878000020980835,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.002899999963119626,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.0017999999690800905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"answer set programming","score":0.9670000076293945},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.7080000042915344},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"stable model semantics","score":0.8429999947547913},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.6510000228881836},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.7789999842643738},{"id":"https://openalex.org/keywords/automated-planning","display_name":"automated planning","score":0.8149999976158142},{"id":"https://openalex.org/keywords/np-complete-problems","display_name":"NP-complete problems","score":0.6679999828338623}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.7240009903907776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6538015604019165},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6098933815956116},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.6005322337150574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5909396409988403},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5641582608222961},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.5327745676040649},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.5192951560020447},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4900590181350708},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.4620465636253357},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.457109272480011},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3477417230606079},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34067580103874207},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33732739090919495},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.2756974697113037},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/4595","doi":null,"is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/4595","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/c05c2df5-d6f8-400e-846c-f92b10b95059/download","source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"G4 Monografiav\u00e4it\u00f6skirja"},{"id":"mag:2563362479","doi":null,"is_oa":false,"landing_page_url":"http://lib.tkk.fi/Diss/2009/isbn9789512297634/isbn9789512297634.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/4595","doi":null,"is_oa":true,"landing_page_url":"https://aaltodoc.aalto.fi/handle/123456789/4595","pdf_url":"https://aaltodoc.aalto.fi/bitstreams/c05c2df5-d6f8-400e-846c-f92b10b95059/download","source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"G4 Monografiav\u00e4it\u00f6skirja"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2563362479.pdf","grobid_xml":"https://content.openalex.org/works/W2563362479.grobid-xml"},"referenced_works_count":172,"referenced_works":["https://openalex.org/W16661495","https://openalex.org/W30044362","https://openalex.org/W51760376","https://openalex.org/W63142421","https://openalex.org/W89291972","https://openalex.org/W91024833","https://openalex.org/W100292100","https://openalex.org/W104570697","https://openalex.org/W110365008","https://openalex.org/W125332145","https://openalex.org/W136379439","https://openalex.org/W160945464","https://openalex.org/W163058484","https://openalex.org/W168384132","https://openalex.org/W171229784","https://openalex.org/W189303310","https://openalex.org/W202248608","https://openalex.org/W203718333","https://openalex.org/W203724575","https://openalex.org/W211091001","https://openalex.org/W245469613","https://openalex.org/W290407174","https://openalex.org/W1484166989","https://openalex.org/W1488953560","https://openalex.org/W1491178396","https://openalex.org/W1494073292","https://openalex.org/W1503635106","https://openalex.org/W1505903937","https://openalex.org/W1508718221","https://openalex.org/W1510141369","https://openalex.org/W1511336005","https://openalex.org/W1511711492","https://openalex.org/W1513230022","https://openalex.org/W1515684991","https://openalex.org/W1519044014","https://openalex.org/W1522831825","https://openalex.org/W1530638520","https://openalex.org/W1537418306","https://openalex.org/W1539967703","https://openalex.org/W1540263588","https://openalex.org/W1540492824","https://openalex.org/W1541434994","https://openalex.org/W1542080360","https://openalex.org/W1548519218","https://openalex.org/W1550517172","https://openalex.org/W1552168992","https://openalex.org/W1554533203","https://openalex.org/W1555272910","https://openalex.org/W1563712336","https://openalex.org/W1563821244","https://openalex.org/W1565675663","https://openalex.org/W1569435728","https://openalex.org/W1571317087","https://openalex.org/W1573306412","https://openalex.org/W1577410338","https://openalex.org/W1577827016","https://openalex.org/W1578830675","https://openalex.org/W1579369115","https://openalex.org/W1582573023","https://openalex.org/W1592150968","https://openalex.org/W1597194011","https://openalex.org/W1597306959","https://openalex.org/W1597810128","https://openalex.org/W1598820892","https://openalex.org/W1600919542","https://openalex.org/W1602726442","https://openalex.org/W1602972790","https://openalex.org/W1607801167","https://openalex.org/W1620410031","https://openalex.org/W1633032608","https://openalex.org/W1637314713","https://openalex.org/W1639901403","https://openalex.org/W1645024293","https://openalex.org/W1663140555","https://openalex.org/W1672891595","https://openalex.org/W1694306392","https://openalex.org/W1709155369","https://openalex.org/W1709754610","https://openalex.org/W1732487661","https://openalex.org/W1750970660","https://openalex.org/W1766332311","https://openalex.org/W1770842667","https://openalex.org/W1774324140","https://openalex.org/W1797711932","https://openalex.org/W1825352045","https://openalex.org/W1860603376","https://openalex.org/W1924552249","https://openalex.org/W1938103548","https://openalex.org/W1963591676","https://openalex.org/W1968079292","https://openalex.org/W1968513265","https://openalex.org/W1969965298","https://openalex.org/W1970654545","https://openalex.org/W1973898358","https://openalex.org/W1976055110","https://openalex.org/W1976876676","https://openalex.org/W1985274317","https://openalex.org/W1986006371","https://openalex.org/W1987080413","https://openalex.org/W1988083342","https://openalex.org/W1988194176","https://openalex.org/W1988650943","https://openalex.org/W1988827098","https://openalex.org/W1993512664","https://openalex.org/W1995303925","https://openalex.org/W1998162300","https://openalex.org/W2005465900","https://openalex.org/W2005814556","https://openalex.org/W2009098458","https://openalex.org/W2011039300","https://openalex.org/W2011124182","https://openalex.org/W2011992362","https://openalex.org/W2019597813","https://openalex.org/W2021920687","https://openalex.org/W2022482529","https://openalex.org/W2023578426","https://openalex.org/W2024943265","https://openalex.org/W2025460523","https://openalex.org/W2033825565","https://openalex.org/W2042629502","https://openalex.org/W2043673291","https://openalex.org/W2049590056","https://openalex.org/W2051739852","https://openalex.org/W2054159566","https://openalex.org/W2056850725","https://openalex.org/W2061146398","https://openalex.org/W2061876041","https://openalex.org/W2062897452","https://openalex.org/W2069156007","https://openalex.org/W2070598037","https://openalex.org/W2076698873","https://openalex.org/W2083424831","https://openalex.org/W2085084839","https://openalex.org/W2087563242","https://openalex.org/W2092211394","https://openalex.org/W2092842298","https://openalex.org/W2095709533","https://openalex.org/W2097366413","https://openalex.org/W2097576831","https://openalex.org/W2099531973","https://openalex.org/W2105869173","https://openalex.org/W2106614716","https://openalex.org/W2108637261","https://openalex.org/W2108911687","https://openalex.org/W2114568665","https://openalex.org/W2119055724","https://openalex.org/W2126160338","https://openalex.org/W2126260950","https://openalex.org/W2129766896","https://openalex.org/W2132745831","https://openalex.org/W2141740710","https://openalex.org/W2143382644","https://openalex.org/W2147921232","https://openalex.org/W2152131859","https://openalex.org/W2154595228","https://openalex.org/W2155322595","https://openalex.org/W2162621793","https://openalex.org/W2167505882","https://openalex.org/W2170408876","https://openalex.org/W2171798962","https://openalex.org/W2175390224","https://openalex.org/W2182067096","https://openalex.org/W2182999079","https://openalex.org/W2295882966","https://openalex.org/W2337392266","https://openalex.org/W2399343913","https://openalex.org/W2483404804","https://openalex.org/W2611415697","https://openalex.org/W2937456179","https://openalex.org/W2988172561","https://openalex.org/W3021535722","https://openalex.org/W3021909058"],"related_works":["https://openalex.org/W7057688411","https://openalex.org/W1554939680","https://openalex.org/W163058484","https://openalex.org/W7096807447","https://openalex.org/W3194882375","https://openalex.org/W7100595363","https://openalex.org/W1570404716","https://openalex.org/W91024833","https://openalex.org/W7095885063","https://openalex.org/W7100619839"],"abstract_inverted_index":{"Answer":[0],"set":[1,20,42],"programming":[2,295,322],"(ASP)":[3],"is":[4,105,144,162,204,266],"a":[5,16,19,24,46,98,114,139,158,175,192,212,238,260,263,351],"method":[6],"for":[7,195,288,306,365],"solving":[8],"hard":[9],"problems":[10,96,308,346],"using":[11,171,309,347],"computational":[12,250],"logic.":[13],"We":[14,210,247,268,283,313,349,370],"describe":[15],"problem":[17],"as":[18,80,82,329],"of":[21,23,40,123,129,151,157,170,215,232,252,272],"formulas":[22],"declarative":[25,140],"logical":[26],"language":[27,69,104,117,126,137,357],"in":[28,97,107,127,198,206,279,387],"such":[29,233],"way":[30],"that":[31,143,220,242,257,274],"the":[32,36,41,52,121,124,132,147,172,199,207,249,280,310,380],"solutions":[33],"correspond":[34],"to":[35,50,89,131,182,190,379,382],"models":[37,231],"(answer":[38],"sets)":[39],"and":[43,77,100,118,255,277,297,362],"then":[44,119],"use":[45],"general-purpose":[47],"inference":[48],"engine":[49],"find":[51],"answer":[53],"sets.":[54],"\\n":[55,135,201,292,332],"\\nIn":[56],"this":[57],"work":[58],"we":[59,111,243,300,316,338,341,374],"define":[60,120],"an":[61,286,326,330,334,355],"ASP":[62,319,327],"language,":[63],"cardinality":[64,76],"constraint":[65],"programs":[66,73,234,254,273],"(CCP).":[67],"The":[68,103,155,229],"extends":[70],"normal":[71,152],"logic":[72,153],"by":[74,237,324],"adding":[75],"conditional":[78],"literals":[79],"well":[81],"choice":[83],"rules.":[84],"These":[85],"extensions":[86],"allow":[87],"us":[88],"represent":[90],"many":[91],"if":[92],"not":[93],"most":[94],"NP-complete":[95],"concise":[99],"intuitive":[101],"way.":[102],"defined":[106,163],"two":[108],"phases":[109],"where":[110],"first":[112],"introduce":[113],"simple":[115],"basic":[116,133],"constructs":[122],"full":[125],"terms":[128],"translations":[130],"language.":[134],"\\nThe":[136,202],"has":[138,262],"formal":[141],"semantics":[142,150,156,203],"based":[145],"on":[146],"stable":[148,230,264],"model":[149,265],"programs.":[154,291],"program":[159,176,261],"with":[160,180,320],"variables":[161],"via":[164],"its":[165],"ground":[166],"instantiation.":[167],"In":[168],"addition":[169],"Herbrand":[173],"instantiation":[174,241],"can":[177,244,301,317,342,375],"be":[178],"instantiated":[179],"respect":[181],"some":[183],"other":[184],"universe,":[185],"which":[186],"makes":[187],"it":[188],"possible":[189],"have":[191],"direct":[193],"support":[194],"interpreted":[196],"functions":[197],"semantics.":[200],"undecidable":[205],"general":[208],"case.":[209],"identify":[211,269],"syntactic":[213],"subclass":[214],"CCPs,":[216],"namely":[217],"omega-restricted":[218,253,290],"programs,":[219],"are":[221,227,235,275],"decidable":[222],"even":[223],"when":[224],"function":[225],"symbols":[226],"allowed.":[228],"created":[236],"finite":[239],"relevant":[240],"always":[245],"compute.":[246],"analyze":[248],"complexity":[251],"show":[256,298],"deciding":[258],"whether":[259],"2-NEXP-complete.":[267],"further":[270],"subclasses":[271],"NP-":[276],"NEXP-complete":[278],"same":[281],"sense.":[282],"also":[284,371],"present":[285,350],"algorithm":[287],"instantiating":[289],"\\nWe":[293],"discuss":[294],"methodology":[296],"how":[299,315,340,373],"create":[302],"uniform":[303],"CCP":[304],"encodings":[305,364,381],"different":[307],"generate-and-test":[311],"methodology.":[312],"examine":[314,339,372],"combine":[318],"traditional":[321],"languages":[323],"treating":[325],"solver":[328],"oracle.":[331],"\\nAs":[333],"extended":[335],"case":[336],"study":[337],"solve":[343],"AI":[344],"planning":[345,358,368],"ASP.":[348],"systematic":[352],"translation":[353],"from":[354],"action":[356],"formalism":[359],"into":[360],"CCPs":[361],"give":[363],"three":[366],"sample":[367],"domains.":[369],"add":[376],"domain-specific":[377],"knowledge":[378],"make":[383],"them":[384],"more":[385],"efficient":[386],"practice.":[388]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2017-01-06T00:00:00"}