{"id":"W1530557229","doi":"10.1007/11546207_29","title":"Application of Smodels in Quartet Based Phylogeny Construction","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Consistency (knowledge bases); Computer science; Set (abstract data type); Dynamic programming; Taxon; Phylogenetics; Theoretical computer science; Algorithm; Artificial intelligence; Programming language; Paleontology; Biology","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.0007134963,0.0003689506,0.0004918203,0.0008684017,0.00009311635,0.0001232453,0.00205664,0.0003228059,0.00001118745],"category_scores_gemma":[0.00004592415,0.0003465244,0.0001133652,0.0007186818,0.000656431,0.0003773976,0.000348798,0.0004837769,0.00002211433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002807349,"about_ca_system_score_gemma":0.0005256223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004248363,"about_ca_topic_score_gemma":0.0001921952,"domain_scores_codex":[0.9971752,0.00003985098,0.0005668828,0.001167952,0.0006107076,0.0004394453],"domain_scores_gemma":[0.9979011,0.0002821404,0.000384022,0.001099339,0.0002355005,0.00009788188],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005675676,0.00005062015,0.0004537335,0.00003787501,0.000003719156,0.000007684593,0.0004646735,0.05351905,0.0004865114,0.09166896,0.000004200621,0.8532973],"study_design_scores_gemma":[0.0003308441,0.0001025331,0.0005173255,0.0001452556,0.000004060118,0.0000215014,1.624412e-7,0.8824723,0.002253463,0.1131016,0.0006723975,0.000378615],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002196824,0.0003547014,0.9928681,0.0002054519,0.0006469977,0.0003793164,0.000003536818,0.00008028348,0.005241926],"genre_scores_gemma":[0.6558366,0.00001860083,0.3435072,0.0003086882,0.0002472913,0.00001350292,0.000005012674,0.0000154041,0.00004771402],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8529187,"threshold_uncertainty_score":0.9998987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01218981920385962,"score_gpt":0.2321604293070798,"score_spread":0.2199706101032202,"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."}}