{"id":"W1542582773","doi":"10.1109/icips.1997.669172","title":"Logic programming without default negation revisited","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Negation; Logic programming; Negation as failure; Programming language; Computer science; Autoepistemic logic; Default logic; Formalism (music); Horn clause; Logic program; Predicate functor logic; Higher-order logic; Multimodal logic; Description logic","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.00290766,0.0005469942,0.0006798154,0.0006472446,0.0009943845,0.002773937,0.00190513,0.001315077,0.002705903],"category_scores_gemma":[0.004211418,0.000393119,0.001221188,0.0009783487,0.004329296,0.007200207,0.002131236,0.004345038,0.0005759178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002433236,"about_ca_system_score_gemma":0.002107844,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003027629,"about_ca_topic_score_gemma":0.002164952,"domain_scores_codex":[0.9975507,0.0008872182,0.0001297782,0.0004757141,0.0006819172,0.0002747538],"domain_scores_gemma":[0.9983035,0.0007887133,0.0001360771,0.0003050685,0.0003321204,0.0001344525],"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.00001604941,0.00001587643,0.00004917774,0.00003256379,0.0000055341,0.00007213061,0.0001499256,0.001810338,0.0003989257,0.9894769,0.0008097186,0.007162658],"study_design_scores_gemma":[0.00002481775,0.00001575244,0.00003501977,0.00001786896,0.00001186048,0.0001010468,0.00003895257,0.01494991,0.0006173698,0.9752955,0.008883392,0.000008579517],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01905329,0.001939061,0.9260019,0.006984627,0.0003998493,0.00008135312,0.0001472338,0.0005002188,0.04489241],"genre_scores_gemma":[0.602071,0.001908451,0.3773945,0.002550107,0.0005758756,0.0001948486,0.0001824873,0.0002030083,0.01491967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003027629,"threshold_uncertainty_score":0.01765448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03147015772001108,"score_gpt":0.252991922301098,"score_spread":0.2215217645810869,"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."}}