{"id":"W2465441781","doi":"10.1007/978-3-319-34111-8_28","title":"Flexible Approximators for Approximating Fixpoint Theory","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Fixed point; Non-monotonic logic; Operator (biology); Theoretical computer science; Knowledge representation and reasoning; Semantics (computer science); Default logic; Logical consequence; Algebra over a field; Negation; Algorithm; Artificial intelligence; Mathematics; Description logic; Programming language; Autoepistemic logic; Pure mathematics; Multimodal logic","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.002586514,0.000709714,0.0007534404,0.0007207369,0.0004889243,0.0006389328,0.004314071,0.0004235109,0.00003024163],"category_scores_gemma":[0.0004503594,0.0005159679,0.000298452,0.0004428644,0.0008075207,0.0007103293,0.001658686,0.000560495,0.00008811303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003489224,"about_ca_system_score_gemma":0.0006606907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001996078,"about_ca_topic_score_gemma":0.000006553605,"domain_scores_codex":[0.9953565,0.00005696711,0.0007168601,0.0020046,0.0007723906,0.001092692],"domain_scores_gemma":[0.9956809,0.001553297,0.0005020354,0.00166821,0.0003501265,0.0002454149],"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.000006621515,0.0000187569,0.00001072895,0.00006954282,0.00001049608,0.000009051926,0.0006116257,0.0003148888,0.00006235848,0.5206802,0.00003105365,0.4781746],"study_design_scores_gemma":[0.0004193741,0.0001840829,0.000009352245,0.0005122898,0.000009617453,0.00005228705,3.346009e-7,0.1317685,0.003265955,0.8593815,0.003610578,0.0007860738],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001074013,0.0006263084,0.9575756,0.0003560137,0.002229178,0.0008393729,0.000008481808,0.0004099239,0.03794433],"genre_scores_gemma":[0.02847491,0.00003159422,0.9629676,0.0012325,0.001460938,0.0001015783,0.000005656031,0.00009393344,0.005631302],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4773885,"threshold_uncertainty_score":0.9997292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01896253473379628,"score_gpt":0.2474889166451792,"score_spread":0.2285263819113829,"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."}}