{"id":"W1531985259","doi":"10.1007/3-540-45757-7_38","title":"An Infinite-Valued Semantics for Logic Programs with Negation","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Negation; Uncountable set; Countable set; Zero (linguistics); Mathematics; Discrete mathematics; Truth value; Element (criminal law); Denotational semantics; Set (abstract data type); Semantics (computer science); Computer science; Operational semantics; Programming language; Linguistics","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.002621775,0.001082273,0.001027228,0.00153,0.001908446,0.006030509,0.002920464,0.001898059,0.003620354],"category_scores_gemma":[0.003695952,0.001010405,0.001858144,0.001319591,0.005372441,0.01348869,0.003973283,0.005205872,0.0008821763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001677969,"about_ca_system_score_gemma":0.001430341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00103713,"about_ca_topic_score_gemma":0.001166388,"domain_scores_codex":[0.9982431,0.0005220298,0.0002559189,0.0003158095,0.0004832947,0.0001798058],"domain_scores_gemma":[0.9981015,0.001009621,0.0001213299,0.0002440208,0.0003439136,0.0001796197],"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.00002637551,0.00001987248,0.00005169041,0.00005065956,0.00000660078,0.00006253253,0.0003010709,0.0009706754,0.0007529552,0.9870302,0.0008415317,0.00988583],"study_design_scores_gemma":[0.00001922396,0.00001081423,0.00002313856,0.00002750024,0.00001134448,0.00006874026,0.00005856275,0.007218227,0.0005370976,0.9840789,0.007933952,0.00001243273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01025885,0.0007626365,0.9653091,0.001370189,0.000319605,0.00007276867,0.0002220349,0.0009726202,0.02071222],"genre_scores_gemma":[0.4015772,0.0009871013,0.5805942,0.001088752,0.000561222,0.000383669,0.0007054324,0.0005150816,0.01358733],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006030509,"threshold_uncertainty_score":0.01386541,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02987368681877527,"score_gpt":0.2572652989229092,"score_spread":0.2273916121041339,"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."}}