{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002524882,0.0005442249,0.000645404,0.001513239,0.0009245895,0.004121349,0.002092014,0.001450596,0.004976002],"category_scores_gemma":[0.00653288,0.0005136208,0.001226053,0.001277246,0.003042837,0.009513984,0.002235408,0.002615648,0.0007339938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001660177,"about_ca_system_score_gemma":0.001508735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001674774,"about_ca_topic_score_gemma":0.001197776,"domain_scores_codex":[0.9980766,0.0006519445,0.0001776324,0.000291032,0.0005796485,0.0002230952],"domain_scores_gemma":[0.9965177,0.001890188,0.0002267318,0.000578192,0.0005970433,0.0001901558],"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.00006202925,0.00002313738,0.0001167077,0.00006184909,0.000009525375,0.00004606353,0.000256848,0.002531082,0.001010032,0.9817708,0.0007531726,0.01335859],"study_design_scores_gemma":[0.00003828113,0.00002511815,0.00005597183,0.00002718562,0.00002531605,0.00004291088,0.00005973624,0.02394306,0.001648847,0.9681126,0.006006188,0.00001465595],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02684324,0.0005225881,0.9551336,0.001715221,0.0001209777,0.000108254,0.0005425598,0.001188615,0.01382497],"genre_scores_gemma":[0.7304053,0.0006483846,0.2583892,0.0007854587,0.000240661,0.0002831359,0.0009633678,0.0004352271,0.007849312],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004976002,"threshold_uncertainty_score":0.01664639,"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."}}