{"id":"W2123303914","doi":"","title":"Abductive logic programming by nonground rewrite systems","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Soundness; Negation; Completeness (order theory); Abductive reasoning; Computer science; Logic programming; Programming language; Horn clause; Context (archaeology); Non-monotonic logic; Semantics (computer science); Stable model semantics; Simple (philosophy); Theoretical computer science; Artificial intelligence; Mathematics; Operational semantics; Epistemology","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.0002214925,0.0001643814,0.0001987327,0.00005702772,0.0002822808,0.0002028559,0.0006854151,0.00008154871,0.00001426527],"category_scores_gemma":[0.00003864891,0.0001228405,0.0000679463,0.0003626355,0.00009610496,0.0005231597,0.0001833144,0.0001276147,0.0003184656],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006807375,"about_ca_system_score_gemma":0.00005245742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002021201,"about_ca_topic_score_gemma":0.00001052443,"domain_scores_codex":[0.9986173,0.00006865701,0.0001998444,0.0004681974,0.0002427008,0.0004033157],"domain_scores_gemma":[0.9991403,0.00006727157,0.00008047686,0.0004416067,0.0001397246,0.0001305828],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004714652,0.0002521565,0.002755327,0.00003146275,0.00003952342,0.0001282691,0.001893651,0.00001449919,0.0003688135,0.9531215,0.03289156,0.008498513],"study_design_scores_gemma":[0.00342367,0.002117595,0.003643986,0.0001898113,0.00005204321,0.004181884,0.002152746,0.09073348,0.003021498,0.03464697,0.8521076,0.003728698],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006525822,0.001941961,0.9247504,0.0001782935,0.0009773792,0.000347561,9.101079e-7,0.0006200492,0.06465758],"genre_scores_gemma":[0.9163745,0.00006791189,0.05584222,0.0001499707,0.000248462,0.0000574775,0.000004183503,0.00001333974,0.02724193],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9184746,"threshold_uncertainty_score":0.5009291,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02582932841134032,"score_gpt":0.2366752899901047,"score_spread":0.2108459615787643,"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."}}