论文信息 - First-order tableaux in applications - 字舞流文

First-order tableaux in applications

[1] Ulrich Furbach,et al. An application of automated reasoning in natural language question answering , 2010, AI Commun..

[2] Peter Baumgartner,et al. Living Book -- Deduction, Slicing, and Interaction , 2004 .

[3] Peter Baumgartner,et al. Hyper Tableaux with Equality , 2007, CADE.

[4] Tiansi Dong,et al. A Natural Language Question Answering System as a Participant in Human Q&A Portals , 2011, IJCAI.