{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001828842,0.0005457078,0.0003103767,0.0004668182,0.002162128,0.001523422,0.000726586,0.0006592345,0.001321244],"category_scores_gemma":[0.0006191867,0.0008129696,0.0003874531,0.001055449,0.0003659004,0.007138317,0.001079537,0.0008726665,0.0006515319],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008074551,"about_ca_system_score_gemma":0.0005860878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001589847,"about_ca_topic_score_gemma":0.000127974,"domain_scores_codex":[0.9941091,0.0003832155,0.001894564,0.0009188104,0.001733892,0.0009604465],"domain_scores_gemma":[0.9955377,0.0007527607,0.001962074,0.001074285,0.0002870144,0.0003861848],"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.0002604509,0.0001288212,0.00001165259,0.001195554,0.000262392,0.00006756646,0.003232443,0.1216056,0.0002739666,0.8651016,0.00243044,0.005429565],"study_design_scores_gemma":[0.0008568852,0.000836348,0.00006397268,0.0005086329,0.000256717,0.002276909,0.004083621,0.9743147,0.004201466,0.00001857852,0.01188985,0.0006922979],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2494255,0.0008310704,0.7323522,0.000278103,0.005133626,0.0002433139,0.001574717,0.0004478729,0.009713578],"genre_scores_gemma":[0.9827496,0.0003134035,0.009026037,0.0003361522,0.001020396,0.001234473,0.005060591,0.0001340074,0.0001253323],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.865083,"threshold_uncertainty_score":0.9995917,"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."}}