{"id":"W1919787233","doi":"10.1007/978-3-540-89982-2_33","title":"Lparse Programs Revisited: Semantics and Representation of Aggregates","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Semantics (computer science); Well-founded semantics; Programming language; Stable model semantics; Representation (politics); Class (philosophy); Theoretical computer science; Operational semantics; Logic program; Formal semantics (linguistics); Program transformation; Logic programming; Denotational semantics; Artificial intelligence","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.002147318,0.0005842424,0.001096102,0.001342514,0.001320009,0.008721936,0.003454144,0.002171444,0.005949216],"category_scores_gemma":[0.006059216,0.0007813169,0.001080411,0.004345135,0.004551196,0.01523467,0.003474748,0.005709117,0.001058419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001447611,"about_ca_system_score_gemma":0.001230797,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001999611,"about_ca_topic_score_gemma":0.001860335,"domain_scores_codex":[0.9982577,0.0005509987,0.0001878496,0.0003187206,0.0005299434,0.0001547213],"domain_scores_gemma":[0.9974639,0.0009385388,0.0002134632,0.0008184879,0.0004393962,0.0001262539],"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.0000213078,0.00001070221,0.00008766519,0.00004419676,0.00000643978,0.00005278875,0.0004069032,0.001182786,0.0004072147,0.981948,0.001695371,0.01413662],"study_design_scores_gemma":[0.000008419849,0.000009364024,0.00007103221,0.00003347443,0.00001757207,0.000100744,0.0001947206,0.01568014,0.0008721961,0.9691739,0.01382777,0.00001061327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02758966,0.003062783,0.9396791,0.003566175,0.0002571421,0.00005001251,0.0003981765,0.001219472,0.02417743],"genre_scores_gemma":[0.4854802,0.003614766,0.4834634,0.001101178,0.0008114668,0.0002533292,0.001143572,0.0009120239,0.02322019],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008721936,"threshold_uncertainty_score":0.01990217,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02597617840637696,"score_gpt":0.2578016386038653,"score_spread":0.2318254601974884,"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."}}