{"id":"W235840106","doi":"10.1007/978-3-642-40537-2_23","title":"Intelligent Tableau Algorithm for DL Reasoning","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Semantic reasoner; Computer science; Bottleneck; Set (abstract data type); State (computer science); Algorithm; Conjecture; Simple (philosophy); Theoretical computer science; Artificial intelligence; Programming language; Mathematics; Discrete mathematics","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.001377732,0.0007992218,0.001233804,0.002096173,0.001445547,0.003264925,0.003103319,0.00127299,0.02044382],"category_scores_gemma":[0.004670402,0.0006608057,0.001500648,0.002665198,0.001253475,0.005386278,0.001997057,0.002007622,0.00542223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002473401,"about_ca_system_score_gemma":0.002470533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007696893,"about_ca_topic_score_gemma":0.01085648,"domain_scores_codex":[0.9987695,0.0002995832,0.0001159548,0.0002685377,0.0004514674,0.00009497587],"domain_scores_gemma":[0.9985396,0.0007760552,0.00003459855,0.000301828,0.0003122402,0.00003573233],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002621696,0.0002059228,0.0004375236,0.0004096182,0.00008860093,0.0001323876,0.0003439955,0.03291396,0.005048305,0.3794889,0.03253131,0.5481374],"study_design_scores_gemma":[0.0000680336,0.0000387097,0.000136956,0.00008281106,0.00006825937,0.0001195332,0.0001028967,0.4753254,0.008351066,0.4918715,0.02380454,0.0000302935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003364382,0.0003266979,0.9859363,0.0002388056,0.00007697555,0.00008923225,0.0004362368,0.003180056,0.006351299],"genre_scores_gemma":[0.05012106,0.0002651295,0.9398803,0.0001570605,0.00004325227,0.0001259881,0.001573823,0.0003979088,0.007435493],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02044382,"threshold_uncertainty_score":0.06839144,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02336596539522334,"score_gpt":0.2582048640257885,"score_spread":0.2348388986305652,"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."}}