{"id":"W2075941278","doi":"10.1145/353171.353194","title":"An Aristotelian understanding of object-oriented programming","year":2000,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Jerome's University; University of Waterloo","funders":"","keywords":"Computer science; Object (grammar); Logic programming; Predicate (mathematical logic); Object-oriented programming; Programming language; First-order logic; Programming paradigm; Epistemology; Relation (database); Artificial intelligence; 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.003035788,0.0006257044,0.0007994556,0.002293451,0.003751616,0.00819377,0.001870846,0.003657672,0.003390312],"category_scores_gemma":[0.003723399,0.0004257673,0.0007390917,0.00202522,0.02204486,0.01381188,0.002436132,0.004962391,0.001289824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003702499,"about_ca_system_score_gemma":0.002423308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002649474,"about_ca_topic_score_gemma":0.002012025,"domain_scores_codex":[0.9976401,0.000716661,0.0001092265,0.0003678871,0.0009515081,0.0002145658],"domain_scores_gemma":[0.998225,0.0008207972,0.0001549443,0.0002974753,0.000344192,0.000157596],"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.000001596639,0.000002952275,0.00001776631,0.000008230238,6.389334e-7,0.000009553419,0.0002311048,0.00008495702,0.00002554704,0.997779,0.0005341308,0.001304644],"study_design_scores_gemma":[0.000002735654,0.000003638532,0.00003967493,0.00001994935,0.000001325101,0.00002318497,0.00006773796,0.000323845,0.00003661333,0.9750196,0.02445874,0.000002987685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01427861,0.018807,0.4769452,0.04071682,0.001132077,0.00006582439,0.0001435423,0.0003813576,0.4475295],"genre_scores_gemma":[0.6668238,0.01919297,0.2348485,0.0125104,0.00381006,0.0003714692,0.0002644459,0.0003007217,0.06187763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00819377,"threshold_uncertainty_score":0.02686369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02944197222972307,"score_gpt":0.2652419545413097,"score_spread":0.2357999823115866,"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."}}