TY - CONF T1 - An assumptive logic programming methodology for parsing T2 - Tools with Artificial Intelligence, 2000. ICTAI 2000. Proceedings. 12th IEEE International Conference on Y1 - 2000 A1 - Voll,K. A1 - Tom Yeh A1 - Dahl,V. AB - We show how several novel tools in logic programming for AI (namely, continuation based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processing phenomena. As a proof of concept, we present a concise parser for datalog grammars (logic grammars where strings are represented with numbered word boundaries rather than as lists of words), that uses assumptions and a combination of left-corner parsing and charting. We then study two test cases of this parser's application: complete constituent coordination, and error diagnosis and correction JA - Tools with Artificial Intelligence, 2000. ICTAI 2000. Proceedings. 12th IEEE International Conference on PB - IEEE Comput. Soc SN - 0-7695-0909-6 UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=889840 M3 - 10.1109/TAI.2000.889840 ER -