{"id":"W2404760295","doi":"","title":"Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL","year":2011,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Semantics (computer science); Computer science; Constraint satisfaction problem; Constraint (computer-aided design); Constraint satisfaction; Programming language; Solver; Abstract interpretation; Constraint programming; Operational semantics; Interpretation (philosophy); Theoretical computer science; Constraint logic programming; Algorithm; Artificial intelligence; Mathematical optimization; 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":[],"consensus_categories":[],"category_scores_codex":[0.0006759625,0.0001531528,0.0001698525,0.00008678607,0.00006661826,0.00002673194,0.0003357746,0.0000529628,0.00001354356],"category_scores_gemma":[0.000340379,0.0001164446,0.00003901371,0.0003410303,0.00007729622,0.0003469932,0.0000836985,0.00007154397,0.000003523273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005340685,"about_ca_system_score_gemma":0.0001550469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007174001,"about_ca_topic_score_gemma":0.000004003403,"domain_scores_codex":[0.9988911,0.00008624657,0.0001616157,0.0003411414,0.0002639103,0.0002560576],"domain_scores_gemma":[0.9988843,0.0002112951,0.00007179088,0.000363712,0.0004071489,0.00006173168],"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.00001150652,0.00005548249,0.00004876336,0.00001489803,0.00006161657,0.000007743954,0.001854781,0.003264497,0.0002546463,0.04576417,0.00008701404,0.9485749],"study_design_scores_gemma":[0.001128967,0.0006027646,0.0008305964,0.00002206102,0.00003934804,0.00005817176,0.0002399572,0.9380536,0.02657656,0.03133295,0.0006939976,0.0004209945],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007247402,0.00005758134,0.9972793,0.00004812588,0.000283282,0.0005207144,0.000003536366,0.0004929695,0.0005897611],"genre_scores_gemma":[0.008670756,0.00000477686,0.9909746,0.00007442655,0.00002446528,0.0001570833,0.000003762557,0.00001220193,0.00007791593],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9481539,"threshold_uncertainty_score":0.4748473,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1305857826959975,"score_gpt":0.3208442688019356,"score_spread":0.190258486105938,"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."}}