Benjamin N. Grosof. Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). In Leora Morgenstern, Petros S. Stefaneas, François Lévy, Adam Wyner, Adrian Paschke, editors, Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings. Volume 8035 of Lecture Notes in Computer Science, pages 2-11, Springer, 2013. [doi]
@inproceedings{Grosof13,
title = {Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk)},
author = {Benjamin N. Grosof},
year = {2013},
doi = {10.1007/978-3-642-39617-5_2},
url = {http://dx.doi.org/10.1007/978-3-642-39617-5_2},
researchr = {https://researchr.org/publication/Grosof13},
cites = {0},
citedby = {0},
pages = {2-11},
booktitle = {Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings},
editor = {Leora Morgenstern and Petros S. Stefaneas and François Lévy and Adam Wyner and Adrian Paschke},
volume = {8035},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-39616-8},
}