{"id":"W2407055246","doi":"10.1017/s0269888915000065","title":"Computational logics and verification techniques of multi-agent commitments: survey","year":2015,"lang":"en","type":"article","venue":"The Knowledge Engineering Review","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Semantics (computer science); Autonomy; Openness to experience; Knowledge management; Artificial intelligence; Programming language; Psychology","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.0116735,0.001030535,0.001172573,0.004936929,0.001483074,0.006380051,0.005660762,0.002419802,0.005620921],"category_scores_gemma":[0.01798899,0.001427998,0.003671862,0.005530688,0.005193937,0.01302659,0.00405239,0.005749355,0.001566849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004690761,"about_ca_system_score_gemma":0.003743601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003010651,"about_ca_topic_score_gemma":0.00116813,"domain_scores_codex":[0.9902068,0.0040588,0.0009824287,0.00117155,0.003136693,0.0004436393],"domain_scores_gemma":[0.9800097,0.01485041,0.0007754639,0.002388543,0.001708255,0.0002675904],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008683326,0.0001695395,0.0007553615,0.001518292,0.00009137372,0.0002400481,0.000816561,0.01440518,0.0009238722,0.8353639,0.003482326,0.1421467],"study_design_scores_gemma":[0.00006349155,0.0001014559,0.0005148211,0.001475586,0.00008470543,0.0006239996,0.0006607474,0.1151529,0.004112303,0.8047193,0.07236706,0.0001236047],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.007314652,0.03943038,0.9247765,0.00406152,0.000379902,0.0001950602,0.0001761183,0.0008651455,0.02280064],"genre_scores_gemma":[0.344389,0.05791112,0.5854508,0.002093572,0.001296346,0.0004515497,0.0007107473,0.0005100734,0.00718677],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.0116735,"threshold_uncertainty_score":0.06173611,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1071827226637137,"score_gpt":0.320506095392577,"score_spread":0.2133233727288633,"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."}}