{"id":"W1574220574","doi":"10.5591/978-1-57735-516-8/ijcai11-439","title":"A correctness result for reasoning about one-dimensional planning problems","year":2010,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Plan (archaeology); Domain (mathematical analysis); Semantics (computer science); Representation (politics); Class (philosophy); Planner; Theoretical computer science; Algorithm; Artificial intelligence; Mathematics; Programming language","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.004447636,0.0008998626,0.0009094211,0.001252142,0.00153973,0.003063007,0.002415828,0.001938354,0.003225883],"category_scores_gemma":[0.02002293,0.0008180657,0.003357553,0.0009728627,0.007743496,0.00625808,0.004690075,0.004299694,0.0006608604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002320169,"about_ca_system_score_gemma":0.003017183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004517982,"about_ca_topic_score_gemma":0.002781233,"domain_scores_codex":[0.9944867,0.001266355,0.0005082088,0.0009723192,0.00218847,0.0005779199],"domain_scores_gemma":[0.9843705,0.01075513,0.0007147531,0.002353694,0.001453608,0.0003523226],"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.0001569656,0.000103169,0.002043914,0.0004278993,0.0001141052,0.0005568902,0.0009192019,0.1132509,0.007103953,0.8277254,0.002141506,0.04545615],"study_design_scores_gemma":[0.00005730605,0.00006629719,0.0003965355,0.00007746774,0.00007222895,0.000281327,0.0001511434,0.2056176,0.00891412,0.7788437,0.005474652,0.00004755475],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02737779,0.0001961975,0.9632773,0.001294633,0.00005467304,0.0001343223,0.0001902858,0.001659695,0.005815064],"genre_scores_gemma":[0.521356,0.0004212868,0.4739349,0.0006212594,0.0001281189,0.0002838348,0.0007377262,0.0003997815,0.002117117],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004517982,"threshold_uncertainty_score":0.02352166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0264066088234619,"score_gpt":0.2718747890836058,"score_spread":0.2454681802601439,"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."}}