{"id":"W2017592844","doi":"10.1016/j.jal.2006.03.005","title":"A consistency-based framework for merging knowledge bases","year":2006,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Belief revision; Merge (version control); Knowledge base; Computer science; Consistency (knowledge bases); Logical consequence; Operator (biology); Theoretical computer science; Mathematics; Artificial intelligence; Information retrieval","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.0006810413,0.0002008648,0.0004069717,0.0002046944,0.0002070055,0.0001427892,0.0007996757,0.0001328491,0.00002626601],"category_scores_gemma":[0.000149482,0.0001493992,0.0002804873,0.0003738837,0.00008102854,0.0001389104,0.00007638752,0.000267304,0.00003261731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007801726,"about_ca_system_score_gemma":0.0003271406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002366403,"about_ca_topic_score_gemma":0.000005342976,"domain_scores_codex":[0.9985622,0.00003679077,0.0005434701,0.0002548773,0.0002325206,0.0003701718],"domain_scores_gemma":[0.9979092,0.0008361997,0.0005264147,0.0003074041,0.00030301,0.0001177192],"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.00005170667,0.0002609714,0.0001394719,0.00004088812,0.00002216826,0.00002219089,0.0001674565,0.0006543369,0.0007541534,0.9863011,0.004370771,0.007214757],"study_design_scores_gemma":[0.00177975,0.0004670016,0.0007855666,0.0001365777,0.00007135122,0.00007606688,0.000108304,0.01348696,0.007355417,0.9276739,0.04761549,0.0004436534],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003342981,0.001270101,0.9449874,0.0005018172,0.0006716496,0.0001958337,0.000001691689,0.0000746485,0.04895384],"genre_scores_gemma":[0.69927,0.000007283251,0.2996924,0.0003966649,0.0005281962,0.0000131878,9.292826e-7,0.00001065268,0.00008070535],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.695927,"threshold_uncertainty_score":0.6092322,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02158454731681853,"score_gpt":0.2681046684767184,"score_spread":0.2465201211598999,"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."}}