{"id":"W3040097605","doi":"10.1017/s1471068420000101","title":"Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation","year":2020,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Chase; Computer science; Decidability; Parameterized complexity; Hierarchy; Class (philosophy); Bounded function; Conjunctive query; Existentialism; Theoretical computer science; Programming language; Algorithm; Artificial intelligence; Database; Mathematics; Relational database","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.0006967204,0.00007791083,0.000120505,0.00002896346,0.0001193617,0.00005401056,0.00008023265,0.00003380663,7.387181e-7],"category_scores_gemma":[0.001130732,0.00006558611,0.00001878289,0.00009555345,0.00009661423,0.0009449798,0.00009275349,0.00006577677,2.558363e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004259082,"about_ca_system_score_gemma":0.0000151361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000272906,"about_ca_topic_score_gemma":5.372176e-8,"domain_scores_codex":[0.9991018,0.0002865945,0.0001729545,0.0002362107,0.00009389369,0.0001085753],"domain_scores_gemma":[0.9987848,0.0008193642,0.0001746303,0.0001047121,0.00005217891,0.00006428538],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004424035,0.00005453442,0.000002029301,0.0001122237,0.00001129067,0.000003494677,0.004015429,0.000001932801,0.003326658,0.8158622,0.000003989146,0.1761637],"study_design_scores_gemma":[0.01734985,0.01477984,0.0006348654,0.0005105081,0.000650459,0.001929626,0.08695577,0.1007807,0.03272193,0.2996829,0.4409498,0.003053761],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005211781,0.0005496842,0.9926301,0.0004841704,0.00003069092,0.0003980405,0.000006829845,0.00005244012,0.0006362667],"genre_scores_gemma":[0.3368053,0.00003066596,0.6628402,0.0001677656,0.00005125802,0.0000677588,0.00002450029,0.000003898057,0.000008660676],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5161793,"threshold_uncertainty_score":0.2674524,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05125413606843647,"score_gpt":0.3375370963073417,"score_spread":0.2862829602389052,"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."}}