{"id":"W1572155026","doi":"10.1007/978-3-540-32128-6_3","title":"Specifying DIMA Multi-agents Models Using Maude","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Computer science","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.0008970341,0.0006741415,0.0006383988,0.0009714059,0.0004090171,0.0007521338,0.003134707,0.0003979846,0.00003753724],"category_scores_gemma":[0.00003376135,0.0006410561,0.0002008961,0.0005228476,0.0002701962,0.0016318,0.001379844,0.0007044055,0.00007049957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007059631,"about_ca_system_score_gemma":0.0003847491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008007555,"about_ca_topic_score_gemma":0.00009931088,"domain_scores_codex":[0.9950443,0.00005412922,0.0008096888,0.001888222,0.00134145,0.0008622368],"domain_scores_gemma":[0.9972839,0.0001739883,0.0005194949,0.001550309,0.0002283231,0.0002439873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003269314,0.00005575651,0.00007057632,0.0000566441,0.00001708386,0.00007892066,0.001336161,0.6554787,0.0005139645,0.007311686,0.00001984043,0.3350574],"study_design_scores_gemma":[0.000381171,0.00003234105,0.0001015843,0.0004709023,0.000008133176,0.00006268381,1.476884e-7,0.9868999,0.0005347318,0.009914629,0.0008996013,0.0006941693],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002684241,0.0007133714,0.9941732,0.0001955639,0.002632377,0.000576787,0.000006124846,0.0001945166,0.00123962],"genre_scores_gemma":[0.1824653,0.00008943251,0.814635,0.0008727784,0.001161732,0.000006598277,0.000005336552,0.00006165823,0.000702139],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3343633,"threshold_uncertainty_score":0.999604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09054473493819953,"score_gpt":0.2946431231356446,"score_spread":0.204098388197445,"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."}}