{"id":"W1984778493","doi":"10.1016/j.datak.2010.01.005","title":"The consistency extractor system: Answer set programs for consistent query answering in databases","year":2010,"lang":"en","type":"article","venue":"Data & Knowledge Engineering","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":82,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Datalog; Answer set programming; Database theory; Consistency (knowledge bases); Extractor; Programming language; Relational database; Deductive database; Set (abstract data type); Information retrieval; Database; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001715842,0.0003577741,0.0003832351,0.000147296,0.0002853672,0.0004477024,0.002568144,0.0001122716,0.000003240793],"category_scores_gemma":[0.0008591687,0.0002772148,0.00009797751,0.0004491321,0.0000981108,0.0009895324,0.001093125,0.0004798523,0.00004680631],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008306347,"about_ca_system_score_gemma":0.000219988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005242854,"about_ca_topic_score_gemma":0.001190141,"domain_scores_codex":[0.9975635,0.00006342433,0.0005496275,0.0008498347,0.0001996825,0.0007739195],"domain_scores_gemma":[0.9960417,0.001087762,0.0001144306,0.002382209,0.0001712233,0.0002026791],"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.0000668346,0.0008457435,0.009182418,0.003307548,0.0003199284,0.0001509809,0.003266337,0.00006354248,0.0190269,0.6273285,0.01139465,0.3250466],"study_design_scores_gemma":[0.0007315585,0.00005155501,0.002181541,0.0004060371,0.00003166293,0.00009638934,0.0002639345,0.6499594,0.0008074042,0.00003382256,0.3448209,0.0006156866],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07192456,0.01370325,0.8768162,0.0002592513,0.02199094,0.004119345,0.0009596533,0.002587637,0.007639124],"genre_scores_gemma":[0.941013,0.00006540693,0.05710709,0.00001228937,0.0006653691,0.000355376,0.0005393531,0.00006540387,0.0001766874],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8690885,"threshold_uncertainty_score":0.999968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05562206053334146,"score_gpt":0.2879527423906523,"score_spread":0.2323306818573109,"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."}}