{"id":"W3101609070","doi":"10.1145/3428193","title":"Fixpoints for the masses: programming with first-class Datalog constraints","year":2020,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Datalog; Programming language; Computer science; Soundness; Logic programming; Class (philosophy); Deductive database; Semantics (computer science); Extension (predicate logic); Theoretical computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.0006973622,0.0003447693,0.0003675394,0.00005710768,0.0004806513,0.0006549533,0.005334078,0.0001079486,0.000004622214],"category_scores_gemma":[0.002163213,0.0001778109,0.0001981732,0.000706564,0.0004345892,0.0004180715,0.001185632,0.0002996668,0.00001111003],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000360212,"about_ca_system_score_gemma":0.00008006608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004062244,"about_ca_topic_score_gemma":0.00002253813,"domain_scores_codex":[0.9976434,0.00001703239,0.0004057085,0.000691429,0.0006015807,0.0006408706],"domain_scores_gemma":[0.997642,0.0004803497,0.0005283834,0.0008917286,0.0003082861,0.0001492033],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002137032,0.0003819599,0.01514434,0.001712924,0.0005186877,0.00001569655,0.01385839,0.00002311248,0.0009389051,0.2784216,0.007847895,0.6809227],"study_design_scores_gemma":[0.005084072,0.005417749,0.002027486,0.0006156915,0.0004956331,0.0003011853,0.02133127,0.003917606,0.04069062,0.01096029,0.9070641,0.002094331],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.120322,0.007812933,0.4788361,0.3139938,0.004273404,0.04924434,0.0001420406,0.008808097,0.01656741],"genre_scores_gemma":[0.930328,0.00001316138,0.06815033,0.0006477986,0.0002288871,0.0004576687,0.000004968422,0.00003945151,0.0001297233],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8992162,"threshold_uncertainty_score":0.9912133,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02901148210914946,"score_gpt":0.2599340150096806,"score_spread":0.2309225329005311,"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."}}