{"id":"W2917471116","doi":"","title":"Extending ConGolog to allow partial ordering","year":2000,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Construct (python library); Computer science; Prolog; Programming language; Set (abstract data type); Interpreter; Implementation; Partial evaluation; Language construct; Determinism; Theoretical computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001263163,0.0001102451,0.0001109872,0.000068662,0.00005003482,0.00008622163,0.0006445295,0.00004294691,0.0005728835],"category_scores_gemma":[0.000003598923,0.0001069943,0.00003420878,0.0002224694,0.00001006735,0.0002578838,0.0001501483,0.00007666143,0.0004162458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000304684,"about_ca_system_score_gemma":0.00001272233,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003354732,"about_ca_topic_score_gemma":0.000002550402,"domain_scores_codex":[0.9991179,0.00001428941,0.0001396928,0.0003075794,0.0001361856,0.000284337],"domain_scores_gemma":[0.9993643,0.0000199526,0.00001098794,0.0004683137,0.00002043948,0.0001160695],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003883218,0.00002948636,0.0003861496,0.000006271028,0.0000114783,0.00002856633,0.00041852,0.01117118,0.002027675,0.1757659,0.003029119,0.8071218],"study_design_scores_gemma":[0.0001222139,0.00009429338,0.001090664,0.00002484908,0.000002061816,0.00002772059,6.525183e-7,0.2712148,0.01347233,0.000410477,0.7131805,0.0003594631],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03385028,0.000009699665,0.9602558,0.0003373289,0.0001099498,0.0001136954,2.995147e-7,0.001655241,0.00366773],"genre_scores_gemma":[0.2790983,0.0000053177,0.7188265,0.0003455272,0.0000389716,0.00002959307,3.344405e-7,0.000009281865,0.0016462],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8067623,"threshold_uncertainty_score":0.6272673,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01164823418044822,"score_gpt":0.2410585137800847,"score_spread":0.2294102795996365,"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."}}