{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001084258,0.0003304733,0.0002310656,0.0003565275,0.0003626917,0.001171324,0.00073815,0.0004544595,0.003400184],"category_scores_gemma":[0.002499958,0.0003853879,0.0005744732,0.0003607972,0.001082232,0.001685782,0.001259571,0.001167812,0.0009289804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007056725,"about_ca_system_score_gemma":0.001233695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00266525,"about_ca_topic_score_gemma":0.005018361,"domain_scores_codex":[0.9992699,0.0002083863,0.00007098572,0.0001258974,0.000234668,0.00009020016],"domain_scores_gemma":[0.9986863,0.0005229595,0.00009995626,0.0004024638,0.0002348696,0.00005345107],"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.000489854,0.0001378381,0.005362079,0.001301157,0.00007764609,0.001268448,0.001643853,0.04912349,0.04088699,0.4801087,0.02028544,0.3993145],"study_design_scores_gemma":[0.0001458625,0.0002403601,0.001265934,0.0002580115,0.0001145238,0.00102015,0.0002181735,0.1920418,0.06763699,0.1425115,0.5944363,0.0001103454],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01970135,0.0003504634,0.9575558,0.0003025165,0.0001296863,0.0001189696,0.0005517309,0.007426245,0.0138633],"genre_scores_gemma":[0.2659021,0.0004598754,0.7196744,0.0005069504,0.00006594838,0.0001927628,0.001497801,0.00150089,0.01019917],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003400184,"threshold_uncertainty_score":0.01137471,"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."}}