{"id":"W1483058305","doi":"10.1007/11426714_9","title":"AgentZ: Extending Object-Z for Multi-agent Systems Specification","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Notation; Software engineering; Formal methods; Formal specification; Component (thermodynamics); Agent-oriented software engineering; Software development; Programming language; Key (lock); Software","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.002744012,0.002255749,0.001218849,0.001409798,0.0009703832,0.004542511,0.002969321,0.001869614,0.01629872],"category_scores_gemma":[0.00370847,0.002115799,0.002724581,0.001370004,0.001407492,0.006319285,0.004459313,0.003348418,0.01069443],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008816448,"about_ca_system_score_gemma":0.001563728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002583365,"about_ca_topic_score_gemma":0.002576687,"domain_scores_codex":[0.9980972,0.0004051892,0.0003649073,0.0002016263,0.0007370593,0.0001939147],"domain_scores_gemma":[0.9987063,0.0004838163,0.0001002456,0.0003978468,0.0002427552,0.00006895275],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003843649,0.000146233,0.001088507,0.001526926,0.0001558606,0.0009623232,0.001571017,0.01570874,0.01179511,0.6664153,0.05349612,0.2467494],"study_design_scores_gemma":[0.0002006994,0.0000991967,0.0002988117,0.0003621678,0.000176306,0.0009542333,0.0001771406,0.07339888,0.02601352,0.213047,0.6851271,0.0001450076],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001212031,0.0001152032,0.979641,0.000118469,0.0001002224,0.0001097574,0.0004895356,0.01319108,0.00502273],"genre_scores_gemma":[0.05929498,0.001089572,0.887517,0.0004561358,0.0001224324,0.0009357883,0.005814367,0.01786077,0.02690897],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01629872,"threshold_uncertainty_score":0.0545246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06483474578138411,"score_gpt":0.2923588802008343,"score_spread":0.2275241344194502,"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."}}