{"id":"W1976132254","doi":"10.1145/937555.937556","title":"A dynamic approach to characterizing termination of general logic programs","year":2003,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University; University of Alberta","funders":"","keywords":"Prolog; Computer science; Dynamic logic (digital electronics); Logic program; Key (lock); Theoretical computer science; Programming language; Logic programming; Tree (set theory); Algorithm; 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.0002470399,0.0002087833,0.000233629,0.0002745452,0.0002141072,0.00009673979,0.0006768834,0.00009233691,0.00001778127],"category_scores_gemma":[0.00005653512,0.0001872627,0.0001375993,0.00073548,0.00005613988,0.0002826552,0.00001790174,0.0001680328,0.00006337411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009922346,"about_ca_system_score_gemma":0.0001010078,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006740702,"about_ca_topic_score_gemma":0.000003376696,"domain_scores_codex":[0.9983621,0.0001440032,0.0003416883,0.000506448,0.0003539498,0.0002918683],"domain_scores_gemma":[0.9989603,0.0001446497,0.0001308529,0.0004284863,0.0002182113,0.0001175367],"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.00003420579,0.002925361,0.0002378814,0.00009550198,0.0001017418,0.00001172916,0.001831928,0.1876355,0.002219883,0.5835656,0.00004748896,0.2212932],"study_design_scores_gemma":[0.001586339,0.001447238,0.01893808,0.00008084651,0.00005392421,0.0002846796,0.0001850681,0.6603329,0.002025993,0.3125722,0.001450391,0.001042393],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02139404,0.00003014541,0.9726061,0.0004209333,0.000290754,0.0003995822,0.000005966963,0.0001644357,0.004688086],"genre_scores_gemma":[0.6280515,0.000002944425,0.37134,0.0003070703,0.00001051567,0.00006707302,0.000021317,0.000007833855,0.0001917609],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6066574,"threshold_uncertainty_score":0.7636352,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03058921425536587,"score_gpt":0.2715346414251692,"score_spread":0.2409454271698033,"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."}}