{"id":"W2502059287","doi":"","title":"Generation and verification of plans with loops","year":2012,"lang":"en","type":"dissertation","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Nondeterministic algorithm; Property (philosophy); Plan (archaeology); Computer science; Finite-state machine; Generalization; State (computer science); Representation (politics); Theoretical computer science; Mathematics; Algorithm","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.002250441,0.0005515061,0.0005185256,0.0005804313,0.000650133,0.00124118,0.001437198,0.0006939003,0.002031407],"category_scores_gemma":[0.01165794,0.0005326899,0.00175852,0.0004291768,0.002739832,0.002190384,0.002070694,0.001430669,0.0002768729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001042817,"about_ca_system_score_gemma":0.002462371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003022123,"about_ca_topic_score_gemma":0.002455973,"domain_scores_codex":[0.9977118,0.0006455273,0.0001426977,0.000463626,0.0007922943,0.0002441308],"domain_scores_gemma":[0.9933327,0.004947941,0.0005215139,0.0007261574,0.000371091,0.0001005968],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002824717,0.0001753362,0.003458755,0.0004252406,0.0001067731,0.0006560097,0.000937636,0.4861283,0.02072338,0.3960308,0.001405279,0.08967005],"study_design_scores_gemma":[0.00007792249,0.0001359879,0.0003808684,0.00006344291,0.00004568607,0.0001236169,0.0001230115,0.7235045,0.02484945,0.2453966,0.005265085,0.0000336638],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07531655,0.0001359001,0.9191076,0.0002936676,0.00003424625,0.0002252064,0.0001735002,0.001601837,0.003111365],"genre_scores_gemma":[0.4670829,0.0002147882,0.5293025,0.0001136547,0.00002616826,0.0002861604,0.0006104086,0.0001993287,0.002164019],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003022123,"threshold_uncertainty_score":0.01190168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0254758339806,"score_gpt":0.2469656111987087,"score_spread":0.2214897772181087,"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."}}