{"id":"W2408791408","doi":"10.1017/s147106841600017x","title":"Consistency and trust in peer data exchange systems","year":2016,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada","keywords":"Data integrity; Data exchange; Semantics (computer science); Consistency (knowledge bases); SQL; Data consistency; Null (SQL); Invariant (physics); Operational semantics","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":[],"consensus_categories":[],"category_scores_codex":[0.009440047,0.000157053,0.0002870181,0.0000977805,0.0001012039,0.0001911057,0.0006247714,0.0001020694,0.000006171765],"category_scores_gemma":[0.002951332,0.00009846493,0.00001983799,0.0002072529,0.0002504757,0.001484746,0.0006003919,0.0001151579,0.000007593143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001425321,"about_ca_system_score_gemma":0.00004028169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001161006,"about_ca_topic_score_gemma":0.00001111843,"domain_scores_codex":[0.9975744,0.0009959445,0.0003573307,0.0004998312,0.0002584578,0.0003140109],"domain_scores_gemma":[0.9961295,0.002574786,0.0003138205,0.0007579274,0.0001309681,0.00009306703],"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.00006152227,0.00006257446,0.0007932424,0.000112305,0.00002041013,0.00003932783,0.0008664022,9.451073e-8,0.00008748307,0.687107,0.00002702009,0.3108226],"study_design_scores_gemma":[0.003344495,0.001356111,0.001191017,0.000264606,0.0001683692,0.002402535,0.009815595,0.0007166078,0.0001384106,0.305654,0.6738812,0.001066974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008034783,0.04441081,0.8961394,0.005766044,0.0013165,0.001880535,0.00001293587,0.000381974,0.04205702],"genre_scores_gemma":[0.9905324,0.0004066851,0.008321623,0.00008179581,0.00006691652,0.0000286294,0.000003070989,0.00000791855,0.0005509604],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9824976,"threshold_uncertainty_score":0.4015283,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07054837066759287,"score_gpt":0.3145633066913243,"score_spread":0.2440149360237314,"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."}}