{"id":"W3188393868","doi":"10.1016/j.is.2022.102156","title":"Extending sticky-Datalog<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\" id=\"d1e182\" altimg=\"si10.svg\"><mml:msup><mml:mrow/><mml:mrow><mml:mo>±</mml:mo></mml:mrow></mml:msup></mml:math>via finite-position selection functions: Tractability, algorithms, and optimization","year":2022,"lang":"lv","type":"article","venue":"Information Systems","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada; Agencia Nacional de Investigación y Desarrollo","keywords":"Datalog; Computer science; Oracle; MAGIC (telescope); Modulo; Predicate (mathematical logic); Class (philosophy); Function (biology); Selection (genetic algorithm); Algorithm; Theoretical computer science; Discrete mathematics; Programming language; Mathematics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002873593,0.0007823787,0.0007049832,0.001388,0.0007308546,0.002563477,0.001885363,0.0007122318,0.02250597],"category_scores_gemma":[0.01243746,0.0007211524,0.001763733,0.00195965,0.001191517,0.006929503,0.003889962,0.002894862,0.00905147],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001430147,"about_ca_system_score_gemma":0.002297865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006330008,"about_ca_topic_score_gemma":0.007582737,"domain_scores_codex":[0.9979224,0.0004842858,0.0002798622,0.0003592145,0.0007831821,0.0001711129],"domain_scores_gemma":[0.994516,0.002486042,0.0001917349,0.001723182,0.0009381216,0.0001450218],"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.0003392854,0.0001617655,0.001567011,0.0009707687,0.00008875876,0.0002525121,0.0004386979,0.02688253,0.004272291,0.5664743,0.08643914,0.312113],"study_design_scores_gemma":[0.00008410302,0.00008475748,0.0004560367,0.0001914635,0.00005108053,0.0002001679,0.00008636614,0.1533751,0.01042568,0.6221806,0.212808,0.00005656742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004849274,0.0003160728,0.9590866,0.001144841,0.0002958054,0.0001310949,0.003998435,0.01154662,0.01863125],"genre_scores_gemma":[0.1890928,0.001372886,0.7471225,0.002848509,0.0005250897,0.0005708287,0.01499798,0.009751908,0.03371748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02250597,"threshold_uncertainty_score":0.07528996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01654994138557585,"score_gpt":0.2389783859943224,"score_spread":0.2224284446087466,"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."}}