{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008894872,0.0002009138,0.0002367584,0.0004702429,0.0003213201,0.0001302202,0.0006201915,0.0001363121,0.000006733855],"category_scores_gemma":[0.00007343403,0.0001981493,0.000132052,0.0008011844,0.00004993414,0.0003662367,0.00001276272,0.0002470305,0.00004463257],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002111206,"about_ca_system_score_gemma":0.00007955648,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004512737,"about_ca_topic_score_gemma":0.0000446033,"domain_scores_codex":[0.9981995,0.00008365115,0.000486162,0.0005427152,0.0002979052,0.0003901263],"domain_scores_gemma":[0.9979217,0.001219813,0.0001305618,0.0003742701,0.0002463694,0.0001072808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007659275,0.0003576766,0.0001716641,0.00004461525,0.00003799565,0.00001567848,0.0004740116,0.8420505,0.00008428688,0.0990695,0.00018615,0.05743137],"study_design_scores_gemma":[0.001825824,0.0004427279,0.00958161,0.0001051082,0.00001787714,0.0001279687,0.0002078734,0.8753231,0.0001701991,0.107994,0.003695705,0.0005080156],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005179937,0.0002078056,0.9904992,0.0007035161,0.001807702,0.0004847299,0.000007941533,0.0002778907,0.0008312781],"genre_scores_gemma":[0.7998607,0.00001720094,0.1995598,0.0002185072,0.0001260104,0.00004150665,0.0000242882,0.0000128595,0.0001390557],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7946808,"threshold_uncertainty_score":0.8080295,"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."}}