{"id":"W130180478","doi":"","title":"A generalized gelfond-lifschitz transformation for logic programs with abstract constraints","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Representation (politics); Abstract interpretation; Atom (system on chip); Stable model semantics; Transformation (genetics); Generalization; Set (abstract data type); Mathematics; Semantics (computer science); Computer science; Discrete mathematics; Algorithm; Algebra over a field; Programming language; Pure mathematics; Operational semantics","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.001429438,0.0009181328,0.0007058935,0.001729317,0.0008889523,0.001982946,0.001834885,0.001313945,0.003306426],"category_scores_gemma":[0.002678845,0.0004837405,0.00295366,0.00124901,0.002808805,0.003764253,0.002281727,0.002799182,0.0007971784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002802083,"about_ca_system_score_gemma":0.001681474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003177065,"about_ca_topic_score_gemma":0.002709597,"domain_scores_codex":[0.9984907,0.0002369092,0.00009026341,0.0003021104,0.0007202438,0.0001597991],"domain_scores_gemma":[0.9991732,0.0003083245,0.00006939257,0.0002086453,0.0001955152,0.00004488567],"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.00007449646,0.00005293509,0.0003282202,0.00009877926,0.00004082443,0.0003168577,0.000405224,0.03263437,0.009344892,0.9197088,0.001338838,0.03565577],"study_design_scores_gemma":[0.00006138363,0.00007155439,0.0001114517,0.000031188,0.00004439918,0.000159464,0.00005971094,0.1506943,0.009924883,0.8268442,0.011962,0.00003550404],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01781415,0.0001256098,0.9730073,0.000428106,0.00004204822,0.0001065781,0.0001519035,0.0008494828,0.007474864],"genre_scores_gemma":[0.4246904,0.0003385013,0.5650057,0.0005015068,0.00008696765,0.0005530493,0.000591972,0.0004301434,0.00780177],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003306426,"threshold_uncertainty_score":0.02033067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03074390984721285,"score_gpt":0.2714562335928613,"score_spread":0.2407123237456485,"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."}}