{"id":"W1838030265","doi":"10.1023/a:1026153912205","title":"Database Repairs and Analytic Tableaux","year":2003,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Relational database; Computer science; Data integrity; Set (abstract data type); Closing (real estate); Relational model; Basis (linear algebra); Deductive database; Functional dependency; Database; Information retrieval; Theoretical computer science; Data mining; Programming language; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0008212652,0.0001270364,0.0002298769,0.00008093545,0.0001084615,0.0001097596,0.0002547012,0.00004207352,0.00002654448],"category_scores_gemma":[0.0005382959,0.0001047087,0.00004562391,0.000251644,0.0001420798,0.000230617,0.0001266566,0.00007494341,0.00001852825],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002314612,"about_ca_system_score_gemma":0.00003539234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001737035,"about_ca_topic_score_gemma":0.00001627381,"domain_scores_codex":[0.9989361,0.00003281943,0.00037018,0.0002808162,0.0001565101,0.0002236235],"domain_scores_gemma":[0.9989805,0.00022342,0.0001428975,0.0004002296,0.0001369142,0.0001160545],"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.000001243328,0.0001345501,0.00005471032,0.00008378179,0.00001357399,0.000005633854,0.001160763,0.000009292154,0.000482703,0.9800669,0.0001742401,0.01781259],"study_design_scores_gemma":[0.00002462663,0.0001664933,0.00003336149,0.0001325285,0.00001740408,0.00003990287,0.001004609,0.104741,0.137938,0.7539641,0.001650969,0.0002870003],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1309623,0.002464556,0.8512444,0.0005882377,0.0001828853,0.0002233071,0.000007001437,0.00008026684,0.01424706],"genre_scores_gemma":[0.9508594,0.0007689799,0.0480603,0.0001240584,0.00002108986,0.000003873897,7.489073e-7,0.000006997866,0.0001545795],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8198971,"threshold_uncertainty_score":0.4269895,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1302455512069036,"score_gpt":0.3348983845880137,"score_spread":0.20465283338111,"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."}}