{"id":"W2071118378","doi":"10.1145/1055686.1055694","title":"Minimum model semantics for logic programs with negation-as-failure","year":2005,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Negation; Mathematics; Uncountable set; Countable set; Zero (linguistics); Discrete mathematics; Truth value; Intersection (aeronautics); Stable model semantics; Negation as failure; Element (criminal law); Semantics (computer science); Computer science; Operational semantics; 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.001766154,0.0007923537,0.0008704636,0.00137504,0.001393344,0.003432591,0.002356553,0.001495493,0.003333531],"category_scores_gemma":[0.002978475,0.0006133208,0.002349708,0.001224984,0.00387922,0.008335372,0.003314878,0.003994444,0.000456528],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002801336,"about_ca_system_score_gemma":0.001814515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002084662,"about_ca_topic_score_gemma":0.002254771,"domain_scores_codex":[0.9984767,0.0003430796,0.0001156211,0.0002675614,0.0005750128,0.0002221159],"domain_scores_gemma":[0.9985592,0.0006455668,0.0001858649,0.0002199999,0.0002547693,0.0001346658],"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.0000293845,0.00003184442,0.0001795996,0.0000506873,0.00001466598,0.0001060493,0.0004825245,0.004974816,0.00143828,0.9883631,0.0004390494,0.003890075],"study_design_scores_gemma":[0.00003049707,0.00003731856,0.00008684657,0.0000329772,0.00002106975,0.0001082735,0.0001478325,0.04066686,0.002680355,0.9513504,0.004818921,0.00001875],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03558721,0.0002317487,0.9508844,0.001115796,0.00005403341,0.0001075007,0.0002940396,0.0007532031,0.0109721],"genre_scores_gemma":[0.6873579,0.0002936444,0.3049319,0.0004101259,0.0001103928,0.0005895728,0.0006813791,0.0004614559,0.00516363],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003432591,"threshold_uncertainty_score":0.02032518,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02990417311902534,"score_gpt":0.2711068560446593,"score_spread":0.2412026829256339,"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."}}