{"id":"W2065798393","doi":"10.1080/09528130701475617","title":"Weighting strategy for non-clausal resolution","year":2008,"lang":"en","type":"article","venue":"Journal of Experimental & Theoretical Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Weighting; Satisfiability; Resolution (logic); Propositional formula; Propositional calculus; Algorithm; Propositional variable; Artificial intelligence; Theoretical computer science; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.0052935,0.001386937,0.001419346,0.002448739,0.00131244,0.002711034,0.003511408,0.001549085,0.01313935],"category_scores_gemma":[0.01524974,0.000879553,0.001547634,0.002027372,0.001528142,0.005192478,0.004101628,0.003124121,0.003185687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001303102,"about_ca_system_score_gemma":0.001978907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001044304,"about_ca_topic_score_gemma":0.001882717,"domain_scores_codex":[0.9943183,0.00205776,0.0004708332,0.0006145611,0.002255989,0.0002826132],"domain_scores_gemma":[0.9943725,0.002962836,0.0002194832,0.001142484,0.001114771,0.0001879634],"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.0001104218,0.000210704,0.0003017184,0.0003875301,0.00009615743,0.0002523312,0.0002937066,0.02109392,0.009919082,0.6354007,0.003938852,0.3279949],"study_design_scores_gemma":[0.00007693847,0.00007890451,0.0001442134,0.0001063662,0.00008659488,0.00026827,0.00009831425,0.3170924,0.01472755,0.6479748,0.01927437,0.0000712308],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001582411,0.00009191777,0.9953803,0.00009230147,0.00005005319,0.0001097909,0.00003043797,0.0003450727,0.002317668],"genre_scores_gemma":[0.07020722,0.0002902042,0.9215354,0.000156817,0.00006164808,0.0004180938,0.0002169597,0.0004251009,0.006688474],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01313935,"threshold_uncertainty_score":0.04395545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06308542882193925,"score_gpt":0.3289339133434027,"score_spread":0.2658484845214634,"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."}}