{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006059849,0.00069648,0.0006293017,0.0007127788,0.0004335114,0.0009006723,0.004415289,0.00030437,0.0000910333],"category_scores_gemma":[0.00004854247,0.000519516,0.0001068947,0.0007591061,0.001037115,0.001183275,0.001236407,0.0008961742,0.0002056877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002488041,"about_ca_system_score_gemma":0.0006476381,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000203688,"about_ca_topic_score_gemma":0.0001509436,"domain_scores_codex":[0.9957126,0.00004285086,0.0004208106,0.002046778,0.0009030649,0.0008738477],"domain_scores_gemma":[0.9971967,0.0004178653,0.0002644931,0.001679769,0.0002016816,0.0002395388],"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.00001859631,0.00005374732,0.0001455655,0.00002794619,0.00003760864,0.0004586422,0.001949294,0.005975089,0.00004699684,0.157125,0.00009026239,0.8340713],"study_design_scores_gemma":[0.001040175,0.001037354,0.0005251901,0.001310381,0.0000473272,0.0009055633,7.609468e-7,0.3217648,0.00311469,0.6377976,0.02945102,0.003005168],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006749968,0.001116641,0.9557794,0.0002205757,0.000772446,0.0003296174,0.000008495035,0.0002371244,0.04146824],"genre_scores_gemma":[0.298415,0.0003083714,0.6957738,0.002129035,0.001109315,0.00002672125,0.00005221873,0.00009766846,0.002087921],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8310661,"threshold_uncertainty_score":0.9997256,"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."}}