{"id":"W2141088850","doi":"10.1016/s0004-3702(99)00071-5","title":"Using temporal logics to express search control knowledge for planning","year":2000,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":556,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke; University of Toronto","funders":"","keywords":"Computer science; Forward chaining; Domain (mathematical analysis); Domain knowledge; Planner; Automated planning and scheduling; Plan (archaeology); Control (management); Artificial intelligence; Range (aeronautics); Modularity (biology); Theoretical computer science; Machine learning; Expert system; Mathematics; Engineering","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.003352202,0.0007785343,0.0005698305,0.001618452,0.0009200076,0.004401463,0.002303273,0.001242484,0.003312634],"category_scores_gemma":[0.009535952,0.0007959969,0.00184587,0.001718055,0.003763474,0.007370499,0.002063988,0.002840082,0.0004894392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00227316,"about_ca_system_score_gemma":0.002090607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009025682,"about_ca_topic_score_gemma":0.01222583,"domain_scores_codex":[0.9979801,0.0006927116,0.0002599076,0.0003239826,0.0005327127,0.0002105675],"domain_scores_gemma":[0.9951527,0.003284555,0.0004318857,0.0006263027,0.0003439275,0.0001605893],"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.0002754792,0.000108343,0.0005083798,0.0003184259,0.0001181027,0.0002601617,0.0006232668,0.1435221,0.003312277,0.775713,0.002482192,0.07275834],"study_design_scores_gemma":[0.00006386872,0.00003323136,0.00007964882,0.00008438345,0.00008725948,0.0000652163,0.0001003752,0.2876097,0.003867796,0.7011411,0.006831765,0.00003557556],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00763925,0.000515807,0.9840681,0.0007340331,0.0000836151,0.00006736691,0.0002644046,0.0006273675,0.006000057],"genre_scores_gemma":[0.3841482,0.00115954,0.6089097,0.0004498697,0.0001631672,0.0002835902,0.0008239993,0.0001789231,0.003883061],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009025682,"threshold_uncertainty_score":0.0179463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2188542455742783,"score_gpt":0.3932797970025497,"score_spread":0.1744255514282714,"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."}}