{"id":"W2132077963","doi":"10.1109/cdc.1998.761812","title":"The COCO/sup DEF/ approach to COCOLOG logic control","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Reachability; Axiom; Predicate (mathematical logic); Computer science; Macro; Theoretical computer science; Reachability problem; Relation (database); Algebra over a field; Predicate logic; Expression (computer science); Mathematics; Discrete mathematics; Programming language; Description logic; Pure mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007243882,0.0001410214,0.0001837593,0.00006143521,0.0003205324,0.0003195339,0.001876371,0.0000688057,0.00002166802],"category_scores_gemma":[0.0001096998,0.0000851996,0.00006311396,0.0004594329,0.00004350509,0.0001732777,0.0002704499,0.0001263388,0.0007103294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006593195,"about_ca_system_score_gemma":0.00001620679,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001201597,"about_ca_topic_score_gemma":0.000003930659,"domain_scores_codex":[0.9983444,0.0001441428,0.0002858134,0.0004217698,0.0003509008,0.0004529327],"domain_scores_gemma":[0.9984239,0.0003787541,0.00005902907,0.0009073722,0.00009541779,0.0001355049],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009904144,0.0002175199,0.0003571295,0.00001420819,0.00005592106,0.00001462522,0.001361259,0.05362601,0.0002475063,0.7944392,0.1031475,0.04650921],"study_design_scores_gemma":[0.0003803202,0.00005453698,0.00005573401,0.000004217447,0.000002803554,0.00003246007,0.00004882607,0.9705469,0.00003070204,0.001285772,0.02740933,0.0001483745],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004243266,0.0002678113,0.8406558,0.002254418,0.0002394404,0.0005414644,6.312264e-7,0.0002441947,0.1553719],"genre_scores_gemma":[0.9292114,0.000008894792,0.06293772,0.003436951,0.00009159259,0.0001680531,1.603179e-7,0.000007941782,0.004137246],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9287871,"threshold_uncertainty_score":0.9130085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0461525213459897,"score_gpt":0.2424013814391035,"score_spread":0.1962488600931138,"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."}}