{"id":"W2161826750","doi":"","title":"ConGolog, Sin Trans: compiling ConGolog into basic action theories for planning and beyond","year":2008,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Computer science; Axiom; Compiler; Programming language; Executable; Concurrency; Reification (Marxism); Recursion (computer science); Theoretical computer science; 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.001523484,0.0009402416,0.0004056352,0.001216629,0.0007520391,0.002457382,0.00100254,0.0008445035,0.01302088],"category_scores_gemma":[0.004374683,0.0007990177,0.001442661,0.0008403503,0.001973576,0.002947857,0.002329267,0.002643806,0.00388279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009106185,"about_ca_system_score_gemma":0.002160827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002595375,"about_ca_topic_score_gemma":0.00335017,"domain_scores_codex":[0.9991817,0.0002307234,0.00007461816,0.0001974736,0.0002415759,0.00007397551],"domain_scores_gemma":[0.9983942,0.0007892086,0.0001145339,0.0004222114,0.0002127085,0.00006714762],"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.000187251,0.00008134583,0.0009245233,0.0007443121,0.00007140631,0.0004530313,0.0008534642,0.02472758,0.0069366,0.6566938,0.04994839,0.2583783],"study_design_scores_gemma":[0.00008481935,0.0001031533,0.000557411,0.0004201693,0.0000942072,0.0006123405,0.0002265054,0.1264395,0.02286543,0.3432406,0.5052812,0.00007477554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002855955,0.0004153629,0.9580026,0.0005949961,0.0002778546,0.0001244151,0.0005796739,0.0188976,0.01825153],"genre_scores_gemma":[0.06740778,0.0009380619,0.9011293,0.0008591532,0.0001877081,0.0004522575,0.002419052,0.008102749,0.01850395],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01302088,"threshold_uncertainty_score":0.04355913,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04009175483528749,"score_gpt":0.2825709991759726,"score_spread":0.2424792443406851,"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."}}