{"id":"W2101208282","doi":"10.1093/logcom/exn040","title":"Monotonic Answer Set Programming","year":2008,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Answer set programming; Mathematical proof; Computer science; Set (abstract data type); Monotonic function; Logic programming; Non-monotonic logic; Theoretical computer science; Default logic; Logic program; Programming language; Stable model semantics; Algorithm; Mathematics; Semantics (computer science); Description logic","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.0002457739,0.00007680895,0.0001468489,0.00008194825,0.0001326917,0.00006456862,0.0001852954,0.00004057258,0.000002299283],"category_scores_gemma":[0.00002753168,0.00005548822,0.00005795062,0.0001583602,0.00004107017,0.0003519442,0.00004800446,0.0001181109,0.000006319799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002223,"about_ca_system_score_gemma":0.0000653743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002222044,"about_ca_topic_score_gemma":5.89966e-7,"domain_scores_codex":[0.9993085,0.00005087,0.0002361232,0.0001093806,0.0001677155,0.0001274637],"domain_scores_gemma":[0.9993901,0.00005932637,0.0002387735,0.00006216399,0.000174269,0.00007538837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007028903,0.0004680706,0.02282973,0.00006311977,0.0001307565,0.0008469737,0.0176061,0.005314746,0.000345065,0.07707836,0.007631815,0.867615],"study_design_scores_gemma":[0.006164832,0.005852212,0.2312677,0.000230198,0.0001064721,0.01715034,0.001112106,0.4854217,0.0007981463,0.212319,0.03824601,0.001331309],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2078786,0.0009161399,0.7892473,0.0002849148,0.0002900409,0.00005606404,9.821241e-8,0.00002808943,0.001298705],"genre_scores_gemma":[0.9475047,0.0001195589,0.05205597,0.0001195478,0.0001340405,8.027961e-7,3.949052e-7,0.000002572522,0.00006241055],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8662837,"threshold_uncertainty_score":0.2262744,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.038008121531624,"score_gpt":0.2767364146085681,"score_spread":0.2387282930769441,"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."}}