{"id":"https://openalex.org/W4412877009","doi":"https://doi.org/10.1145/3711896.3737022","title":"Learning Reliable and Intuitive Temporal Logic Rules for Interpretable Time Series Classification","display_name":"Learning Reliable and Intuitive Temporal Logic Rules for Interpretable Time Series Classification","publication_year":2025,"publication_date":"2025-08-03","ids":{"openalex":"https://openalex.org/W4412877009","doi":"https://doi.org/10.1145/3711896.3737022"},"language":"en","primary_location":{"id":"doi:10.1145/3711896.3737022","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3711896.3737022","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3711896.3737022","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3711896.3737022","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032835683","display_name":"Y. Z. Wang","orcid":"https://orcid.org/0009-0009-2205-0272"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yang Wang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China, University of Chinese Academy of Sciences, Beijing, China, and Localization Technology Department, Tencent Inc, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China, University of Chinese Academy of Sciences, Beijing, China, and Localization Technology Department, Tencent Inc, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084324182","display_name":"Jiaqi Zhu","orcid":"https://orcid.org/0000-0002-4261-6749"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaqi Zhu","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China, University of Chinese Academy of Sciences, Beijing, China, and Binzhou Institute of Technology, Weiqiao-UCAS Science and Technology Park, Binzhou, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China, University of Chinese Academy of Sciences, Beijing, China, and Binzhou Institute of Technology, Weiqiao-UCAS Science and Technology Park, Binzhou, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049915027","display_name":"Miaomiao Li","orcid":"https://orcid.org/0000-0003-2571-7166"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Miaomiao Li","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032778019","display_name":"Jiang Liu","orcid":"https://orcid.org/0000-0002-2800-448X"},"institutions":[{"id":"https://openalex.org/I4210123021","display_name":"Chongqing Institute of Green and Intelligent Technology","ror":"https://ror.org/031npqv35","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210123021"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiang Liu","raw_affiliation_strings":["Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing, China","institution_ids":["https://openalex.org/I4210123021"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053939336","display_name":"Yilin Li","orcid":"https://orcid.org/0009-0002-0487-228X"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yilin Li","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China and University of the Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China and University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090266285","display_name":"Yi Yang","orcid":"https://orcid.org/0000-0002-8133-6678"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Yang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064625389","display_name":"Jiafan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiafan Li","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China and University of the Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China and University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013118329","display_name":"Hongan Wang","orcid":"https://orcid.org/0000-0002-9320-4920"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongan Wang","raw_affiliation_strings":["Institute of software, Chinese Academy of Sciences, Beijing, China and University of the Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of software, Chinese Academy of Sciences, Beijing, China and University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5032835683"],"corresponding_institution_ids":["https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2268686,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3067","last_page":"3078"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9997000098228455,"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/T13083","display_name":"Advanced Text Analysis Techniques","score":0.972100019454956,"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/T11326","display_name":"Stock Market Forecasting Methods","score":0.9678000211715698,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6984983682632446},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.5933589339256287},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5539254546165466},{"id":"https://openalex.org/keywords/time-series","display_name":"Time series","score":0.4644230902194977},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.42904597520828247},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4154154658317566},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12739932537078857}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6984983682632446},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5933589339256287},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5539254546165466},{"id":"https://openalex.org/C151406439","wikidata":"https://www.wikidata.org/wiki/Q186588","display_name":"Time series","level":2,"score":0.4644230902194977},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.42904597520828247},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4154154658317566},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12739932537078857},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3711896.3737022","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3711896.3737022","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3711896.3737022","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3711896.3737022","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3711896.3737022","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3711896.3737022","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320327639","display_name":"Centre Scientifique et Technique du B\u00e2timent","ror":"https://ror.org/02fsd1928"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412877009.pdf","grobid_xml":"https://content.openalex.org/works/W4412877009.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W67158865","https://openalex.org/W1547304883","https://openalex.org/W1579694346","https://openalex.org/W1778796894","https://openalex.org/W1978371851","https://openalex.org/W2053744708","https://openalex.org/W2141536962","https://openalex.org/W2752432857","https://openalex.org/W2767656849","https://openalex.org/W2786161686","https://openalex.org/W2789372996","https://openalex.org/W2954112873","https://openalex.org/W2982438846","https://openalex.org/W2988244882","https://openalex.org/W3010158807","https://openalex.org/W3042807565","https://openalex.org/W3134449780","https://openalex.org/W3186145246","https://openalex.org/W3212567773","https://openalex.org/W4221016718","https://openalex.org/W4224311926","https://openalex.org/W4240007298","https://openalex.org/W4283022822","https://openalex.org/W4306317331","https://openalex.org/W4318812138","https://openalex.org/W4382936130","https://openalex.org/W4385767999","https://openalex.org/W4387669467","https://openalex.org/W4388052719"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W4387369504","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W3107602296","https://openalex.org/W4364306694","https://openalex.org/W4312192474","https://openalex.org/W4283697347"],"abstract_inverted_index":{"Recently,":[0],"rule-based":[1,196],"time":[2,61,101,156,167],"series":[3,102],"classification":[4,125,191,208],"models":[5],"are":[6,36],"widely":[7],"used":[8],"in":[9,67,181],"safety-critical":[10,182],"scenarios":[11],"demanding":[12],"strong":[13],"interpretability,":[14],"through":[15,152],"providing":[16],"explicit":[17],"and":[18,29,72,144,150,189,198,204],"rigorous":[19],"rationales.":[20],"However,":[21],"due":[22],"to":[23,48,91,134,194,211],"the":[24,33,41,50,56,73,108,124,155,170,199,207],"discrepancy":[25],"between":[26],"discrete":[27,112],"rules":[28,35,98,113,119,201],"continuous":[30],"neural":[31,109],"networks,":[32],"generated":[34],"not":[37,66],"completely":[38],"consistent":[39,163],"with":[40,69],"actual":[42],"decision-making":[43],"process,":[44],"rendering":[45],"users":[46],"hesitant":[47],"trust":[49],"model.":[51,214],"Additionally,":[52],"existing":[53],"methods":[54],"learn":[55,93],"role":[57],"(weight)":[58],"of":[59,76,158,172],"each":[60],"point":[62],"independently,":[63],"which":[64],"is":[65,132],"line":[68],"human":[70],"understanding":[71],"consecutive":[74,166],"nature":[75],"temporal":[77,129,137],"properties.":[78],"In":[79],"this":[80],"paper,":[81],"we":[82],"propose":[83],"a":[84,128,212],"novel":[85],"neuro-symbolic":[86],"model":[87,105],"named":[88],"TemporalRule,":[89],"aiming":[90],"automatically":[92],"Signal":[94],"Temporal":[95],"Logic":[96],"(STL)":[97],"for":[99,165],"interpretable":[100],"classification.":[103],"Our":[104],"directly":[106],"optimizes":[107],"networks":[110],"representing":[111],"via":[114],"gradient":[115],"grafting,":[116],"producing":[117],"reliable":[118],"that":[120,185],"can":[121,202],"exactly":[122],"determine":[123],"results.":[126],"Notably,":[127],"logical":[130],"layer":[131],"designed":[133],"simulate":[135],"expressive":[136],"operators,":[138],"including":[139],"one":[140],"2-predicate":[141],"operator":[142],"(Until)":[143],"two":[145],"2-level":[146],"composite":[147],"operators":[148],"(EA":[149],"AE),":[151],"adaptively":[153],"learning":[154],"bounds":[157],"involved":[159],"intervals.":[160],"That":[161],"creates":[162],"weights":[164],"points,":[168],"enhancing":[169],"intuitiveness":[171],"derived":[173],"rules.":[174],"Extensive":[175],"experiments":[176],"on":[177],"diverse":[178],"real-world":[179],"datasets":[180],"domains":[183],"show":[184],"TemporalRule":[186],"achieves":[187],"superior":[188],"stable":[190],"accuracy":[192],"compared":[193],"state-of-the-art":[195],"approaches,":[197],"learned":[200],"precisely":[203],"concisely":[205],"explicate":[206],"results,":[209],"leading":[210],"trustable":[213]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}