{"id":"W2086967111","doi":"10.1109/inm.2007.374804","title":"A Hybrid Approach to Operating System Discovery using Answer Set Programming","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Set (abstract data type); Answer set programming; Simple (philosophy); Representation (politics); Logic programming; Artificial intelligence; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0009893401,0.0001823572,0.0002064681,0.0001141995,0.0002729968,0.0008220312,0.0006531592,0.00004211532,0.000001371208],"category_scores_gemma":[0.00004464225,0.0001383326,0.00007377502,0.0004148135,0.00002121306,0.0008107872,0.0003922005,0.0001125631,0.00003404183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001442885,"about_ca_system_score_gemma":0.00007207024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001266654,"about_ca_topic_score_gemma":0.00001219043,"domain_scores_codex":[0.9982892,0.00004640499,0.00028735,0.0005370358,0.0002626346,0.0005773604],"domain_scores_gemma":[0.9991638,0.00005195039,0.00005909029,0.0004528018,0.00008744486,0.0001849205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001968115,0.0005392538,0.00929263,0.0004943096,0.0001058107,0.0002710595,0.01476761,0.003265817,0.006012776,0.8538985,0.001344945,0.1099876],"study_design_scores_gemma":[0.0007480352,0.0002314946,0.001095099,0.0002609755,0.00002715546,0.0009434284,0.004334197,0.967199,0.016038,0.0001176813,0.007706991,0.001297896],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1121112,0.00005252427,0.8386362,0.00001459451,0.0003575036,0.0003192535,6.129002e-7,0.0003201465,0.04818798],"genre_scores_gemma":[0.6915126,1.340712e-7,0.3075931,0.0001016426,0.000175409,0.00000850791,0.000001558958,0.000009625442,0.0005973762],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9639332,"threshold_uncertainty_score":0.7926866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03235120864900761,"score_gpt":0.2684411039609387,"score_spread":0.2360898953119311,"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."}}