Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac. Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. In H. Chad Lane, Hans W. Guesgen, editors, Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, USA. AAAI Press, 2009.
Abstract is missing.