{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.04567955,0.001305365,0.002923593,0.003607979,0.002907755,0.009674834,0.005135472,0.003345054,0.002386292],"category_scores_gemma":[0.1812805,0.002765158,0.004064463,0.003540799,0.01454661,0.02493863,0.008761885,0.01060628,0.0003629499],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00322117,"about_ca_system_score_gemma":0.003384501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003467494,"about_ca_topic_score_gemma":0.002286498,"domain_scores_codex":[0.9639562,0.01553646,0.003696759,0.004074454,0.01063474,0.002101443],"domain_scores_gemma":[0.7511079,0.1806715,0.008275899,0.0512494,0.007750425,0.0009448616],"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.0001914631,0.00006412017,0.001255638,0.0002399109,0.00009380425,0.0001200171,0.001178758,0.0353573,0.001140283,0.9398444,0.0005345927,0.01997983],"study_design_scores_gemma":[0.00005117264,0.00004670631,0.000211256,0.0001722588,0.0000884054,0.00007059137,0.0001534334,0.03568309,0.001819401,0.9598808,0.001792252,0.00003066775],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08982673,0.002072188,0.8899511,0.004717215,0.0001804905,0.000162136,0.0004396312,0.0006623403,0.01198808],"genre_scores_gemma":[0.780152,0.001844878,0.2135269,0.0007771752,0.0003722455,0.00032986,0.0007374372,0.0004055104,0.001853948],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04567955,"threshold_uncertainty_score":0.2415795,"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."}}