{"id":"W2113835981","doi":"10.1017/s1471068413000355","title":"Disjunctive logic programs with existential quantification in rule heads","year":2013,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Decidability; Undecidable problem; Computer science; Stable model semantics; Existentialism; Programming language; Fragment (logic); Extension (predicate logic); Theoretical computer science; Semantics (computer science); Operational semantics; Epistemology","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.004238084,0.0005593296,0.0005741401,0.001095456,0.0008744036,0.003126187,0.001536319,0.000859796,0.00298247],"category_scores_gemma":[0.007260354,0.0005230984,0.00125522,0.001018752,0.004420821,0.00654555,0.0023988,0.002182883,0.0003065174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002147953,"about_ca_system_score_gemma":0.00186615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003699339,"about_ca_topic_score_gemma":0.003568528,"domain_scores_codex":[0.9975968,0.0008388922,0.0001497493,0.000428882,0.0006496195,0.0003360396],"domain_scores_gemma":[0.9945569,0.003810875,0.000394717,0.0004457608,0.0005686441,0.0002231151],"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.0001192922,0.0001076137,0.001119661,0.0001216628,0.00004071369,0.000504487,0.001066248,0.03073901,0.003964827,0.9451181,0.0007644604,0.01633385],"study_design_scores_gemma":[0.00007257291,0.00007841512,0.0002951717,0.00006275549,0.00008810297,0.0001475581,0.0003134918,0.1981095,0.009150623,0.7839704,0.007673329,0.00003811195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1938504,0.0002622842,0.7827424,0.002124845,0.00007964658,0.0002558885,0.0003691407,0.001231084,0.01908423],"genre_scores_gemma":[0.8491761,0.0002730627,0.1445957,0.0004225976,0.00007485951,0.0001834908,0.0002931679,0.0001391322,0.004841787],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004238084,"threshold_uncertainty_score":0.02241337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03106231653637484,"score_gpt":0.2877385025871762,"score_spread":0.2566761860508013,"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."}}