{"id":"W2154274494","doi":"10.1007/978-3-540-74610-2_12","title":"Logic Programming Approach to Automata-Based Decision Procedures","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Datalog; Computer science; Logic programming; Automaton; Programming language; Theoretical computer science; Focus (optics); Decision problem","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.003271064,0.0006495951,0.0005609357,0.001767038,0.0003311831,0.000839546,0.005460748,0.0004768912,0.000004562658],"category_scores_gemma":[0.0007358306,0.0005681606,0.0001456493,0.001717293,0.000524199,0.0006564613,0.001286188,0.0008337501,0.000071143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005267641,"about_ca_system_score_gemma":0.0008625881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008844737,"about_ca_topic_score_gemma":0.0000189451,"domain_scores_codex":[0.9941595,0.0000500102,0.0007704402,0.002220189,0.001816409,0.0009834296],"domain_scores_gemma":[0.9962037,0.0005227239,0.0003655166,0.00217316,0.0004058721,0.0003290557],"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.00001305364,0.0000662315,0.000009641233,0.00007248795,0.00000321115,0.00001716729,0.0002962111,0.05588372,0.00003222537,0.05245678,0.00001444717,0.8911348],"study_design_scores_gemma":[0.0002656164,0.0003339841,0.0001780455,0.0005274965,0.000006742396,0.00007732405,1.991065e-7,0.9208804,0.001759238,0.0713618,0.003724207,0.0008849318],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002173878,0.0001514642,0.9906822,0.0001956855,0.001390322,0.00117936,0.000001902377,0.0005296115,0.00584768],"genre_scores_gemma":[0.008714026,0.000004433212,0.9886518,0.002198715,0.0002690337,0.00004336846,0.00000528167,0.00004152818,0.00007187549],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8902499,"threshold_uncertainty_score":0.9999202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05198899101779367,"score_gpt":0.3219868572395209,"score_spread":0.2699978662217273,"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."}}