{"id":"W2042629502","doi":"10.1145/1342991.1342998","title":"A logic of nonmonotone inductive definitions","year":2008,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":109,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Datalog; Iterated function; Higher-order logic; Inductive logic programming; Stable model semantics; Logic programming; Computational logic; Rotation formalisms in three dimensions; Computer science; Classical logic; Dynamic logic (digital electronics); Programming language; Semantics (computer science); Theoretical computer science; Mathematics; Multimodal logic; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003345286,0.0005769735,0.0004952038,0.001427224,0.001355221,0.003299898,0.001696481,0.0009289149,0.003161218],"category_scores_gemma":[0.002959298,0.0005926506,0.001403409,0.001317271,0.004969545,0.008527607,0.002467448,0.003383171,0.00086883],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001684289,"about_ca_system_score_gemma":0.001352427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006695699,"about_ca_topic_score_gemma":0.0007424937,"domain_scores_codex":[0.9971788,0.000726064,0.0003014278,0.0007428916,0.0008252985,0.0002254471],"domain_scores_gemma":[0.9973954,0.001331191,0.0002667608,0.0003586955,0.0005224138,0.0001254879],"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.000007023707,0.000008820647,0.00007718894,0.00004428789,0.000006029402,0.00006655815,0.0002161269,0.000352299,0.0006463289,0.9907799,0.0007141884,0.007081155],"study_design_scores_gemma":[0.00001807261,0.00003175522,0.0001533954,0.00005293721,0.00002863652,0.0003580753,0.0001037245,0.007418056,0.003431215,0.9135416,0.07484045,0.00002208107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01132466,0.001590713,0.9464148,0.001743871,0.0003534397,0.0001107281,0.000327203,0.0004910365,0.03764359],"genre_scores_gemma":[0.3293485,0.001765555,0.642746,0.002109565,0.0006457076,0.0003963103,0.0006430264,0.0002765907,0.02206877],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003345286,"threshold_uncertainty_score":0.01769173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08719166760923303,"score_gpt":0.273118851588242,"score_spread":0.185927183979009,"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."}}