{"id":"https://openalex.org/W2201305657","doi":null,"title":"Compactness and its implications for qualitative spatial and temporal reasoning","display_name":"Compactness and its implications for qualitative spatial and temporal reasoning","publication_year":2012,"publication_date":"2012-06-10","ids":{"openalex":"https://openalex.org/W2201305657","mag":"2201305657"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.297.209","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.209","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://users.cecs.anu.edu.au/~jinbo/12-kr-compact.pdf","raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W2201305657"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"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/A5102225775","display_name":"Jinbo Huang","orcid":"https://orcid.org/0009-0006-0059-6926","observed_orcids":["https://orcid.org/0009-0006-0059-6926"]},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Jinbo Huang","raw_affiliation_strings":["Optimisation Research Group, NICTA and Research School of Computer Science, Australian National University#TAB#"],"raw_orcid":"https://orcid.org/0009-0006-0059-6926","affiliations":[{"raw_affiliation_string":"Optimisation Research Group, NICTA and Research School of Computer Science, Australian National University#TAB#","institution_ids":["https://openalex.org/I118347636","https://openalex.org/I42894916"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102225775"],"corresponding_institution_ids":["https://openalex.org/I118347636","https://openalex.org/I42894916"],"apc_list":null,"apc_paid":null,"fwci":3.3238,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.92017282,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"500","last_page":"508"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9901999831199646,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9901999831199646,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.007499999832361937,"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.0013000000035390258,"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/compactness","display_name":"compactness","score":0.9490000009536743},{"id":"https://openalex.org/keywords/qualitative-spatial-reasoning","display_name":"qualitative spatial reasoning","score":0.8949999809265137},{"id":"https://openalex.org/keywords/qualitative-temporal-reasoning","display_name":"qualitative temporal reasoning","score":0.984000027179718},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"constraint satisfaction","score":0.8429999947547913},{"id":"https://openalex.org/keywords/interval-algebra","display_name":"interval algebra","score":0.8410000205039978},{"id":"https://openalex.org/keywords/canonical-solutions","display_name":"canonical solutions","score":0.996999979019165},{"id":"https://openalex.org/keywords/satisfiability","display_name":"satisfiability","score":0.6119999885559082}],"concepts":[{"id":"https://openalex.org/C18648836","wikidata":"https://www.wikidata.org/wiki/Q381892","display_name":"Compact space","level":2,"score":0.8662312030792236},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.651498019695282},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6126829385757446},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5406808853149414},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5343799591064453},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5284442901611328},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5267338752746582},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5261696577072144},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4468105733394623},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.44663000106811523},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.44609808921813965},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4113842844963074},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3712543845176697},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3189983367919922},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2779885530471802},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2351219654083252},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.297.209","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.209","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://users.cecs.anu.edu.au/~jinbo/12-kr-compact.pdf","raw_type":"text"},{"id":"mag:2201305657","doi":null,"is_oa":false,"landing_page_url":"http://users.cecs.anu.edu.au/~jinbo/12-kr-compact.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306420732","display_name":"Principles of Knowledge Representation and Reasoning","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Principles of Knowledge Representation and Reasoning","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W852874","https://openalex.org/W94442452","https://openalex.org/W117123704","https://openalex.org/W173943678","https://openalex.org/W225747980","https://openalex.org/W1521171126","https://openalex.org/W1521979145","https://openalex.org/W1525985171","https://openalex.org/W1528419757","https://openalex.org/W1534682606","https://openalex.org/W1557143830","https://openalex.org/W1570517834","https://openalex.org/W1592140491","https://openalex.org/W1607643414","https://openalex.org/W1705902632","https://openalex.org/W1879819495","https://openalex.org/W1935934803","https://openalex.org/W1975503364","https://openalex.org/W1996011776","https://openalex.org/W2028232494","https://openalex.org/W2054593278","https://openalex.org/W2055904049","https://openalex.org/W2071064455","https://openalex.org/W2072965014","https://openalex.org/W2090310951","https://openalex.org/W2116537119","https://openalex.org/W2161484642","https://openalex.org/W2504838369"],"related_works":["https://openalex.org/W7099247574","https://openalex.org/W2240075443","https://openalex.org/W32414093","https://openalex.org/W7099588309","https://openalex.org/W1991242118","https://openalex.org/W2014377129","https://openalex.org/W7097514101","https://openalex.org/W7096543880","https://openalex.org/W225747980","https://openalex.org/W2780906569"],"abstract_inverted_index":{"A":[0],"constraint":[1],"satisfaction":[2],"problem":[3],"has":[4,79],"compactness":[5,50],"if":[6],"any":[7,95],"infinite":[8],"set":[9,76],"of":[10,33,77,99,119,140],"constraints":[11],"is":[12],"satisfiable":[13,72,96],"whenever":[14],"all":[15,135],"its":[16],"finite":[17,73,97],"subsets":[18],"are":[19,157],"satisfiable.":[20],"We":[21],"prove":[22],"a":[23,31,53,80,85,92],"sufficient":[24,57],"condition":[25,58],"for":[26,30,59,94],"compactness,":[27],"which":[28],"holds":[29,68],"range":[32],"problems":[34],"including":[35],"those":[36],"based":[37],"on":[38],"the":[39,60,100,136,145],"well-known":[40],"Interval":[41],"Algebra":[42],"(IA)":[43],"and":[44,56,125,128,142,150],"RCC8.":[45],"Furthermore,":[46],"we":[47,109,132],"show":[48,133],"that":[49,66,83,87,134],"leads":[51],"to":[52,91,106],"useful":[54],"necessary":[55],"recently":[61],"introduced":[62],"patchwork":[63,67,149],"property,":[64],"namely":[65],"exactly":[69],"when":[70],"every":[71],"network":[74],"(i.e.,":[75],"constraints)":[78],"canonical":[81,151],"solution,":[82],"is,":[84],"solution":[86,93],"can":[88],"be":[89],"extended":[90],"extension":[98],"network.":[101],"Applying":[102],"these":[103],"general":[104],"theorems":[105],"qualitative":[107],"reasoning,":[108],"obtain":[110],"important":[111],"new":[112],"results":[113,121],"as":[114,116,153,155],"well":[115],"significant":[117],"strengthenings":[118],"previous":[120],"regarding":[122],"IA,":[123],"RCC8,":[124],"their":[126],"fragments":[127,139],"extensions.":[129],"In":[130],"particular,":[131],"maximal":[137],"tractable":[138],"IA":[141],"RCC8":[143],"(containing":[144],"base":[146],"relations)":[147],"have":[148],"solutions":[152],"long":[154],"networks":[156],"algebraically":[158],"closed.":[159]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}