Translating Higher-Order Modal Logic from RuleML to TPTP (bibtex)
by Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha
Reference:
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-WS.org, CEUR Workshop Proceedings, volume Vol-1620, 2016.
Bibtex Entry:
@inproceedings{C59,
  Author =	 {Harold Boley and Christoph Benzm{\"u}ller and Meng
                  Luan and Zhendong Sha},
  Booktitle =	 {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)},
  Editor =	 {Giurca, A. and Van Woensel, W. and Gr{\"u}tter,
                  R. and Teymourian, K. and Athan, T. and Proctor, M.},
  Keywords =	 {own, Higher Order Logic, Higher Order Modal Logic},
  Issn =	 {1613-0073},
  Publisher =	 {CEUR-WS.org},
  Volume =	 {Vol-1620},
  Series =	 {CEUR Workshop Proceedings},
  Title =	 {Translating Higher-Order Modal Logic from {RuleML}
                  to {TPTP}},
  Url =		 {http://ceur-ws.org/Vol-1620/paper6.pdf},
  Year =	 2016
}
Powered by bibtexbrowser