{"id":"W2817113361","doi":"10.1145/3216122.3216157","title":"A useful four-valued database logic","year":2018,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Truth value; SQL; Computer science; Negation; Relational database; Constructive; Theoretical computer science; Intuitionistic logic; Logical consequence; Propositional calculus; Programming language; Artificial intelligence; Data mining","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002576702,0.0001106242,0.0001419274,0.00005110065,0.0001435619,0.00004746933,0.0004485407,0.00002657444,0.0002122038],"category_scores_gemma":[0.00009060914,0.00008056727,0.00003494287,0.0002579383,0.00008743977,0.001082093,0.000455773,0.00005883225,0.0009374185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001096103,"about_ca_system_score_gemma":0.00004801555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009413232,"about_ca_topic_score_gemma":0.00009970606,"domain_scores_codex":[0.998917,0.00004221128,0.0001990547,0.0003800961,0.0002060947,0.0002555411],"domain_scores_gemma":[0.9986737,0.00003724305,0.00006368144,0.001023394,0.00009886084,0.0001031007],"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.000004028866,0.00001617658,0.0001378805,0.000007066573,0.000005288407,0.00002638174,0.00009535575,0.00000117685,0.0008099271,0.9867047,0.008819886,0.003372103],"study_design_scores_gemma":[0.0006026248,0.0002363326,0.001003518,0.00004609695,0.000004671068,0.0001319022,0.00008149895,0.03161844,0.01107452,0.006173298,0.9485447,0.0004824078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002059922,0.0000333613,0.9752224,0.0003417091,0.0005238508,0.00009873847,0.00001630442,0.0002949224,0.0214088],"genre_scores_gemma":[0.09356157,0.000004709916,0.9008965,0.001535557,0.0003959291,0.00001385055,0.00001139908,0.000008489178,0.003571925],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9805315,"threshold_uncertainty_score":0.9998404,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05408212891216195,"score_gpt":0.2875415107891819,"score_spread":0.23345938187702,"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."}}