{"id":"W2997326929","doi":"10.1609/aaai.v34i03.5669","title":"ElGolog: A High-Level Programming Language with Memory of the Execution History","year":2020,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University; York University","funders":"European Commission","keywords":"Converse; Computer science; Programming language; Situation calculus; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003310337,0.0002099753,0.0002751395,0.00005421019,0.0001312436,0.00006947639,0.002236529,0.00008517436,0.00003853188],"category_scores_gemma":[0.0004431961,0.0001203746,0.0001196882,0.0005591026,0.0004851249,0.0002690099,0.0004624857,0.0003163037,0.00002557866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008625536,"about_ca_system_score_gemma":0.0002318141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001147659,"about_ca_topic_score_gemma":0.00002950524,"domain_scores_codex":[0.9983583,0.00003003754,0.0003938265,0.0004457162,0.0004763721,0.0002957154],"domain_scores_gemma":[0.998505,0.00006137673,0.0005187187,0.0003132596,0.000512755,0.00008892304],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001169758,0.0001869122,0.0004018892,0.0001294354,0.00002925428,0.00000137487,0.0216159,0.00003117231,0.07262078,0.8183868,0.0004486805,0.08603083],"study_design_scores_gemma":[0.0001013295,0.0007099487,0.00115645,0.0003868789,0.00004643613,0.00001098319,0.003383245,0.01947359,0.9607434,0.01295346,0.0006446692,0.0003896332],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8686634,0.0004430784,0.0799493,0.01146076,0.001470896,0.001954971,0.00001110286,0.0004007725,0.03564567],"genre_scores_gemma":[0.995384,0.000009180289,0.003853723,0.0002956617,0.00007931548,0.00002527244,2.894584e-7,0.00001095508,0.0003415505],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8881226,"threshold_uncertainty_score":0.4908734,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08513993585300643,"score_gpt":0.2541457983149294,"score_spread":0.169005862461923,"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."}}