{"id":"W2104606980","doi":"10.1016/j.tcs.2011.10.026","title":"The loop formula based semantics of description logic programs","year":2011,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Stable model semantics; Answer set programming; Well-founded semantics; Logic programming; Semantics (computer science); Classical logic; Theoretical computer science; Programming language; Computer science; Operational semantics; Mathematics; Set (abstract data type); Algebra over a field; Discrete mathematics; Algorithm; Denotational semantics; Pure mathematics","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001893512,0.0001671754,0.0001798774,0.00007730954,0.0004949669,0.0002893601,0.003056573,0.00005767578,0.00002207979],"category_scores_gemma":[0.0001170514,0.00009803539,0.00009509084,0.001039462,0.003750076,0.0004612188,0.000892622,0.0001518926,0.00006005601],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003669566,"about_ca_system_score_gemma":0.0001217247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000580495,"about_ca_topic_score_gemma":0.000002601589,"domain_scores_codex":[0.9979474,0.0001177335,0.0002990057,0.0004811266,0.0005705719,0.0005841664],"domain_scores_gemma":[0.9982895,0.0001786952,0.000124873,0.0009224074,0.0002981953,0.0001862836],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008317303,0.0001122767,0.0004375134,0.000006701463,0.000002391872,0.00000413912,0.0004924217,0.000009922383,0.000171714,0.9433865,0.00002257356,0.05534553],"study_design_scores_gemma":[0.0001749255,0.0004757421,0.002031561,0.00002398703,0.000006204863,0.00001517793,0.000007592493,0.6040269,0.006518615,0.3864555,0.0001036305,0.0001601288],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01930119,0.00003526361,0.9687561,0.0002214059,0.0005588664,0.000215269,2.014308e-7,0.0001433312,0.0107684],"genre_scores_gemma":[0.8290786,0.000003647793,0.1707005,0.0001511542,0.0000364414,0.000006791432,2.48573e-7,0.000004783436,0.0000178059],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8097774,"threshold_uncertainty_score":0.9989612,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0374375417248961,"score_gpt":0.242582659290325,"score_spread":0.2051451175654289,"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."}}