{"id":"W2268674093","doi":"","title":"Towards a Methodology for Rule-Based Programming","year":2002,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Correctness; Computer science; Completeness (order theory); Rule-based system; Programming language; Transformation (genetics); Theoretical computer science; 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.00920612,0.0009354838,0.001147794,0.002113588,0.001373118,0.008886953,0.00417826,0.002206372,0.01124628],"category_scores_gemma":[0.01447179,0.001236676,0.002939032,0.002145579,0.004308164,0.007597844,0.004039395,0.005985903,0.006749582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001348131,"about_ca_system_score_gemma":0.002368249,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002283056,"about_ca_topic_score_gemma":0.002318639,"domain_scores_codex":[0.991542,0.002571701,0.0008808789,0.001465913,0.00321696,0.0003226234],"domain_scores_gemma":[0.9913834,0.004347905,0.0002550881,0.001819419,0.001836332,0.0003578147],"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.00009463523,0.0001944114,0.000487369,0.0006233756,0.0001485848,0.0003317523,0.001030821,0.01064073,0.004542363,0.6064643,0.02221301,0.3532286],"study_design_scores_gemma":[0.00008738526,0.00009621606,0.0002341097,0.0003289524,0.00009196863,0.0004845363,0.0002077294,0.07723159,0.008218396,0.6904615,0.2224967,0.00006102872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004187821,0.0002971842,0.9957607,0.0005602905,0.0001933377,0.00007300642,0.00004775629,0.0007408822,0.001908087],"genre_scores_gemma":[0.01142998,0.0005690433,0.9810848,0.0004824823,0.0002174252,0.0001711953,0.0002669633,0.0004530659,0.005324893],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01124628,"threshold_uncertainty_score":0.04868716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06145651277896768,"score_gpt":0.2741426290834551,"score_spread":0.2126861163044874,"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."}}