{"id":"W4233326341","doi":"10.1109/cdc.1995.479065","title":"Macro control languages and decision procedures for COCOLOG","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Simple (philosophy); Simplicity; Representation (politics); Macro; Computer science; Control (management); Action (physics); Set (abstract data type); Control system; Fragment (logic); Automatic control; Mathematics; Theoretical computer science; Discrete mathematics; Algebra over a field; Algorithm; Programming language; Pure mathematics; Artificial intelligence; Control engineering","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.001777582,0.0004181442,0.0002794373,0.0009710722,0.0006609808,0.002789849,0.0008002105,0.000633003,0.005252101],"category_scores_gemma":[0.003577651,0.0003653712,0.0006051132,0.0007072436,0.00374335,0.002522437,0.001280632,0.001179953,0.0006687594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001721157,"about_ca_system_score_gemma":0.001221675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002585942,"about_ca_topic_score_gemma":0.002318337,"domain_scores_codex":[0.9984303,0.0004864598,0.0001304101,0.0003121179,0.0004805982,0.0001600003],"domain_scores_gemma":[0.9977466,0.001453876,0.0001863009,0.0002293065,0.0002920135,0.00009188112],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002014574,0.0000120228,0.0001451729,0.00003227266,0.000003873644,0.00006789708,0.0001579723,0.002980484,0.0008702237,0.9810038,0.0006305572,0.01407546],"study_design_scores_gemma":[0.00004565443,0.00005947809,0.0002219578,0.00005311373,0.00002103057,0.0001101024,0.000136847,0.08208474,0.005517751,0.8739772,0.03773848,0.00003356304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01430045,0.0003937743,0.9563253,0.0004817538,0.00009720652,0.0001156946,0.0001504204,0.001122193,0.02701333],"genre_scores_gemma":[0.5760176,0.0005993093,0.4049989,0.0006202517,0.0002631897,0.0005317903,0.0003845381,0.0003606054,0.01622374],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005252101,"threshold_uncertainty_score":0.01757002,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02221785091451382,"score_gpt":0.3288434790831521,"score_spread":0.3066256281686383,"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."}}