{"id":"W4311471986","doi":"10.1109/icpm57379.2022.9980690","title":"Measurement of Rule-based LTLf Declarative Process Specifications","year":2022,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Probabilistic logic; Process (computing); Association rule learning; Key (lock); Data mining; Linear temporal logic; Granularity; Theoretical computer science; Programming language; Temporal logic; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01344916,0.0007275355,0.0007668425,0.003509528,0.0005300064,0.00318826,0.00230196,0.001606422,0.0007607138],"category_scores_gemma":[0.1130719,0.0005134927,0.000909691,0.002724472,0.001178685,0.004014527,0.001500868,0.001415691,0.0003496322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001541949,"about_ca_system_score_gemma":0.002013312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006244501,"about_ca_topic_score_gemma":0.00606129,"domain_scores_codex":[0.9771113,0.004967082,0.002938556,0.002642635,0.01125952,0.001080924],"domain_scores_gemma":[0.8753399,0.07715838,0.01574862,0.01330309,0.01723,0.00121997],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001388478,0.0008407502,0.129064,0.0007976324,0.0005499999,0.0007828355,0.001894732,0.5158892,0.04868832,0.03483191,0.001120438,0.2641517],"study_design_scores_gemma":[0.00002602126,0.0002937574,0.007669859,0.00004311821,0.00004246333,0.0001899339,0.0001907859,0.9523885,0.02794453,0.01049918,0.0006706665,0.00004125236],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3151377,0.0001827428,0.6789017,0.0001947273,0.00002994953,0.0001963671,0.0009676336,0.003108656,0.001280545],"genre_scores_gemma":[0.8691342,0.00008045907,0.1284684,0.0000642775,0.00001603642,0.00015953,0.001708816,0.0001151396,0.0002531432],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01344916,"threshold_uncertainty_score":0.07112682,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0838021066925337,"score_gpt":0.2477980935328251,"score_spread":0.1639959868402914,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}