Zhendong Sha

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper discusses extensions of RuleML and TPTP for higher-order logic, modal logic, and higher-order modal logic. For these extensions, an extended XSLT 2.0-based translator is presented which maps from RuleML/XML to TPTP. With this implemented HOML RuleM2TPTP tool, TPTP can benefit from RuleML interoperation and much of Deliberation RuleML can execute(More)
  • 1