{"id":"W2164286489","doi":"10.1109/lics.2007.47","title":"Symmetric Datalog and Constraint Satisfaction Problems in Logspace","year":2007,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval; Concordia University; McGill University","funders":"","keywords":"Datalog; Complement (music); Constraint satisfaction problem; Class (philosophy); Combinatorics; Mathematics; Discrete mathematics; Computer science; Theoretical computer science; Artificial intelligence","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.0005323184,0.00006808318,0.00008092868,0.000302378,0.00004692568,0.00007137575,0.0001737016,0.00003576188,0.00001106877],"category_scores_gemma":[0.00002866084,0.00006201731,0.00001329073,0.0007740807,0.00007253993,0.0003073914,0.000150502,0.0001094692,0.000008995685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002186648,"about_ca_system_score_gemma":0.00001504578,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005292401,"about_ca_topic_score_gemma":0.001371965,"domain_scores_codex":[0.9992911,0.00001676359,0.0001423136,0.0002359668,0.0001193653,0.0001945368],"domain_scores_gemma":[0.9995568,0.0001331869,0.00002916816,0.0002052257,0.00001734234,0.00005826122],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[8.277592e-7,0.00002593895,0.04001216,0.0000100757,0.000003440132,0.00001233646,0.000174356,0.00001604303,0.0001295496,0.4758182,0.00008809887,0.483709],"study_design_scores_gemma":[0.000638265,0.0001108759,0.8809901,0.00002890833,0.000002071578,0.0001527471,0.000145204,0.03942846,0.0004972841,0.07566916,0.002035192,0.0003017405],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05022937,0.0001271537,0.9402986,0.0003341311,0.0001762897,0.0001329031,0.000001381821,0.00009572209,0.008604461],"genre_scores_gemma":[0.9319998,0.00002441654,0.06777198,0.0001349946,0.00001334659,0.000001630552,0.000001185285,0.000001921054,0.00005074398],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8817704,"threshold_uncertainty_score":0.2528993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02349878614995312,"score_gpt":0.2538012555813005,"score_spread":0.2303024694313474,"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."}}