{"id":"W2005831808","doi":"10.1016/j.ic.2010.08.001","title":"On the consistency, expressiveness, and precision of partial modeling formalisms","year":2010,"lang":"en","type":"article","venue":"Information and Computation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Consistency (knowledge bases); Model checking; Theoretical computer science; Logical consequence; Transition system; Succinctness; Expressive power; Class (philosophy); Interpretation (philosophy); Algorithm; Programming language; Mathematics; Artificial intelligence","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.0005410069,0.00006214172,0.00006829044,0.00007249418,0.0001458024,0.0001273992,0.0001374551,0.00004576361,0.000002237219],"category_scores_gemma":[0.0001578756,0.00004437712,0.00001462778,0.0001028118,0.00005115329,0.001542635,0.00006747017,0.00009915181,0.000003748103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004046285,"about_ca_system_score_gemma":0.00002267233,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008874968,"about_ca_topic_score_gemma":6.229271e-7,"domain_scores_codex":[0.9993531,0.00004573226,0.0002802531,0.00007365595,0.000178019,0.0000692532],"domain_scores_gemma":[0.9993702,0.0001424997,0.0001735402,0.0001518361,0.0001336277,0.00002830158],"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.00001723029,0.000009422106,0.00003789757,0.00001950792,0.00000293187,4.757626e-8,0.002195778,0.01089588,0.0005689113,0.7812561,0.00002556859,0.2049707],"study_design_scores_gemma":[0.0001673984,0.00004200767,0.0007460368,0.00001598462,0.000001939819,0.000007171629,0.00009451646,0.9763339,0.002954808,0.01941651,0.0001667604,0.00005293264],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3664748,0.000005952921,0.6325755,0.0001428096,0.0001466768,0.0001076383,9.41413e-7,0.00002256883,0.0005231858],"genre_scores_gemma":[0.9152921,0.000008040694,0.08450019,0.0001723632,0.00000911187,0.00001127041,0.000004428331,0.000001417225,0.000001103764],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9654381,"threshold_uncertainty_score":0.1809646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02899987138335185,"score_gpt":0.2876211178933243,"score_spread":0.2586212465099725,"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."}}