{"id":"W44477046","doi":"10.1609/aaai.v26i1.8213","title":"A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms","year":2021,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"State Key Laboratory of Computer Science; National Natural Science Foundation of China","keywords":"Programming language; Axiomatic semantics; Higher-order logic; Computer science; Stable model semantics; Theoretical computer science; Well-founded semantics; Constraint (computer-aided design); Set (abstract data type); Logic programming; Multimodal logic; Intermediate logic; Logic program; Semantics (computer science); Description logic; Mathematics; Operational semantics; Denotational 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.003269982,0.0008634149,0.0005935081,0.001363446,0.001183485,0.002919209,0.002054645,0.001466495,0.002294178],"category_scores_gemma":[0.003313808,0.0009625591,0.001706573,0.0009005286,0.004253217,0.008233395,0.002626528,0.003555375,0.000428352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001756153,"about_ca_system_score_gemma":0.003254109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002644812,"about_ca_topic_score_gemma":0.004295926,"domain_scores_codex":[0.9971258,0.0005846019,0.0002954422,0.0005695472,0.001106999,0.000317708],"domain_scores_gemma":[0.9972208,0.0008483314,0.0002362093,0.0005696953,0.0008754481,0.000249645],"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.00003761865,0.00007747985,0.0003319314,0.0001052167,0.00003013176,0.0001258983,0.0005828617,0.009007066,0.00533269,0.9620196,0.000948802,0.02140059],"study_design_scores_gemma":[0.00009647278,0.0001634461,0.0002740455,0.00006782518,0.0001110076,0.0003723334,0.0002625778,0.108542,0.01707713,0.8332313,0.03970851,0.0000933091],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01171582,0.0002009855,0.9836912,0.0004785053,0.0000570011,0.0001178279,0.0001226051,0.0006753389,0.002940614],"genre_scores_gemma":[0.274331,0.0005135827,0.7185853,0.0005391003,0.0001158987,0.0003255831,0.0004407717,0.0002744035,0.004874517],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003269982,"threshold_uncertainty_score":0.01729351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08219916397020502,"score_gpt":0.2885253281602842,"score_spread":0.2063261641900792,"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."}}