{"id":"W234643","doi":"10.1007/978-3-540-24627-5_18","title":"Challenges in Fixpoint Computation with Multisets","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Computation; Formalism (music); Equivalence (formal languages); Fixed point; Theoretical computer science; Logic programming; Semantics (computer science); Context (archaeology); Programming language; Algorithm; 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.01704369,0.001324729,0.004234878,0.002795599,0.004720495,0.01368502,0.009730249,0.006748955,0.01971462],"category_scores_gemma":[0.04646612,0.002463617,0.004217236,0.006957968,0.01268454,0.0698285,0.01354659,0.01385148,0.004914615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003802221,"about_ca_system_score_gemma":0.002451026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002354223,"about_ca_topic_score_gemma":0.002212101,"domain_scores_codex":[0.9885945,0.004087414,0.0008710884,0.002178797,0.003518815,0.0007492026],"domain_scores_gemma":[0.9486034,0.04082213,0.0006797936,0.006469825,0.002471277,0.0009536451],"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.00006139137,0.00003199501,0.0001868903,0.0002952359,0.00003236999,0.00004328904,0.0002555129,0.003992955,0.0001388226,0.9537974,0.005290413,0.03587385],"study_design_scores_gemma":[0.000006363139,0.000004325954,0.00001507607,0.00003062003,0.000005240009,0.00002047321,0.00004592886,0.002959276,0.0001015687,0.9931874,0.003614848,0.000008709564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02618445,0.02790357,0.8691055,0.04039026,0.001644077,0.000103907,0.0004839157,0.00197002,0.03221428],"genre_scores_gemma":[0.3646986,0.02196267,0.57658,0.004950598,0.005650063,0.0003690503,0.00115932,0.001437173,0.02319256],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01971462,"threshold_uncertainty_score":0.09013677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0342568667644572,"score_gpt":0.2560838604968646,"score_spread":0.2218269937324074,"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."}}