{"id":"W900043438","doi":"","title":"Enfragmo: A System for Grounding Extended First-Order Logic to SAT","year":2014,"lang":"en","type":"dissertation","venue":"Summit (Simon Fraser University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Simon Fraser University","keywords":"Computer science; Constraint programming; Solver; Axiom; Theoretical computer science; Logic programming; Programming language; Mathematical optimization; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003783974,0.002025772,0.001339567,0.002933323,0.001544227,0.005160942,0.004985204,0.00230485,0.03101127],"category_scores_gemma":[0.01259889,0.002310839,0.005588796,0.002005769,0.002712047,0.007780565,0.008285833,0.005982871,0.009716081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002567142,"about_ca_system_score_gemma":0.003408691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006741119,"about_ca_topic_score_gemma":0.01179731,"domain_scores_codex":[0.996793,0.001075443,0.0003397122,0.0005919941,0.0008514949,0.0003483804],"domain_scores_gemma":[0.9966837,0.002029079,0.0002217879,0.0006831717,0.0002877784,0.00009443917],"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.0005293582,0.0002367174,0.001524134,0.001654843,0.0002895583,0.000867443,0.001022158,0.05337097,0.004747381,0.7006551,0.080151,0.1549513],"study_design_scores_gemma":[0.0002929965,0.0001298196,0.0004171209,0.0004901131,0.0001312823,0.0004920682,0.0001338476,0.1980623,0.00801262,0.4211614,0.3705576,0.0001189367],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002614699,0.0004964608,0.886562,0.00084278,0.0002984689,0.0004854753,0.00424427,0.08526999,0.01918588],"genre_scores_gemma":[0.05490347,0.001080447,0.9066468,0.001541482,0.0002056862,0.001661057,0.01395628,0.008912413,0.01109246],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03101127,"threshold_uncertainty_score":0.103743,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01462976740147807,"score_gpt":0.2294580912707037,"score_spread":0.2148283238692256,"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."}}