{"id":"W1589528070","doi":"10.1023/a:1020116927466","title":"SLT-Resolution for the Well-Founded Semantics","year":2002,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Prolog; Computer science; Resolution (logic); Computation; Semantics (computer science); Programming language; Algorithm; Extension (predicate logic); Theoretical computer science","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.007291527,0.0009459574,0.001721008,0.002941028,0.00283677,0.006643513,0.003368,0.003144903,0.01735669],"category_scores_gemma":[0.01649281,0.001149809,0.004400219,0.003032424,0.004439327,0.02081712,0.007202764,0.008047134,0.003614385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002299564,"about_ca_system_score_gemma":0.002716139,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002084097,"about_ca_topic_score_gemma":0.002883574,"domain_scores_codex":[0.9934148,0.002377634,0.0007289262,0.001089257,0.001824007,0.0005654956],"domain_scores_gemma":[0.9916655,0.004604621,0.0003098619,0.001687411,0.001414189,0.0003183757],"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.00006380359,0.00004163392,0.0001369542,0.000144439,0.00005598787,0.0001109529,0.0002283683,0.002794242,0.000566291,0.961248,0.005212476,0.02939677],"study_design_scores_gemma":[0.00001840533,0.000007642818,0.00002796611,0.00002485719,0.00003144572,0.00006634521,0.00004846671,0.01071491,0.0008735447,0.9820957,0.006076393,0.00001431018],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006694,0.001265589,0.9550756,0.003521285,0.0005648657,0.0001001411,0.0003775346,0.001282783,0.03111818],"genre_scores_gemma":[0.3145613,0.001800003,0.6508754,0.001951953,0.001143466,0.0003018765,0.001767133,0.0009504058,0.02664848],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01735669,"threshold_uncertainty_score":0.05806392,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02321473503476437,"score_gpt":0.2570563489167325,"score_spread":0.2338416138819681,"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."}}