{"id":"W3085023755","doi":"10.1109/iri49571.2020.00030","title":"Data Driven Relational Constraint Programming","year":2020,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"","keywords":"Computer science; Constraint programming; Debugging; Programming language; Constraint logic programming; Constraint (computer-aided design); Relational algebra; Concurrent constraint logic programming; Relational database; Declarative programming; Constraint satisfaction; Theoretical computer science; Query language; Logic programming; Relational model; Inductive programming; Programming paradigm; Functional logic programming; Database; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005743857,0.0007401623,0.000708961,0.001217562,0.001096304,0.004991779,0.004732201,0.001035245,0.006747916],"category_scores_gemma":[0.008404787,0.000685346,0.002045757,0.002229471,0.002076784,0.005293568,0.003531967,0.003254808,0.002245382],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001583688,"about_ca_system_score_gemma":0.003443709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004800556,"about_ca_topic_score_gemma":0.006995099,"domain_scores_codex":[0.9943873,0.001632858,0.0004908124,0.000987101,0.002162177,0.0003397834],"domain_scores_gemma":[0.9945801,0.002194953,0.0003699135,0.001146007,0.001494151,0.0002148332],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003655348,0.0000487208,0.0002911788,0.0001930852,0.00004389096,0.0001634967,0.0002940747,0.02570101,0.001664102,0.9179385,0.006895593,0.04672968],"study_design_scores_gemma":[0.00006064659,0.00005193466,0.000102589,0.00008858951,0.00005601858,0.0002678572,0.0001761423,0.2557314,0.006837258,0.6098299,0.1267383,0.00005927133],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008596898,0.0001301532,0.9934784,0.0005008013,0.00004970886,0.0000797144,0.0003290586,0.0005898558,0.003982655],"genre_scores_gemma":[0.03474117,0.000436962,0.9589273,0.0005038795,0.00008071334,0.0002608678,0.0009932069,0.0002262714,0.003829618],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006747916,"threshold_uncertainty_score":0.03037679,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08184727823465124,"score_gpt":0.2746068948584566,"score_spread":0.1927596166238054,"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."}}