{"id":"https://openalex.org/W3169264861","doi":"https://doi.org/10.3390/rs13122236","title":"An Interval Temporal Logic for Time Series Specification and Data Integration","display_name":"An Interval Temporal Logic for Time Series Specification and Data Integration","publication_year":2021,"publication_date":"2021-06-08","ids":{"openalex":"https://openalex.org/W3169264861","doi":"https://doi.org/10.3390/rs13122236","mag":"3169264861"},"language":"en","primary_location":{"id":"doi:10.3390/rs13122236","is_oa":true,"landing_page_url":"https://doi.org/10.3390/rs13122236","pdf_url":"https://www.mdpi.com/2072-4292/13/12/2236/pdf?version=1623145671","source":{"id":"https://openalex.org/S43295729","display_name":"Remote Sensing","issn_l":"2072-4292","issn":["2072-4292"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Remote Sensing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2072-4292/13/12/2236/pdf?version=1623145671","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047939299","display_name":"Piotr Kosiuczenko","orcid":"https://orcid.org/0000-0003-0350-2201"},"institutions":[{"id":"https://openalex.org/I2800249161","display_name":"Military University of Technology in Warsaw","ror":"https://ror.org/05fct5h31","country_code":"PL","type":"education","lineage":["https://openalex.org/I2800249161"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Piotr Kosiuczenko","raw_affiliation_strings":["Institute of Information Systems, Military University of Technology, 00-908 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Information Systems, Military University of Technology, 00-908 Warsaw, Poland","institution_ids":["https://openalex.org/I2800249161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5047939299"],"corresponding_institution_ids":["https://openalex.org/I2800249161"],"apc_list":{"value":2500,"currency":"CHF","value_usd":2707},"apc_paid":{"value":2500,"currency":"CHF","value_usd":2707},"fwci":0.1528,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48448758,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"12","first_page":"2236","last_page":"2236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9948999881744385,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9948999881744385,"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/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9909999966621399,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.983299970626831,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.7851744294166565},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.7364864349365234},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6930748224258423},{"id":"https://openalex.org/keywords/duration","display_name":"Duration (music)","score":0.585551381111145},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5813400149345398},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.5722517371177673},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.524447500705719},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.4873376786708832},{"id":"https://openalex.org/keywords/temporal-database","display_name":"Temporal database","score":0.47209614515304565},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4654078781604767},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4650709629058838},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.4457458257675171},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.4440298080444336},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34771621227264404},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2329115867614746},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21956178545951843},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21816486120224}],"concepts":[{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.7851744294166565},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7364864349365234},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6930748224258423},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.585551381111145},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5813400149345398},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.5722517371177673},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.524447500705719},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.4873376786708832},{"id":"https://openalex.org/C77277458","wikidata":"https://www.wikidata.org/wiki/Q1969246","display_name":"Temporal database","level":2,"score":0.47209614515304565},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4654078781604767},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4650709629058838},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.4457458257675171},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.4440298080444336},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34771621227264404},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2329115867614746},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21956178545951843},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21816486120224},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/rs13122236","is_oa":true,"landing_page_url":"https://doi.org/10.3390/rs13122236","pdf_url":"https://www.mdpi.com/2072-4292/13/12/2236/pdf?version=1623145671","source":{"id":"https://openalex.org/S43295729","display_name":"Remote Sensing","issn_l":"2072-4292","issn":["2072-4292"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Remote Sensing","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:c7b2fb5488f94f3b94676e71895624af","is_oa":true,"landing_page_url":"https://doaj.org/article/c7b2fb5488f94f3b94676e71895624af","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Remote Sensing, Vol 13, Iss 12, p 2236 (2021)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2072-4292/13/12/2236/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/rs13122236","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Remote Sensing; Volume 13; Issue 12; Pages: 2236","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/rs13122236","is_oa":true,"landing_page_url":"https://doi.org/10.3390/rs13122236","pdf_url":"https://www.mdpi.com/2072-4292/13/12/2236/pdf?version=1623145671","source":{"id":"https://openalex.org/S43295729","display_name":"Remote Sensing","issn_l":"2072-4292","issn":["2072-4292"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Remote Sensing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3169264861.pdf","grobid_xml":"https://content.openalex.org/works/W3169264861.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1507319077","https://openalex.org/W1698033501","https://openalex.org/W1991138062","https://openalex.org/W2016054150","https://openalex.org/W2029795923","https://openalex.org/W2040431505","https://openalex.org/W2057446103","https://openalex.org/W2057908902","https://openalex.org/W2069445324","https://openalex.org/W2088502005","https://openalex.org/W2121571008","https://openalex.org/W2133297572","https://openalex.org/W2138362538","https://openalex.org/W2147880780","https://openalex.org/W2163905242","https://openalex.org/W2168177906","https://openalex.org/W2237749520","https://openalex.org/W2295240344","https://openalex.org/W2551137832","https://openalex.org/W2796001316","https://openalex.org/W2938854198","https://openalex.org/W2946166710","https://openalex.org/W2962938621","https://openalex.org/W2963528739","https://openalex.org/W3019466110","https://openalex.org/W3024272239","https://openalex.org/W3092534952","https://openalex.org/W4301432462"],"related_works":["https://openalex.org/W946220898","https://openalex.org/W1526924704","https://openalex.org/W858755136","https://openalex.org/W1593278247","https://openalex.org/W2352091395","https://openalex.org/W2092656858","https://openalex.org/W31328628","https://openalex.org/W2124110813","https://openalex.org/W34682815","https://openalex.org/W2561906579"],"abstract_inverted_index":{"The":[0,54,118,160,181,191],"analysis":[1,6],"of":[2,7,52,63,91,103,115,120,129,157,174,227,233],"temporal":[3,50,92,110,158,198],"series\u2014in":[4],"particular,":[5],"multisensor":[8,96,130],"data\u2014is":[9],"a":[10,76,100,165,211],"complex":[11,69,201],"problem.":[12],"It":[13,136,215],"depends":[14],"on":[15],"the":[16,19,21,58,61,89,104,113,121,127,140,207,225,231],"application":[17],"domain,":[18],"way":[20],"data":[22,131,209],"have":[23,38],"to":[24,48,95,170,178,196,205,217],"be":[25,185],"used,":[26],"and":[27,36,60,71,200,204],"sensors":[28],"available,":[29],"among":[30],"other":[31,155],"factors.":[32],"Various":[33],"models,":[34],"algorithms,":[35],"technologies":[37],"been":[39],"designed":[40],"for":[41,83,88,112,188],"this":[42,74,189],"goal.":[43],"Temporal":[44],"logics":[45],"are":[46],"used":[47],"describe":[49],"properties":[51,55],"systems.":[53],"may":[56],"specify":[57,171,197],"occurrence":[59],"order":[62],"events":[64],"in":[65,126,154],"time,":[66],"recurring":[67],"patterns,":[68],"behaviors,":[70,203],"processes.":[72],"In":[73],"paper,":[75],"new":[77],"interval":[78,109],"logic,":[79],"called":[80],"duration":[81,106,182],"calculus":[82,183,193],"functions":[84],"(DC4F),":[85],"is":[86,99,124,152,168],"proposed":[87,122,192],"specification":[90,114],"series":[93,173,199],"corresponding":[94,208],"data.":[97],"DC4F":[98,228],"natural":[101],"extension":[102],"well-known":[105],"calculus,":[107],"an":[108],"logic":[111,123],"process":[116],"duration.":[117],"adequacy":[119],"analyzed":[125,162],"case":[128],"concerning":[132,220],"volcanic":[133],"eruption":[134,222],"monitoring.":[135],"turns":[137],"out":[138],"that":[139,164],"relevant":[141],"behavior":[142],"concerns":[143],"time":[144,172,179],"intervals,":[145],"not":[146],"only":[147],"accumulated":[148],"history":[149],"as":[150],"it":[151],"described":[153],"kinds":[156],"logics.":[159],"examples":[161],"demonstrate":[163],"description":[166],"language":[167],"required":[169],"various":[175],"kind":[176],"relative":[177],"intervals.":[180],"cannot":[184],"successfully":[186],"applied":[187],"task.":[190],"allows":[194,216],"one":[195],"interval-dependent":[202],"evaluate":[206],"within":[210],"unifying":[212],"logical":[213],"framework.":[214],"formulate":[218],"hypotheses":[219],"volcano":[221],"phenomena.":[223],"However,":[224],"expressivity":[226],"comes":[229],"at":[230],"cost":[232],"its":[234],"decidability.":[235]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}