{"id":"W2573468675","doi":"","title":"Translating Higher-Order Modal Logic from RuleML to TPTP","year":2016,"lang":"en","type":"article","venue":"Rules and Rule Markup Languages for the Semantic Web","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"RuleML; Computer science; Modal logic; Modal; Programming language; Markup language; XHTML; World Wide Web; XML; Chemistry","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.0003421581,0.0002539228,0.0003112437,0.0000734908,0.0003056854,0.0001903268,0.0008884887,0.0001019262,0.00008449376],"category_scores_gemma":[0.0001107497,0.000126333,0.0001130904,0.0001490361,0.0001046614,0.0001978993,0.000280246,0.00008202714,0.00007070926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000179509,"about_ca_system_score_gemma":0.00003083848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003362619,"about_ca_topic_score_gemma":0.0002021276,"domain_scores_codex":[0.9984015,0.00006394721,0.0002751635,0.0005295557,0.0002252197,0.0005046378],"domain_scores_gemma":[0.9981362,0.0009666826,0.00008231185,0.0006496782,0.00005566419,0.0001094658],"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.0001111913,0.00009630776,0.001860785,0.0001081658,0.0002773949,0.00006674443,0.002311186,0.00003320943,0.03670159,0.1309477,0.002958231,0.8245274],"study_design_scores_gemma":[0.01546181,0.001546606,0.3113248,0.001979821,0.0009749036,0.0002346302,0.004960831,0.1171464,0.01365962,0.3720674,0.1548643,0.005778914],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5472885,0.006662284,0.3680463,0.07159831,0.001123561,0.0009224013,0.0001676084,0.0004991936,0.003691723],"genre_scores_gemma":[0.9486283,0.0002016022,0.04793878,0.001108092,0.0003440601,0.00004943944,0.000005988568,0.0000250857,0.001698616],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8187485,"threshold_uncertainty_score":0.5151711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01628641948101522,"score_gpt":0.2593579399229917,"score_spread":0.2430715204419765,"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."}}