{"id":"W2053055720","doi":"10.1142/s0218194005001884","title":"A GENERIC FORMAL FRAMEWORK FOR CONSTRUCTING AGENT INTERACTION PROTOCOLS","year":2005,"lang":"en","type":"article","venue":"International Journal of Software Engineering and Knowledge Engineering","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Interaction protocol; Programming language; Protocol (science); Construct (python library); Semantics (computer science); Abstraction; Formal specification; Formal semantics (linguistics); Theoretical computer science; Formal description; Software engineering; Principal (computer security); Formal methods; Model checking; Distributed computing","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":[],"consensus_categories":[],"category_scores_codex":[0.0003534004,0.0001525971,0.0001890415,0.0003084758,0.00003970289,0.0001679869,0.0003674774,0.00007101298,0.000003436262],"category_scores_gemma":[0.0005220815,0.0001478006,0.0001087541,0.0001051053,0.000005490998,0.0009381123,0.0000875327,0.0002135214,0.000002909547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001529609,"about_ca_system_score_gemma":0.00004077579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.034224e-7,"about_ca_topic_score_gemma":4.180033e-7,"domain_scores_codex":[0.9989643,0.000008443796,0.0004792132,0.0001444561,0.0002055907,0.0001980545],"domain_scores_gemma":[0.9989795,0.0002781707,0.0002256088,0.00009855663,0.0003188527,0.00009927603],"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.00007586928,0.0002219103,0.002163648,0.0005687497,0.0006541734,0.00003445775,0.00553389,0.4060215,0.01276617,0.05597221,0.0003604771,0.5156269],"study_design_scores_gemma":[0.001088686,0.0001283341,0.001199287,0.001226071,0.00001559349,0.000652939,0.00005446787,0.9424204,0.007817466,0.00008246236,0.04497638,0.0003379202],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03084004,0.0003265995,0.9659055,0.00007863567,0.00224261,0.0004984625,0.000002440263,0.00009806467,0.000007677049],"genre_scores_gemma":[0.4856694,0.00001442411,0.5128376,0.00001232933,0.001304444,0.0001313211,0.000001129955,0.00001637952,0.00001293161],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5363988,"threshold_uncertainty_score":0.6027132,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02402470833074785,"score_gpt":0.2959518691328403,"score_spread":0.2719271608020924,"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."}}