{"id":"https://openalex.org/W2037783464","doi":"https://doi.org/10.1145/1057387.1057389","title":"Dealing with incomplete knowledge on CLP( <i>FD</i> ) variable domains","display_name":"Dealing with incomplete knowledge on CLP( <i>FD</i> ) variable domains","publication_year":2005,"publication_date":"2005-03-01","ids":{"openalex":"https://openalex.org/W2037783464","doi":"https://doi.org/10.1145/1057387.1057389","mag":"2037783464"},"language":"en","primary_location":{"id":"doi:10.1145/1057387.1057389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1057387.1057389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1057387.1057389","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"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,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1057387.1057389","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088751356","display_name":"Marco Gavanelli","orcid":"https://orcid.org/0000-0001-7433-5899"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Marco Gavanelli","raw_affiliation_strings":["University of Ferrara, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"University of Ferrara, Ferrara, Italy","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028993591","display_name":"Evelina Lamma","orcid":"https://orcid.org/0000-0003-2747-4292"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Evelina Lamma","raw_affiliation_strings":["University of Ferrara, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"University of Ferrara, Ferrara, Italy","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040978920","display_name":"Paola Mello","orcid":"https://orcid.org/0000-0002-5929-8193"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Mello","raw_affiliation_strings":["University of Bologna, Bologna, Italy","University of Bologna , Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"University of Bologna , Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071259603","display_name":"Michela Milano","orcid":"https://orcid.org/0000-0001-7379-1411"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michela Milano","raw_affiliation_strings":["University of Bologna, Bologna, Italy","University of Bologna , Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"University of Bologna , Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088751356"],"corresponding_institution_ids":["https://openalex.org/I201324441"],"apc_list":null,"apc_paid":null,"fwci":0.2595,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.63515677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":"2","first_page":"236","last_page":"263"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"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.9998999834060669,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9944999814033508,"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/T11106","display_name":"Data Management and Algorithms","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8604779243469238},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.6561558246612549},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6025694012641907},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.539947509765625},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5303162932395935},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5295311808586121},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5123399496078491},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5052099823951721},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4456270635128021},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4402582049369812},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.43434813618659973},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4324837327003479},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.3114590048789978},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23399019241333008},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.11019384860992432},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09994608163833618}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8604779243469238},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.6561558246612549},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6025694012641907},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.539947509765625},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5303162932395935},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5295311808586121},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5123399496078491},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5052099823951721},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4456270635128021},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4402582049369812},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.43434813618659973},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4324837327003479},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.3114590048789978},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23399019241333008},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.11019384860992432},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09994608163833618},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"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/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1057387.1057389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1057387.1057389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1057387.1057389","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"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,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:cris.unibo.it:11585/1830","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/1830","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unife.it:11392/1204164","is_oa":false,"landing_page_url":"http://hdl.handle.net/11392/1204164","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/1057387.1057389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1057387.1057389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1057387.1057389","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"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,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320314324","display_name":"Canadian Patient Safety Institute","ror":"https://ror.org/045vdnf39"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2037783464.pdf","grobid_xml":"https://content.openalex.org/works/W2037783464.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W2751752","https://openalex.org/W52074576","https://openalex.org/W57237496","https://openalex.org/W59411647","https://openalex.org/W65937437","https://openalex.org/W112178115","https://openalex.org/W153230822","https://openalex.org/W1486270631","https://openalex.org/W1502484951","https://openalex.org/W1507826157","https://openalex.org/W1559427309","https://openalex.org/W1574825808","https://openalex.org/W1589875594","https://openalex.org/W1814221162","https://openalex.org/W1982482731","https://openalex.org/W1994652641","https://openalex.org/W2002478775","https://openalex.org/W2011604219","https://openalex.org/W2027319813","https://openalex.org/W2036311242","https://openalex.org/W2036792541","https://openalex.org/W2056710678","https://openalex.org/W2063727779","https://openalex.org/W2085716817","https://openalex.org/W2091984336","https://openalex.org/W2112957923","https://openalex.org/W2115590028","https://openalex.org/W2119456262","https://openalex.org/W2121217029","https://openalex.org/W2122060442","https://openalex.org/W2123396057","https://openalex.org/W2135432705","https://openalex.org/W2136378377","https://openalex.org/W2138037655","https://openalex.org/W2150537182","https://openalex.org/W2152906186","https://openalex.org/W2172083825","https://openalex.org/W2531563875","https://openalex.org/W2914243275","https://openalex.org/W4285719527","https://openalex.org/W6629877527","https://openalex.org/W6633350624","https://openalex.org/W7073896338"],"related_works":["https://openalex.org/W1486916474","https://openalex.org/W4303044088","https://openalex.org/W1536604285","https://openalex.org/W1567852657","https://openalex.org/W2032348095","https://openalex.org/W1519282274","https://openalex.org/W2624275032","https://openalex.org/W2073925063","https://openalex.org/W1597500234","https://openalex.org/W4298442682"],"abstract_inverted_index":{"Constraint":[0],"Logic":[1],"Programming":[2],"languages":[3],"on":[4,46,105,127,140,154],"Finite":[5],"Domains,":[6],"CLP(":[7,74,95],"FD":[8,75,96,100],"),":[9,99],"provide":[10,202],"a":[11,82,131],"declarative":[12],"framework":[13],"for":[14,168],"Artificial":[15],"Intelligence":[16],"problems.":[17],"However,":[18],"in":[19],"many":[20],"real":[21],"life":[22],"cases,":[23],"domains":[24,110,169],"are":[25,50],"not":[26,51],"known":[27,53,141],"and":[28,60,122,144,185,194,205],"must":[29,61],"be":[30,62,103,116,125,152,199],"acquired":[31],"or":[32,107,173],"computed.":[33],"In":[34,91],"systems":[35,192],"that":[36,179,188],"interact":[37],"with":[38,81,148],"the":[39,47,55,58,73,92,162,177,180],"outer":[40],"world,":[41],"domain":[42,142],"elements":[43],"synthesize":[44],"information":[45],"environment,":[48],"they":[49],"all":[52],"at":[54],"beginning":[56],"of":[57,156],"computation,":[59],"retrieved":[63],"through":[64,120],"an":[65],"expensive":[66],"acquisition":[67],"process.In":[68],"this":[69],"article,":[70],"we":[71,186],"extend":[72],")":[76],"language":[77,150],"by":[78],"combining":[79],"it":[80,147],"new":[83],"sort":[84],"(called":[85,134],"Incrementally":[86],"specified":[87],"Sets,":[88],"I-Set":[89,98,112],").":[90,113],"resulting":[93],"language,":[94],"+":[97],"variables":[101],"can":[102,115,124,151,198],"defined":[104],"partially":[106],"fully":[108],"unknown":[109],"(":[111],"Domains":[114],"linked":[117],"each":[118],"other":[119],"relations,":[121],"constraints":[123],"imposed":[126],"them.":[128],"We":[129,175],"describe":[130,206],"propagation":[132],"algorithm":[133],"Known":[135],"Arc":[136],"Consistency":[137],"(KAC))":[138],"based":[139],"elements,":[143],"theoretically":[145],"compare":[146],"arc-consistency.The":[149],"implemented":[153],"top":[155],"different":[157,165,190],"CLP":[158,191],"systems,":[159],"thus":[160],"letting":[161],"user":[163],"exploit":[164],"possible":[166],"semantics":[167],"(e.g.,":[170],"lists,":[171],"sets":[172],"streams).":[174],"state":[176],"specifications":[178],"employed":[181],"system":[182],"should":[183],"provide,":[184],"show":[187],"two":[189],"(Conjunto":[193],"{":[195],"log":[196],"})":[197],"effectively":[200],"used.We":[201],"motivating":[203],"examples":[204],"promising":[207],"applications.":[208]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}