{"id":"W3092634028","doi":"","title":"On limited conjunctions in polynomial feature logics, with applications in obda — Extended abstract","year":2018,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Feature (linguistics); Computer science; Polynomial; Algebra over a field; Theoretical computer science; Mathematics; Artificial intelligence; Pure mathematics; Linguistics; Philosophy","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.000302679,0.0001857215,0.0002690935,0.0003707809,0.000160687,0.00007581458,0.0003338041,0.000119416,0.00001253632],"category_scores_gemma":[0.0002678111,0.0001462849,0.00004784373,0.0008760549,0.0002111789,0.0002750051,0.0001557958,0.0002434401,0.00001825008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007334694,"about_ca_system_score_gemma":0.0001316943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009056809,"about_ca_topic_score_gemma":0.001138865,"domain_scores_codex":[0.9986369,0.00008356643,0.0003141134,0.0005383358,0.0001603843,0.0002667027],"domain_scores_gemma":[0.9987052,0.0003523999,0.0001978206,0.0004288591,0.0002095184,0.0001062227],"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.0004081856,0.001991372,0.3587583,0.0001692198,0.00009671326,0.00003547318,0.01767412,0.0005593723,0.002855147,0.5560791,0.0005421027,0.06083093],"study_design_scores_gemma":[0.00216722,0.0003600609,0.9629956,0.0003418403,0.00001572077,0.0000341913,0.000820681,0.02235898,0.005118278,0.001310316,0.004085166,0.0003918943],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7802758,0.001240972,0.04081605,0.0004413356,0.0004031059,0.001107882,0.000006307129,0.0002132101,0.1754954],"genre_scores_gemma":[0.9927029,0.00007010303,0.006233688,0.00002267878,0.0001021062,0.00006367735,0.00001245118,0.00001139984,0.0007809943],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6042374,"threshold_uncertainty_score":0.5965324,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02879964874048106,"score_gpt":0.2945712786650068,"score_spread":0.2657716299245257,"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."}}