{"id":"W4409364628","doi":"10.1609/aaai.v39i14.33659","title":"Checking Consistency of CP-Theory Preferences in Polynomial Time","year":2025,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"National Science Foundation","keywords":"Consistency (knowledge bases); Mathematics; Polynomial; Time consistency; Mathematical economics; Computer science; Discrete mathematics; Economics; Mathematical analysis; Actuarial science","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.006452347,0.0009056114,0.001791213,0.0009974854,0.001280255,0.003776927,0.002901106,0.00133253,0.005373786],"category_scores_gemma":[0.04041839,0.001030202,0.002255836,0.001742381,0.002281881,0.008300704,0.003370701,0.003965512,0.0007608939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002573011,"about_ca_system_score_gemma":0.004901469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004627317,"about_ca_topic_score_gemma":0.005936996,"domain_scores_codex":[0.9902333,0.00332118,0.0006785485,0.0020154,0.002611191,0.001140457],"domain_scores_gemma":[0.9558113,0.03430247,0.002615066,0.003906884,0.002685868,0.0006784056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001537083,0.0005839861,0.008672781,0.001269767,0.0005239852,0.000863459,0.0009855719,0.4317502,0.01979613,0.4056946,0.007877086,0.1204453],"study_design_scores_gemma":[0.0002199384,0.0001240373,0.0005550204,0.00005475716,0.00009602393,0.000210328,0.0002696027,0.5083614,0.01313692,0.4744911,0.002436782,0.00004411958],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09988163,0.0001178961,0.8914877,0.00140735,0.0000626688,0.0001937084,0.0008918256,0.001608791,0.004348333],"genre_scores_gemma":[0.7191644,0.0001460741,0.2766532,0.0003886753,0.00006403581,0.0003032861,0.001553811,0.0002929438,0.001433624],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006452347,"threshold_uncertainty_score":0.03412372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0639208776143401,"score_gpt":0.3203158533739308,"score_spread":0.2563949757595907,"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."}}