Publications/Manuscripts of Harold Boley
[1] Translating Higher-Order Modal Logic from RuleML to TPTP (Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha), In Proceedings of the RuleML 2016 Challenge, the Special Industry Track and the RuleML 2016 Doctoral Consortium hosted by the 10th International Web Rule Symposium (RuleML 2016) (A. Giurca, W. Van Woensel, R. Grütter, K. Teymourian, T. Athan, M. Proctor, eds.),, CEUR Workshop Proceedings, volume Vol-1620, 2016. [bibtex] [pdf]
Powered by bibtexbrowser