{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00278932,0.0006020841,0.0005752293,0.002149164,0.001515312,0.00519388,0.001620035,0.001023174,0.004478135],"category_scores_gemma":[0.002994461,0.0003657572,0.001107931,0.00334299,0.003027983,0.006186642,0.002327717,0.002086195,0.001157138],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002230127,"about_ca_system_score_gemma":0.002247878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002969019,"about_ca_topic_score_gemma":0.001622966,"domain_scores_codex":[0.9982747,0.0005341058,0.0001873115,0.0003168875,0.0005458089,0.0001412559],"domain_scores_gemma":[0.9988815,0.0003732515,0.0001175533,0.0001845574,0.0003269314,0.0001161914],"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.00001405213,0.000006553859,0.00006328917,0.00004420947,0.000004671065,0.00007497348,0.0001665593,0.0007846504,0.0008521655,0.9860156,0.001358322,0.0106149],"study_design_scores_gemma":[0.00001509356,0.00002567215,0.00006316977,0.0000474136,0.00001580431,0.00020698,0.0001331845,0.009665671,0.001204678,0.915763,0.07283673,0.00002260145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01621825,0.004456926,0.9040822,0.004974332,0.0005761613,0.0001538997,0.001218864,0.0007615977,0.06755781],"genre_scores_gemma":[0.3317571,0.00392453,0.641399,0.002469132,0.0004711399,0.0002125686,0.001207845,0.0001290512,0.01842958],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00519388,"threshold_uncertainty_score":0.01618075,"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."}}