{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004875404,0.0008560414,0.0009494622,0.0008789301,0.0007250655,0.003943674,0.002252988,0.001078308,0.002639854],"category_scores_gemma":[0.006665745,0.0006987143,0.001819045,0.000960962,0.003935949,0.006872126,0.004291839,0.004068143,0.0008044131],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001313528,"about_ca_system_score_gemma":0.001263793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001505603,"about_ca_topic_score_gemma":0.002262698,"domain_scores_codex":[0.9959009,0.001579703,0.0003674038,0.0007314348,0.001154957,0.0002655624],"domain_scores_gemma":[0.9968592,0.001891243,0.000156053,0.0006845032,0.0003172909,0.00009170805],"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.00005746521,0.00005463569,0.0001775996,0.000108306,0.00004589809,0.0001674333,0.0004762791,0.01241108,0.003554639,0.9527627,0.001058473,0.02912551],"study_design_scores_gemma":[0.00005576217,0.00003936532,0.00006307995,0.00002258705,0.00004060306,0.00009349019,0.00006576865,0.06938502,0.003111959,0.9219716,0.005130536,0.00002023412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01220228,0.0004319613,0.9778301,0.0008735207,0.00005706047,0.00009579179,0.0000797701,0.0006680916,0.007761378],"genre_scores_gemma":[0.3764201,0.000828074,0.6115717,0.0006850018,0.0002479428,0.0002597307,0.0003609097,0.0002062648,0.009420352],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004875404,"threshold_uncertainty_score":0.0257839,"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."}}