{"id":"W33019600","doi":"10.3390/ma13194378","title":"Specifying and verifying multiagent systems using the cognitive agents specification language (casl)","year":2005,"lang":"en","type":"article","venue":"","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Programming language; Notation; Semantics (computer science); Specification language; Frame problem; Multi-agent system; Model checking; Formal specification; Artificial intelligence; Mathematics","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.008939683,0.001274897,0.001031373,0.000909959,0.001156257,0.003894007,0.002517344,0.001695842,0.002636339],"category_scores_gemma":[0.02300498,0.001358516,0.002272801,0.0006332491,0.002551694,0.004335372,0.003005539,0.002576232,0.001023547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001748137,"about_ca_system_score_gemma":0.004995451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007709767,"about_ca_topic_score_gemma":0.009306069,"domain_scores_codex":[0.9912928,0.003908567,0.001225481,0.0007332691,0.002413728,0.0004261665],"domain_scores_gemma":[0.9778046,0.01575509,0.001574777,0.002607698,0.001963067,0.0002947939],"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.0004635109,0.0004000762,0.004795792,0.002104516,0.0003888368,0.002044079,0.003611726,0.3755399,0.03650719,0.4113023,0.007346814,0.1554953],"study_design_scores_gemma":[0.0003228427,0.0002624282,0.0005223497,0.0002810693,0.0001361101,0.0006427962,0.0004685487,0.832212,0.03457842,0.08753806,0.04290843,0.000126894],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009024938,0.0001264567,0.9855318,0.0001798166,0.00003556365,0.0002590969,0.00021351,0.003425859,0.001203105],"genre_scores_gemma":[0.1762812,0.0002970408,0.8190649,0.0002608081,0.0000474716,0.0007340726,0.0006784936,0.0008257659,0.001810225],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008939683,"threshold_uncertainty_score":0.04727811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08594781351150942,"score_gpt":0.3178709406428474,"score_spread":0.2319231271313379,"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."}}