{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001710452,0.0001115471,0.0001221886,0.00006108553,0.0001537933,0.0002278544,0.0004503378,0.00005849349,0.0001656464],"category_scores_gemma":[0.00009439402,0.00008198579,0.00005324405,0.000433642,0.00002550012,0.0003822505,0.0001128179,0.00008609236,0.0007601908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002809212,"about_ca_system_score_gemma":0.000006551822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001500057,"about_ca_topic_score_gemma":0.0000132369,"domain_scores_codex":[0.9990528,0.00004692659,0.0001560754,0.0003137883,0.0001674354,0.0002629769],"domain_scores_gemma":[0.9993522,0.00003695914,0.00006386111,0.0003645813,0.00009797465,0.00008440223],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000188473,0.0001663368,0.008884547,0.00002790039,0.00001562553,0.0000184582,0.001479684,0.00001438567,0.0002106755,0.4238366,0.006365201,0.5589787],"study_design_scores_gemma":[0.001281796,0.0004365182,0.007616318,0.00009092746,0.0000267046,0.0001356203,0.00009213745,0.7337521,0.001878865,0.01506558,0.2386389,0.000984538],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002833825,0.0005301563,0.7780471,0.0005893295,0.0001845668,0.000245604,1.265173e-7,0.0007503754,0.2168189],"genre_scores_gemma":[0.8841854,0.00002193315,0.1090792,0.0003630884,0.0001008562,0.00001446507,0.000001592664,0.000006112181,0.006227333],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8813516,"threshold_uncertainty_score":0.9770968,"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."}}