{"id":"W79246384","doi":"10.1007/3-540-44469-6_70","title":"Extending Datalog with Declarative Updates","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"","keywords":"Datalog; Deductive database; Computer science; Programming language; Logic programming; Semantics (computer science); Declarative programming; Simple (philosophy); Set (abstract data type); Extension (predicate logic); Stable model semantics; Answer set programming; Theoretical computer science; Operational semantics; Database; Programming paradigm; Inductive programming","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.003957388,0.0008412452,0.0007763326,0.001052059,0.0006789422,0.002957213,0.00260857,0.0008402991,0.004047852],"category_scores_gemma":[0.01196591,0.001374651,0.001466953,0.001270828,0.001843369,0.01039222,0.00514853,0.00252028,0.001451324],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005297869,"about_ca_system_score_gemma":0.000852321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001300544,"about_ca_topic_score_gemma":0.002009799,"domain_scores_codex":[0.9978934,0.0005959429,0.0003370399,0.0002744831,0.0007350831,0.000164177],"domain_scores_gemma":[0.9927292,0.00368586,0.0002287373,0.002629944,0.0005902164,0.0001360363],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002953452,0.0003108023,0.002392836,0.0008566334,0.0001061529,0.0008143117,0.001403963,0.02997327,0.007593573,0.4427628,0.01590861,0.4975817],"study_design_scores_gemma":[0.00009629886,0.000133978,0.0003059963,0.0001967727,0.0001782899,0.0006960662,0.0002176423,0.1250186,0.01834073,0.7404194,0.1143161,0.00008005536],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01105467,0.0005115807,0.9712844,0.0005245663,0.0002403534,0.00008600081,0.0002993633,0.006412877,0.009586241],"genre_scores_gemma":[0.2826999,0.001778751,0.6968067,0.0009627304,0.0004318863,0.0002098828,0.001366663,0.002311177,0.01343221],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004047852,"threshold_uncertainty_score":0.02092892,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01656045860919216,"score_gpt":0.2406037956524794,"score_spread":0.2240433370432872,"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."}}