{"id":"W119782208","doi":"10.1145/1227839.1227841","title":"Recycling computed answers in rewrite systems for abduction","year":2007,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Negation; Domain (mathematical analysis); Computation; Computer science; Class (philosophy); Encoding (memory); Theoretical computer science; Circumscription; Logic program; Logic programming; Programming language; Algorithm; Artificial intelligence; Algebra over a field; Mathematics; Pure 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.006510509,0.0008559598,0.001530792,0.001741164,0.001588844,0.003569033,0.002614653,0.002037562,0.004522557],"category_scores_gemma":[0.02568924,0.001263059,0.002002564,0.001438274,0.003586433,0.0055143,0.003200141,0.003495248,0.001023178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002068192,"about_ca_system_score_gemma":0.00153067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003659551,"about_ca_topic_score_gemma":0.004643836,"domain_scores_codex":[0.9922168,0.003204951,0.000967535,0.00102864,0.002056969,0.0005250939],"domain_scores_gemma":[0.9815694,0.01357402,0.0005907489,0.002892465,0.001237988,0.0001353378],"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.0007405947,0.0004380102,0.00210251,0.001159897,0.0002439792,0.001003973,0.004083865,0.1149672,0.0279079,0.5765982,0.003719593,0.2670343],"study_design_scores_gemma":[0.0002773642,0.0002697279,0.00056911,0.0002260131,0.0003967616,0.0005220647,0.0005385215,0.4096133,0.03995677,0.5333414,0.01408076,0.0002082853],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05676705,0.0009504457,0.9305896,0.0005723722,0.00009862974,0.0003948841,0.0002075033,0.005225261,0.005194276],"genre_scores_gemma":[0.3864938,0.0006398922,0.6053135,0.0004197106,0.00009263658,0.0003060676,0.0005931316,0.001131864,0.005009321],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006510509,"threshold_uncertainty_score":0.03443128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04025305083435371,"score_gpt":0.2969539954423772,"score_spread":0.2567009446080235,"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."}}