{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009018869,0.001764503,0.001116214,0.002629529,0.002227579,0.00637921,0.004195212,0.002474888,0.004648976],"category_scores_gemma":[0.008136206,0.001089687,0.003530424,0.001651642,0.004868722,0.00604981,0.003450946,0.003976509,0.001009276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004279932,"about_ca_system_score_gemma":0.005823536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01388922,"about_ca_topic_score_gemma":0.01042445,"domain_scores_codex":[0.9953077,0.001897358,0.0005435171,0.0005370702,0.001255234,0.0004591383],"domain_scores_gemma":[0.996752,0.001235892,0.0003468196,0.0005515383,0.0008396858,0.0002739765],"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.00003004235,0.00005086415,0.0002030453,0.0001049056,0.00003809218,0.000181164,0.000254585,0.03289691,0.001078756,0.9474316,0.001649649,0.01608036],"study_design_scores_gemma":[0.000132382,0.0001260346,0.0001376341,0.0002123179,0.0001043793,0.0002031931,0.0001947431,0.2648402,0.003483137,0.6906807,0.0397861,0.0000990457],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001447528,0.0001842187,0.9927496,0.0004416438,0.0000463602,0.0001635163,0.0000965921,0.000802087,0.004068452],"genre_scores_gemma":[0.05492495,0.0003322421,0.9417747,0.0002045908,0.00009647427,0.0005356123,0.0002102182,0.0001558878,0.001765344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01388922,"threshold_uncertainty_score":0.04769689,"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."}}