{"id":"https://openalex.org/W2095127545","doi":"https://doi.org/10.1142/s0218213014600276","title":"Dynamic Constraint Satisfaction with Space Reduction in Smart Environments","display_name":"Dynamic Constraint Satisfaction with Space Reduction in Smart Environments","publication_year":2014,"publication_date":"2014-12-01","ids":{"openalex":"https://openalex.org/W2095127545","doi":"https://doi.org/10.1142/s0218213014600276","mag":"2095127545"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213014600276","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213014600276","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","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/A5030949796","display_name":"Viktoriya Degeler","orcid":"https://orcid.org/0000-0001-7054-3770"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Viktoriya Degeler","raw_affiliation_strings":["Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000217379","display_name":"Alexander Lazovik","orcid":"https://orcid.org/0000-0002-6337-1840"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alexander Lazovik","raw_affiliation_strings":["Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030949796"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.16642846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"23","issue":"06","first_page":"1460027","last_page":"1460027"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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.9998000264167786,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9983000159263611,"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.9919000267982483,"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.8775606155395508},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.601209282875061},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.5999379754066467},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5837236642837524},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5747619271278381},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5609465837478638},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5454363226890564},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.523106575012207},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5065990686416626},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.47440478205680847},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.45288586616516113},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4490169882774353},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42479994893074036},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3912719190120697},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2490641176700592},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2266216278076172}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8775606155395508},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.601209282875061},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.5999379754066467},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5837236642837524},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5747619271278381},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5609465837478638},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5454363226890564},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.523106575012207},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5065990686416626},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.47440478205680847},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.45288586616516113},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4490169882774353},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42479994893074036},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3912719190120697},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2490641176700592},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2266216278076172},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218213014600276","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213014600276","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-article"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/ec530b3c-5c06-4649-b580-b7cfb2659a55","is_oa":false,"landing_page_url":"https://research.rug.nl/en/publications/ec530b3c-5c06-4649-b580-b7cfb2659a55","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Degeler, V & Lazovik, A 2014, 'Dynamic Constraint Satisfaction with Space Reduction in Smart Environments', International Journal on Artificial Intelligence Tools, vol. 23, no. 06, 1460027. https://doi.org/10.1142/S0218213014600276","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5299999713897705,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W59411647","https://openalex.org/W153230822","https://openalex.org/W1976709552","https://openalex.org/W1987789460","https://openalex.org/W2001291669","https://openalex.org/W2030989609","https://openalex.org/W2055667874","https://openalex.org/W2061734130","https://openalex.org/W2068886975","https://openalex.org/W2070304761","https://openalex.org/W2092949296","https://openalex.org/W2135432705","https://openalex.org/W2148318628","https://openalex.org/W2161459931","https://openalex.org/W2169653928","https://openalex.org/W2171958326","https://openalex.org/W2264413202","https://openalex.org/W2741261446"],"related_works":["https://openalex.org/W2252314269","https://openalex.org/W2091348864","https://openalex.org/W2093568763","https://openalex.org/W2569549435","https://openalex.org/W2161128834","https://openalex.org/W2012141606","https://openalex.org/W1550482496","https://openalex.org/W2327631927","https://openalex.org/W1593182640","https://openalex.org/W2784687883"],"abstract_inverted_index":{"A":[0],"scalable,":[1],"reactive":[2],"and":[3,25,159],"easy":[4],"to":[5,52,98,119,123,128],"evolve":[6],"reasoning":[7],"mechanism":[8],"is":[9,33],"essential":[10],"for":[11,35,103,174],"the":[12,42,46,68,85,114,126,130,154,165,168,183,189,198,201,208],"success":[13],"of":[14,23,45,56,66,113,125,133,141,149,164,200],"automated":[15],"smart":[16],"environments,":[17,41],"augmented":[18],"with":[19,81,137,210],"a":[20,49,53,64,71,75,89,138,204],"large":[21,139],"number":[22,55,140],"sensors":[24],"actuators.":[26],"While":[27],"constraint":[28],"satisfaction":[29],"problem":[30],"(CSP)":[31],"model":[32,47],"applicable":[34],"modelling":[36,67],"decision":[37],"making":[38],"in":[39,74,84,167],"such":[40],"straightforward":[43,190],"representation":[44],"as":[48,70],"CSP":[50,73,100,191],"leads":[51],"great":[54],"excessive":[57],"calculations.":[58],"In":[59],"this":[60],"paper,":[61],"we":[62],"propose":[63],"method":[65],"task":[69],"Dynamic":[72],"way":[76],"that":[77,146,182,197],"avoids":[78],"unnecessary":[79],"recalculations":[80],"new":[82],"events":[83],"environment.":[86],"We":[87,143],"present":[88],"Dependency":[90,184],"Graph":[91,185],"data":[92],"structure,":[93],"which":[94],"not":[95],"only":[96,110],"allows":[97,118],"reduce":[99],"search":[101],"space":[102],"every":[104],"consecutive":[105],"sensor":[106],"event":[107],"by":[108],"detecting":[109],"affected":[111,150],"parts":[112,151],"environment,":[115],"but":[116],"also":[117,195],"give":[120],"enough":[121],"information":[122],"users":[124],"system":[127,166],"specify":[129],"exact":[131],"reasons":[132],"system's":[134],"decisions,":[135],"even":[136],"constraints.":[142],"formally":[144],"prove":[145],"partial":[147],"recalculation":[148],"still":[152],"keeps":[153],"full":[155],"environment":[156,202],"globally":[157,160],"satisfied":[158],"optimal.":[161],"The":[162,193],"evaluation":[163],"living":[169],"lab":[170],"showed":[171,181,196],"real-time":[172],"responses":[173],"all":[175],"events.":[176],"Additional":[177],"simulated":[178],"performance":[179],"experiments":[180,194],"approach":[186],"consistently":[187],"outperforms":[188],"representation.":[192],"clusterization":[199],"has":[203],"noticeable":[205],"effect":[206],"on":[207],"performance,":[209],"highly":[211],"clusterized":[212],"environments":[213],"requiring":[214],"less":[215],"computations.":[216]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}