{"id":"W987632048","doi":"","title":"WHAT IS WRONG WITH NEGATIVE PROPERTIES","year":2004,"lang":"en","type":"article","venue":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Moncton","funders":"","keywords":"Negation; Predicate (mathematical logic); Metaphysics; Linguistics; Negation as failure; Computer science; Scope (computer science); Natural language processing; Artificial intelligence; Epistemology; Philosophy; Autoepistemic logic; Programming language","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0003971658,0.0005013847,0.0004601878,0.0003146718,0.0008391054,0.001129378,0.001353794,0.000320155,0.00001599877],"category_scores_gemma":[0.000176037,0.0003814608,0.0001798719,0.001016647,0.00004369664,0.002801275,0.0004285379,0.0005379997,0.00005457811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006640429,"about_ca_system_score_gemma":0.0009337623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003402453,"about_ca_topic_score_gemma":0.0002714486,"domain_scores_codex":[0.9966221,0.0001999441,0.0004875925,0.001004807,0.0008557485,0.0008297813],"domain_scores_gemma":[0.9976188,0.0001068168,0.00030321,0.0008899405,0.0006088208,0.0004724007],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000886063,0.0003899234,0.0002128391,0.00005143852,0.0001134033,0.0001432919,0.01276761,0.0001842775,0.000785474,0.9825107,0.0002049726,0.002547466],"study_design_scores_gemma":[0.004742365,0.0006113202,0.007214611,0.0009803469,0.0001046853,0.003726442,0.002628952,0.00229352,0.02835027,0.01083106,0.9366155,0.001900882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2277216,0.005632367,0.297709,0.1403587,0.006385149,0.00307731,0.00002802692,0.003781445,0.3153064],"genre_scores_gemma":[0.9848282,0.0002250256,0.01329709,0.0005602468,0.0003527617,0.0001895168,0.00001209265,0.00003877967,0.0004963285],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9716796,"threshold_uncertainty_score":0.9999076,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02301858966356074,"score_gpt":0.2310777661210998,"score_spread":0.208059176457539,"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."}}