{"id":"W4416184262","doi":"10.1109/acsos-c66519.2025.00059","title":"Using Modern Agent Toolkits with Logical Agents","year":2025,"lang":"","type":"article","venue":"","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"","keywords":"Bridge (graph theory); Symbolic execution; Logical framework; Declarative programming; Artificial life; Key (lock); Multi-agent system","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.004502856,0.001156116,0.001102224,0.001981907,0.002042754,0.007362113,0.0043498,0.001887365,0.01386917],"category_scores_gemma":[0.01126762,0.001674145,0.002948841,0.001383898,0.003393939,0.009383273,0.009484584,0.006231324,0.008623571],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001460006,"about_ca_system_score_gemma":0.003700255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003369546,"about_ca_topic_score_gemma":0.004263057,"domain_scores_codex":[0.9955907,0.001233579,0.0005403315,0.0005107757,0.001827672,0.000296842],"domain_scores_gemma":[0.9955345,0.001506937,0.0003188126,0.00159471,0.0006864209,0.0003586688],"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.00007207661,0.00006916538,0.0004119709,0.0004095301,0.0001102165,0.0002703147,0.001051003,0.01320707,0.002679629,0.89277,0.01538352,0.07356551],"study_design_scores_gemma":[0.00009501928,0.00003077088,0.0001045492,0.0002583576,0.00006393551,0.0003306312,0.0002247491,0.09010256,0.005115902,0.4305135,0.4730686,0.00009142231],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004108756,0.0001152055,0.9889435,0.0003334771,0.0001283425,0.00007420495,0.00009232569,0.004392351,0.005509816],"genre_scores_gemma":[0.0172113,0.0004972038,0.9698355,0.0003734642,0.00009811308,0.0004517908,0.0003861537,0.002451054,0.008695397],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01386917,"threshold_uncertainty_score":0.04639697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1169094782949676,"score_gpt":0.3254667646368777,"score_spread":0.2085572863419102,"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."}}