{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001899552,0.000447652,0.0006536785,0.0007317582,0.0008593415,0.002588718,0.001433344,0.0007816334,0.004079486],"category_scores_gemma":[0.006625566,0.0003959725,0.001214622,0.001792611,0.002820871,0.009381549,0.002013012,0.002929512,0.0003290959],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002578921,"about_ca_system_score_gemma":0.001690523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003236948,"about_ca_topic_score_gemma":0.0029437,"domain_scores_codex":[0.9977957,0.0007576678,0.0001738675,0.0004148453,0.0006146071,0.0002433322],"domain_scores_gemma":[0.9920436,0.005754498,0.000542887,0.0009533912,0.0004464176,0.0002591606],"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.00007454787,0.00007314797,0.0007627902,0.0001097208,0.00001504346,0.000167041,0.0002953567,0.01447967,0.001093543,0.968839,0.001690142,0.01240012],"study_design_scores_gemma":[0.00002047178,0.00001702536,0.0002198258,0.00001085539,0.000007578622,0.0001183509,0.0001069433,0.0606963,0.001199799,0.9339035,0.003687147,0.00001215684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1541871,0.0008228748,0.8113763,0.006192852,0.0001164688,0.0001512852,0.001588214,0.0009496172,0.02461527],"genre_scores_gemma":[0.864976,0.000568528,0.1250178,0.0008859135,0.0002300725,0.0002456166,0.001229499,0.0001220646,0.006724398],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004079486,"threshold_uncertainty_score":0.01871145,"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."}}