{"id":"W2723261621","doi":"10.1007/978-3-319-61473-1_10","title":"Graph Constraint Evaluation over Partial Models by Constraint Rewriting","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Constraint (computer-aided design); Rewriting; Constraint programming; Graph; Constraint logic programming; Graph rewriting; Constraint satisfaction; Partial evaluation; Constraint graph; Theoretical computer science; Programming language; Mathematical optimization; 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.002491458,0.0006882318,0.000643011,0.0006423417,0.0004091745,0.0009745216,0.003896089,0.0005021934,0.00002919822],"category_scores_gemma":[0.00007638262,0.0007039355,0.0001961192,0.0001852343,0.001421206,0.001191174,0.00125047,0.001064384,0.000008928911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004871011,"about_ca_system_score_gemma":0.0008369826,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004393705,"about_ca_topic_score_gemma":0.00001917896,"domain_scores_codex":[0.9946855,0.0000639556,0.0007080473,0.001898162,0.001824359,0.0008200062],"domain_scores_gemma":[0.9961693,0.0002648183,0.0005304176,0.00231089,0.0004843672,0.0002402229],"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.000002056385,0.00001710571,0.000009591425,0.00002429749,0.00001422383,0.00003765279,0.000312698,0.07747085,0.0002314647,0.145923,0.00009061509,0.7758664],"study_design_scores_gemma":[0.0002322007,0.00007182789,0.000006819218,0.000483914,0.00001204209,0.00006014728,3.824302e-8,0.7694654,0.001425509,0.2262599,0.001356894,0.0006252963],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005468894,0.0003852247,0.9940823,0.0003093794,0.001140261,0.0007973369,0.00002782632,0.000620153,0.002582785],"genre_scores_gemma":[0.2545894,0.00004289172,0.7445323,0.0004033978,0.0002703327,0.00004494282,0.00001616806,0.00004628163,0.00005430359],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7752411,"threshold_uncertainty_score":0.9995412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03178789891978166,"score_gpt":0.2769172485115446,"score_spread":0.2451293495917629,"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."}}