{"id":"W1604784155","doi":"10.1007/978-3-540-27775-0_28","title":"Adding Domain Dependent Knowledge into Answer Set Programs for Planning","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Domain (mathematical analysis); Domain knowledge; Benchmark (surveying); Coding (social sciences); Set (abstract data type); Scheme (mathematics); Class (philosophy); Answer set programming; Artificial intelligence; Theoretical computer science; Programming language; 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.002122205,0.0007866971,0.0006353923,0.001022059,0.0006967772,0.001626163,0.002749632,0.001499681,0.006431048],"category_scores_gemma":[0.007229471,0.001069035,0.001625941,0.001113947,0.001849953,0.004729143,0.003431767,0.004102755,0.001365727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009195681,"about_ca_system_score_gemma":0.0007483927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00215347,"about_ca_topic_score_gemma":0.005138443,"domain_scores_codex":[0.9985296,0.0004442878,0.0001248606,0.0002211197,0.000558781,0.0001214388],"domain_scores_gemma":[0.9966148,0.002598189,0.00009879341,0.0004255701,0.0001992878,0.00006339926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003552401,0.0003443798,0.000931902,0.0007786548,0.0001582772,0.0003379673,0.001548914,0.1500664,0.01037505,0.3412119,0.01203446,0.4818569],"study_design_scores_gemma":[0.00006880211,0.00009248205,0.0002247465,0.0001444435,0.0001527422,0.00009968748,0.0001184731,0.4268799,0.01569059,0.5340357,0.02244774,0.00004462375],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006348305,0.0001635859,0.9844248,0.0003254886,0.00004329876,0.00009664333,0.0001505847,0.002642225,0.005805091],"genre_scores_gemma":[0.1479455,0.0003209492,0.8443224,0.0002841234,0.00006413997,0.0002455994,0.0007463613,0.0006358092,0.005435153],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006431048,"threshold_uncertainty_score":0.021514,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02813020125153953,"score_gpt":0.2824428363186582,"score_spread":0.2543126350671187,"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."}}