{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004222505,0.0003834094,0.0005816532,0.0004988328,0.0001926464,0.0002682471,0.001599306,0.0002508273,0.000004368781],"category_scores_gemma":[0.000144018,0.0003260081,0.0001124879,0.0007013021,0.001013434,0.0004721095,0.001029751,0.0004116322,0.00001091878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007128733,"about_ca_system_score_gemma":0.0002044144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002260924,"about_ca_topic_score_gemma":0.00002102472,"domain_scores_codex":[0.9971638,0.00003818148,0.0004954954,0.001188749,0.0006837583,0.0004300601],"domain_scores_gemma":[0.9977164,0.0003100181,0.0004384294,0.001052656,0.0003443018,0.0001381464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005051932,0.00004825736,0.001662212,0.0001147292,0.0000163341,0.0001105981,0.002380102,0.0007351272,0.00007180517,0.01969123,0.00004217877,0.9751224],"study_design_scores_gemma":[0.001103209,0.001050641,0.002324661,0.003034687,0.00005490028,0.001042053,0.000001468124,0.7605139,0.007448564,0.2149058,0.006466635,0.002053436],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0007320219,0.003671997,0.9903765,0.0002014291,0.0005742646,0.0004257941,0.00000171203,0.0001182911,0.003897969],"genre_scores_gemma":[0.5948467,0.002569917,0.400886,0.0003636919,0.0004926173,0.00001068693,0.00001424291,0.00004390135,0.0007722246],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.973069,"threshold_uncertainty_score":0.9999192,"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."}}