{"id":"W227147738","doi":"10.1016/s0004-3702(02)00227-8","title":"Abduction in logic programming: A new definition and an abductive procedure based on rewriting","year":2002,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Rewriting; Answer set programming; Logic programming; Stable model semantics; Computer science; Programming language; Semantics (computer science); Non-monotonic logic; Set (abstract data type); Abductive reasoning; Circumscription; Logic program; Theoretical computer science; Artificial intelligence; Operational semantics","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.000309341,0.0001628811,0.0001415704,0.0001750861,0.0001658107,0.0002307498,0.000287588,0.00009331974,0.00003216242],"category_scores_gemma":[0.0003137939,0.0001536855,0.00003438131,0.0006341143,0.00008157735,0.0005444836,0.00004626902,0.000208889,0.0001004025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005921748,"about_ca_system_score_gemma":0.00004304994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009601095,"about_ca_topic_score_gemma":0.0002726158,"domain_scores_codex":[0.9985319,0.00008782394,0.0002795614,0.0005848038,0.0001881714,0.0003277319],"domain_scores_gemma":[0.9993228,0.00009629471,0.00009434529,0.0002730152,0.00008295723,0.0001306313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002003799,0.0003691212,0.0004597031,0.000016223,0.000002113738,0.00001980949,0.003281797,0.0004969828,0.0003933111,0.5138505,0.00004532879,0.4810452],"study_design_scores_gemma":[0.00008326941,0.0009469291,0.0005839407,0.0001221022,0.000006502911,0.00003239058,0.0008837831,0.6191715,0.009916172,0.3675542,0.0002846181,0.0004145247],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07299673,0.0003583341,0.9153126,0.002160316,0.0004774874,0.0006912375,9.402553e-7,0.0004213196,0.007581057],"genre_scores_gemma":[0.9653043,0.00002034605,0.03416,0.0002275588,0.0002098606,0.00002792039,0.000002059642,0.000008669244,0.0000393187],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8923075,"threshold_uncertainty_score":0.6267114,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1208561192208215,"score_gpt":0.3054953559244643,"score_spread":0.1846392367036427,"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."}}