{"id":"W2087144687","doi":"10.1145/383779.383782","title":"Incremental execution of guarded theories","year":2001,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Nondeterministic algorithm; Prolog; Implementation; Programming language; Expressive power; Bounded function; Robot; Interpreter; Heuristics; Theoretical computer science; Artificial intelligence; 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.0001908515,0.0001355029,0.0001524838,0.0001522164,0.0002271113,0.00004655762,0.0005958984,0.00006029923,0.000149356],"category_scores_gemma":[0.00003708092,0.0001192609,0.0001115007,0.000433122,0.00009767383,0.0002845127,0.00001973435,0.0001203265,0.00009994426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005809635,"about_ca_system_score_gemma":0.00007033307,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001998394,"about_ca_topic_score_gemma":0.000009697043,"domain_scores_codex":[0.9988921,0.00008657572,0.0002499629,0.00028068,0.0003128656,0.0001777778],"domain_scores_gemma":[0.9990286,0.000324032,0.00009312921,0.000334763,0.0001634925,0.00005601581],"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.00007687727,0.000710953,0.0003730461,0.00001649066,0.00008217448,0.00001616382,0.0009699594,0.06191973,0.0006099846,0.8703011,0.0001892847,0.06473423],"study_design_scores_gemma":[0.0009916928,0.0005281639,0.01360906,0.00002777022,0.00002365967,0.000114136,0.0001515868,0.03806549,0.002633751,0.9426211,0.0009210604,0.0003125489],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02708956,0.00006044114,0.9650316,0.0007451971,0.0003166724,0.0001275338,0.000007521359,0.0001477245,0.006473774],"genre_scores_gemma":[0.9292048,0.00002205666,0.07027992,0.0002531057,0.00003253321,0.00001534273,0.0000108652,0.000005375819,0.0001760177],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9021152,"threshold_uncertainty_score":0.486332,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02347817064120366,"score_gpt":0.2674313034098341,"score_spread":0.2439531327686304,"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."}}