{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002983535,0.0008039384,0.000828993,0.00165602,0.001063666,0.004322475,0.0029913,0.001577829,0.0113791],"category_scores_gemma":[0.009311996,0.0007291603,0.002373795,0.001129986,0.003582591,0.004767345,0.002119069,0.003906673,0.001676371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001853151,"about_ca_system_score_gemma":0.002461906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002535427,"about_ca_topic_score_gemma":0.002617873,"domain_scores_codex":[0.996446,0.001468642,0.0002954132,0.0005253179,0.0009948814,0.0002698611],"domain_scores_gemma":[0.9930219,0.005371356,0.0002241265,0.0004945034,0.0007298453,0.000158389],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003902214,0.00006409956,0.0001318513,0.00008469611,0.00003028291,0.000078637,0.0001527745,0.02720427,0.000952477,0.9521734,0.0006918744,0.01839645],"study_design_scores_gemma":[0.00003879634,0.00003496854,0.00003661384,0.00003824147,0.00004690169,0.00005062193,0.00004353536,0.1972461,0.002030687,0.7956509,0.004763283,0.00001928406],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002311855,0.00006201171,0.9916165,0.0002634202,0.00003924917,0.00005691246,0.00005573593,0.0002657976,0.00532854],"genre_scores_gemma":[0.2419901,0.0002826912,0.7470233,0.0004893837,0.0001593257,0.000384857,0.0002196699,0.0001724007,0.009278351],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0113791,"threshold_uncertainty_score":0.03806686,"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."}}