{"id":"W36639351","doi":"10.1609/aaai.v25i1.7850","title":"Integrating Rules and Description Logics by Circumscription","year":2011,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Circumscription; Semantics (computer science); Stable model semantics; Logic programming; Answer set programming; Non-monotonic logic; Well-founded semantics; Set (abstract data type); Computer science; Mathematics; Artificial intelligence; Theoretical computer science; Programming language; Denotational semantics; Operational semantics","routes":{"ca_aff":true,"ca_fund":true,"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.006885884,0.0009071174,0.001051036,0.002892052,0.001120711,0.005824704,0.002325115,0.001797846,0.002326522],"category_scores_gemma":[0.00834419,0.0008035792,0.002266814,0.002344732,0.007673151,0.01498504,0.004768082,0.003792713,0.0006172974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002210792,"about_ca_system_score_gemma":0.001588725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00180076,"about_ca_topic_score_gemma":0.001407016,"domain_scores_codex":[0.9936259,0.002668552,0.0007005616,0.001002566,0.001609156,0.0003933814],"domain_scores_gemma":[0.9921467,0.003937713,0.0009098854,0.001955145,0.0006404775,0.000410175],"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.00000858155,0.00001282706,0.00009142017,0.000035282,0.000008920057,0.00005187954,0.0003544011,0.00191198,0.0005342216,0.9896858,0.0001877506,0.007116738],"study_design_scores_gemma":[0.00000893897,0.0000148079,0.00003616328,0.00003761645,0.0000141279,0.00007339932,0.00005606262,0.01174118,0.001464928,0.9756995,0.01083894,0.00001438092],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005707629,0.000757166,0.9830383,0.001271035,0.00009242153,0.0000603041,0.00006484114,0.0002522592,0.008755969],"genre_scores_gemma":[0.2846865,0.001549931,0.7056258,0.001338888,0.0003540179,0.0003409629,0.0002479131,0.0002574498,0.005598533],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006885884,"threshold_uncertainty_score":0.03641647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1159248874440747,"score_gpt":0.263017775786242,"score_spread":0.1470928883421674,"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."}}