{"id":"https://openalex.org/W2134752983","doi":"https://doi.org/10.1109/grc.2005.1547267","title":"Spatio-temporal granular logic and its applications to dynamic information systems","display_name":"Spatio-temporal granular logic and its applications to dynamic information systems","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2134752983","doi":"https://doi.org/10.1109/grc.2005.1547267","mag":"2134752983"},"language":"en","primary_location":{"id":"doi:10.1109/grc.2005.1547267","is_oa":false,"landing_page_url":"https://doi.org/10.1109/grc.2005.1547267","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2005 IEEE International Conference on Granular Computing","raw_type":"proceedings-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/A5010128384","display_name":"Qing Liu","orcid":"https://orcid.org/0000-0002-5797-8179"},"institutions":[{"id":"https://openalex.org/I141649914","display_name":"Nanchang University","ror":"https://ror.org/042v6xz23","country_code":"CN","type":"education","lineage":["https://openalex.org/I141649914"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qing Liu","raw_affiliation_strings":["The In formation Engineering School, University of Nanchang, Nanchang, China"],"affiliations":[{"raw_affiliation_string":"The In formation Engineering School, University of Nanchang, Nanchang, China","institution_ids":["https://openalex.org/I141649914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067457943","display_name":"Taorong Qiu","orcid":"https://orcid.org/0000-0002-6376-1208"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]},{"id":"https://openalex.org/I141649914","display_name":"Nanchang University","ror":"https://ror.org/042v6xz23","country_code":"CN","type":"education","lineage":["https://openalex.org/I141649914"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"T.R. Qiu","raw_affiliation_strings":["School of Computer & Information Technology, Beijing Jiaotong University, Beijing, China","The In formation Engineering School, University of Nanchang, Nanchang, China"],"affiliations":[{"raw_affiliation_string":"School of Computer & Information Technology, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"The In formation Engineering School, University of Nanchang, Nanchang, China","institution_ids":["https://openalex.org/I141649914"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017484359","display_name":"X.Q. Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I141649914","display_name":"Nanchang University","ror":"https://ror.org/042v6xz23","country_code":"CN","type":"education","lineage":["https://openalex.org/I141649914"]},{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"X.Q. Chen","raw_affiliation_strings":["School of Computer & Information Technology, Beijing Jiaotong University, Beijing, China","The In formation Engineering School, University of Nanchang, Nanchang, China"],"affiliations":[{"raw_affiliation_string":"School of Computer & Information Technology, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"The In formation Engineering School, University of Nanchang, Nanchang, China","institution_ids":["https://openalex.org/I141649914"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010128384"],"corresponding_institution_ids":["https://openalex.org/I141649914"],"apc_list":null,"apc_paid":null,"fwci":1.3163,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84937139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"203","last_page":"208 Vol. 1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980999827384949,"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.9980999827384949,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9968000054359436,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9912999868392944,"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/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7718157768249512},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6778658628463745},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.632576584815979},{"id":"https://openalex.org/keywords/granular-computing","display_name":"Granular computing","score":0.47334980964660645},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.46828386187553406},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46816253662109375},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.4518893361091614},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4490618109703064},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.44095584750175476},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.4323926866054535},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.37586551904678345},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3644980788230896},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.34536290168762207},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3038467764854431},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29852113127708435},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.20090162754058838},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18642044067382812}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7718157768249512},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6778658628463745},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.632576584815979},{"id":"https://openalex.org/C17209119","wikidata":"https://www.wikidata.org/wiki/Q5596712","display_name":"Granular computing","level":3,"score":0.47334980964660645},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.46828386187553406},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46816253662109375},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.4518893361091614},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4490618109703064},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.44095584750175476},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.4323926866054535},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.37586551904678345},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3644980788230896},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.34536290168762207},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3038467764854431},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29852113127708435},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.20090162754058838},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18642044067382812},{"id":"https://openalex.org/C111012933","wikidata":"https://www.wikidata.org/wiki/Q3137210","display_name":"Rough set","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/grc.2005.1547267","is_oa":false,"landing_page_url":"https://doi.org/10.1109/grc.2005.1547267","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2005 IEEE International Conference on Granular Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W79236063","https://openalex.org/W1483074167","https://openalex.org/W1483322858","https://openalex.org/W1490472431","https://openalex.org/W1503644816","https://openalex.org/W1512234690","https://openalex.org/W1518158447","https://openalex.org/W1532304559","https://openalex.org/W1536506918","https://openalex.org/W1537061107","https://openalex.org/W1554138700","https://openalex.org/W1572587293","https://openalex.org/W1580448315","https://openalex.org/W1582041068","https://openalex.org/W1599903895","https://openalex.org/W1604526839","https://openalex.org/W1607339543","https://openalex.org/W1989098065","https://openalex.org/W2048522539","https://openalex.org/W2123887239","https://openalex.org/W2144468046","https://openalex.org/W2152882089","https://openalex.org/W2234239303","https://openalex.org/W2349890114","https://openalex.org/W2946461872","https://openalex.org/W3162539961","https://openalex.org/W6603179367","https://openalex.org/W6628912380","https://openalex.org/W6631161707","https://openalex.org/W6632960074","https://openalex.org/W6634048381","https://openalex.org/W6635899812","https://openalex.org/W6636116603","https://openalex.org/W6681473222","https://openalex.org/W6836208113","https://openalex.org/W7019301475"],"related_works":["https://openalex.org/W4387188591","https://openalex.org/W4232446061","https://openalex.org/W2234817167","https://openalex.org/W4205137803","https://openalex.org/W2155586249","https://openalex.org/W2548795765","https://openalex.org/W4236864674","https://openalex.org/W204539619","https://openalex.org/W2146914143","https://openalex.org/W2985456438"],"abstract_inverted_index":{"The":[0],"main":[1],"research":[2],"content":[3],"of":[4,13,56,105,113],"the":[5,32,78,91,95,102,106,111,114],"paper":[6],"is":[7,51,77,82,88,99],"a":[8,37,42,60,65,71,83],"granular":[9,33,39,86,97],"logic":[10,87,98,107,115],"with":[11,118],"meaning":[12],"space":[14,63],"and":[15,21,27,64],"time.":[16],"Temporal":[17,85],"operators":[18],"Until":[19],"(U)":[20],"Since":[22],"(S)":[23],"are":[24,29,54,108,116],"studied.":[25],"U":[26],"S":[28],"introduced":[30],"into":[31],"logic,":[34],"to":[35,69],"have":[36],"temporal":[38],"logic.":[40],"Subsequently,":[41],"spatio-temporal":[43,96],"changing":[44],"function":[45],"/spl":[46],"pi/:":[47],"X/spl":[48],"times/T/spl":[49],"rarr/X":[50],"proposed,":[52],"which":[53],"functions":[55],"two":[57],"arguments":[58],"mapping":[59],"point":[61,66,72],"in":[62,67,73,90],"time,":[68],"another":[70],"space.":[74],"Where":[75],"X":[76],"state":[79,92],"space,":[80,93],"T":[81],"time-lines.":[84],"defined":[89],"thus":[94],"constructed.":[100],"Further,":[101],"deductive":[103],"systems":[104],"discussed.":[109],"Finally,":[110],"applications":[112],"illustrated":[117],"real":[119],"examples.":[120]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}