{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00451897,0.0008765461,0.001468509,0.002785835,0.001922147,0.003822342,0.00275863,0.001422663,0.00946645],"category_scores_gemma":[0.01418431,0.0008261978,0.002450192,0.005770206,0.004510882,0.01243336,0.005795153,0.004588494,0.001249439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001886512,"about_ca_system_score_gemma":0.00109206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003553906,"about_ca_topic_score_gemma":0.005185921,"domain_scores_codex":[0.9973667,0.001110959,0.0001790129,0.0004626822,0.0006135156,0.0002671315],"domain_scores_gemma":[0.9907539,0.006814525,0.0004248407,0.0009303449,0.0007644165,0.0003119869],"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.000151546,0.0001178781,0.0005137443,0.0001718943,0.00003825932,0.0002033392,0.0003255725,0.0140077,0.000810268,0.9249741,0.003942417,0.05474333],"study_design_scores_gemma":[0.00001905819,0.00002353376,0.0001425464,0.00004977553,0.00002983629,0.00007624998,0.00007167642,0.06669836,0.0004443084,0.9277053,0.004718645,0.00002083954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01558639,0.001338291,0.9617923,0.001658147,0.000255015,0.00007088618,0.0002563324,0.0003626108,0.01868006],"genre_scores_gemma":[0.4003399,0.002906233,0.5789085,0.0009489218,0.001339696,0.0002693506,0.0006586062,0.0003590103,0.01426976],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00946645,"threshold_uncertainty_score":0.03166842,"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."}}