{"id":"W1564382958","doi":"10.1007/11546207_21","title":"Lookahead in Smodels Compared to Local Consistencies in CSP","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Pruning; Computer science; Local consistency; Solver; Set (abstract data type); Answer set programming; Constraint satisfaction problem; Consistency (knowledge bases); Constraint (computer-aided design); Constraint programming; Theoretical computer science; Algorithm; Mathematical optimization; Programming language; Artificial intelligence; Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001229945,0.0007242981,0.001015091,0.00181888,0.0001530287,0.0004796038,0.004249632,0.000437754,0.00002884699],"category_scores_gemma":[0.000134091,0.0006724115,0.0001500265,0.001412794,0.000953783,0.0006418029,0.001917367,0.001119867,0.0001668332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009950501,"about_ca_system_score_gemma":0.0009629125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001787945,"about_ca_topic_score_gemma":0.006176287,"domain_scores_codex":[0.9947125,0.00007727031,0.0008982723,0.002106427,0.0009984828,0.001207029],"domain_scores_gemma":[0.9971642,0.0005918783,0.0002130326,0.001462036,0.0002427514,0.0003260841],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002453455,0.0001603801,0.001105595,0.00005990948,0.000009380638,0.0004426265,0.00689047,0.2739059,0.00006534201,0.06864227,0.0001075285,0.648586],"study_design_scores_gemma":[0.0008441146,0.0002165977,0.00147573,0.00097866,0.000005015677,0.0001078288,0.000002488945,0.9003245,0.0004620414,0.08966462,0.00458049,0.00133792],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008392863,0.0009124334,0.9782267,0.000981851,0.001256857,0.0006064393,0.000003887271,0.000143457,0.01702906],"genre_scores_gemma":[0.8130724,0.00003666445,0.1831402,0.002588277,0.0003511444,0.00002499139,0.000003821612,0.00003675097,0.0007457439],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8122332,"threshold_uncertainty_score":0.9995727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02586779464168893,"score_gpt":0.2517684806384481,"score_spread":0.2259006859967592,"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."}}