{"id":"W3004191551","doi":"10.1145/331795.331862","title":"Aristotle and object-oriented programming","year":2000,"lang":"en","type":"article","venue":"ACM SIGCSE Bulletin","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Jerome's University; University of Waterloo","funders":"","keywords":"GRASP; Computer science; Object (grammar); Programming language; Functional logic programming; Programming paradigm; Artificial intelligence; Inductive programming; Procedural programming; Logic programming; Epistemology; Philosophy","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.001560148,0.0005637108,0.0006831244,0.001928595,0.004187251,0.005177303,0.0007752229,0.003050383,0.005698338],"category_scores_gemma":[0.002823211,0.0003865869,0.0004227976,0.002420626,0.01641029,0.008598175,0.001745907,0.003862674,0.00195543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005379745,"about_ca_system_score_gemma":0.002286989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00614575,"about_ca_topic_score_gemma":0.00517074,"domain_scores_codex":[0.9984665,0.000514752,0.00006397146,0.0002198119,0.0005639788,0.0001710694],"domain_scores_gemma":[0.9989961,0.0005229744,0.00009217112,0.0001282712,0.0001657981,0.00009470731],"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.000004330683,0.000002735752,0.00002880814,0.00001266712,0.000001223041,0.00001519102,0.0002781978,0.00009037189,0.00001087139,0.993458,0.002794286,0.003303316],"study_design_scores_gemma":[0.000004012646,0.000003061727,0.00006430135,0.00002610479,0.000001097775,0.00002458995,0.00007444696,0.0001142797,0.00001446642,0.9512101,0.04845997,0.000003462172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01252328,0.08558837,0.06097961,0.04001885,0.002184181,0.00005668177,0.0001929668,0.0002999716,0.798156],"genre_scores_gemma":[0.6635202,0.06045116,0.06644036,0.01406831,0.006089453,0.0002888551,0.0004498737,0.0003787106,0.1883131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00614575,"threshold_uncertainty_score":0.039033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01249221445359175,"score_gpt":0.2272941433192551,"score_spread":0.2148019288656633,"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."}}