{"id":"W2904524947","doi":"10.1609/aaai.v33i01.33012995","title":"On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics","year":2019,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Government of Canada","keywords":"Consistency (knowledge bases); Feature (linguistics); Computer science; Knowledge base; Description logic; Base (topology); Theoretical computer science; Partial function; Artificial intelligence; Automated reasoning; Algorithm; Mathematics; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.000309511,0.0002057107,0.0002815693,0.0001487658,0.0001037464,0.0002685543,0.0009974639,0.0001490906,0.0000289197],"category_scores_gemma":[0.0006460429,0.0001411898,0.00006828403,0.0005104305,0.0001848047,0.0003332209,0.0002384375,0.0004461076,0.00005581479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002700063,"about_ca_system_score_gemma":0.00005161054,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005515655,"about_ca_topic_score_gemma":0.00002817397,"domain_scores_codex":[0.998544,0.00002058356,0.0002945852,0.0004961408,0.0003163871,0.000328291],"domain_scores_gemma":[0.9989038,0.0003335431,0.0002054196,0.0002936081,0.0002051774,0.00005841288],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001099073,0.0001568504,0.00281794,0.00002936683,0.00001022996,0.00000107322,0.0006942259,0.00008535427,0.01238006,0.9672562,0.000302776,0.016156],"study_design_scores_gemma":[0.0001521943,0.001070304,0.02007186,0.0005073108,0.00001957995,0.00002224534,0.001466269,0.06537053,0.515948,0.3944809,0.0003451538,0.0005456717],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9793505,0.00005790947,0.002213227,0.007245466,0.0007338808,0.0005161855,0.000003038906,0.00009541913,0.00978435],"genre_scores_gemma":[0.9976504,0.00004669389,0.001338261,0.0005099524,0.00002618758,0.00001504241,3.512617e-7,0.000006594129,0.0004065215],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5727753,"threshold_uncertainty_score":0.5757554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05070974456493918,"score_gpt":0.2798243286108011,"score_spread":0.2291145840458619,"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."}}