{"id":"W2512200334","doi":"10.1007/978-3-319-45276-0_10","title":"Extending Weakly-Sticky Datalog $$^\\pm $$ : Query-Answering Tractability and Optimizations","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Datalog; Computer science; Chase; Rewriting; Class (philosophy); Property (philosophy); MAGIC (telescope); Theoretical computer science; Programming language; Range (aeronautics); Database; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001102373,0.0005875834,0.0005900199,0.0005987398,0.0005199547,0.0007534261,0.002755268,0.0003353229,0.00004844915],"category_scores_gemma":[0.0003789713,0.0004638036,0.0001159275,0.0004482433,0.0009965801,0.001282644,0.002093797,0.0006475023,0.00004520161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002890572,"about_ca_system_score_gemma":0.0004568059,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000141421,"about_ca_topic_score_gemma":0.0001042254,"domain_scores_codex":[0.9959599,0.00005134078,0.0005538462,0.001999923,0.0006420191,0.0007929726],"domain_scores_gemma":[0.9966357,0.0009581277,0.0002678417,0.001610414,0.0002338118,0.0002941214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005515962,0.00005298674,0.0003157448,0.00008036246,0.00001919802,0.00008810873,0.001363524,0.005182098,0.0003291927,0.146097,0.00002636048,0.8464398],"study_design_scores_gemma":[0.0006158914,0.0002587221,0.0012834,0.00108529,0.00003474986,0.000372998,8.270504e-7,0.6673251,0.001043836,0.3204019,0.0055949,0.001982366],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00008656266,0.0008066655,0.9820899,0.0004339977,0.001725688,0.0003440227,0.00001658011,0.000240561,0.01425598],"genre_scores_gemma":[0.3813358,0.000331979,0.615217,0.0006102517,0.00103779,0.00002198545,0.00001320373,0.00007075707,0.001361243],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8444575,"threshold_uncertainty_score":0.9997814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01728246137068955,"score_gpt":0.2467853235431604,"score_spread":0.2295028621724708,"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."}}