From Natural Language to Formal Proof Goal. Stegers, R., Ten Teije, A., & Van Harmelen, F. In Proceedings of the 15th International Conference on Knowledge Engineering and Knowledge Management (\EKAW\'06) LNAI 4248, volume 4248, of Lecture Notes in Computer Science, pages 51–59, 2006. Springer Berlin Heidelberg.
From Natural Language to Formal Proof Goal [pdf]Paper  doi  bibtex   

Downloads: 0