{"id":"W2115895293","doi":"10.1017/s1471068406002729","title":"Temporal phylogenetic networks and logic programming","year":2006,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Toronto; Austrian Science Fund; National Science Foundation","keywords":"Computer science; Phylogenetic tree; Logic programming; Constraint (computer-aided design); Set (abstract data type); Programming language; Theoretical computer science; Artificial intelligence; Mathematics; Biology","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003766489,0.0002723767,0.0003392652,0.00009069207,0.0003136201,0.0003225193,0.0004298517,0.0001634318,0.00000672319],"category_scores_gemma":[0.0007184548,0.0002172664,0.00006896337,0.0003807834,0.0003897691,0.0006663576,0.000365908,0.0002822094,0.000004209752],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001571477,"about_ca_system_score_gemma":0.00003899661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005990064,"about_ca_topic_score_gemma":0.0000107175,"domain_scores_codex":[0.9974947,0.0008233932,0.0003911282,0.0005504954,0.0002028159,0.0005374572],"domain_scores_gemma":[0.997085,0.001850425,0.0004222284,0.0003815815,0.0001357385,0.0001250353],"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.0001010788,0.000198116,0.001601396,0.00005447963,0.0000282474,0.00004986172,0.0003943843,0.00005142029,0.0001156401,0.6186855,0.00001631163,0.3787035],"study_design_scores_gemma":[0.002760911,0.003448281,0.00516005,0.0002560006,0.0004480045,0.00259715,0.002746063,0.009645984,0.0006651934,0.8379268,0.1324033,0.001942225],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02145218,0.02962647,0.9241608,0.0007205647,0.0003335431,0.0008716562,9.114411e-7,0.0004134064,0.02242045],"genre_scores_gemma":[0.8729743,0.0001823449,0.1263018,0.0001741316,0.0001598345,0.00003288687,0.000004274857,0.00001247633,0.0001579424],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8515221,"threshold_uncertainty_score":0.8859866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01761395012785124,"score_gpt":0.2711694130920532,"score_spread":0.2535554629642019,"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."}}