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]
Abstract is missing.