{"id":"W2100078804","doi":"10.1093/logcom/exi021","title":"Expressing Default Logic Variants in Default Logic","year":2005,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Default logic; Non-monotonic logic; Default rule; Unification; Extension (predicate logic); Computer science; Interpretation (philosophy); Autoepistemic logic; Artificial intelligence; Many-valued logic; Multimodal logic; Mathematics; Theoretical computer science; Description 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003070597,0.0005787484,0.0005256775,0.0009137235,0.0007750826,0.002689167,0.001664919,0.001459473,0.002419165],"category_scores_gemma":[0.003089683,0.0005618655,0.001335496,0.001013175,0.003789938,0.006242016,0.002351112,0.002662542,0.0004329675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002314886,"about_ca_system_score_gemma":0.0007953153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002197316,"about_ca_topic_score_gemma":0.002956483,"domain_scores_codex":[0.9976177,0.0007533799,0.0002180768,0.0005057898,0.0006640386,0.0002409488],"domain_scores_gemma":[0.9986814,0.0005371431,0.0001397837,0.000365641,0.0002216052,0.00005445583],"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.00002512123,0.00001528334,0.0001964314,0.00003439499,0.00001424224,0.0001951812,0.0005871778,0.003587397,0.002456566,0.9842391,0.000593939,0.008055149],"study_design_scores_gemma":[0.00003442912,0.0000448083,0.0002397738,0.000052393,0.00004237722,0.0002663534,0.0002395228,0.03963777,0.004321996,0.937115,0.0179598,0.00004588818],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07638561,0.000937083,0.875986,0.001719259,0.0001997435,0.0001522131,0.0003221138,0.0008454189,0.04345254],"genre_scores_gemma":[0.7103532,0.0005485245,0.2805574,0.0006551157,0.000158221,0.0001730867,0.0003667139,0.0001782139,0.007009619],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003070597,"threshold_uncertainty_score":0.01679569,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03056074398423831,"score_gpt":0.2893305849371426,"score_spread":0.2587698409529043,"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."}}