{"id":"W2334804121","doi":"10.1016/j.jlamp.2016.02.005","title":"Logic programming approach to automata-based decision procedures","year":2016,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Datalog; Successor cardinal; Computer science; Logic programming; Horn clause; Automaton; Decision problem; Programming language; Inductive logic programming; Focus (optics); Theoretical computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.008421062,0.0002532708,0.0005223605,0.0004582619,0.0001151461,0.000248533,0.001065069,0.0001727285,0.000004720453],"category_scores_gemma":[0.005776113,0.0001370613,0.0001459267,0.001011701,0.0001395862,0.000636303,0.0002889307,0.0003265143,0.00000292688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008878051,"about_ca_system_score_gemma":0.0001164431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001403595,"about_ca_topic_score_gemma":5.352949e-7,"domain_scores_codex":[0.9965235,0.0008301851,0.001063358,0.0005027296,0.0005568998,0.0005233382],"domain_scores_gemma":[0.9973257,0.001228669,0.0005246761,0.0003775898,0.0002146809,0.0003286755],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006477076,0.0002725716,0.0005396192,0.00005195438,0.000008969956,0.00001800899,0.0001672058,0.00003800623,0.001695058,0.04910831,0.00001332546,0.9480222],"study_design_scores_gemma":[0.01100543,0.01106108,0.04812774,0.004424161,0.0001479674,0.003381053,0.0007378392,0.07215253,0.03725377,0.7208982,0.08743108,0.003379219],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01181881,0.0003595595,0.9860281,0.0008196427,0.0002887009,0.0004326483,2.452638e-7,0.00008999057,0.0001623114],"genre_scores_gemma":[0.05869315,0.00002556424,0.9408035,0.0003099978,0.00008966652,0.00005316322,1.65181e-7,0.00001199978,0.00001278269],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.944643,"threshold_uncertainty_score":0.6914964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06277961365753304,"score_gpt":0.3824389205900534,"score_spread":0.3196593069325204,"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."}}