{"id":"W2953082263","doi":"10.1145/1166109.1166110","title":"Domain-dependent knowledge in answer set planning","year":2006,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Planner; Computer science; Answer set programming; Correctness; Domain (mathematical analysis); Domain knowledge; Plan (archaeology); Logic programming; Set (abstract data type); Control (management); Semantics (computer science); Modular design; Artificial intelligence; Programming language; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002894038,0.0002279653,0.0002145699,0.000358556,0.0002780291,0.000129378,0.000829933,0.0001129784,0.00007205085],"category_scores_gemma":[0.00001028986,0.000212666,0.0001125341,0.0006366376,0.00006024407,0.0003191211,0.00002950248,0.0003059612,0.0003519191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001631962,"about_ca_system_score_gemma":0.0001307155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005060841,"about_ca_topic_score_gemma":0.0001028731,"domain_scores_codex":[0.9982893,0.0001332128,0.0003560217,0.0005392765,0.0003145167,0.0003677057],"domain_scores_gemma":[0.9987973,0.0005200265,0.00007765718,0.0004116013,0.0001138815,0.00007953664],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003043303,0.0009545697,0.001264861,0.0000210026,0.00003001557,0.0001154604,0.001516008,0.7116567,0.00006976528,0.2715734,0.0008558622,0.01191196],"study_design_scores_gemma":[0.002214257,0.0003152309,0.05174869,0.00007856883,0.00001448807,0.0001523032,0.0002100333,0.08206382,0.0002664062,0.8547652,0.007422506,0.000748529],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0235249,0.0002573391,0.960353,0.00067327,0.0005713097,0.0001793475,0.00001070017,0.0002320491,0.01419815],"genre_scores_gemma":[0.9215004,0.00000320655,0.07750773,0.0002481508,0.00009432688,0.00003911139,0.00002336485,0.00001212648,0.0005715878],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8979755,"threshold_uncertainty_score":0.8672269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02998419991651737,"score_gpt":0.2864637845921789,"score_spread":0.2564795846756616,"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."}}