{"id":"W1600640230","doi":"10.1007/978-3-540-73099-6_7","title":"Bounded Model Checking with Description Logic Reasoning","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Model checking; Bounded function; Computer science; Abstraction model checking; Rotation formalisms in three dimensions; Representation (politics); Theoretical computer science; Consistency (knowledge bases); Solver; Non-monotonic logic; Algorithm; Knowledge representation and reasoning; 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.005734821,0.00181324,0.002107552,0.00218173,0.001223969,0.004276539,0.006165464,0.00192777,0.009838826],"category_scores_gemma":[0.01821029,0.002154134,0.003971679,0.002176583,0.004751178,0.009680035,0.006401055,0.004928493,0.001844765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002950256,"about_ca_system_score_gemma":0.002595371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003219011,"about_ca_topic_score_gemma":0.003353858,"domain_scores_codex":[0.9892691,0.004415555,0.0005254426,0.001049481,0.00402298,0.0007174713],"domain_scores_gemma":[0.983083,0.01239444,0.0003751541,0.003240128,0.0007685647,0.0001387446],"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.0002521081,0.0001507974,0.0003005416,0.000532316,0.0001434572,0.0002249248,0.0002226629,0.1400051,0.003705977,0.7427619,0.004907015,0.1067933],"study_design_scores_gemma":[0.00007104957,0.00001840283,0.0000414112,0.00008275193,0.00005330458,0.00005402522,0.00002702522,0.3151806,0.008027051,0.6718184,0.004602846,0.00002296584],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003320178,0.000284552,0.9887174,0.0002788099,0.00005438855,0.00008324326,0.0001307828,0.00169378,0.005436755],"genre_scores_gemma":[0.3150313,0.0008194641,0.6720788,0.0004649428,0.00009556291,0.0005195108,0.001119762,0.001218267,0.008652287],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009838826,"threshold_uncertainty_score":0.0329141,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06949350271629555,"score_gpt":0.2990809303189902,"score_spread":0.2295874276026947,"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."}}