{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001863653,0.0005714135,0.00139634,0.001624546,0.001446828,0.001282948,0.001932796,0.00133918,0.006097989],"category_scores_gemma":[0.005015664,0.0008205675,0.001583031,0.001599405,0.001084598,0.001966871,0.002615783,0.002234796,0.00196429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005464384,"about_ca_system_score_gemma":0.0008085985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001380478,"about_ca_topic_score_gemma":0.00274228,"domain_scores_codex":[0.9990502,0.000316562,0.00008385994,0.0002577639,0.0002221765,0.00006933839],"domain_scores_gemma":[0.9976051,0.001202955,0.000123098,0.0005900246,0.0003758443,0.0001030539],"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.0002259764,0.0002933737,0.00319548,0.0004162996,0.0001515512,0.0002350223,0.0007135025,0.1592237,0.01339334,0.1432202,0.006595237,0.6723364],"study_design_scores_gemma":[0.00003438383,0.000105727,0.0005203768,0.00005154743,0.00003850664,0.0001027358,0.00009932579,0.8162359,0.004357643,0.1717353,0.006696098,0.00002251011],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01355212,0.00008974791,0.983281,0.00008346268,0.00005286242,0.00005856081,0.0000951991,0.001072932,0.001714086],"genre_scores_gemma":[0.09459699,0.00009671746,0.9021829,0.00008149734,0.00004089432,0.0001064681,0.0005519629,0.000518462,0.00182408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006097989,"threshold_uncertainty_score":0.02039987,"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."}}