{"id":"W1507965739","doi":"10.1007/11546207_18","title":"Platypus: A Platform for Distributed Answer Set Solving","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Computation; Variety (cybernetics); Set (abstract data type); Distributed computing; Theoretical computer science; Software; Scheme (mathematics); State (computer science); Distributed algorithm; Model of computation; Programming language; Artificial intelligence","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.0009626165,0.000728506,0.0007211506,0.0006098357,0.0005093834,0.0008417437,0.004120201,0.0005369434,0.00003537338],"category_scores_gemma":[0.000268478,0.0006297782,0.0002515312,0.0006840052,0.0005503773,0.00099926,0.00138092,0.0007961282,0.00007132758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005120555,"about_ca_system_score_gemma":0.0008098159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001104367,"about_ca_topic_score_gemma":0.0001638283,"domain_scores_codex":[0.9955178,0.00001573357,0.0006268442,0.001871031,0.0008033832,0.001165238],"domain_scores_gemma":[0.9965987,0.0008509089,0.0003616131,0.001432661,0.0004735733,0.0002825327],"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.00002277242,0.0000605346,0.00007480806,0.00009190821,0.00003681352,0.00007459594,0.002178985,0.01120413,0.0000639265,0.0991898,0.0008134473,0.8861883],"study_design_scores_gemma":[0.0008341484,0.0003390566,0.0001045583,0.0004350266,0.00002064197,0.0001389198,5.036726e-7,0.7656655,0.0008577877,0.1698755,0.06036603,0.00136238],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005031715,0.0006450326,0.9887847,0.0004620978,0.002510189,0.0006848151,0.00005630602,0.0003152894,0.006491296],"genre_scores_gemma":[0.1669493,0.0001280684,0.8243341,0.002413871,0.003825902,0.00007402954,0.000141116,0.0001197935,0.002013867],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8848259,"threshold_uncertainty_score":0.9996154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02499926661315623,"score_gpt":0.2551125802284426,"score_spread":0.2301133136152864,"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."}}