{"id":"W2540738838","doi":"10.1007/978-3-319-48758-8_40","title":"GenB: A General Solver for AGM Revision","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"British Columbia Institute of Technology","funders":"","keywords":"Computer science; Solver; Simple (philosophy); Set (abstract data type); User interface; Operator (biology); Range (aeronautics); Problem solver; Interface (matter); Programming language; Selection (genetic algorithm); Human–computer interaction; Software engineering; Theoretical computer science; Artificial intelligence; Operating system","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.001667468,0.001727413,0.001477309,0.001379395,0.001106676,0.003548853,0.003814361,0.002546128,0.04893115],"category_scores_gemma":[0.006105763,0.001298644,0.002457017,0.001419547,0.001407261,0.00551453,0.005372064,0.00382579,0.01802052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001080918,"about_ca_system_score_gemma":0.002133632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002159534,"about_ca_topic_score_gemma":0.004141761,"domain_scores_codex":[0.9983405,0.0004015917,0.0001693592,0.0003705918,0.0005066476,0.0002113406],"domain_scores_gemma":[0.9984089,0.0007286796,0.00007203829,0.0004319897,0.000288526,0.00007003263],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004479598,0.0001835008,0.0006792732,0.001410325,0.0001498108,0.0004702674,0.0004922966,0.01249315,0.00740368,0.3045564,0.1924541,0.4792592],"study_design_scores_gemma":[0.0003770843,0.00006033567,0.0002348311,0.0002470248,0.000141017,0.0006011911,0.000213624,0.134985,0.01693779,0.6598926,0.1862218,0.00008781703],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005161189,0.0006514692,0.9024848,0.00122247,0.0005894814,0.0003598103,0.003221445,0.04861262,0.03769676],"genre_scores_gemma":[0.1182423,0.0007216767,0.8163664,0.001140855,0.0003426892,0.0004771261,0.007056994,0.01445858,0.04119338],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04893115,"threshold_uncertainty_score":0.163691,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02054164925169782,"score_gpt":0.2571699018289044,"score_spread":0.2366282525772065,"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."}}