{"id":"W1532716643","doi":"10.1109/iat.2004.5","title":"A framework to specify and evaluate coordination in MAS with logic","year":2004,"lang":"en","type":"article","venue":"IEEE/WIC/ACM International Conference on Intelligent Agent Technology","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Temporal logic; Linear temporal logic; Description logic; Service (business); Theoretical 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.0002534979,0.0003311798,0.0002865445,0.00127054,0.00009081681,0.0001855613,0.002299607,0.0002458201,0.0001312175],"category_scores_gemma":[0.00009271999,0.0002791497,0.00004544621,0.001096062,0.0001158701,0.0002248863,0.0005378177,0.0005594991,0.0003499315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00025299,"about_ca_system_score_gemma":0.0001140898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001327814,"about_ca_topic_score_gemma":0.0006110902,"domain_scores_codex":[0.9976141,0.00005037354,0.000427815,0.0008789169,0.0005975463,0.0004312362],"domain_scores_gemma":[0.9984115,0.0001033229,0.000165155,0.0008131793,0.0003792982,0.0001275715],"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.0001010189,0.0002059289,0.00154231,0.00001297619,0.00005401274,0.0000996294,0.001350626,0.002008447,0.001501745,0.9641843,0.00005239844,0.02888665],"study_design_scores_gemma":[0.001180039,0.00168613,0.003812529,0.0008186801,0.00001846981,0.000147677,0.001044299,0.007040903,0.04462496,0.9302772,0.008563744,0.0007854206],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3729593,0.00007729849,0.5285432,0.0920829,0.001109233,0.0006525394,0.000009479263,0.0003814787,0.004184481],"genre_scores_gemma":[0.9557396,0.00008363482,0.04100256,0.002812665,0.0000788559,0.0001209352,0.00000991305,0.00001710285,0.000134762],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5827802,"threshold_uncertainty_score":0.9999661,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04900607208603159,"score_gpt":0.3220134699405495,"score_spread":0.2730073978545179,"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."}}