{"id":"W2898989991","doi":"","title":"On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.","year":2018,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Feature (linguistics); Polynomial; Theoretical computer science; Mathematics; Artificial intelligence; Algebra over a field; Algorithm; Pure mathematics; Linguistics","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.0003291309,0.00009651043,0.0001441808,0.0002931872,0.00009156125,0.00003699641,0.0002260497,0.00006926845,0.000002920795],"category_scores_gemma":[0.0002904008,0.00008032414,0.00001920337,0.0008394225,0.0001488189,0.0002423604,0.00009858504,0.0001457918,0.000006199762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005284174,"about_ca_system_score_gemma":0.00006217055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000347477,"about_ca_topic_score_gemma":0.0002037233,"domain_scores_codex":[0.9990903,0.0001189302,0.0002181246,0.0003227961,0.0001109559,0.0001388619],"domain_scores_gemma":[0.9991314,0.0001991676,0.0001377865,0.0003453648,0.0001377858,0.00004844296],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0001587036,0.000424285,0.1549508,0.00006165152,0.0000211516,0.000002672163,0.006917281,0.0007056169,0.001676487,0.796203,0.00008199947,0.03879642],"study_design_scores_gemma":[0.001776351,0.0003989494,0.7723507,0.000367211,0.00001220751,0.00002543078,0.0009087598,0.1964073,0.02105054,0.001586417,0.004762089,0.0003541248],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4177847,0.0003588698,0.5278023,0.0003732227,0.0002735072,0.0008454733,0.0000031964,0.0001189273,0.05243987],"genre_scores_gemma":[0.8379685,0.0000321173,0.1615001,0.00001813713,0.00004610073,0.00005987306,0.000006371666,0.000006352362,0.0003625015],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7946166,"threshold_uncertainty_score":0.3275523,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0403847077313735,"score_gpt":0.3263807146401066,"score_spread":0.2859960069087331,"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."}}