{"id":"https://openalex.org/W1550045328","doi":"https://doi.org/10.3233/kes-130251","title":"Specifying and solving symbolic and numeric temporal constraints","display_name":"Specifying and solving symbolic and numeric temporal constraints","publication_year":2013,"publication_date":"2013-05-28","ids":{"openalex":"https://openalex.org/W1550045328","doi":"https://doi.org/10.3233/kes-130251","mag":"1550045328"},"language":"en","primary_location":{"id":"doi:10.3233/kes-130251","is_oa":false,"landing_page_url":"https://doi.org/10.3233/kes-130251","pdf_url":null,"source":{"id":"https://openalex.org/S133764092","display_name":"International Journal of Knowledge-based and Intelligent Engineering Systems","issn_l":"1327-2314","issn":["1327-2314","1875-8827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Knowledge-based and Intelligent Engineering Systems","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/A5026015679","display_name":"Samira Sadaoui","orcid":"https://orcid.org/0000-0002-9887-1570"},"institutions":[{"id":"https://openalex.org/I194028371","display_name":"University of Regina","ror":"https://ror.org/03dzc0485","country_code":"CA","type":"education","lineage":["https://openalex.org/I194028371"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Samira Sadaoui","raw_affiliation_strings":["Department of Computer Science, University of Regina, Regina, SK, Canada","Department of Computer Science , University of Regina , Regina, SK, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Regina, Regina, SK, Canada","institution_ids":["https://openalex.org/I194028371"]},{"raw_affiliation_string":"Department of Computer Science , University of Regina , Regina, SK, Canada","institution_ids":["https://openalex.org/I194028371"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058768233","display_name":"Malek Mouhoub","orcid":"https://orcid.org/0000-0001-7381-1064"},"institutions":[{"id":"https://openalex.org/I194028371","display_name":"University of Regina","ror":"https://ror.org/03dzc0485","country_code":"CA","type":"education","lineage":["https://openalex.org/I194028371"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Malek Mouhoub","raw_affiliation_strings":["Department of Computer Science, University of Regina, Regina, SK, Canada","Department of Computer Science , University of Regina , Regina, SK, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Regina, Regina, SK, Canada","institution_ids":["https://openalex.org/I194028371"]},{"raw_affiliation_string":"Department of Computer Science , University of Regina , Regina, SK, Canada","institution_ids":["https://openalex.org/I194028371"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100347688","display_name":"Xiaofeng Li","orcid":"https://orcid.org/0000-0002-4115-3287"},"institutions":[{"id":"https://openalex.org/I194028371","display_name":"University of Regina","ror":"https://ror.org/03dzc0485","country_code":"CA","type":"education","lineage":["https://openalex.org/I194028371"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Xiao Feng Li","raw_affiliation_strings":["Department of Computer Science, University of Regina, Regina, SK, Canada","Department of Computer Science , University of Regina , Regina, SK, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Regina, Regina, SK, Canada","institution_ids":["https://openalex.org/I194028371"]},{"raw_affiliation_string":"Department of Computer Science , University of Regina , Regina, SK, Canada","institution_ids":["https://openalex.org/I194028371"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5026015679"],"corresponding_institution_ids":["https://openalex.org/I194028371"],"apc_list":null,"apc_paid":null,"fwci":0.3625,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61810765,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"3","first_page":"209","last_page":"217"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9854000210762024,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9747999906539917,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7674610018730164},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.6238006353378296},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6192255020141602},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5500869750976562},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5245645046234131},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4999258518218994},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.498504638671875},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.48365604877471924},{"id":"https://openalex.org/keywords/temporal-database","display_name":"Temporal database","score":0.47599709033966064},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4388183057308197},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.4245387315750122},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4225076735019684},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3860982060432434},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.3784891664981842},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22407567501068115},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.22259122133255005},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.21445000171661377},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11862501502037048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7674610018730164},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.6238006353378296},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6192255020141602},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5500869750976562},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5245645046234131},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4999258518218994},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.498504638671875},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.48365604877471924},{"id":"https://openalex.org/C77277458","wikidata":"https://www.wikidata.org/wiki/Q1969246","display_name":"Temporal database","level":2,"score":0.47599709033966064},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4388183057308197},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.4245387315750122},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4225076735019684},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3860982060432434},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.3784891664981842},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22407567501068115},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.22259122133255005},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.21445000171661377},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11862501502037048},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"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/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/kes-130251","is_oa":false,"landing_page_url":"https://doi.org/10.3233/kes-130251","pdf_url":null,"source":{"id":"https://openalex.org/S133764092","display_name":"International Journal of Knowledge-based and Intelligent Engineering Systems","issn_l":"1327-2314","issn":["1327-2314","1875-8827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Knowledge-based and Intelligent Engineering Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W200555131","https://openalex.org/W1517590008","https://openalex.org/W1540511301","https://openalex.org/W1724705413","https://openalex.org/W1788316346","https://openalex.org/W1988095917","https://openalex.org/W2036792519","https://openalex.org/W2059768731","https://openalex.org/W2068852367","https://openalex.org/W2069683773","https://openalex.org/W2075882455","https://openalex.org/W2098812780","https://openalex.org/W2130182605","https://openalex.org/W2135432705","https://openalex.org/W2147311058","https://openalex.org/W2156648799","https://openalex.org/W2158896662","https://openalex.org/W2161484642","https://openalex.org/W2337098149","https://openalex.org/W3000135916"],"related_works":["https://openalex.org/W1486916474","https://openalex.org/W4303044088","https://openalex.org/W1536604285","https://openalex.org/W115413730","https://openalex.org/W2528582581","https://openalex.org/W2032348095","https://openalex.org/W1567852657","https://openalex.org/W2140769824","https://openalex.org/W1519282274","https://openalex.org/W2049055139"],"abstract_inverted_index":{"Representing":[0],"and":[1,31],"solving":[2,32],"combinatorial":[3],"problems,":[4],"especially":[5],"those":[6],"including":[7],"temporal":[8],"constraints,":[9],"using":[10],"a":[11,16,24],"constraint":[12],"programming":[13],"language":[14],"remains":[15],"challenging":[17],"task.":[18],"In":[19],"this":[20],"paper,":[21],"we":[22],"present":[23],"tool":[25],"to":[26],"assist":[27],"users":[28],"in":[29],"specifying":[30],"problems":[33]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}