{"id":"W1828993462","doi":"10.1007/978-3-540-45187-7_28","title":"Abstract Patterns of Compositional Reasoning","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Reasoning system; Component (thermodynamics); Deductive reasoning; Construct (python library); Process (computing); Opportunistic reasoning; Composition (language); Adaptive reasoning; Model-based reasoning; Theoretical computer science; Non-monotonic logic; State (computer science); Automated reasoning; Artificial intelligence; Programming language; Knowledge representation and reasoning","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.00191549,0.0007779989,0.0007321129,0.0013964,0.00174491,0.003994169,0.001493575,0.001302737,0.01562035],"category_scores_gemma":[0.006948641,0.001078644,0.001518702,0.001846849,0.004837297,0.01106879,0.003540967,0.003190611,0.003181041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001032475,"about_ca_system_score_gemma":0.0008214575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008157778,"about_ca_topic_score_gemma":0.0009415644,"domain_scores_codex":[0.9972538,0.0008458543,0.0002408646,0.0005554339,0.0008704013,0.0002335885],"domain_scores_gemma":[0.9966331,0.001365223,0.0001416709,0.001358878,0.0004061032,0.00009514836],"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.00001457193,0.000008748126,0.000055758,0.00003564233,0.000005669024,0.00003440823,0.0003503881,0.0004777438,0.000489288,0.9843485,0.0009064922,0.01327288],"study_design_scores_gemma":[0.000008607267,0.000004769568,0.00002566533,0.00001511434,0.000008738068,0.00004116566,0.00007124119,0.002632036,0.0007779979,0.9867035,0.009707073,0.000003944314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01736294,0.0005090358,0.8616655,0.001035002,0.0001918969,0.0001539189,0.0001749055,0.001120779,0.1177859],"genre_scores_gemma":[0.4735984,0.000887381,0.4709697,0.0004231115,0.000274113,0.000538443,0.0007662034,0.0008497895,0.05169277],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01562035,"threshold_uncertainty_score":0.05225527,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0232226408063481,"score_gpt":0.2769562714368946,"score_spread":0.2537336306305465,"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."}}