{"id":"W85843916","doi":"10.1007/978-3-642-28717-6_4","title":"Enfragmo: A System for Modelling and Solving Search Problems with Logic","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Propositional calculus; Specification language; Programming language; Extension (predicate logic); Solver; Problem solver; Boolean satisfiability problem; Theoretical computer science; Software engineering","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.001463497,0.0005362496,0.0005869141,0.0005073586,0.0004812747,0.0007557696,0.001975475,0.0003080011,0.000003145376],"category_scores_gemma":[0.00002416709,0.0003942669,0.00009103423,0.0003678388,0.0005310543,0.0006617958,0.001003458,0.0006067777,0.00001498166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002799953,"about_ca_system_score_gemma":0.0004236012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002577737,"about_ca_topic_score_gemma":0.00003722839,"domain_scores_codex":[0.9963846,0.00003423976,0.0003825642,0.001488096,0.0007026359,0.001007871],"domain_scores_gemma":[0.9976891,0.000560543,0.0002154381,0.0008937176,0.0003793052,0.0002618685],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002137588,0.00005255175,0.000192553,0.001084452,0.00003953773,0.00005270818,0.00589076,0.3437467,0.00009632485,0.3256676,0.000009882406,0.3231455],"study_design_scores_gemma":[0.0003329505,0.0002784898,0.000009512942,0.0008969058,0.00001392891,0.0002001929,8.185649e-7,0.9597446,0.0003120749,0.03697957,0.0006368107,0.0005941353],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00008104444,0.002918328,0.991088,0.0001259667,0.0006679016,0.0008569165,0.000003757831,0.0002111434,0.004046955],"genre_scores_gemma":[0.4046777,0.0000606933,0.5941781,0.0001635731,0.0005334356,0.00003676814,0.000003129544,0.00004181567,0.0003047106],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6159979,"threshold_uncertainty_score":0.9998509,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03610921569318463,"score_gpt":0.2413221561729942,"score_spread":0.2052129404798096,"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."}}