{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001743209,0.0002809462,0.0002328998,0.0001695688,0.0005073734,0.0002153757,0.0008581381,0.0001339288,0.00002720274],"category_scores_gemma":[0.000037407,0.0002246051,0.0001571995,0.0004724401,0.0001020091,0.0004914995,0.00001814418,0.0002208011,0.0001586823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009485896,"about_ca_system_score_gemma":0.0002563984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004387302,"about_ca_topic_score_gemma":0.00005706555,"domain_scores_codex":[0.9982418,0.00004482605,0.000308021,0.0005972733,0.0004158606,0.0003922158],"domain_scores_gemma":[0.9983669,0.0004360706,0.0001289876,0.0004969718,0.0004260643,0.0001450109],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004041635,0.0005130914,0.00001911467,0.00002101372,0.00005035217,0.00000348098,0.0005071409,0.7821868,0.0000159564,0.181179,0.000277321,0.03518629],"study_design_scores_gemma":[0.0008882741,0.0005663975,0.00006688788,0.00002253903,0.00002943892,0.00005991354,0.00003595863,0.7623135,0.0001117901,0.2341659,0.001452898,0.000286573],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003146246,0.00004400289,0.9845524,0.01017923,0.0001314063,0.0006403342,0.00001236382,0.0003708459,0.0009231034],"genre_scores_gemma":[0.5346053,0.000004712252,0.4638368,0.0008781275,0.00006313613,0.0001226742,0.00003076577,0.00001285304,0.0004455871],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5314591,"threshold_uncertainty_score":0.915913,"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."}}